Questions tagged [riemannian-geometry]

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.

Filter by
Sorted by
Tagged with
3 votes
1 answer
89 views

One-sided version of the curve-shortening flow

The curve-shortening flow is $$ \frac{\partial C}{\partial t} = \kappa n $$ where $\kappa$ is the curvature, and $n$ is the unit normal vector. For a smooth Jordan curve $C\subset\mathbb R^2$ (closed ...
8 votes
1 answer
149 views

Convex hulls of compact sets in a 2-manifold

Let $(\mathbb{R}^2,g)$ be a complete Riemannian manifold. Let $K\subset \mathbb{R}^2$ be a compact, connected set, and let $\text{conv}(K)$ be its convex hull, i.e., the intersection of all ...
  • 381
2 votes
0 answers
64 views

Jacobi equation and conjugate points on solution curves of the Van der Pol vector field

Let $X$ be a geodesible non vanishing vector field on a manifold $M$. Namely there is a Riemannian structure $(M,g)$ such that all integral curves of $M$ are unparametrized geodesics of the ...
4 votes
0 answers
91 views

What integral formula is being used here?

I am trying to read the paper "Simple closed geodesics on convex surfaces" by E.Calabi and J. Cao and a certain passage is unclear for me. Before, let me contextualize and set up some ...
5 votes
0 answers
63 views

Intersections of geodesics in an "almost flat" plane

Let $g$ be a complete metric on $\mathbb{R}^2$, such that: Outside of a compact connected set $K\subset \mathbb{R}^2$, the curvature of $g$ vanishes. The integral of the Gaussian curvature in $K$ is ...
  • 381
5 votes
0 answers
105 views

Intersection of orbits of earthquake flow on Teichmüller space

Let $\Sigma$ be a closed oriented surface of genus $g\geq2$. We consider $\mu$ and $\nu$ two filling measured laminations on $\Sigma$. (We say that $\mu$ and $\nu$ fill $\Sigma$ if $\Sigma\setminus(\...
2 votes
0 answers
40 views

Riemannian submanifolds of $2$-Wasserstein space

In the article "Wasserstein Geometry Of Gaussian Measures" by Asuka Takatsu the author shows how the space of d-dimensional Gaussian probability measures with non-singular covariance ...
  • 41
4 votes
1 answer
129 views

Vanishing directional derivatives on $S^2$

Let $u$ be a smooth function defined on the unit sphere $S^2$. Does there exist a plane $P$ passing through the origin such that $P\cap S^2$ contains at least three points $x_1,x_2,x_3$ with $\nabla u(...
1 vote
1 answer
148 views

Decomposition of tensor field on hypersurface

Let $(\mathcal{M},g)$ be a Lorentzian manifold, which is globally of the form $\mathcal{M}\cong I\times\Sigma$, where $I\subset\mathbb{R}$ ("time") and $\Sigma$ ("space") is some $...
  • 475
5 votes
1 answer
196 views

Closed geodesics on bumpy spheres

Main question: Does every bumpy Riemannian metric on a sphere have at least three short and prime closed geodesics, for some reasonable definition of short? E.g., a geodesic $\gamma$ could be called ...
3 votes
1 answer
147 views

The minimal surface operator in a Riemannian metric

Let $\Omega \subset \mathbf{R}^n$ be a domain, and let the cylinder $\Omega \times \mathbf{R}$ above it be endowed with a Riemannian metric $g$. (Note this is not assumed invariant in the vertical ...
  • 4,124
-1 votes
0 answers
28 views

How to prove the convergence of the functions with the norm above the critical point of Kondrakov?

I have a sequence of smooth functions with norm 1 in $L_q$ space. I need to prove this sequence strongly converges to some function. But I lack the compactness theorem since, $q$ is above the critical ...
0 votes
0 answers
43 views

naturality of the Godbillon-Vey class

This is a problem from Lawrence Conlon's differential manifolds a first course. I do not know how to prove in the following problem If $f: N \rightarrow M$ is transverse to $\mathcal{F}$, prove that $$...
4 votes
2 answers
259 views

Example of a curvature with no associated metric

Is there a concrete example of a $4$ tensor $R_{ijkl}$ with the same symmetries as the Riemannian curvature tensor, i.e. \begin{gather*} R_{ijkl} = - R_{ijlk},\quad R_{ijkl} = R_{jikl},\quad R_{ijkl} =...
5 votes
1 answer
285 views

Does every ‘curvature’ tensor induce a metric? [duplicate]

So we know that given a Riemannian manifold $(M,g)$ we can calculate its Riemannian curvature $R$. This covariant $4$-tensor field then satisfies some important symmetries \begin{gather*} R_{ijkl} = - ...
0 votes
1 answer
61 views

Hadamard submanifolds of $k$-fold product of hyperbolic plane

Let $\kappa>0$ and $d,k$ be a positive integers with $k\ge d$. For $k\in \mathbb{Z}^+$ large enough, can one find a geodesically complete and simply connected $d$-dimensional Riemannian ...
  • 127
0 votes
0 answers
87 views

Warping a Riemannian manifold until it has non-positive curvature

Let $(M,g)$ be a complete $d$-dimensional Riemannian manifold and let $(\mathbb{H}^2,h)$ be the hyperbolic upper-half plane; and suppose that $\pi_n(M)=\{0\}$ for every $n\in \mathbb{Z}^+$. If $(M,g)$...
  • 127
5 votes
0 answers
114 views

What is the minimum $n$ for which $\Bbb H^3$ can be isometrically embedded in $\Bbb R^n$ as a bounded set?

Consider the hyperbolic $3$-space $\Bbb H^3$ (i.e., the unique, simply-connected, $3$-dimensional complete Riemannian manifold with a constant negative sectional curvature equal to $-1$). The Nash ...
  • 761
1 vote
1 answer
157 views

Does the Lie bracket of a certain pair of vector fields vanish?

I'm trying to read section 3 in J. Jost and Y.L. Xin [JX]. This section has to do with the geometry of Grassmannians. I have a question that comes out of the derivation at the top of page 283 in that ...
  • 71
5 votes
1 answer
205 views

Ricci flow negative curvature

We denote by $\mathbb{H}^n$ the hyperbolic plane of dimension $n$. I don't know much about the Ricci flow, so my first question is probably naïve : can one define a normalized Ricci flow such that the ...
1 vote
1 answer
143 views

What is an analogous version of the Ornstein–Uhlenbeck process on Riemannian manifolds?

Recall that the Ornstein–Uhlenbeck (OU) process in $\mathbb{R}^d$ is defined by the following SDE, $$ d Z_t=\frac{-1}{2} Z_t d t+d W_t, \quad t \geqslant 0 $$ where $\left(W_t\right)_{t \geqslant 0}$ ...
  • 455
3 votes
0 answers
63 views

Upper bound for the first eigenvalue of the Laplacian on surfaces with boundary

Let $\Sigma$ be a compact smooth surface with boundary. Define $$\Lambda(\Sigma) := \sup \{ \lambda_1(\Sigma,g) \operatorname{Area}(\Sigma,g) : g \text{ is a smooth Riemannian metric on $\Sigma$} \}$$ ...
4 votes
1 answer
98 views

Volume of balls in 3-dimensional manifolds with nonpositive Ricci tensor

The volume of a ball in a 3-dimensional Riemannian manifold with nonpositive Ricci tensor is greater or equal to the volume of an Euclidean ball with the same radius? It should not be true, but I am ...
1 vote
2 answers
123 views

Does this special vector field affect on sectional curvature?

We have a nowhere vanishing vector field $X$ on a Reimannian manifold $(M,g)$, such that $\mathcal{L}_X g=2\alpha X^\flat \otimes X^\flat$ for a constant non zero $\alpha$. So, for every vector fields ...
6 votes
2 answers
141 views

Bisector of two points in a Riemannian manifold has measure $0$

Let $p,q\in M$, $p\neq q$, where $M$ is a Riemannian manifold. We will let the bisector of $p,q$ be $\mathcal{B}(p,q)=\{x\in M;d(p,x)=d(q,x)\}$. Does $\mathcal{B}(p,q)$ have measure $0$? I was ...
  • 6,115
7 votes
1 answer
442 views

Eigenvalues of the Laplacian on surfaces with boundary

Let $\Sigma$ be a compact smooth surface with boundary. Is it true that the supremum $$\sup \{ \lambda_1(\Sigma,g) \operatorname{Area}(\Sigma,g) : g \text{ smooth Riemannian metric on $\Sigma$} \}$$ ...
0 votes
0 answers
32 views

"Almost" Riemannian submersions with round slices on $S^2\times S^2$

Not so long ago a co-author and I were dealing with conformal changes of Riemannian metrics with the aim of increasing curvature along geodesics. We then observed the following: For each $S^2_x=\{x\}\...
12 votes
0 answers
255 views

Are there $n$ points dividing a compact Riemannian manifold into equal regions?

Let $M$ be a compact, connected $m$-dimensional Riemannian manifold, and let $n\in\mathbb{N}$. Can we always find distinct points $p_1,\dotsc,p_n\in M$ such that for $i=1,\dotsc,n$ the regions $A_i=\{...
  • 6,115
4 votes
1 answer
227 views

Etymology “Kulkarni–Nomizu product”

$\newcommand\KN{\mathbin{\bigcirc\mspace{-20mu}\wedge\mspace{3mu}}}$In the context of (pseudo)-Riemmian geometry, the Kulkarni–Nomizu product is defined to be an operation $\KN$, which takes two ...
8 votes
1 answer
314 views

Existence of a special vector field on Riemannian manifolds?

In a Riemannian Manifold $(M,g)$ a vector field $X$ is said to be Killing vector field if $L_X g$=0 and is said to be conformal if $L_X g= fg$ for some smooth real function $f$ on $M$. Also, the ...
4 votes
2 answers
350 views

On diffeomorphisms that preserve the metric

Suppose $\Omega\subset \mathbb R^2$ is a bounded domain with smooth boundary and suppose that $$ F: \Omega \to \Omega,$$ is a diffeomorphism that fixes $\partial \Omega$ (i.e $F|_{\partial \Omega}$ is ...
  • 3,427
7 votes
1 answer
406 views

Kähler metric with two compatible complex structures

Let $(M^4,g)$ be a complete $4$-dimensional Riemannian manifold such that two almost complex structures $I$ and $J$ are compatible with $g$ and $\nabla_g I=\nabla_g J=0$. Can we prove that $(M,g)$ is ...
  • 577
3 votes
0 answers
70 views

Are there Lojasiewicz-Simon estimates with boundary?

Let $M$ be an analytic manifold with boundary $\partial M$, equipped with a Riemannian metric $g$, which is also analytic up to and including the boundary. Are there Lojasiewicz–Simon estimates ...
  • 4,124
9 votes
1 answer
285 views

Variation of the Einstein Hilbert action in a coordinate-free way

I am currently writing an expository paper on gauge theory and gravity and throughout the gauge theory part I have been able to mostly stay away from coordinates unless I wished to provide specific ...
  • 193
1 vote
0 answers
53 views

How to extend this PDE?

Let $(M^n,g)$ and $(N^m,h)$ be Riemann manifolds without boundary of dimension $n$ and $m$ respectively and $u:(M^n,g)\to (N^m,h)$ be a map satisfying the following PDE on $M^n\backslash\Sigma$ ($u$ ...
  • 11
5 votes
1 answer
121 views

Maximum symmetry metric on Cayley plane $ F_4/{\operatorname{Spin}(9)}$

The maximum symmetry metric on real projective space $ \mathbb{RP}^n $ is the round metric. The maximum symmetry metric on complex projective space $ \mathbb{CP}^n $ is the Fubini–Study metric; see ...
1 vote
1 answer
64 views

Local Lipschitz constant of exponential map for Hadamard manifolds

Suppose that $(M,X)$ is a simply connected complete Riemannian manifold with pinched sectional curvature between $[a,0]$. Let $r>0$ and fix any point $p\in M$. Is there a bound on the local ...
  • 4,831
3 votes
2 answers
123 views

Equivalence between two Sobolev norms on manifolds

On a compact Riemannian manifold $(M,g)$ without boundary, there are two ways to define a Sobolev norm on $M$. Assume that $f\in C^\infty(M)$ in the following. Use pseudo-differential operators on $M$...
  • 61
5 votes
1 answer
218 views

Sobolev embedding on sphere

Let $S$ be a two-dimensional sphere, $\Delta$ be the Laplace-Beltrami operator on $S$ and $L^p(S)$, $p\geq 1$, be the usual $L^p$ space of real-valued functions on $S$. We also set $\|f\|_{H^\alpha(S)}...
  • 364
2 votes
0 answers
177 views

Geometric inequality related with convexity of the boundary

I'm new to Mathoverflow, so hopefully my question is well-posed. My problem states as follows: Let $\Omega\subset\mathbb{R}^n$ be a bounded Lipschitz domain with boundary $\partial \Omega$ , $\delta&...
  • 21
0 votes
0 answers
47 views

If a Dirichlet problem is solved by transforming into ODE (proving its radial symmetry) how can we study it on manifold?

If a Dirichlet problem (elliptic PDE, in $R^{n}$) is solved by transforming into ODE (proving its radial symmetry) how can we study it on manifold? For example, $B$ is the unit ball in $R^{n}$, the ...
1 vote
0 answers
45 views

About the liouville equation $\Delta u = - \lambda e ^{u}$ on compact manifold with dimension $>2 $

I want to ask about the liouville equation $\Delta u = - \lambda e ^{u}$ on compact manifold with dimension $>2 $. There are many studies on this equation on Riemannian surface (dimension = 2), for ...
5 votes
2 answers
691 views

Checking that the image of a curve is not contained in a hyperplane

Let $\gamma : [0,1] \to \mathbb R^n$ be a smooth curve, $n \geq 2$. I would like to find an easy to check condition such that the image of $\gamma$ is not contained in an $n-1$ dimensional linear ...
  • 339
2 votes
0 answers
60 views

Weitzenbock- Anti-selfdual

In "The Theory of Gauge Fields in Four Manifolds", B.Lawson proves the Bochner-Weitzenbock, for an anti-self-dual field $\Psi \in \Omega^2_-(\mathfrak{G}_E)$,where $\mathfrak{G}_E$ is the ...
  • 21
-1 votes
2 answers
214 views

Are geodesics necessarily embedded?

I would like to ask a very basic/naive question. Given a Riemannian or pseudo-Riemannian manidold equipped with the Levi-Civita connection, is it known that all solutions of the geodesics equation are ...
2 votes
1 answer
143 views

The space of Sobolev maps between Riemannian manifolds

Let $\mathcal{M}, \mathcal{N}$ be two Riemannian manifods. Suppose that $\mathcal{N}$ is properly and isometrically embedded in $\mathbb{R}^n$. The space of Sobolev maps between $\mathcal{M}$ and $\...
  • 119
7 votes
2 answers
246 views

What's the limit of a sequence of harmonic maps between manifolds?

Let ${M}, \, {N}$ be two Riemannian manifolds, and let $u_n: {M} \to {N}$ be a sequence of harmonic maps. Question. Suppose that $u_n$ converges uniformly to a (necessarily continuous) function $u$. ...
  • 119
3 votes
0 answers
114 views

Elworthy’s 1982 “Stochastic Differential Equations on Manifolds” - relevant?

In 1982, D. Elworthy published “Stochastic Differential Equations on Manifolds”. Apparently, this was quite a seminal book in the field of stochastic DE’s/processes on manifolds. Is this reference ...
5 votes
2 answers
198 views

Can the exponential map be used to define geodesics (and hence, generalisations of geodesics)?

Let $(M,g)$ be a (connected, paracompact, $C^{\infty}$-smooth) Riemannian manifold with Riemannian metric $g$. The exponential map is defined for each point $p \in M$ to be the map $\exp_p : T_p M \to ...
  • 1,165
0 votes
0 answers
47 views

Consequences of integral condition for a vector field

On a compact Riemannian manifold without boundary, if $X$ is a vector field with $\int_M X(fdg-gdf)=0$ for all smooth functions $f,g$, then what can be said of $X$? Taking $f$ constant shows $X$ has ...

1
2 3 4 5
55