Skip to main content

All Questions

Filter by
Sorted by
Tagged with
1 vote
0 answers
117 views

Question on globally hyperbolic manifolds and coordinates

Consider a globally hyperbolic Lorentzian manifold $(M,g)$. Then, a well-known result of Bernal-Sánchez (see Theorem 1.1 in arXiv:gr-qc/0401112) states that it can globally be written as $$M=\mathbb{R}...
3 votes
1 answer
189 views

Randomly perturbed function has no accumulated critical point almost surely?

Given a smooth function $f$ and a smooth manifold $\mathcal{M}$ in $\mathbb{R}^d$, define the set $$ S(v):=\{x:{\rm Proj}_{T_x{\mathcal{M}}}(v)=\nabla_{\mathcal{M}}f(x)\}. $$ Is correct to say that $S(...
4 votes
1 answer
107 views

Identify an SDE on the sphere from its generator

I have a diffusion on the 2-sphere with expression: $$ (L\phi)(u):=\frac{1}{2{N(u)}}\Big(f(u)\Delta_{\mathbb S^2}\phi+ 2g\left( \nabla_{\mathbb S^2}\phi, \nabla_{\mathbb S^2}f\right)\Big) $$ ...
28 votes
3 answers
2k views

Does isometric immersion map boundary to boundary?

Let $M$ be a compact, connected, oriented, smooth Riemannian manifold with non-empty boundary. Let $f:M \to M$ be a smooth orientation preserving isometric immersion. Is it true that $f(\partial M) \...
2 votes
0 answers
107 views

Finite dimensional manifolds as subspace of $\mathbb{R}^\mathbb{N}$

For embedded submanifold, specifically with ambient space being $\mathbb{R}^{n}$, there are many nice properties and results. Specifically there are many examples of matrix manifolds such as the ...
1 vote
1 answer
397 views

Einstein metrics on the tangent bundle

Let $M$ be a compact, real analytic, riemannian manifold with real analytic metric $g$. Does the tangent bundle always admit an Einstein metric ?
3 votes
3 answers
1k views

Rotation in Hyperkähler manifolds

Any Hyperkähler manifold has 3 complex structures $I_{1}, I_{2}, I_{3}$. Assume that there is an additional complex structure $J$. Can this be written as $J = aI_{1} + bI_{2} + cI_{3}$, where $(a,b,c) ...
8 votes
1 answer
230 views

The closure of the space of Riemannian metrics with a fixed isometry class

Let $M$ be a closed manifold, and let $\mathscr{M}$ be the space of all Riemannian metrics over $M$. It is known that this is a Fréchet manifold. Consider also $\mathscr{D}$ the diffeomorphisms group ...
1 vote
1 answer
182 views

Lower bound on injectivity radius at one point implies lower bound on injectivity radius for a closed manifold

I’m interested in a closed Riemannian manifold $(M^n,g)$ with $sec<0$ and $diam(M)\leq D$. My question is: If at some point $p\in M^n$, the injectivity radius $injrad(p)\geq1$, then can we get $...
0 votes
0 answers
35 views

Charecterizing (Riemannian) submanifolds of the Bures-Wasserstein manifold

I'm still learning Riemannian geometry, so please correct any mistakes. I am interested in the Bures-Wasserstein manifold of centered Gaussians of dimension $d$. In this case, the manifold $\mathcal{M}...
1 vote
0 answers
88 views

Metric of negative curvature on connected sum

Let $(M_1,g_1)$ and $(M_2,g_2)$ be two Riemannian manifolds of dimension $n\geq 2$. If we consider the connected sum $M=M_1\mathbin{\#}M_2$ of the two manifolds; can one get a smooth metric $g$ on $M$ ...
2 votes
0 answers
81 views

Assumptions for uniform measure of SDE on manifolds

Suppose we're working on a compact, Riemannian manifold $M$. Suppose $dX_t = -b(X_t, t)\,dt + \sigma^2 \,dB_t$ is started at the uniform measure on $M$. What kind of assumptions on $b$ make it so that ...
5 votes
1 answer
343 views

Clarifying a result of Klingenberg

I am looking for some clarification on a result of Klingenberg. For context, I have a complete Riemannian manifold for which I would like to compute a lower bound on the injectivity radius at each ...
0 votes
1 answer
202 views

How to estimate the distance between geodesics and points for Riemannian manifold with positive sectional curvature

Assume that $ M $ is a complete Riemannian manifold and there exists $ k>0 $ such that $ K(q)\geq k $ for any $ q\in M $, where $ K $ is the sectional curvature of $ M $. Let $ \gamma $ be a closed ...
6 votes
1 answer
248 views

Existence of adjoint operators on manifolds

Let $(M,g)$ be an oriented Riemannian manifold and $V$ a finite-rank vector bundle equipped with a non-degenerate bundle metric $\langle\cdot,\cdot\rangle_{V}$. This bundle metric, in turn, gives rise ...
2 votes
1 answer
104 views

Why is this subset associated to a $2$-tensor dense?

Let $S$ be a symmetric $(0, 2)$ tensor on a Riemannian manifold $M$. Define $E_S : M \to \mathbb{Z}$ by $E_S(x) = \left(\text{the number of distinct eigenvalues of } S_x\right)$. I've seen the ...
1 vote
1 answer
90 views

Infimum of the normalized Laplacian eigenvalues

Let $(M^n,g)$ be a compact Riemannian manifold. The spectrum of the Laplacian operator $\Delta_g = -\operatorname{div} \nabla$ consists of an increasing and diverging sequence of positive eigenvalues: ...
5 votes
1 answer
119 views

A formula in harmonic heat flow

Assume that $ (M,g) $ and $ (N,h) $ are two smooth closed manifold and $ N $ is embedded isometrically into $ \mathbb{R}^K $ for some $ K\in\mathbb{Z}_+ $. Assume that $ u\in C^{\infty}(M\times\mathbb{...
1 vote
1 answer
207 views

Is squared geodesic distance a Morse-Bott function on simply-connected Hadamard manifolds?

Let $M$ be a simply connected Hadamard manifold. That is, $M$ is a complete Riemannian manifold with sectional curvature bounded above by 0. Let $f(x,y)=\frac{1}{2}d^2(x,y)$, where $x,y \in M$, and $d(...
2 votes
1 answer
217 views

Are these the only first eigenfunctions on a hemisphere?

Let $\mathbb{S}^2_+$ denote the closed upper hemisphere of the unit round sphere in $\mathbb{R}^3$. It is well known that the first positive eigenvalue of the Laplacian on the closed unit sphere is $2$...
6 votes
1 answer
423 views

Difference between parallel transport and ambient projection

Consider a $d$-dimensional complete embedded Riemannian submanifold $(M,g)$ of a Euclidean space $\mathbb{R}^D$ (The major examples we consider are sphere and Stiefel manifold). Assume the sectional ...
2 votes
0 answers
44 views

$1$-parameter family of metrics preserving the normal direction

Let $(M^n,g)$ be a compact Riemannian manifold with boundary, $n \geq 2$, and let $N$ be the unit outward normal to $\partial M$. Denote by $S^2(M)$ the symmetric covariant $2$-tensors, by $S^2_0(M)$ ...
4 votes
1 answer
167 views

Is the intersection of such a triple of minimal surfaces in the 3-ball a single point?

Let $S_1,S_2,S_3$ be three simple closed curves on the 2-sphere $\mathbb{S}^2$. (With no smoothness or rectifiability assumption) For each $i$, let $M_i$ denote the minimal surface (i.e. disc) bounded ...
3 votes
0 answers
214 views

Implicit function theorem in Riemannian manifold and Wasserstein space

My question is about to what extent can we extend the implicit function theorem to Riemannian manifolds. In the Euclidean space, consider a bivariate function $F \colon \Theta \times \mathcal{X} \...
5 votes
3 answers
620 views

Poisson equation on manifolds

Let $(\mathcal{M},g)$ be a compact Riemannian manifold with Levi-Civita connection $\nabla$. It is well-known that the Poisson equation $$\Delta u=f$$ does have a solution on $C^{\infty}(\mathcal{M})$ ...
4 votes
0 answers
334 views

Hodge decomposition on non-compact manifolds

Let $(\mathcal{M},g)$ be a compact Riemannian manifold without boundary. Then we have the well-known Hodge decomposition $$\Omega^{k}(\mathcal{M})\cong\mathcal{H}^{k}(\mathcal{M})\oplus\mathrm{ran}(\...
1 vote
0 answers
86 views

Poisson equations for tensors on compact Riemannian manifold

Let $({M},g)$ be a compact Riemannian manifold with Levi-Civita connection $\nabla$. It is well known that the Poisson equation $$\Delta f=S$$ where $\Delta:C^{\infty}({M})\to C^{\infty}({M})$ denotes ...
2 votes
1 answer
483 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}$ ...
4 votes
1 answer
169 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 ...
1 vote
1 answer
206 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 $...
4 votes
2 answers
364 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$...
3 votes
1 answer
168 views

Curvature estimate in Hamilton's Ricci flow paper for traceless $\operatorname{Rm}$ on $4$-dimensional manifold

In dimension $4$, it is known that the curvature operator $\operatorname{Rm} : \Lambda^2(M) \to \Lambda^2(M)$ admits a block decomposition of the form $$\operatorname{Rm} = \begin{pmatrix} A & B \\...
11 votes
5 answers
2k views

Ricci Curvature in infinite dimensions?

Is there a good notion of "Ricci curvature" in infinite dimensions? My intuitive understanding of Ricci curvature is that it is some kind of an "average" of the curvature tensor over "different ...
4 votes
0 answers
196 views

Let $p : \tilde{M} \to M$ be the universal cover. Can we ever deduce curvature properties of $M$ from the curvature of $\tilde{M}$?

Let $M$ be a $C^{\infty}$-smooth, connected, paracompact manifold with universal cover $\tilde{M}$. Assume $M$ is not simply connected, so that the covering map $p : \tilde{M} \to M$ is not the ...
17 votes
1 answer
1k views

Hyperbolic manifolds which fiber over the circle

If $N^2$ is a closed, orientable surface of genus at least $2$, and if $\phi$ is an (orientation-preserving) pseudo-Anosov mapping on $N$, then one can form the closed orientable 3-manifold $M^3$ by ...
3 votes
1 answer
332 views

Screened Poisson equation

The screened Poisson equation, i.e. $$ [\nabla^2−\lambda^2]\phi(r) = −\psi(r),$$ occurs frequently in physics, including Yukawa theory of mesons, in electric field screening in plasmas and nonlocal ...
1 vote
1 answer
164 views

A question on convexity and conjugate points

Let $(M,g)$ be a compact smooth simply connected Riemannian manifold with a smooth boundary. Assume also that $(M,g)$ does not have any conjugate pairs of points. Let $\Gamma \subset \partial M$ be a ...
6 votes
1 answer
129 views

On properties of Besse spheres

Let $(\mathbb{S}^2,g)$ be a Besse sphere, that is, a Riemannian sphere all of whose geodesics are closed. By a result of Gromoll and Grove, all the geodesics are simple (no self-intersections) and ...
2 votes
2 answers
387 views

Under what conditions can an orientable Riemannian 3-manifold be defined implicitly?

Under what conditions can an orientable Riemannian 3-manifold $\Sigma$ be defined implicitly? What I mean by implicitly is that there exists a smooth function $f:\mathbb{R}^n\to \mathbb{R}^m$, such ...
3 votes
1 answer
257 views

Space filling curves

The classic Hahn-Mazurkiewicz theorem has the following consequence: Let $X$ be a compact, connected topological manifold. Then there is a continuous surjective map $f: [0,1] \rightarrow X$. It is ...
4 votes
0 answers
227 views

To what extent is the Nash embedding not unique?

Consider a smooth Nash embedding, $f$, of a Riemannian manifold $Σ$ into Euclidean space $\mathbb R^n$. To what extent is this embedding not unique? It is clear that the set of all such embeddings ...
3 votes
1 answer
486 views

There exists differentiable curves arbitrarily close to the continuous ones

Let $M$ be a Riemannian manifold; if $d$ is the distance on $M$, we can consider the distance $D$ between any two continuous curves given by $D(c, \gamma) = \max _{t \in [0,1]} d(c(t), \gamma(t))$. ...
6 votes
2 answers
435 views

The convex hull of a manifold whose cobordism class is trivial

Let $M$ be a compact orientable $n$ dimensional manifold. Assume that $M$ has trivial cobordism class. Is there an embedding of $M$ in some Euclidean space $\mathbb{R}^m$ such that the convex ...
5 votes
0 answers
219 views

Is the volume functional analytic in the space of embeddings? What about locally?

Let $(M^{n+1},g)$ be an analytic Riemannian manifold and let $\Sigma^n$ be a closed analytic manifold. Denote by $\operatorname{Emb}(\Sigma, M)$ the space of all smooth (or maybe analytic) two-sided ...
3 votes
0 answers
117 views

Geometric intuition behind definition of $\delta$-necklike points of the Ricci flow

In "The Ricci Flow: An Introduction", the authors define a $\delta$-necklike point of the Ricci flow as a point $(x, t)$ where $$\|\text{Rm} - R (\theta \otimes \theta)\| \leq \delta \|\text{...
14 votes
1 answer
860 views

Mapping torus of Klein bottle

This got 5 upvotes but no answers on MSE (Mapping torus of Klein bottle), so I'm cross-posting to MO: The mapping torus of a Klein bottle $ K $ is a compact flat 3 manifold. The mapping class group of ...
3 votes
0 answers
109 views

Application of Santalo’s formula

Suppose that $(M,g)$ is a compact smooth Riemannian manifold with a smooth boundary and suppose that $f$ is a smooth function on $M$ with the property that $$ \int_I f(\gamma(t))\,dt=0,$$ for any ...
0 votes
0 answers
236 views

Angle between two vectors in a Minkowski (Finsler) space

Given a Minkowski (or Finsler) space $(V,F)$, I am wondering how to define the angle between two vectors $w$ and $v$. I first thought it must be as $$\cos\theta(w,v)=\frac{g_w(w,v)}{\sqrt{g_w(w,w)g_w(...
1 vote
1 answer
137 views

Smoothness of the asymptotic parametrization of a ruled surface

Let $S$ be a smooth developable surface in $\mathbb{R}^{3}$. It is well known that, if $S$ is free of planar points, then it admits a local parametrization of the form $$\begin{align} \sigma \colon I \...
5 votes
0 answers
101 views

How is this product of tensors defined?

I am reading the paper “ The first eigenvalue of a small geodesic ball in a riemannian manifold”, by Karp and Pinsky, from where I took the following: Here, $\Delta_{-2}$ denotes the usual Laplacian ...