All Questions
Tagged with dg.differential-geometry curvature
208 questions
3
votes
0
answers
109
views
Wedge of curvature and subsequent trace
I am currently reading https://arxiv.org/abs/1901.10322. More specifically, I am interested in understanding the equation
$$i\partial\overline{\partial}\omega = \frac{\alpha'}{4}Tr(R\wedge R-F\wedge F)...
0
votes
0
answers
76
views
Hodge dual of curvature two-form
I'm trying to compute curvature invariants on a general Kähler manifold $X$. One possibility is taking the norm $I$ of the Riemann curvature two-form $\mathcal{R}$ induced by the Hodge-structure^[1], ...
2
votes
0
answers
72
views
Diameter bounds by mean curvature and area
I'm wondering about a generalization of Simon/Topping/Wu-Zheng's results on bounding diameter by the mean curvature, which roughly says: given a closed $\Sigma^{n-1} \subseteq M^n$,
$$\text{diam}(\...
1
vote
0
answers
122
views
Bilipschitz constants of exponential map on small ball for Riemannian manifold with curvature bounds
Let $(M,g)$ be a Riemannian manifold with sectional curvature $\mathrm{sect}$ between $-K\le \mathrm{sect} \le K$ for some $K>0$. In [1] it is stated at the beginning of section 4, that if $u,v\in ...
5
votes
0
answers
445
views
Upper bound on the sectional curvature of a Riemannian submersion
Consider the manifold $M := \operatorname{SO}(n) \times \mathbb{S}^{n-1}$, endowed with the product metric given by the bi-invariant metric of $\operatorname{SO}(n)$ and the round metric of $\mathbb{S}...
1
vote
0
answers
42
views
counterexample for non- monotone curvature function on the Kazdan-Warner identity
Let $\mathbb{S}^n\subset \mathbb{R}^{n+1}$ be the unit standard sphere, $n\geq 2$. $K(\xi)=\xi_{n+1}+2$, where $\xi=(\xi_1,\ldots,\xi_{n+1})\in \mathbb{S}^n$. It is easy to see that $K(\xi)$ is ...
1
vote
0
answers
72
views
About planar curves on a manifold
I recently came upon the following situation (think of $\mathbb{R}^3$ to simplify): let $S$ be a compact smooth surface with $K>0$ everywhere and define
$$Q=\frac{\sup_{p}\lambda_{1}(p)}{\inf_{p}\...
14
votes
1
answer
1k
views
Progress on Gromov's Conjecture of the bound of total Betti numbers
This question is a reference request.
Let $(M,g)$ be a Riemannian manifold of dimension $n$, and $b_i(M) = \dim H_i(M,\mathbb{R})$. Gromov proved it that there are constants $C(n)$ such that, if the ...
0
votes
1
answer
74
views
Handling degenerate planes in pseudo-Riemannian geometry: impact on sectional curvature and comparison theorems
I've been studying Riemannian and pseudo-Riemannian manifolds and came across an intriguing point regarding the definition of sectional curvature in both geometries.
In pseudo-Riemannian geometry, for ...
0
votes
0
answers
162
views
Kähler manifold with negative sectional curvature
Goldberg's theorem states that every almost Kähler manifold of constant curvature is Kähler if and only if the curvature is zero. This seems to contradict the fact that the sectional curvature of the ...
3
votes
1
answer
371
views
Ricci flow and curvature
I am trying to read about geometric flows mainly Ricci flows. I have a question in mind, which I am not sure whether it's possible or not.
So my question is if one starts with a metric that has mostly ...
2
votes
0
answers
123
views
Asymptotics on the number of diffeomorphism classes in the Cheeger finiteness theorem
A result of Cheeger says that, given any even dimension and any $\delta > 0$, there are only a finite number of diffeomorphism types of compact simply-connected manifolds of that dimension which ...
4
votes
0
answers
163
views
Parallel transport of global sections and Riemannian curvature
A, perhaps, naive question from an algebraist/combinatorialist teaching differential geometry. Originally asked on math.SE but didn't receive a single comment in 3 days.
Consider a (real) smooth ...
5
votes
1
answer
343
views
Clarifying a result of Klingenberg
I am looking for some clarification on a result of Klingenberg. For context, I have a complete Riemannian manifold for which I would like to compute a lower bound on the injectivity radius at each ...
6
votes
1
answer
273
views
Commutative/ symmetric second covariant derivative
Consider a smooth manifold $M$ together with an affine connection (or covariant derivative) $\nabla$ on the tangent bundle $TM$.
Is it possible to have an affine connection, possibly with non-zero ...
1
vote
0
answers
58
views
Can we bound the squared Gaussian curvature of genus three triply periodic minimal surfaces?
Assume that $\mathcal{M}$ is a balanced triply periodic minimal surface of genus 3, embedded in a flat torus $T^3=\mathbb{R}^3/\Lambda$ for a lattice $\Lambda$ with volume 1. I want to understand the ...
3
votes
0
answers
102
views
Geometric interpretation for a connection whose corresponding distribution generates the whole Lie algebras of vector fields
Let we have a connection on a manifold $M$ so it is considered as a distribution on the tangent bundle $TM$ of $M$. The integrability of this distrbution is equivalent to flatness of the connection.
...
3
votes
0
answers
165
views
A higher-dimensional "line of curvature"?
Let $M$ be a submanifold of a Riemannian manifold $Q$, and let $\Gamma$ be a $d$-dimensional submanifold of $M$, i.e., $\Gamma^{d} \subset M \subset Q$.
Suppose that, for all (unit) normal vectors of $...
0
votes
1
answer
99
views
Curvature tensor of interpolation of two metrics
Let $\hat{g}$ and $\bar{g}$ be two smooth Riemannian metrics defined, say, on $\mathbb{R}^n.$ Consider a smooth function $\xi$ that acts as an interpolation function between the two metrics above on ...
1
vote
0
answers
210
views
Ricci-flat metrics on complex tori of dimension $n \geq 3$
Let $\mathbb{T}^n = \mathbb{C}^n /\Lambda$ be a complex torus of (complex) dimension $n$. If $n=2$, it is a theorem of Berger that the Ricci-flat metrics on $\mathbb{T}^2$ are flat. This follows from ...
3
votes
0
answers
60
views
Isometric embedding of 4-element metric spaces into Riemannian manifolds and the curvature
I came across this question Preferred embedding of finite metric spaces in riemaniann manifolds of given dimension. In one of the answers it was stated that it is always possible to isometrically ...
0
votes
2
answers
271
views
Gaussian curvature and curvature of the Levi-Civita connection
In a Riemannian surface $(S,g)$ consider the Levi-Civita connection $\nabla$ corresponding to the metric $g$. Suppose we have an orthonormal frame $\{e_1,e_2\}$ with dual coframe $\{\omega^1,\omega^2\}...
0
votes
1
answer
117
views
Curvature of an affine system
I find an interesting paper that mentioned the Definition of curvature of an affine optimal control system. It reminded me that many textbooks on Riemannian geometry only tell us about metrics, ...
1
vote
0
answers
125
views
Curvature operator on Kahler manifolds
Is positive curvature operator on a Kaehler manifold equivalent to the curvature operator being positive on real $(1, 1)$-forms? How do these conditions translate into the components of the curvature ...
7
votes
2
answers
834
views
Holonomy as integration of curvature for principal $G$-bundles?
Holonomy and curvature may seem to be slightly advanced topics in
geometry. However, their origins are easily imaginable. Namely,
picture the surface of earth $S$, and pick an arbitrary
contractible ...
1
vote
1
answer
153
views
Requirement of parametrization of surfaces
If I have a smooth surface $M$ (2D embedded in 3D), under what conditions I can assure that there exists a finite collection of charts $\{U_i, \phi_i \}_{i}$, with $\phi_i : U_i \to M$, such that its ...
18
votes
1
answer
1k
views
Is the minimal volume a topological invariant?
On Wikipedia, it is said that the minimal volume
$$\operatorname{MinVol}(M):=\inf\{\operatorname{vol}(M,g) :g\text{ a complete Riemannian metric with }|K_{g}|\leq 1\}$$
is a topological invariant, ...
1
vote
0
answers
113
views
Curvature of randomly generated B-spline curve
I am working on Bayesian statistical estimation of parameters (control points) of closed B-spline curve bounding an object on a an image. The problem is that I require those curves to not be much &...
5
votes
0
answers
244
views
Möbius strip zero curvature [closed]
Is there a Möbius strip, seen as an embedded surface in $\mathbb{R}^3$, with zero curvature? I know one can see the Möbius strip as the quotient of the square with reverse identification of two sides ...
2
votes
0
answers
78
views
Curvature estimate in terms of the boundary
The curvature of a minimal disc $S^2 \subset \mathbf{R}^3$ can be bounded in terms of the curvature of its boundary via the Gauss–Bonnet formula:
\begin{equation}
\frac{1}{2}\int_S \lvert A \rvert^2 \...
2
votes
0
answers
126
views
Conformal changes of metric and normal coordinates
Suppose that $(M,g)$ is a smooth Riemannian manifold of dimension $n\geq 2$. Let $p\in M^{\textrm{int}}$. Does there exist a small $\delta>0$ and a smooth function $c>0$ such that for the ...
1
vote
1
answer
133
views
Effect of changing intersection normal curvatures on Gauss curvature $K$
The 30 straight edges of an icosahedron (with constant Euclidean vertex to vertex distance, and constant sphere center to vertex distance) have normal curvatures $\kappa_n=0$ in radial planes. They ...
5
votes
2
answers
339
views
Example of a curvature with no associated metric
Is there a concrete example of a $4$ tensor $R_{ijkl}$ with the same symmetries as the Riemannian curvature tensor, i.e.
\begin{gather*}
R_{ijkl} = - R_{ijlk},\quad R_{ijkl} = R_{jikl},\quad R_{ijkl} =...
4
votes
1
answer
439
views
Etymology “Kulkarni–Nomizu product”
$\newcommand\KN{\mathbin{\bigcirc\mspace{-20mu}\wedge\mspace{3mu}}}$In the context of (pseudo)-Riemmian geometry, the Kulkarni–Nomizu product is defined to be an operation $\KN$, which takes two ...
9
votes
1
answer
344
views
Do geodesics avoid regions where the curvature diverges?
Let $(M^2,g)$ be a Riemannian manifold, with manifold boundary $\partial M$. We assume that the metric degenerates at the boundary, in the sense that the (Gauss) curvature diverges like $K \to +\infty$...
1
vote
2
answers
283
views
Ricci scalar of submanifold of $\mathbf R^n$
Let $M$ be an $n-m$ dimensional sub-manifold of $\mathbf R^n$ defined by the following set of equations:
\begin{equation}
f_1(\vec x)=0, \\
\vdots \\
f_m(\vec x)=0,
\end{equation}
where $\vec x$ are ...
1
vote
2
answers
148
views
Construct a hypersurface with fixed principal curvatures at a point
I'm reading Eschenburg's paper Local convexity and nonnegative curvature —
Gromov's proof of the sphere theorem recently. And I meet a little question: Given a point $p\in M$, $N\in T_pM$, we want to ...
0
votes
0
answers
252
views
Computation of scalar curvature from a Riemannian metric
I want to compute the scalar curvature for points on an empirical manifold (sampled data).
I have already an algorithm that learns the Riemannian metric and computes geodesics, so from the metric I ...
6
votes
1
answer
463
views
Holonomy bounded in terms of area and the curvature
I suppose the following result follows
from Ambrose-Singer theorem, but I cannot
find a reference, and the arguments I found
in the literature are usually weaker. The idea
is that holonomy over a null-...
2
votes
0
answers
175
views
Expository material on the Gromov-Lawson surgery theorem
I am looking for an expository text on the paper "The classification of simply connected
manifolds of positive scalar curvature" by Gromov and Lawson, in particular on the proof of Theorem A....
2
votes
0
answers
238
views
Asymptotic expansion of the Hessian of the distance function
This question originates from another question. Big thanks to MySheperd whose answer to that question clarified my thoughts.
Let $(M,g)$ be an $n$-dimensional complete Riemannian manifold and $r$ is ...
5
votes
1
answer
2k
views
Hessian of the distance function--comparison with the space form with constant sectional curvature 0
Let $M$ be an $n$-dimensional complete Riemannian manifold and $r$ is the distance function to a fixed point.
The Hessian comparison theorem says that if the sectional curvature of $M$ is bounded (...
2
votes
1
answer
224
views
The differentiability of the distance function on asymptotically flat manifolds
Let $M = \mathbb{R}^3 \setminus \overline{B_1}$ where $\overline{B_1}$ is the closed unit ball.
Let $g$ be an asymptotically flat metric of the form $g_{ij} = \delta_{ij}+h_{ij}$ in standard ...
5
votes
0
answers
101
views
How is this product of tensors defined?
I am reading the paper “ The first eigenvalue of a small geodesic ball in a riemannian manifold”, by Karp and Pinsky, from where I took the following:
Here, $\Delta_{-2}$ denotes the usual Laplacian ...
2
votes
0
answers
125
views
The Ricci curvature is bounded below by scalar curvature
So I have more questions coming from Dr Hamilton's "Three-Manifolds with Positive Ricci Curvature" paper here. I'm working in section 9 on Preserving Positive Ricci Curvature. In theorem 9.4,...
5
votes
1
answer
245
views
Possible sign of scalar curvature for Einstein warped product manifold with Ricci-flat
Let $(M, g_M)$ where $M= B \times_f F$ and $g_M=g_B + f^2g_F$, an Einstein warped product manifold (i.e., $Ric_M= \lambda g_M$), with Ricci flat fiber-manifold $F$, i.e., $Ric_F=0$.
Then $M$ can admit ...
1
vote
1
answer
205
views
Conditions for Lipschitzness of boundary normal vector, almost everywhere
Let $C$ be a nonempty closed subset of $\mathbb R^n$. It is known that any such set satisfies the following condition
(Unique CPP a.e). For almost every $x \in \mathbb R^n$, there exists a unique ...
4
votes
1
answer
245
views
Tzitzeica surface
A Tzitzeica surface has the property that the ratio of the surface’s Gaussian curvature and the fourth power of the distance from the origin to the tangent plane at any arbitrary point of the surface ...
2
votes
0
answers
101
views
Parallelism defect
I have a question that I don't know how to answer.
If I have a parallelism defect it is due to the presence of a curvature and therefore we can bring it back to a Riemann tensor.
The thing that is not ...
1
vote
1
answer
290
views
Heat kernel on hyperbolic space of variable curvature
I am working with the heat kernel on the hyperbolic space explicitly (as you may guess by my previous questions) and I got the desired results when the curvature is $-\kappa=-1$. Now I am trying to do ...