Questions tagged [riemannian-geometry]
Riemannian Geometry is a subfield of Differential Geometry, which specifically studies "Riemannian Manifolds", manifolds with "Riemannian Metrics", which means that they are equipped with continuous inner products.
3,082 questions
19
votes
2
answers
3k
views
Conjugate points in Lie groups with left-invariant metrics
For any Lie group $G$ there exist many left-invariant Riemannian metrics, namely, one just takes any inner product on the tangent space at the identity $T_eG$ and then left translate it to the other ...
3
votes
2
answers
2k
views
Equality of the determinants of certain submatrices of an orthogonal matrix
Is the determinant of any submatrix of an ORTHOGONAL matrix extracted from the intersection of $k$ row and $k$ columns equal to that of the $(n-k)(n-k)$ submatrix remaining after deletion of these ...
6
votes
0
answers
269
views
Negative curvature in the middle of $R^{3}$
What's a simple example of metric on $R^{3}$ which has negative scalar curvature inside of a (limited) set N, and is equal to the standard (Euclidean) metric outside?
Basically, I am asking for a ...
3
votes
2
answers
222
views
Random metrics on compact orientable surfaces
Hello everyone,
Let $S_g$ be a compact orientable surface of genus $g \geq 2$, and let $\mathcal{A}$ be the set of $\mathcal{C}^{\infty}$ Riemanniann metric on $S_g$ endowed with the topology of ...
1
vote
1
answer
1k
views
Why don't $\mathbb{T}^n, \mathbb{S}^n, \mathbb{H}^n$ admit other metrics of constant curvature?
The torus $\mathbb{T}^n$, the sphere $\mathbb{S}^n$ and the hyperbolic space $\mathbb{H}^n$ admit metrics of constant (sectional) curvature $0, 1, -1$ respectively. Do they afford metrics of constant ...
9
votes
1
answer
539
views
Geometry defined by foliation.
In $\mathbb R^3$ there are 3 natural foliations given by the lines parallel to each axis, which intersect transversally. Let $M^n$ a manifold with $n$ foliations by lines or circles that intersect ...
6
votes
1
answer
1k
views
Basic results in bounded geometry
I'm doing analysis (dynamical systems) in the context of Riemannian manifolds of bounded geometry and I find myself reproving quite a few standard results/tools from standard differential geometry, ...
5
votes
1
answer
2k
views
Surjectivity of the normal exponential map
Given an isometric (in the Riemannian way) immersion $f:N\rightarrow M$ between complete, smooth riemannian manifolds, are there conditions on $M$, $N$, $f$, such that the normal exponential map $\...
4
votes
1
answer
208
views
Special coordinates for periodic metrics
This question is a follow-up to that one.
Given a $\mathbb{Z}^n$-periodic metric $g$ on $\mathbb{R}^n$ (with $n>2$), is it possible to find a periodic diffeomorphism $\varphi$ such that $\varphi^*...
3
votes
1
answer
202
views
Volume growth of covers and growth of deck-transformation groups
It is well-known that if $\widetilde M\to M$ is a Galois cover of a compact Riemannian manifold $M$ with deck-transformation group $G$, then the growth of $G$ equals the volume growth of $\widetilde M$...
1
vote
2
answers
223
views
Reference request: Riemannian manifold of linear isometries from $\mathbb{C}^n$ into $\mathbb{C}^m$
Does anyone know a citeable reference which works out the properties (geodesics, geodesic distance, ect) of the Riemannian manifold of linear isometries from $\mathbb{C}^n$ into $\mathbb{C}^m$, $m>...
3
votes
2
answers
611
views
Can one (block) diagonalize the curvature matrix of 2 forms on a Riemannian manifold?
Let $M$ be a smooth Riemannian manifold, let $R$ be the Riemannian curvature operator, and let $p$ be a point in the manifold. With respect to any orthonormal basis of the tangent bundle at the point $...
2
votes
1
answer
1k
views
recognizing Kahler manifolds of complex dimension n
Is there new classification of Kahler manifolds of complex dimension n and new results for necessary and sufficient conditions for a manifold being Kahler? I know if redactivity of Lie algebra on ...
6
votes
1
answer
298
views
Invariants of a $GL(3,\mathbb{R})$ action
I'm trying to understand the standard $GL(3,\mathbb{R})$ action on the 15-dimensional space of possible values for the derivative of the Riemann curvature tensor of a 3-dimensional manifold $M$ at a ...
14
votes
2
answers
964
views
A riemannian manifold with finitely many closed contractible geodesics
By a closed geodesic, I mean a smooth periodic geodesic $\mathbb{R} \rightarrow (M,g)$. I will consider them up to geometric distinction.
This means that any two closed geodesics are equivalent if ...
7
votes
3
answers
1k
views
Positively curved metrics on $S^2\times S^2$
As you know, the Hopf conjecture is about the existence of positively curved metric on $S^2\times S^2$. Hsiang-Kleiner have shown that there exists no positively curved metric admitting $S^1$-action ...
4
votes
1
answer
725
views
On Dimension of Instanton Moduli Space
I am reading Charles Nash's book on differential topology and QFT. In particular, I have question on the part calculating dimension of instanton moduli space. The question split into conceptual part ...
6
votes
2
answers
892
views
Riemannian manifolds with small geodesics and bounded curvature
Let $(M,g)$ be a compact riemannian manifold with sectional curvature $|K_g| \leq 1$. A lemma due to Klingenberg asserts that then either the injectivity radius $i_g \geq \pi$ or $(M,g)$ contains a ...
4
votes
2
answers
2k
views
Energy functional
During my study on Ricci Flow I faced some functional known as energy functional. For example Einstein-Hilbert functional is called an energy functional, also in Perelman's works $\mathcal{F}(g,f)=\...
3
votes
1
answer
301
views
Is geodesic plane field a Killing field?
Let $M$ be a closed orientable Riemannian manifold. Recall that a plane field on a Riemannian manifold is said to be geodesic if any geodesic tangent to the plane field at one point is tangent to it ...
1
vote
1
answer
292
views
Homogeneous Spaces and Equivariant Hodge Maps
For a homogeneous space $G/H$, endowed with a $H$-equivariant metric $g$, let $\ast$ be the corresponding Hodge star map. It seems that $\ast$ must also be $\ast$-equivariant, but I can't see how one ...
2
votes
1
answer
1k
views
Strongly parabolic PDE vs weakly parabolic PDE
In my studies on the Ricci flow, I was faced with a problem. To prove the existence and uniqueness of solutions to the Ricci flow, it is proved that the Ricci flow is a Parabolic PDE type. Then one ...
3
votes
1
answer
583
views
geometric meaning of Ricci-flatness
What is the geometric meaning of Ricci-flatness? We know that if the Riemann tensor at a point vanished, manifold is flat at this point. but I don't know When the Ricci tensor vanished at a point, ...
2
votes
1
answer
478
views
Is there a lower bound for variance in terms of curvature?
If the Gaussian curvature of the metric $g= f^2(x,y)(dx^2+dy^2)$ is nonzero then $f$ cannot be constant. This can be expressed by stating that the (probabilistic) variance $Var(f)$ of $f$ is nonzero (...
1
vote
1
answer
127
views
3-dim 1-connected Alexandrov manifold with curvature $\ge 0$ Heomomorphic to sphere?
For Alexandrov manifold in the title we mean 3-dim Alexandrov apace which is also a topological. manifold.
Shioya-Yamaguchi posted a conjecture on their paper "Collapsing 3-manifold with lower ...
4
votes
1
answer
467
views
Trivial canonical bundle of a Ricci-flat, simplyconnected Kähler manifold
Hallo,
I have two questions where I do not really know how to deal with them. Let $(M,J,g)$ be a Kähler manifold, where $g$ is the Riemannian metric and denote by $\omega(\cdot , \cdot) = g(J \cdot ,...
2
votes
2
answers
356
views
Geometry of Hopf fibrations and the fibration of Steifel Manfiolds over Grassmannians
When $F = \mathbb{R}, \mathbb{C}$ or $\mathbb{H}$, there are fibrations $$O(k,F)\rightarrow V_k(F^n)\rightarrow G_k(F^n)$$ where $V_k(F^n)$ are Steifel manifolds and $G_k(F^n)$ are Grassmannians. When ...
28
votes
2
answers
5k
views
The Origin of the Musical Isomorphisms
In Riemannian geometry, the "lowering indices" operator is denoted by $\flat:TM \to T^*M$ and the "raising indices" operator by $\sharp:T^*M \to TM$. These isomorphisms are ...
3
votes
1
answer
174
views
A k-form is thought of as measuring the flux through an infinitesimal k-parallelepiped
On the wikipedia has written "A $k$-form is thought of as measuring the flux through an infinitesimal $k$-parallelepiped." How does a $k$-form do this? if this sentence is right, then the flux of ...
7
votes
2
answers
3k
views
Resolvent of Laplacian
Hello!
Let $(M,g)$ be a Riemannian manifold and $-\Delta$ the Laplacian on M (acting on smooth functions). Then the resolvent $R(\xi)$ of $-\Delta$ is a compact operator.
Is it possible to find for ...
2
votes
0
answers
1k
views
Bi-invariant Riemannian metrics on So(n)
Defining the inner product - 1/2 tr(XY) on the lie algebra so(n)(skew symmetric matrices) is one way to introduce a bi-invariant metric on So(n) since the inner product is ad-invariant. Are there any ...
20
votes
2
answers
2k
views
Is every topological (resp. Lie-) group the isometrygroup of a metric space (resp. Riemannian manifold)?
The isometry group of a metric space is a topological group (with the compact open topology). The isometry group of a Riemann Manifold is a Liegroup. (Thm. of Steenrod-Myers)
So, is every topological ...
2
votes
1
answer
260
views
Different notions of geodesics.
Let $M$ be a (without boundary and not necessarly complete) Riemannian manifold.
A map $c\colon [a,b]\rightarrow M$ is called geodesic of type A iff $c$ is piecewise smooth, parametrized proportional ...
3
votes
1
answer
438
views
positive sectional curvature of submanifold in $R^n$?
Let $N$ be a hypersurface in $\mathbb R^n$, assume it is compact. Then the maximum point of $d(O, x)$ when restrict to $N$ has positive sectional curvature lower bound by the one of the correspond ...
2
votes
0
answers
189
views
Clarification in a paper
This is regarding a clarification in page 384 of a paper published in Annals of Statistics by Amari.
In page no. 384, he defines $$R_i(t)=\frac{\partial}{\partial \theta_i} D_{\alpha}(q(x,t),p(x,\...
1
vote
0
answers
2k
views
Normal coordinates
On a Riemannian Manifold $(M,g)$, for any $p \in M$, there exists a normal coordinate system at p, ${U, x_1, ..., x_n}$. I want to integrate over a normal coordinate system with U being a geodesic ...
2
votes
0
answers
94
views
Approximating solutions to minima of the discrete Lagrangian
I have been stuck on this problem for a week and I'm not sure whether or not it is hard or I'm just missing something obvious.
General gist of the problem
I have a variational problem on a Riemannian ...
3
votes
1
answer
523
views
Diameter estimate of distance sphere of positive curved manifold
Let $M$ be an $n$-dimensional Riemannian manifold with sectional curvature lower bound 1. Fix a point say $O\in M$, let $S(r)$ denote the distance sphere centered at $O$ with radius $r$. The classical ...
7
votes
0
answers
364
views
Reference - Asymptotic geodesics on compact surfaces without conjugate points
I would like to ask about possible references on the following problem: consider a compact surface and a metric without conjugate points. Consider it's universal covering endowed whith the lifting of ...
1
vote
0
answers
175
views
The shape operator and an almost contact structure of a real hypersurface in $\mathbb{C}^n$
Let $S$ be an immersed real hypersurface in the Euclidean $\mathbb{C}^n$ with the standard complex structure $J$. Let $A:T(S)\rightarrow T(S)$ be the shape operator of $S$ (e.g. w.r.t. the outer ...
3
votes
1
answer
809
views
Induced Riemannian metric on Jet-Manifold
Suppose $(M,g)$ and $(N,g')$ are smooth Riemannian manifolds and $J^r(M,N)$ is the
smooth manifold of $r$-jets $j^r_xf$ of smooth maps $f:M\to N$.
Is there an 'induced' Riemannian metric $g''$ on $J^...
3
votes
1
answer
918
views
$C^k$ topology of metrics
Is the space of Riemannian metrics, over a compact manifold, complete when endowed with the $C^k$-topology of metrics?.
Is there a good reference for this?
0
votes
0
answers
752
views
Hessian of the inverse exponential map on a Riemannian manifold
Let $(M,g)$ be a Riemannian manifold. Then define
$f: T^*M \times M \to \mathbb{R}$
$f(x,\xi, y) = \langle exp_x^{-1} y, \xi \rangle$
where $exp_{\cdot}\cdot$ is the the exponential map and it's ...
15
votes
3
answers
2k
views
Characterizing Hessians among symmetric bilinear tensors
I apologize in advance if this is somewhat elementary, but:
Let $(M,g)$ be a compact Riemannian manifold. Is there a "characterization" of which symmetric bilinear tensors $B\in Sym^2(M)$ ...
1
vote
1
answer
994
views
Lie derivative of curvature
Let $M$ be a Kahler manifold, with Kahler metric $g$. Let $X$ be a holomorphic Killing vector field of $g$, i.e. $L_{X} g = 0$, where $L_{X}$ is the Lie derivative along $X$. Let $R$ be the Riemannian ...
23
votes
4
answers
5k
views
Why is it important that partial derivatives commute?
I am asking this in the context of differential geometry (specifically Riemannian).
When the Levi-Civita Connection is defined, we require that the torsion tensor is 0, which in local coordinates ...
6
votes
2
answers
975
views
Compact surface with genus$\geq 2$ with Killing field
Let M be a compact Riemannian surface of genus$\geq 2$.
Can M have a globally defined Killing field ?
Can M have a Killing field defined on M-(finite set of points)?
9
votes
0
answers
289
views
Tangent space, metrics etc. on simplicial sets
Is there a way to attach some sensible notion of tangent space to a simplicial set? If yes, is it possible to transfer typical local data from differential geometry such as metrics to this setting?
...
6
votes
2
answers
3k
views
When a Riemannian manifold is of Hessian Typ
When a Riemannian manifold is of Hessian Type (i.e., a Riemannian manifold which its metric is Hessian)
3
votes
1
answer
1k
views
Positivity of second fundamental form implies global convexity?
Let $M$ be a Riemannian manifold of dimension $n$. Let $N\subset M$ be a subset with smooth boundary $\Sigma=\partial N$. If one assume the second fundamental form $II$ with respect to inner normal ...