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.

learn more… | top users | synonyms

2
votes
1answer
62 views

Smooth manifolds for which every metric is geodesically convex

Are there non compact smooth manifolds which have the property that every Riemannian metric is geodesically convex? Note that a manifold for which every Riemannian metric is complete must be compact. ...
2
votes
1answer
55 views

Action generated by geodesic flow is hamiltonian

I'm trying to understand why a certain action of a Lie Group is hamiltonian. Let $(M,g)$ be a geodesically complete Riemannian manifold. Then there exists a canonical one-form on the cotangentbundle ...
4
votes
2answers
268 views

What does it mean that the Hessian is proportional to the metric?

Let $(M,g)$ be a smooth manifold equipped with a metric tensor $g$, and $f\in C^\infty(M)$ a regular function (i.e., with nowhere vanishing differential). Denote by $\mathrm{Hess}_g(f):=\nabla df$ ...
3
votes
0answers
77 views

Gromov's compactness theorem for manifolds with boundary

The Gromov's compactness theorem says that if $\{M_i^n\}$ is a sequence of closed Riemannian manifolds of dimension $n$ with uniformly bounded diameter and uniformly bounded from below Ricci curvature ...
17
votes
0answers
154 views

Metrics on the 3-sphere with knotted geodesics

According to answers to this question every metrics on $S^3$ admits a simple closed geodesic. Given a knot (or link) $K$, it's also quite simple to build a metric on $S^3$ such that $K$ is a geodesic ...
3
votes
2answers
181 views

Triangles in rigid Riemann surfaces

Edit: We thank Vladimir Matveev for his comment on this post which leeds us to revise the question as follows: Assume that $M_{g}$ is a compact Riemann surface with constant negative cuvature (That ...
2
votes
0answers
69 views

$Pin^{+}(4k)$ and $Pin^{-}(4k)$ are isomorphic [Reference Request]

This is some sort of "follow-up" to the (unanswered) question posted here. Let's denote $$\varphi :O(2n)\rightarrow O(2n);A\mapsto det(A)\cdot A.$$ Then $\varphi $ is an automorphism of $O(2n)$, and ...
3
votes
0answers
56 views

Barycentric interpolation in hyperbolic triangles

Let $T$ and $T'$ be triangles in the hyperbolic plane $\mathbb{H}^2$, denote by $A, B, C$ and$A', B', C'$ their vertices respectively. Let $f : T \to T'$ be the unique "barycentric interpolation" that ...
3
votes
0answers
40 views

Determinant twist and $Pin _{\pm}$ structure on $4k$-dimensional bundles [Reference request]

Consider the automorphism $\varphi$ of $O(2n)$ given by $\varphi (A)=det(A)\cdot A$. The induced map in cohomology $H^*(BO(2n))$ sends $w_2$ to $w_2+(n+1)w_1^2$ (a proof is given at the end of the ...
3
votes
1answer
124 views

Non-flat totally geodesic surfaces

I'd like to know whether a Riemannian symmetric space of compact type admits a non-flat totally geodesic surface. I've found an article by Mashimo on the classification of these surfaces for certain ...
2
votes
0answers
69 views

What dimension bound is known on the singular set of a linear combination of eigenfunctions of Laplacian?

Let $(M,g)$ be a smooth, closed Riemannian manifold and suppose that $\phi_1,\dots,\phi_m$ are eigenfunctions of the Laplacian on $M$. Write $f = \phi_1 + \dots + \phi_m$. How big can the set ...
0
votes
0answers
46 views

Toponogov comparison theorem for complex manifold

I want to know some reference for the Toponogov comparison theorem for complex manifold, in particular, for complex manifold with bounded holomorphic sectional curvature. As far as I know, the ...
0
votes
1answer
57 views

Sobolev chain rule on non-compact manifolds

Let $(M,g)$ be a non-compact Riemannian manifold (not of bounded geometry). Let $f:\mathbb{R} \to \mathbb{R}$ be $C^1$ with $f'$ bounded and $f(0)=0$. Is the Sobolev chain rule valid for functions ...
4
votes
0answers
96 views

Difference between parallel transport composed with exponential maps along two different geodesics starting at the same point?

I asked this question on math.stackexchange too: it's not a homework problem, but something that came to my mind while thinking of commutation: ...
3
votes
0answers
79 views

Does null geodesic flow live on a natural compact bundle?

Let $(M,g)$ be a compact pseudo-Riemannian manifold (closed or with boundary). A geodesic $\gamma:(a,b)\to M$ is called null if $g_{ij}\dot\gamma^i\dot\gamma^j=0$. The geodesic flow can be seen as a ...
4
votes
1answer
161 views

Prove that the Log-Euclidean distance is negative-definite

Let $\Bbb{S}_{++}^n$ be the $\frac{n(n+1)}{2}$-dimensional Riemannian manifold of the symmetric positive definite (SPD) $n\times n$ real matrices. The Log-Euclidean distance between two points of ...
5
votes
0answers
92 views

$C^1$ regularity of harmonic functions on Riemannian manifolds

Consider a smooth, connected and complete Riemannian manifold $M$. It is well known that harmonic functions defined on some open subset of $M$ are $C^\infty$. I'm interested in knowing whether there ...
3
votes
1answer
224 views

Volume of arithmetic quotients of symmetric spaces

Now let $\textbf{G}$ be some connected semisimple linear algebraic group over a number field $F$. Let $G_{\infty}$ be $\textbf{G}(\mathbb{R}\otimes_{\mathbb{Q}} F)$. Let $K_{\infty}$ be a maximal ...
1
vote
1answer
105 views

Diffeomorphism variation of the Christoffel symbol

Under an infinitesimal diffeomorphism the Riemann metric changes by the Lie derivative $$ \delta g_{\mu\nu} = ({\mathcal L}_\xi G)_{\mu\nu}=\nabla_\mu \xi_\nu+\nabla_\nu \xi_\mu $$ and under a change ...
4
votes
1answer
62 views

Can every hyperelliptic genus 3 surface be minimally immersed in flat $T^3$

Every minimally immersed genus 3 surface in flat $T^3$ must be hyperelliptic, as the Gauss map gives the degree 2 covering map. How about the converse of this problem? The only thing I can find is ...
6
votes
0answers
152 views

Smooth morse theory of Riemannian distance functions

Let $(M,g)$ be a Riemannian manifold, and $p\in M$. As $R>0$ increases, the topology of the ball $B(p,R)$ changes, but the changes happen only at a Lebesgue measure zero set of $R$. For instance, ...
1
vote
1answer
97 views

Decomposition of a closed surface

I know that I can decompose an hyperbolic closed surface of genus $g>1$ into $2(g−1)$ pants bounded by $3$ geodesics. It seems reasonable to think the same can be done for a closed surface of genus ...
2
votes
0answers
63 views

Bounding distance between geodesics in manifolds with nonpositive curvature

This is a duplicate of a question at the stackexchange which was not answered. I've recently read (in some notes by Mark Pollicott) the following related claims, which, although quite intuitive, I ...
1
vote
0answers
109 views

Taylor expansions of Riemannian exponential map and Jacobi fields? [closed]

Apologies if this is not exactly a research-level questions, but I've no known reference where I can figure it out myself. I asked this on math.stackexchange.com, ...
3
votes
1answer
88 views

Involution on the set of isomorphism classes of 2n-dimensional vector bundles induced by an involution of $O(2n)$

Denote by $\varphi$ the automorphism of $O(2n)$ given by $\varphi (A)=det(A)\cdot A$.This induces a self-map $B\varphi$ of $BO(n)$, so it induces a self-map (actually an involution) $B\varphi ^*$ on ...
2
votes
1answer
184 views

existence of totally geodesic hypersurfaces

Assume we are on a smooth, complete Riemannian manifold $(M,g), dim(M) \geq 3$. What are the specific geometric/topological constraints for such a manifold to admit complete, totally geodesic ...
1
vote
1answer
172 views

Almost complex structure and nontrivial idempotents

Is there a compact Reiemannian manifold $M$ for which the following complex $C^{*}$ algebra does not have a nontrivial idempotent: $A=Hom(E,E)$ where $E$ is the complexification of $TM$. Of ...
3
votes
1answer
77 views

Gauss-Bonnet formula for 2-dimensional Alexandrov spaces

EDIT: Let $S$ be a closed orientable 2-dimensional surface equipped with a metric with curvature $\geq \kappa$ in the sense of Alexandrov. Questions 1. Can one define a measure $K$ on $S$ (thought ...
1
vote
0answers
51 views

Taylor expansion in Riemannian foliations

Take: $M$ a Riemannian manifold, ${X_0}\in M$, $N_{X_0}$ a submanifold of $M$ going through ${X_0}$, and $Z \in N_{X_0}$ in a neighborhood of ${X_0}$. At ${X_0} \in N_{X_0}$, we consider the ...
0
votes
0answers
58 views

What is the relation between two Riemannian metrics with the same Riemannian curvatures?

Consider two flat Riemannian metrics on a manifold. What is the general relation between these two metrics if the manifold is not simply-connected? What is the answer if two Riemannian metrics have ...
6
votes
2answers
117 views

Geodesics on convex hypersufaces

Let $M^n$ be the boundary of a convex compact set in $\mathbb{R}^{n+1}$ with non-empty interior. Question 1. Is $M$ geodesically complete, i.e. is it true that every geodesic (= locally shortest ...
6
votes
2answers
124 views

Alexandrov spaces which are not limits of Riemannian manifolds

Are there important/ interesting/ natural examples of compact Alexandrov spaces with curvature bounded from below which are not Gromov-Hausdorff limits of smooth compact Riemannian manifolds with ...
3
votes
2answers
171 views

Totally geodesic submanifold of a hyperbolic 3-manifold

If $M$ is a convex-cocompact hyperbolic 3-manifold, and $S$ is a closed surface with genus $\geq$ 2. Suppose $f:S\to M$ is a minimal immersion, and $f(S)$ is negatively curved. I know that all the ...
5
votes
0answers
109 views

Nice applications of Liouville's theorem

I need a big list of nice-looking and simple applications of Liouville's theorem on geodesic flow in Riemannian geometry. Please help. Examples: A Riemannian manifold with finite volume does not ...
1
vote
1answer
139 views

Using Jacobi fields to approximate parallel transport along geodesic:is the following limit true?

I apologize if this is not a research level question (already tried asking http://math.stackexchange.com/questions/1303288/relation-between-parallel-transport-and-jacobi-field-iion stack exchange with ...
0
votes
2answers
146 views

Special connection of vector bundle over real manifold

Let $E \rightarrow M$ be a vector bundle over a smooth manifold $M$ and let $g$ be a bundle metric. Does there exists a conection (maybe unique) $\nabla$ which is compatible with $g$. By this I mean: ...
6
votes
2answers
259 views

Lower bound on the first eigenvalue of the Laplace-Beltrami on a closed Riemannian manifold

It has been proved by Li-Yau and Zhong-Yang that if $M$ is a closed Riemannian manifold of dimension $n$ with nonnegative Ricci curvature, then the first nonzero eigenvalue $\lambda_1(M)$ of the ...
190
votes
9answers
16k views

John Nash's Mathematical Legacy

It would seem that John Nash and his wife Alicia died tragically in a car accident on May 23, 2015 (reference). My condolences to his family and friends. Maybe this is an appropriate time to ask a ...
1
vote
0answers
116 views

Spherical cap is the only compact constant mean curvature surface bounded by a circle

I would like to see that the only compact rotationally invariant constant mean curvature surfaces with boundary a planar circle, are either a planar disk or a spherical cap. This is stated in the ...
0
votes
0answers
52 views

Does anyone know how to describe the zero set of the Jacobian of injective harmonic maps in space?

For example consider the following question: Let $\mathbb{B}^m$ be hyperbolic space and let $f : \mathbb{B}^m \rightarrow \mathbb{B}^m$ be harmonic $K$-qc map. Whether $f$ has critical points on ...
-2
votes
1answer
140 views

Finding Riemannian metric for this geodesic [closed]

In a $d$-dimensional manifold, given a geodesic equation $\gamma^i(t)=a^i\phi(tb^i),i\in 1\ldots d$, where $\phi:\mathbb{R}\rightarrow\mathbb{R}^+$ is an increasing function, $a^i>0,b^i$ are ...
10
votes
0answers
251 views

Vector field built from connection and metric

Consider a smooth finite-dimensional manifold $M$ with metric $g$ and connection $\nabla$. For some local coordinate system, denote by $g^{\alpha \beta}$ the inverse of the metric tensor and by ...
1
vote
0answers
63 views

Can a cylinder be regarded as a Riemannian manifold? [closed]

Consider the surface of a bounded cylinder consisting of a top,bottom and side part together with the metric induced by the euclidean norm on $\mathbb{R}^3$. Can this space be regarded as a Riemannian ...
3
votes
1answer
275 views

Flat Riemannian manifold

Is it true that a Riemannian manifold is flat, if and only if a coordinate transformation $f$ exists, such that the geodesics after transformation is in linear form ...
6
votes
2answers
253 views

Where is the exponential map a diffeomorphism?

Let $M$ be a closed compact Riemannian manifold. The exponential map $\mathrm{exp}:TM\to M\times M$ takes $(p,v)$ to $(p,\gamma_v(1))$, where $\gamma_v$ is the geodesic flow at $p$ in the direction ...
2
votes
4answers
576 views

Intrinsic definition of arc length [closed]

Is there an intrinsic way of defining the arc length of a curve in $\mathbb{R}^{3}$, that is without resorting to a parametrization of the curve?
2
votes
1answer
61 views

Does convex hypersurface necessarily bound a convex domain?

Let $H\in M$ be a convex hypersurface, where $M$ is a complete Riemannian manifold and $H$ is an embedded (complete as a induced metric space) hyper surface without boundary and with positive definite ...
1
vote
3answers
180 views

Isometric imbedding of finite metric space into standards spaces [duplicate]

Is it true that any metric space consisting of $n$ points can be isometrically imbedded into $n-1$ dimensional Euclidean space? Hyperbolic space? (For $n=3$ this is true.) If not, what are ...
2
votes
2answers
51 views

extension of the projectivized gradient of a harmonic function

Let $(M,g)$ be a riemannian manifold, $\Delta$ the associated Laplacian, and $\{ f_i \}$ the real-valued eigenfunctions of $\Delta$. Then, $\nabla f_i \in \Gamma ^{\infty } (\mathrm{T} M) $ is defined ...
5
votes
1answer
351 views

Intersections of open balls in manifolds

This question is motivated by the post Uncountable intersections of open balls in a separable metric space. The general problem is the following: given a connected Riemannian manifold $M$, what are ...