All Questions
Tagged with dg.differential-geometry riemannian-geometry
1,985 questions
2
votes
1
answer
174
views
Teichmuller interpretation of unbounded holomorphic quadratic differentials
For a closed Riemann surface $\Sigma$ of genus $g \geq 2$, the space of holomorphic quadratic differentials on $\Sigma$ can be identified with the cotangent space $T_\Sigma^* \mathcal{T}_g$: in other ...
- 5,038
7
votes
1
answer
889
views
Definition of the conformal metric
On page 16 of this lecture notes and in this lecture, at some point (somewhere at 1:37:45), Rod Gover defined the $\text{conformal metric}$ $\mathbb{g}$ on a conformal manifold $(M, [g])$. He ...
- 319
2
votes
0
answers
103
views
Representation formula for solutions to fully nonlinear equations
Let $n\geq 3$, for a metric $g$ on $\mathbb{S}^n$, the $\sigma_k$-curvature of $g$ is defined as follows. Let $Ric_{g}$, $R_{g}$ and $A_{g}$ denote respectively the Ricci curvature, the scalar ...
- 471
6
votes
1
answer
423
views
Difference between parallel transport and ambient projection
Consider a $d$-dimensional complete embedded Riemannian submanifold $(M,g)$ of a Euclidean space $\mathbb{R}^D$ (The major examples we consider are sphere and Stiefel manifold). Assume the sectional ...
- 125
2
votes
1
answer
262
views
Make a Riemannian metric real analytic in some coordinates
Suppose I have a smooth (high dimensional) Riemannian manifold, and fix a base point $x_0$. Can I pick a coordinate system near $x_0$ such that the metric is real analytic in some of the variables (...
- 263
1
vote
0
answers
59
views
Number of divergence free symmetric two tensor in dimension 4 [duplicate]
In a $4$ dimensional (semi)-Riemannian manifold $(M^{4}, g)$, both Einstein tensor $G= \operatorname{Ric}(g)- \frac{R(g)}{2}g$ and stress-energy tensor $T$ symmetric and divergence-free. Is there any ...
- 319
7
votes
0
answers
206
views
Crumpling dimension: the least d for which a riemannian manifold embeds isometrically into an arbitrarily small ball of R^d
In Smooth isometric embedding of euclidean n-space into an arbitrarily small neighborhood of another euclidean space I recently asked the same question, but specifically for euclidean spaces of any ...
- 2,858
4
votes
0
answers
262
views
is there a co-Stokes theorem? (with the codifferential)
I am trying to read through J. Simmons, Minimal Varieties in Riemannian Manifolds, and in the proof of Proposition 1.2.2 he calls "Stokes theorem" to the following result:
$$
\int_M\delta\...
2
votes
0
answers
293
views
Detail in Perelman's proof of the soul conjecture
Referring to G. Perelman, Proof of the soul conjecture by Cheeger and Gromoll. Given a distance-nonincreasing retraction $P$ from an open complete manifold of nonnegative curvature onto its soul $S$, ...
- 241
2
votes
0
answers
51
views
Transnormal foliation with non-smooth transnormal function
I am interested in results regarding transnormal foliations on a Riemannian (smooth, connected and complete) manifold $(M,g)$. More specifically, a smooth function $f:M\to{\bf R}$ is called ...
- 283
2
votes
0
answers
127
views
Foliation of $X$ by once punctured planes without any singularities
Let $n=3.$
Take $X=(0,1)^n.$ Fix points $p,q$ s.t. $\text{dist}_n(p,q)=\sqrt{n}.$ Construct a smooth regular foliation of $X$ with $(n-1)-$dim. leaves which are topologically $(0,\sqrt{n})\times S^{n-...
- 383
3
votes
1
answer
333
views
Definitions fundamental forms and their geometric Intuition
Let $(M^{n+1}, g)$ be a Lorentzian manifold (spacetime) that contains a Riemannian/spacelike hypersurface $(\Sigma ^{n},h).$ Then we can define the second fundamental form of the hypersurface in many ...
- 319
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, ...
- 609
4
votes
0
answers
334
views
Hodge decomposition on non-compact manifolds
Let $(\mathcal{M},g)$ be a compact Riemannian manifold without boundary. Then we have the well-known Hodge decomposition
$$\Omega^{k}(\mathcal{M})\cong\mathcal{H}^{k}(\mathcal{M})\oplus\mathrm{ran}(\...
- 1,171
6
votes
1
answer
323
views
Deformations of the 4-sphere with 8-dimensional isometry groups
I am looking for deformations of the 4-sphere with 8-dimensional isometry group, like a 4-dimensional Berger sphere.
- 427
9
votes
1
answer
366
views
Smooth isometric embedding of euclidean n-space into an arbitrarily small neighborhood of another euclidean space
It is not hard to isometrically embed the euclidean plane smoothly into an arbitrarily small neighborhood of euclidean 4-space: First embed a real line isometrically in an arbitrarily small ...
- 2,858
2
votes
1
answer
172
views
Parallel Jacobi fields in a Hadamard manifold
Let $M$ be a Hadamard manifold and let $c: \mathbb{R}\rightarrow M$ be a geodesic. A Jacobi field $Y$ along $c$ is called parallel if $Y'(t) = 0$ for every $t\in \mathbb{R}$. If we assume that $M$ is ...
- 415
0
votes
1
answer
98
views
Must a surjective infinitesmal isometry between simply connected spaces be injective? [duplicate]
Let $f:M\rightarrow N$ be a smooth map between two simply connected Riemannian manifolds of the same dimension. It is also given that for every $x\in M$ we have that $Df|_x:T_xM\rightarrow T_{f(x)}N$ ...
- 1,117
3
votes
1
answer
275
views
Cut locus for simply connected manifolds
Let $M$ be a connected and simply connected compact Riemannian manifold (without boundaries). Fix a point $p\in M$.
The diameter set $D_p$ of $p$ is the set of points that maximize the distance from $...
- 769
0
votes
0
answers
169
views
Conformal diffeomorphism of $\mathbb R^k$
Let $f$ be a conformal diffeomorphism between $\mathbb{R}^k$, where $k\geq 2$, and its Euclidean metric. It follows from complex analysis and Liouville's theorem that $f$ can only be affine. Now, ...
- 307
5
votes
3
answers
620
views
Poisson equation on manifolds
Let $(\mathcal{M},g)$ be a compact Riemannian manifold with Levi-Civita connection $\nabla$. It is well-known that the Poisson equation
$$\Delta u=f$$
does have a solution on $C^{\infty}(\mathcal{M})$ ...
- 1,171
2
votes
1
answer
157
views
Curvature of curves through a point of a surface smoothly embedded in Euclidean space
The curve C(𝜃) drawn on a smoothly embedded surface 𝜮 in 3-space — where C(𝜃) is defined as the intersection of 𝜮 with a 2-plane perpendicular to 𝜮 at P — leaving the point P at angle 𝜃 will ...
- 2,858
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 ...
6
votes
0
answers
152
views
Stability of Nash embedding
Consider a smooth compact manifold $M^n$, endowed with a smooth metric $g$. Assume that there exists a dimension $N$ and and isometric embedding $u : (M^n,g) \to \mathbb{R}^N$, for instance $N=n+1$.
...
- 363
0
votes
0
answers
85
views
A 1 dimensional foliation which is Riemannian foliation with respect to no Riemannian metric
What is an example of a non vanishing smooth vector field on a manifold $M$ whose corresponding foliation is a Riemannian foliation with respect to no Riemannian metric on $M$
- 356
0
votes
0
answers
161
views
A closed leaf with two different index with respect to two different Riemannian metrics
Inspired by this question about Jacobi equation. conjugate points and limit cycle theory we ask the following question:
Is there a geodesible 1 dimensional foliation $\mathcal{F}$ on a manifold $M$, ...
- 356
2
votes
1
answer
350
views
If there exists a function on a Riemannian manifold such that its Hessian matrix is the identity matrix?
In Euclidean space $\mathbb{R}^n$, $n\geq 2$, the Hessian matrix of the function $\frac{|x|^2}{2}$ is the identity matrix. While on a smooth manifold $(M^n, g)$, do there exists a function on $(M^n, g)...
- 471
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 ...
- 4,145
4
votes
1
answer
259
views
Is every Riemannian metric conformally equivalent to one that is geodesically complete?
The question in the title seems a natural one to ask, and I suspect that it is already considered, even completely solved, somewhere in the literature. Although I prefer some explanation of the idea(s)...
- 960
6
votes
3
answers
352
views
Existence of local isometric embedding of smooth $(M^{d-2},g)$ in $\mathbb{R}^{d-1}$
I'm posting this question in hopes that someone more familiar with the literature will be able to point me in the right direction (or give an obvious answer).
Let $M^{d-2} \hookrightarrow \mathbb{R}^d$...
- 163
8
votes
1
answer
223
views
Convex hulls of compact sets in a 2-manifold
Let $(\mathbb{R}^2,g)$ be a complete Riemannian manifold. Let $K\subset \mathbb{R}^2$ be a compact, connected set, and let $\text{conv}(K)$ be its convex hull, i.e., the intersection of all ...
- 381
3
votes
0
answers
210
views
Jacobi equation and conjugate points on solution curves of the Van der Pol vector field
Let $X$ be a geodesible non vanishing vector field on a manifold $M$. Namely there is a Riemannian structure $(M,g)$ such that all integral curves of $M$ are unparametrized geodesics of the ...
- 356
5
votes
0
answers
85
views
Intersections of geodesics in an "almost flat" plane
Let $g$ be a complete metric on $\mathbb{R}^2$, such that:
Outside of a compact connected set $K\subset \mathbb{R}^2$, the curvature of $g$ vanishes.
The integral of the Gaussian curvature in $K$ is ...
- 381
5
votes
0
answers
164
views
Intersection of orbits of earthquake flow on Teichmüller space
Let $\Sigma$ be a closed oriented surface of genus $g\geq2$. We consider $\mu$ and $\nu$ two filling measured laminations on $\Sigma$. (We say that $\mu$ and $\nu$ fill $\Sigma$ if $\Sigma\setminus(\...
4
votes
1
answer
209
views
Riemannian submanifolds of $2$-Wasserstein space
In the article "Wasserstein Geometry Of Gaussian Measures" by Asuka Takatsu the author shows how the space of d-dimensional Gaussian probability measures with non-singular covariance ...
- 91
6
votes
1
answer
230
views
Vanishing directional derivatives on $S^2$
Let $u$ be a smooth function defined on the unit sphere $S^2$. Does there exist a plane $P$ passing through the origin such that $P\cap S^2$ contains at least three points $x_1,x_2,x_3$ with $\nabla u(...
- 434
1
vote
1
answer
206
views
Decomposition of tensor field on hypersurface
Let $(\mathcal{M},g)$ be a Lorentzian manifold, which is globally of the form $\mathcal{M}\cong I\times\Sigma$, where $I\subset\mathbb{R}$ ("time") and $\Sigma$ ("space") is some $...
- 1,171
6
votes
3
answers
501
views
Closed geodesics on bumpy spheres
Main question:
Does every bumpy Riemannian metric on a sphere have at least three short and prime closed geodesics, for some reasonable definition of short?
E.g., a geodesic $\gamma$ could be called ...
- 419
4
votes
1
answer
377
views
The minimal surface equation in a Riemannian metric
Let $\Omega \subset \mathbf{R}^2$ be a domain, and let the cylinder $\Omega \times \mathbf{R}$ above it be endowed with a Riemannian metric $g$. (Note this is not assumed invariant in the vertical ...
- 5,038
5
votes
2
answers
340
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} =...
- 113
0
votes
1
answer
96
views
Hadamard submanifolds of $k$-fold product of hyperbolic plane
Let $\kappa>0$ and $d,k$ be a positive integers with $k\ge d$. For $k\in \mathbb{Z}^+$ large enough, can one find a geodesically complete and simply connected $d$-dimensional Riemannian ...
- 364
1
vote
1
answer
542
views
Does the Lie bracket of a certain pair of vector fields vanish?
I'm trying to read section 3 in
J. Jost and Y.L. Xin [JX].
This section has to do with the geometry of Grassmannians. I have a question that comes out of the derivation at the top of page 283 in that ...
- 81
2
votes
1
answer
483
views
What is an analogous version of the Ornstein–Uhlenbeck process on Riemannian manifolds?
Recall that the Ornstein–Uhlenbeck (OU) process in $\mathbb{R}^d$ is defined by the following SDE,
$$
d Z_t=\frac{-1}{2} Z_t d t+d W_t, \quad t \geqslant 0
$$
where $\left(W_t\right)_{t \geqslant 0}$ ...
- 537
4
votes
1
answer
149
views
Volume of balls in 3-dimensional manifolds with nonpositive Ricci tensor
The volume of a ball in a 3-dimensional Riemannian manifold with nonpositive Ricci tensor is greater or equal to the volume of an Euclidean ball with the same radius?
It should not be true, but I am ...
- 1,309
1
vote
2
answers
133
views
Does this special vector field affect on sectional curvature?
We have a nowhere vanishing vector field $X$ on a Reimannian manifold $(M,g)$, such that $\mathcal{L}_X g=2\alpha X^\flat \otimes X^\flat$ for a constant non zero $\alpha$. So, for every vector fields ...
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 ...
- 1,429
8
votes
1
answer
421
views
Existence of a special vector field on Riemannian manifolds?
In a Riemannian Manifold $(M,g)$ a vector field $X$ is said to be Killing vector field if $L_X g$=0 and is said to be conformal if $L_X g= fg$ for some smooth real function $f$ on $M$.
Also, the ...
4
votes
2
answers
527
views
On diffeomorphisms that preserve the metric
Suppose $\Omega\subset \mathbb R^2$ is a bounded domain with smooth boundary and suppose that
$$ F: \Omega \to \Omega,$$
is a diffeomorphism that fixes $\partial \Omega$ (i.e $F|_{\partial \Omega}$ is ...
- 4,145
7
votes
1
answer
607
views
Kähler metric with two compatible complex structures
Let $(M^4,g)$ be a complete $4$-dimensional Riemannian manifold such that two almost complex structures $I$ and $J$ are compatible with $g$ and $\nabla_g I=\nabla_g J=0$.
Can we prove that $(M,g)$ is ...
- 891
3
votes
0
answers
100
views
Are there Lojasiewicz-Simon estimates with boundary?
Let $M$ be an analytic manifold with boundary $\partial M$, equipped with a Riemannian metric $g$, which is also analytic up to and including the boundary.
Are there Lojasiewicz–Simon estimates ...
- 5,038