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

0
votes
0answers
22 views

Equivariant Tubular Neighborhood Theorem in Hilbert Spaces

I'm looking for a proof of the above theorem in the case of a compact Lie Group $G$ acting on an (infinite dimensional) Hilbert Space $\mathbb{H}$ (Compare T. Dieck "Transformation Groups", Theorem ...
2
votes
1answer
68 views

Set of regular points in an Alexandrov space with curvature bounded below

Let $X^n$ be an $n$-dimensional Alexandrov space with curvature bounded below. A point $x\in X$ is called regular if the space of directions $\Sigma_x$ is isometric to the standard sphere $S^{n-1}$. ...
18
votes
8answers
1k views

Advanced Differential Geometry Textbook

I tried this post on StackExchange with no luck. Hopefully the experts at MathOverflow can help. In algebraic topology there are two canonical "advanced" textbooks that go quite far beyond the usual ...
1
vote
0answers
40 views

Doubling theorem for Alexandrov spaces

Is there a user friendly exposition of the notion of boundary of an Alexandrov space with curvature bounded from below and of the Doubling theorem? The only reference I am aware of is the original ...
-1
votes
0answers
89 views

Curvature in geometry-interpretation

Previously this question was asked on stack exchange: the answer contained only reference to the wikipedia page which I already read (as mentioned in my post). So here is the question: The are ...
7
votes
2answers
255 views

For a 3-manifold $Y$, when does $Y\times S^{1}$ admits a Riemannian metric with positive scalar curvature?

Let $Y$ be an orientable, smooth 3-manifold and let $X=Y\times S^{1}$. My question is that: when does $X$ admits a Riemannian metric with positive scalar curvature? An obvious case is when $Y$ ...
1
vote
0answers
59 views

Comparing Dirichlet energy and area of a Surface-immersion

Let $(F,g)$ be a closed Surface, $(M,h)$ a Riemannian 3-Manifold and $f: F \to M$ a smooth immersion. Denote by $f^*(h)$ the pullback metric on $TF$ induced by $f$ and let $dV_g$ and $dV_{f^*(h)}$ be ...
5
votes
2answers
440 views

Square of the distance function on a Riemannian manifold

Let $(M^n,g)$ be a smooth Riemannian manifold. Consider the square of the distance function $$dist^2\colon M\times M\to \mathbb{R}$$ given by $(x,y)\mapsto dist^2(x,y)$. It is easy to see that this ...
4
votes
2answers
294 views

Riemannian metrics preserved by diffeomorphisms

Let $f \neq Id$ be a diffeomorphism (of a smooth manifold $M$) which admits some Riemannain metric on $M$ making it an isometry. How many different metrics are preserved by $f$? Note that ...
1
vote
0answers
95 views

When is a conformal class equal to a conformal orbit?

Let $(M,g)$ be a Riemannian manifold of dimension $n$. Let $\text{conf}(M,g)$ denote the conformal group, i.e. the subgroup of diffeomorphisms of $M$ that acts by conformal transformations relative to ...
2
votes
0answers
30 views

Generate matrices at the given distance from the initial matrix

I have n-by-n correlation matrix $C_{ij}$, it's symmetric positive definite, and $C_{ii}=1$ and $C_{ij}\le1$ etc. I want to generate a bunch of matrices $M_{ij}$ which are on the same distance from ...
4
votes
2answers
245 views

Vector Fields in a Riemannian Manifold

Suppose $(M,g)$ is a Riemannian manifold. Is there a way to classify manifolds where there exists a vector field that commutes with the laplace beltrami operator? Thanks
1
vote
0answers
31 views

Normal fields of geodesic spheres

This question is related to this one (http://math.stackexchange.com/questions/1383511/normal-curvature-of-geodesic-spheres) I've asked at math.stackexchange. Let $(M,g)$ be a compact Riemannian ...
1
vote
1answer
71 views

The momentum constraints in the ADM formulation of general relativity

Suppose that the space-time has a time function. Let $g_{ij}$ be the Riemannian metrics of the time slices, and $K_{ij}$ be the second fundamental forms. It is by Codazzi equation that $$ ...
3
votes
1answer
159 views

Orbits of Metrics under the Action of the Diffeomorphism Group

Consider the $n$-sphere $$ S^n = \{x\in\mathbb{R}^{n+1}: 1 - \sum_{k=1}^{n+1} x_k^2 = 0\}, $$ and let $g_1$ be the induced metric. Given $\lambda\in\mathbb{R}^{n+1}_{>0}$, we have the ellipsoid $$ ...
2
votes
1answer
77 views

Limited expansion of mean curvature of geodesic spheres

I am working with the Laplacian on a Riemannian manifold $(M,g)$ (compact, without boundary). In spherical geodesic coordinates $(r, \sigma)$ around some arbitrary $x \in M$ (where $\sigma$ denotes ...
1
vote
0answers
50 views

Immersed surfaces in Hyperbolic 3-manifolds

Given a hyperbolic 3-Manifold $M=\Gamma_{0}\setminus\mathbb{H}^3$, and a smooth, connected, compact immersed negatively curved surface $\Sigma=\Gamma\setminus\widetilde\Sigma\subset M$, where ...
1
vote
0answers
101 views

understanding geometry of eigen values of Ricci tensor [closed]

As per I can visualize the eigen value $\lambda$ of a linear map $T:V \rightarrow V$, defined by $Tv=\lambda v$, is actually the scaling factor of the vector in the same direction as of $v$.My ...
13
votes
3answers
575 views

Can the Laplace operator on $n-$ manifolds be represented as a sum of $n$ second order derivational operators

EDIT: According to some comments on this post I revise the title to remove the misunderestanding. Assume that $M$ is a Riemannian manifold of dimension $n$. The natural Laplace operator associated ...
0
votes
0answers
30 views

derivation of a expression in the ricci flow on surfaces

Recently I am studying benett chow and dan knopf's book titled Ricci flow:an introduction.In chapter 5 (Ricci flow on surfaces) I am stuck in a straightforward deduction.May be it is very simple,but ...
3
votes
1answer
132 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. ...
3
votes
1answer
94 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 ...
1
vote
1answer
150 views

Symmetries of non-Riemannian curvature tensor

The curvature tensor, $R_{ab}{}^c{}_d$, can be obtained from a connection which not necessarily is a metric connection. By construction it is antisymmetric in the first two indices, since roughly ...
4
votes
2answers
293 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$ ...
4
votes
0answers
85 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
171 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
195 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
74 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
62 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
45 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 ...
4
votes
1answer
133 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
73 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
51 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
59 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
100 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
80 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
170 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
99 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
232 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
115 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
67 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
165 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
101 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
65 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
111 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
89 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
194 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
174 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
81 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
57 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 ...