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
1answer
77 views

When are the minimizing geodesics of a totally geodesic submanifold also minimizing in the underlying manifold? [duplicate]

Also asked here: http://math.stackexchange.com/questions/1725787/when-are-the-minimizing-geodesics-of-a-totally-geodesic-submanifold-also-minimiz A reference on totally geodesic submanifold (TGS): ...
1
vote
1answer
101 views

Riemannian metric on a level set of a smooth function on a manifold

Also asked here: http://math.stackexchange.com/questions/1725491/riemannian-metric-on-a-level-set-of-a-smooth-function-on-a-manifold Let $(M,g)$ be a finite or infinite dimensional Riemannian ...
16
votes
1answer
409 views

Just how close can two manifolds be in the Gromov-Hausdorff distance?

Suppose that we have two compact Riemannian manifolds $(M,g)$ and $(N,h)$. Define the Gromov-Hausdorff distance between them in your favorite way, I'll use the infimum of all $\epsilon$ such that ...
6
votes
2answers
165 views

Criterion for deciding the conformal class of a metric on a complete surface

For orientable closed Riemannian surfaces $(S,g)$, there is a constant curvature metric $\overline{g}$ on $S$ that is conformal to $g$ in the sense that $\overline{g} = e^ug$ for some smooth function ...
4
votes
1answer
265 views

On the complexification of a Riemannian manifold

Let $(M,g)$ be a Riemannian manifold and $TM$ be its tangent bundle. If we suppose $TM\otimes\mathbb{C}$ is the complexification of $TM$ then how can we define a natural metric on the complex bundle ...
2
votes
2answers
136 views

Finding a specific Global Smooth Function

Any help with this problem would be appreciated. Thanks Suppose $(M^3,g)$ is a smooth compact Riemannian manifold with smooth boundary and $\gamma$ is a simple smooth orientable curve in $M$. Does ...
3
votes
0answers
62 views

Invariant Lagrangians of a connection and its derivatives: how do they look like?

Let $$ L=L(\Gamma,\partial\Gamma,\ldots,\partial^n\Gamma) $$ be a Lagrangian depending on a linear symmetric connection $\Gamma$ on the tangent space of a manifold $M$ together with its derivatives up ...
2
votes
0answers
107 views

Generalized Isotropic almost complex structures

Let $(M,g)$ be a Riemannian manifold, $TM$ it's tangent bundle, $\mathcal{H}TM$ be the horizontal sub-space of $TTM$ with respect to $g$, $\mathcal{V}TM$ be the vertical sub-space of $TTM$ and $K$ be ...
0
votes
1answer
122 views

Projection of geodesic is geodesic

Background : If a compact Riemannian manifold $M$ with a no curvature condition has disjoint two submanifolds $N_i$, then the distance between them is attained by some minimizing geodesic $c$. If ...
2
votes
1answer
67 views

Some manifold which is not totally geodesic in a compact manifold

(1) If $N^k$ is a submanifold in a compact Riemannian manifold $M^{k+m},\ m\geq 1$ s.t. each $p\in N$ has the following property : There exists independent set $\{ X_i\}_{i=1}^k$ tangent to $T_pN$ ...
0
votes
0answers
45 views

Foliation by Umbilic Surfaces

Suppose $(M,g)$ is a simply connected 3 dimensional Riemannian Manifold which is a foliation by Umbilic surfaces. Can I make the claim that there exists a coordinate system $(x_1,x_2,x_3)$ in which ...
-3
votes
1answer
249 views

Well-known name for a certain connection

Have $X \subset \mathbb{R}^3$ be a smoothly embedded surface. Then we try to define a connection on the tangent bundle $TX$ as follows. The tangent space $T\mathbb{R}^3$ is naturally a trivial ...
1
vote
1answer
123 views

Applying Cheeger and Colding segment inequality

The question turns out quite long and maybe a bit vague, I apologize in advance for that. I am currently trying to understand Cheeger and Colding proof of the almost splitting theorem. Currently ...
1
vote
0answers
59 views

Possible directions of saddle connections

Let's consider a Riemann surface $X$ of genus $g\ge 2$ and $q$ a holomorphic quadratic differential on $X$. A natural parameter on $X$ is a chart for which $q=dz^2$. A $\theta$-trajectory is a maximal ...
0
votes
0answers
40 views

trace sobolecv inequality for $q=2(n-1)/(n-2)-\varepsilon$ in half space

Can I do the following inequality, for $ u\in D^{1,2}(R^n_+)$, we have $(\int _{R^{n-1}} |u|^{2(n-1)/(n-2)-\varepsilon}dx')^{\frac{ 1}{2(n-1)/(n-2)-\varepsilon } }\leq C ( \int _{ R^n_+}| \nabla ...
1
vote
0answers
56 views

Dimension of tangent space to manifold of cross section slices

Given a function $\Phi:\Omega^{\Phi}\subset \mathbb{R}^3\rightarrow\mathbb{R}$, we intruduce its planar cross section slices $\phi^{s}:\Omega^{\phi}\subset \mathbb{R}^2\rightarrow\mathbb{R}$, using a ...
5
votes
0answers
236 views

On the curvature tensor with certain conditions

Let $(M^{n+m},g)$ be a Riemannian manifold and let $\lbrace X_1,...,X_n,Y_1,...,Y_m\rbrace $ be a locally orthonormal frame for $M$($3\leq n,m$). If we suppose the curvature tensor $R$ of $g$ ...
1
vote
1answer
60 views

Existence of left-invariant metric on the cotangentbundle of homogeneous spaces?

Let $N$ be a homogeneous space. Therefore we find a Liegroup $G$ and a isotropy-subgroup $K$ of $G$, such that we can identify $N = G/K$. Then we have a canonical action $l\colon G \times G/K \to G/K$ ...
0
votes
0answers
52 views

Trace Theorem for $q< 2(n-1)/(n-2)$

Can I get a trace theorem inequalite for $R^n_+$: For $q\in [2,2(n-1)/(n-2]$, we have $(\int_ {R^{n-1} } |u|^q dx) ^{2/q}\leq C(\int_{R^n_+} |\nabla u |^2dx)^{1/2}.$
1
vote
0answers
61 views

Scattering in (pseudo-)Riemannian spaces

I will ask my question in a broad way, leaving a lot of freedom for answers. Suppose that we have a (pseudo-)Riemannian space $(M,g)$ and we fix some ball-like domain $B \subset M$. Suppose you are ...
5
votes
1answer
200 views

Local differential geometry and invariant theory

Can someone please give me pointers to the literature for local differential differential geometry according to invariant theory in the following sense, provided such a literature exists? Start with ...
1
vote
1answer
182 views

Can a conformal map be turned into an isometry? [closed]

Let $f: (M, g) \to (M, g)$ be a conformal diffeomorphism of the riemannian manifold $(M, g)$, with $$ g(f(p))(Df(p) \cdot v_1, Df(p) \cdot v_2) = \mu^2(p) g(p)(v_1, v_2), \quad \forall p \in M, \, ...
1
vote
0answers
44 views

Convex Hull and Least Area Discs in Riemannian 3-Manifolds

Let $M$ be a complete Riemannian 3-manifold and $\gamma \subset M$ a simple closed curve that bounds a least-area disc $D$ - a disc that minimizes the area among all discs bounded by $\gamma$. Let ...
2
votes
0answers
410 views

On Eigenspace of a Bundle Map which is the horizontal part of a complex structure on $TM$

Let $(M^{n+m},g)$ be a Riemannian manifold and let $\mathcal{H}(TM) ‎‎\subseteq‎‎ TTM$ be the horizontal space associated to the Levi-Civita connection of $g$. ‎L‎‎et $\bar{J} : TTM \longrightarrow ...
3
votes
0answers
82 views

Isometric embedding for manifolds with conical singularities?

Motivation: In the 2+1 dimensional gravity theory, solutions of Einstein equation are locally with constant curvature except at the locus of sources. In this paper the authors investigate solutions ...
3
votes
0answers
70 views

Is there a Riemannian metric on the $2$-ball $B^2$ which has negative sectional curvature everywhere, and such that the boundary is concave?

Is there a Riemannian metric on the $2$-ball $B^2$ which has negative sectional curvature everywhere, and such that the boundary is concave; i.e. the geodesic curvature along the boundary points ...
3
votes
0answers
36 views

Dimension of the space of Jacobi fields along $\gamma$ vanishing at $p$ and $q$ is even?

Let $G$ be a compact Lie group with a bi-invariant metric. Let $p$ be a point, and let $q$ be conjugate to $p$ along a geodesic $\gamma$. Does it necessarily follow that the dimension of the space of ...
1
vote
0answers
49 views

The injectivity radius of $L^2$ metrics

Suppose M is a compact manifold and Rim(M) the space of all Riemannian metrics. Consider $L^2$ metric $ G_g(h,k) = \int_M tr(g^{-1}hg^{-1}k)vol(g)$ where is a Riemannian metric and $ h,k \in T_gM$ . ...
3
votes
0answers
65 views

Umbilic points on Euclidean hypersurfaces

Every smooth embedding of $S^2$ into $\mathbb{R}^3$ has at least one umbilic point (in fact, the recent proof of the Caratheodory conjecture yields two such points). The usual proof of this is to use ...
1
vote
1answer
126 views

Zero set of eigenfunction along a sub manifold

Let $M$ be a 2-dimensional closed Riemannian manifold and let $$\phi:M\rightarrow M$$ be an isometry with $\phi^2=Id_M$. Consider the fixed point set $$F:=\lbrace x\in M: \phi(x)=x \rbrace\subset M,$$ ...
0
votes
0answers
95 views

Some Confusion on Harmonic Map

I am stuck at Corollary $(3.4)$ on page $22$ in monograph Selected Topics in Harmonic Maps written by James Eells and Luc Lemaire. Corollary Let $\phi:M,g\to N,h$ be harmonic and suppose ...
6
votes
2answers
194 views

Epsilon regularity for minimal surfaces in arbitrary Riemannian manifolds

For experts in the analysis of minimal surfaces I will state the question first; then I will follow up with details. Question: Does the $\varepsilon$-regularity theorem of Choi and Schoen ...
3
votes
2answers
164 views

Examples of two-dimensional Riemannian manifolds that can't be isometrically embedded into $\mathbb{R}^4$

Can anyone give some examples of two-dimensional Riemannian manifolds $(M,g)$ that can't be isometrically embedded into $\mathbb{R}^4$? (Further more Globally) What if it is smooth?
2
votes
0answers
70 views

Does the tensor bundle of a compact manifold have a bounded geometry?

Let $M$ be a compact manifold. Let $S^2 T^*M $ be the vector bundle of all symmetric $(0,2)$ tensors and $S_+^2 T^*M$ be the open subset of all positive definite ones. Does $S_+^2 T^*M $ have bounded ...
0
votes
0answers
74 views

Generic Identification of surfaces in a Riemannian Manifold

Let $(M,g)$ be a three dimensional Riemannian Manifold. Can we generically identify a class of embedded surfaces $\Gamma$ in $M$ such that the following property holds: There exists a distance ...
-1
votes
1answer
112 views

Construction of fibration over Riemannian Manifold

Let $\pi: E \rightarrow B$ be a fibration over a Riemannian manifold $B$, with $\pi^{-1}[b]$ homeomorphic to $\mathbb{R}$. More precisely: I want each fiber $\pi^{-1}[b]=Im(f_b)$ for some ...
1
vote
0answers
87 views

Intuitive understanding of the mean curvature flow [closed]

I am trying to develop some intuition into the properties of mean curvature flow of a surface in $\mathbb{R}^3$. As an example, I am trying to understand what happens to a surface of revolution $S = ...
2
votes
0answers
90 views

Darboux-like coordinates on a Kähler manifold

If $(M, g, J, \Omega)$ is a Kähler manifold, do there exist local coordinates in which 2 out of the 3 geometrical structures look nice? I have Darboux coordinates in which $\Omega$ looks nice, but ...
2
votes
0answers
58 views

Christoffel symbols of a moduli of smooth curves

The Setting: Let $H$ be the Hilbert space of all class $C^k$-curves into $\mathbb{R}$ with inner product: \begin{equation} <f,g>:=\int_{\mathbb{R}} f'(x)g'(x) e^{-x}dx \end{equation} ...
9
votes
1answer
804 views

Solutions of equations characterizing a complex structure

Let $(S^n,g)$ denote the unit $n$-sphere endowed with its induced metric $g$ from its embedding into $\mathbb{R}^{n+1}$. The Levi-Civita connection of $g$ induces a splitting of the tangent bundle of ...
5
votes
0answers
100 views

Some questions on the nodal geometry of Dirac operators

Let me begin by quoting a well-known result of Christian Baer (see here). The result goes as follows: Theorem (Baer): Consider a connected $n$-dimensional Riemannian manifold with Dirac bundle $S$ ...
5
votes
2answers
184 views

No normal coordinates on general Finsler manifolds

I recently read a footnote in Chern's article stating that a non-Riemmanian Finsler manifold does not possess normal coordinates. As I'm still new to non-Riemmanian Finsler geometry I don't see why ...
6
votes
0answers
81 views

Curvature Characterization of Homogeneous Spaces

A (Riemnnian) symmetric space is locally characterized by the first covariant derivative of its curvature tensor, namely, a manifold $M$ is locally a symmetric space if and only if $\nabla R=0$ (where ...
0
votes
0answers
62 views

Weak $H^1$-limit of “almost conformal” maps

Let us consider a sequence of maps $\phi_n : (M, g) \to \mathbb{R}^k$, where $M$ is a surface. Let $\phi_n \to \phi$ weakly in the sense of $H^1$-norm, and let $\phi$ be non-trivial. Let $\mathcal{H}$ ...
4
votes
2answers
195 views

Heat kernel asymptotics for small distances

I heard a talk where the speaker said that on a Riemannian manifold, for small values of $\text{dist }(x, y)$, the heat kernel $p_t(x, y)$ satisfies $$p_t(x, y) = \frac{1}{(4\pi ...
3
votes
1answer
90 views

Parallel Transport on Hypersurface Spinor Bundle

So this has been driving me up a wall. I'm trying to digest parts of the Parker & Taubes paper, "On Witten's Proof of the Positive Energy Theorem." Here's a link: ...
1
vote
0answers
67 views

Euclidean metric in spherical coordinates [closed]

I apologize if this question is not research level, but it has been asked on MSE before, and not received really satisfactory answers, for example, see here, and googling does not reveal anything ...
6
votes
2answers
254 views

Hodge map and the Cohomology Ring of a Riemannian Manifold

For a compact Riemannian manifold $M$, we know that the Hodge map $\ast$ and Laplacian $\Delta$ commute. From Hodge decomposition and its implied isomorphism between harmonic forms and cohomology ...
3
votes
1answer
194 views

Totally geodesic subgroups in Lie groups

Let $G$ be a Lie group with a left invariant metric $g$. Let $H$ be a (closed) Lie subgroup of $G$, and assume $g$ is right-$H$-invariant. (That is $d(R_h)_e:T_eG \to T_hG$ is an isometry for every ...
3
votes
1answer
105 views

Carre du Champ, Subunit Paths and CC-metrics

Let the operator $L$ be given by $Lf(x):=\nabla\cdot (A\nabla f(x))$, where $f:\mathbb{R}^d\rightarrow \mathbb{R}$ belongs to a suitable class of functions $\mathcal{A}$. The carre du champ operator ...