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

1
vote
0answers
57 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
241 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
68 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
63 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
206 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
187 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
45 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
415 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
89 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
71 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
38 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
50 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
1answer
89 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
130 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
98 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 $\text{Ricci}...
6
votes
2answers
215 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 (http://...
3
votes
2answers
168 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
76 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
115 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 $C^{\...
1
vote
0answers
93 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
96 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
60 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
835 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
107 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
190 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
92 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
63 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
199 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 t)^{n/2}}e^{-\frac{\...
3
votes
1answer
98 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: https://projecteuclid.org/...
1
vote
0answers
68 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
263 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
201 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
111 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 $\...
0
votes
0answers
36 views

Obtaining Hessian of the embedding from an induced metric

Consider a hypersurface (not necessarily compact) smoothly embedded into $\mathbb{R}^n$ such that the Hessian is a positive definite bilinear form. Due to positivenes, Hessian can be taken as a metric ...
4
votes
1answer
224 views

Is there an example of a Killing vector field on a complete Riemannian manifold with finite volume?

Is there a Killing vector field on a complete Riemannian manifold $M$ with finite volume that satisfies the condition $$\displaystyle\liminf_{r\rightarrow +\infty} \displaystyle\frac{1}{r} \...
5
votes
0answers
100 views

Regularity of the distance from the boundary in singular riemannian manifolds

I am looking for references related with the regularity of the distance from the boundary in singular Riemannian manifolds. I assume the following setting. $(M,g)$ is a Riemannian manifold, with ...
11
votes
1answer
235 views

Hausdorff convergence of submanifolds in Riemannian manifolds

Let $(M^n,g)$ be a smooth compact Riemannian manifold. It is well known that any sequence $\{X_i\}$ of compact subsets of $M$ has a subsequence which converges in the Hausdorff metric to a compact ...
1
vote
0answers
44 views

Understanding the Exp map from a moduli of smooth curves

The setup: Suppose I'm given a family of class $C^k$ curves $\{f_{z}\}_{z\in Z}$ with values in $\mathbb{R}$ parameter by a finite number of parameters $Z\subseteq \mathbb{R}^m$. Let $\mathscr{M}$ be ...
2
votes
1answer
157 views

Compact Riemann manifolds with constant injectivity radius

I'm interested in compact Riemann manifolds which have that property that the injectivity radius at a point $p$ doesn't depend on $p$. Another way to put this is that the function $$p \mapsto d(p, \...
4
votes
0answers
95 views

Flows associated with Killing fields

Let $M$ be a Riemann manifold and $p, q$ two points on a geodesic $\sigma$ which are isotropically conjugate. That is, there is a Jacobi field along $\sigma$ vanishing at $p$ and $q$ which is the ...
3
votes
2answers
188 views

Upper bound for Willmore energy

Good day to everyone! Does anybody know if there are upper bound estimates for Willmore energy for a given surface?
1
vote
1answer
57 views

material derivative and relation to Riemannian metric

For each $n$ let $N_t$ be an embedded smooth hypersurface in $\mathbb{R}^n$ of dimension $n-1$. $\{N_t\}_t$ is a family of hypersurface that is evolving with some velocity $V$. Smooth functions on $N$...
3
votes
0answers
92 views

Differentiability of a map to the free loop space

While reading Morse theory, closed geodesics, and the homology of free loop spaces, the author claims the following: Given the $S^{n-1} \hookrightarrow Y_1 \rightarrow T^1S^n$ bundle over $T^1S^n$, ...
4
votes
1answer
80 views

Uniform partitions of a compact Riemannian manifold

My question is a little bit vague. I want to know if an arbitrary compact Riemannian manifold (M^d,g) admits partitions that are uniform in some sense. To be more precise, I need for every eps > 0 a ...
1
vote
0answers
101 views

Stability for open manifolds of finite volume under lower Ricci curvature bound

By a theorem of Cheeger-Colding if $N_i\to M$, where $\to$ means Gromov-Haussdorff convergence, $N_i$ and $M$ are of the same dimension, compact and smooth Riemannian manifold with finite volume, as $...
2
votes
1answer
68 views

Constant Harmonic Mean surfaces

For surfaces embedded in $\mathbb R^3$ with principal curvatures $ \kappa_1, \kappa_2 $ we know bending/isometric mappings conserve $ K= \kappa_1 \kappa_2 $ and CMC DeLaunay type minimal surfaces ...
0
votes
0answers
91 views

Conformally flat with zero scalar curvature 2 [duplicate]

First, i am the one who asked about the existence of compact manifolds of dimension $n\geq 4$ which are conformally flat, non-flat, with zero scalar. Due to the fact that i couldn't comment because i ...
10
votes
2answers
408 views

A Converse to Cartan–Hadamard theorem?

Let $M$ be a complete Riemannian manifold, with the property that $\exp_p\colon T_pM \to M$ is a diffeomorphism for every $p \in M$. Can we say something about it's curvature? Is it true that its ...