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

3
votes
1answer
83 views

Horizontal lift of differential operator

On a Riemannian manifold $M$, there is a canonical horizontal lift $X^{\mathrm{hor}}$ of vector fields $X$ to $TM$, which is characterized by the two properties that $X^{\mathrm{hor}}$ is a ...
0
votes
1answer
153 views

Hilbert's Theorem relevance to positive curvature

In differential geometry, Hilbert's theorem (1901) states that there exists no complete regular surface S of constant negative Gaussian curvature K immersed in $ R^3 $. This theorem answers the ...
3
votes
1answer
92 views

Does this squared distance functional have a unique critical point on geodesically convex manifolds?

Let $M$ be a Riemannian manifold with distance function $d$, $C \subset M$ a geodesically convex set, $a=(a_i)_{i=1}^n \in C^n$, $W \in \mathbb{R}_{\geq 0}^{n \times n}$ and $J\colon C^n \rightarrow ...
12
votes
1answer
294 views

If all balls around two points are isometric… — manifold version

This question is a natural follow-up of this other question, asked earlier today by wspin. Let's say that a metric space $(X,d)$ has two poles if: there are two distinct points $x$, $y$ such that ...
1
vote
0answers
118 views

The “Rolle theorem” for sections of a vector bundle

1)Assume that $E\to M$ is a smooth real vector bundle and $\nabla$ is a connection. (We do not assume any metric compatibility since we do not fix a metric on $E$). Assume that ...
0
votes
1answer
185 views

elliptic operators corresponds to non vanishing vector fields

Let $X$ be a non vanishing vector field on a compact manifold $M$. The only differential operator associated with $X$ which I am aware of, is the derivational operator $D(g)=X.g$. Unfortunately ...
2
votes
1answer
256 views

Is the identification between symmetric tensors and homogeneous polynomials useful?

The general question: Given an $n$-dimensional vector space $V$ over a field $k$, there exists an identification $$\mathrm{Sym}^d(V) \sim k[x_1, \dots, x_n]_d$$ between the space of symmetric order ...
1
vote
0answers
94 views

Riemann curvature of $S^1$-principal bundle

Let $(M,g)$ be a Riemannian manifold and $\pi:P \to M$ be $S^1$- principal fiber bundle endowed with a connection $\Gamma$. For every $p\in P$ we have, $$T_pP \simeq T_pV\oplus\Gamma_p$$ Where $V$ ...
4
votes
2answers
185 views

The unit tangent bundle of 2- or 4-manifolds as a principal $S^{1}$- or $S^{3}$-bundle

What type of obstructions have been studied so that the unit tangent bundle of a Riemannian 2-(4-)manifold have a structure of a principal $S^{1}$-($S^{3}$-)bundle?
4
votes
1answer
178 views

$C^0$ estimate for solutions of elliptic PDE with Neumann BC

I am interested in a reference for (or counterexample to) a particular $C^0$ estimate for solutions of the Laplace equation with Neumann boundary conditions. More precisely, let $(M,g)$ be a ...
7
votes
2answers
376 views

Examples of non isometric surfaces having the same curvature function

I think it is really natural to believe, after doing Riemannian geometry for a little time, that sectional curvature encodes the all local geometry of a Riemannian manifold. One of the first thing one ...
7
votes
1answer
88 views

co-dimension one minimizing verifolds

It is known that a minimizing co-dimension verifolds within a manifold may need to be singular. I think a famous example first partially analyzed by Jim Simons is the cone on in the 8-ball of the ...
1
vote
1answer
96 views

Nonpositive curvature of Stein manifolds

It is a theorem of Greene and Wu that a complete, simply-connected Kaehler manifold of everywhere nonpositive sectional curvature is a Stein manifold. I am curious about what kinds of additional ...
2
votes
0answers
64 views

Normal-like coordinates for weakly differentiable metrics

Let $(M,g)$ be a Riemannian $W^{2,p}$ metric, with $p>n/2$. Thus $g$ is at least continuous. At any point $P\in M$, do there exist local coordinates $x^i$ such that $g$ can be decomposed as $g_{ij} ...
11
votes
1answer
281 views

Simple, closed geodesics in $\mathbb{S}^3$ manifold

Lyusternik and Shnirel'man were the first to prove Poincaré's conjecture that any Riemannian metric on $\mathbb{S}^2$ has at least three simple (non-self-intersecting), closed geodesics. See, e.g., ...
2
votes
2answers
326 views

Approximation theorem for Anti-Self-Dual Metrics

Rounge's Theorem states that any meromorphic function on a domain inside $\mathbb{C}$ can be approximated (over compact subsets) by a sequence of rational functions (meromorphic functions on ...
1
vote
2answers
135 views

How is the metric tensor related to the Hessian of the first fundamental form?

I know that the metric tensor can not always be formulated as a Hessian, but sometimes it can. Can you help me to understand what the special conditions are under which the metric tensor is a Hessian ...
4
votes
2answers
160 views

The necessary and sufficient condition for $\textbf{global}$ conformal flatness of a n-dim (pseudo-)Riemannian manifold

There is a theorem : 1) 2-dim (pseudo-)Riemannian manifold must be local conformal flat; 2) 3-dim (pseudo-)Riemannian manifold is local conformal flat iff the Cotton tensor vanishes. 3) n-dim (n>3) ...
4
votes
2answers
208 views

A question on certain elliptic PDE

Consider the elliptic PDE "CR" $$\begin{cases} U_{xx}=V_{yy}\\U_{yy}=-V_{xx} \end{cases}$$ And its consequence "LAP" $$U_{xxxx}+U_{yyyy}=0$$. Somehow, these equations are similar to the Cauchi ...
8
votes
1answer
110 views

Can the graph Laplacian be well approximated by a Laplace-Beltrami operator?

It seems rather well known that given a Laplace-Beltrami operator $\mathcal{L}_{M}$ on a manifold $M$ we can approximate its spectrum by that of a graph Laplacian $L_{G}$ for some $G$ (where $G$ is ...
-1
votes
1answer
59 views

Parallel transport along a reparametrized geodesic

Let $M$ denote a Riemannian manifold, $\gamma$ a geodesic of $M$ defined on $\mathbb{R}$. Let $t_{0} \in \mathbb{R}$ and $(\alpha,\beta) \in \mathbb{R}^{2}$. I define the reparametrized geodesic ...
2
votes
2answers
92 views

Complementary integrable vector fields

Let $(M,g)$ be a Riemannian manifold. Assume that $X$ is a non vanishing vector field tangent to $M$.(Or assume that we have a one dimensional foliation of $M$). Under what geometric ...
3
votes
0answers
100 views

Focal points for the exponential map and Jacobi fields

It is known that in a Riemannian manifold $(M,g)$, if there is a closed geodesic and a non-zero, periodic, non-constant Jacobi field along it, then M has a focal point. Is the converse true? That is ...
0
votes
0answers
127 views

Does there exist this special kind of homeomorphism?

Let $A,B\subset\mathbb{R}^n, n\geq 2,$ are two different shaped spindles. One is thick and one is thin. (Sorry for my unprofessional statements. Unsure about how to say it rigorously.) So there are ...
9
votes
2answers
289 views

Behavior of the spectrum of the Laplacian under pointed smooth convergence

The Laplacian on a compact Riemannian manifold has a discrete spectrum. For example on a circle of perimeter $L$ the $n$-th eigenvalue starting at $0$ is $-\lambda_n = -(2\pi/L)^2 n^2$. On the other ...
1
vote
0answers
163 views

connections and curvature

Let $(M, g)$ be a Riemannian manifold. Is it possible to construct two different affine (or metric) connections, say $\nabla$ and $\nabla'$, which induce the SAME curvature tensor, i.e. $R(X, ...
3
votes
1answer
83 views

Local geodesics in uniquely geodesic spaces

A while ago I asked this question in Math Stackexchange. Since I didn't receive an answer so far, I thought I'd ask it here. Suppose $Y$ is a proper length space, where every pair of points $x,y\in ...
6
votes
1answer
197 views

Laplace-Beltrami operator on a Lie group

For an arbitrary Lie group, is it always possible to chose a left-invariant Riemannian metric such that the Laplace-Beltrami operator $\Delta$ is given by $$\Delta f = \delta^{i j} X_i X_j f$$ for ...
1
vote
1answer
98 views

Smoothness of the exponential map at the origin

Let $(M, g)$ be a smooth Riemannian manifold, $p \in M$, and $\exp_P$ the exponential map at the point $P$: $\exp_P: T(P) \to M$ It seems clear to me that $\exp_P$ is smooth on $U \setminus \{0\}$, ...
4
votes
1answer
241 views

Spectral multipliers vis-a-vis Differential geometry

Let us mention two papers for examples: this one by Seeger and Sogge and this by Cheeger, Gromov and Taylor. One can also mention papers by Stein, for example, this one. There are also many others of ...
0
votes
1answer
284 views

Yang-Mills equations are not elliptic [closed]

How does one prove that the Yang-Mills equations (from classical Yang-Mills theory) are not elliptic? Alternatively, how does one calculate the principal symbol of the Yang-Mills equations? Can ...
5
votes
2answers
213 views

Are shortest halving curves simple closed geodesics?

Let $S$ be a smooth convex surface in $\mathbb{R}^3$ (although my question may as well be asked for the surface of a polyhedron). Say that $\gamma$ is a shortest halving curve if (a) it partitions the ...
2
votes
0answers
145 views

The Cauchy Problem in General Relativity: Existence of a Hausdorff Development

This is related to a problem that I posed about a year ago. I was given several references by a number of experts who were kind enough to entertain my rather arcane question. Those references were ...
14
votes
1answer
659 views

Is there any progress on Problem 12 (from Schoen and Yau)?

I saw the following question from the "Problem Section" in Schoen and Yau, page 281, problem 12: Let $M_1, M_2$ each have negative curvature. If $\pi_1 (M_1)=\pi_1 (M_2)$, prove that $M_1$ is ...
15
votes
2answers
794 views

If there is a dense geodesic, are almost all geodesics equidistributed? Dense?

Let $M$ be a complete finite volume Riemannian manifold and $\gamma : \mathbb{R}^{\geq 0} \to M$ a geodesic. Suppose that $\mathrm{im}(\gamma)$ is dense. Is it equidistributed in the Riemannian ...
5
votes
1answer
323 views

The surjectivity of the exponential map for the isometry group

Little is known on general conditions guaranteeing that the exponential map between a Lie algebra and an associated Lie group is surjective. Let $M$ be a noncompact connected Riemann manifold, and ...
0
votes
0answers
95 views

Question about a particular estimate in Riemannian geometry

I have been studying the book Some Nonlinear Problems In Riemannian Geometry - Thierry Aubin. On page $46$ he begins the proof of the Sobolev imbedding theorem to manifolds. The proof is divided in ...
4
votes
1answer
101 views

The Chern connection on a Hermitian symmetric domain

There's a connection (the Chern connection) on the Tangent Bundle of a Kahler Manifold which is compatible with both the hermitan metric, and the holomorphic structure. In general, I guess there's no ...
0
votes
0answers
129 views

How to prove this inequality of heat flow from Weitzenbock formula?

Let $(M,g), (N,h)$be a compact Riemannian manifolds, $m:=\dim M, n:=\dim N\geq 2$, and $N$ is a non-positive curvature $K_N\leq 0$. All connections which appear below are the Levi-Civita connections. ...
23
votes
2answers
669 views

Ellipses on spheres (and other surfaces)

Define an ellipse $E$ on a sphere as the locus of points whose sum of shortest geodesic distances to two foci $p_1$ and $p_2$ is a constant $d$. There are conditions on $\{ p_1, p_2, d \}$ for this ...
2
votes
1answer
150 views

The limit of a sequence of embedded minimal disks in $\mathbb{R}^3$

Let $\Sigma_n,n\ge 1$ be a sequence of embedded minimal disks in $\mathbb{R}^3$ such that: (1) $0\in\Sigma_n\subset B(0,r_n)$ with $r_n\to\infty$ as $n$ tend to $\infty$, (2) ...
2
votes
1answer
201 views

The points of half area of a triangle

Let $S$ be a simply connected Riemannan surface . Suppose $\Delta ABC$ is a triangle on $S$. The Area of a triangle is denoted by $\mathcal{A}$. A point $P$ in the interior of $\Delta ABC$ is ...
0
votes
0answers
44 views

Quadric functions on a Riemannian manifold

Let $(M,g)$ be a Riemannian manifold such that the parallel transport along every simple closed curve is the identity operator. A smooth function $f:M\to \mathbb{R}$ is called a quadric function if ...
2
votes
1answer
138 views

totally geodesic submanifold of Heisenberg group

Let $G= \left\{ \begin{pmatrix} 1&a&c\\0&1&b\\0&0&0 \end{pmatrix} \mid a,b,c\in \mathbb{R} \right\}$ be the Heisenberg group. Is there a compact codimension one submanifold ...
3
votes
1answer
202 views

What is the difference between $\delta W^{\pm}=0$ and Einstein?

Maybe this is a vague question. In Besse's book Einstein manifolds, $\delta W^{\pm}=0$ is considered as a generalization of Einstein metrics on four-manifolds. I was wondering what is the difference ...
9
votes
1answer
247 views

Decomposition of $\mathrm{O}(n)$-modules coming from differential geometry

Let $V$ be a $n$-dimensional real vector space equipped with a positively definite scalar product $g$ and let $\mathrm{O}(n)$ be the automorphism group of $(V,g)$. View $V^{\otimes k}$ as a ...
4
votes
1answer
181 views

Analytic representatives for Kahler classes

If we are given compact complex manifold $X$ and a Kahler class $[\omega]$, can we always find a positive definite representative $\omega \in [\omega]$ that is real analytic?
2
votes
0answers
403 views
+50

The integral of torsion

I found the following * exercise (exercise *9) in page 407 of the book of Do Carmo "Differential geometry of curves and surfaces". This problem is a classical theorem which is referenced in the book ...
3
votes
0answers
61 views

Hessian eigenspaces form integrable distributions on a Riemannian manifold?

Suppose $M$ is a Riemannian manifold and $f:M\to\mathbb{R}$ a differentiable function. I can form the Hessian $H$ of $f$ (with respect to the Levi-Civita connection); this is a symmetric bilinear ...
3
votes
0answers
117 views

On the volume entropy of negatively curved manifolds

Let $X$ be the universal cover of a closed negatively curved Riemannian manifold. Let $x_0\in X$ be a base point, $S$ be the unit sphere in $T_{x_0}X$ and $\exp:T_{x_0}X\rightarrow X$ be the ...