All Questions
103 questions
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}...
- 1,171
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(...
CommunityBot
- 1
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 ...
- 275
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 ?
- 12.9k
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) ...
- 93
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 ...
- 808
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 $...
- 68.9k
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$ ...
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 ...
- 163
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 ...
- 45k
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,263
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 ...
- 7,197
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})$ ...
- 809
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,171
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}$ ...
CommunityBot
- 1
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 $...
- 26.3k
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 \\...
CommunityBot
- 1
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 ...
- 63.9k
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 ...
- 1,379
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 ...
- 188k
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 ...
- 5,048
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 ...
- 6,367
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 ...
- 2,095
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{...
- 659
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 ...
- 4,143
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(...
- 63.9k
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 \...
- 987
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 ...
- 2,095
2
votes
1
answer
256
views
Equidistant points on a compact Riemannian manifold
Let $(M,g)$ be a compact Riemannian manifold. To this Riemannian manifold, we associate a natural number $K(M,g)$ as follows:
$K(M,g)$ is the maximum of all $n\in \mathbb{N}$ such that we have at ...
- 10.6k
8
votes
1
answer
599
views
Exact condition for smooth homogeneous to imply Riemannian homogeneous for compact manifolds
Let $ (M,g) $ be a homogeneous Riemannian manifold. That is, the isometry group $ Iso(M,g) $ acts transitively on $ M $. Let $ \pi_1(M) $ be the fundamental group of $ M $. Then $ \pi_1(M) $ has ...
- 4,081
1
vote
0
answers
218
views
Is this generalization of differentiable manifolds to mixed dimensions a known object?
Suppose you are studying the evolution of some electromagnetic quantity in a conductor consisting of objects of several dimensions, i.e. wires, plates and balls.
This would amount to studying the ...
- 203
5
votes
1
answer
395
views
Embedding round manifolds into low dimensional spheres
Robert Bryant's answer to Isometric embedding of SO(3) into an euclidean space mentions that there is an isometric embedding of the round tetrahedral space $ SO_3/A_4 $ into the round sphere $ S^6 $.
...
- 4,081
9
votes
0
answers
336
views
Nash embedding for 3 manifolds
The Nash embedding theorem tells us that every smooth Riemannian m-manifold can be embedded in $R^n$ for, say, $n = m^2 + 5m + 3$ (edit: 14 is a better bound for compact 3 manifolds thanks @mme). What ...
- 4,081
2
votes
0
answers
71
views
Domain of definition of a certain mapping
Suppose we have a compact smooth riemannian manifold $(M,g)$ and a $\mathcal{C}^2$ diffeomorphism $f$ of this manifold.
I am studying the mapping
$$\tilde{f}(x)= \exp_{f(x)}^{-1} \circ f \circ \exp_x \...
0
votes
1
answer
318
views
Estimating scalar curvature by norm of Riemannian curvature tensor under the Ricci flow
In B. Chow and D. Knopf's book "The Ricci Flow: An Introduction", the authors claim that for any dimension $n$ and any Riemannian manifold $M^n$, there is a constant $C_n$ depending only on $...
- 27.5k
4
votes
0
answers
195
views
Classifying singularities of the Ricci flow
Context:
A solution $(M^n, g(t))$ of the Ricci flow is said to encounter a Type III Singularity if $g(t)$ is defined for all $t \geq 0$ and:
$$
\sup _{\mathcal{M}^{n} \times[0, \infty)} \|\...
- 659
13
votes
1
answer
654
views
Are there examples of Einstein manifolds with unbounded curvature?
Are there any known examples of Einstein manifolds $(M, g)$ such that $$\sup_{x \in M} \|\text{Rm}(x) \| = \infty$$
I'm looking for these examples because they might provide a counter-example to a ...
- 108k
2
votes
0
answers
354
views
Continuity of surface integrals on level sets
Let $\phi:\mathbb{R}^2\to\mathbb{R}$ such that $\phi^{-1}(0)\neq\emptyset$ and $\phi\in C^1(W)$ where $W$ is a compact neighborhood of $\phi^{-1}(0)$, with $\nabla\phi\neq 0$ in $W$. So there is some $...
- 1,759
5
votes
1
answer
278
views
Levi-Civita connection from idempotents
Let $(M,g)$ be a closed Riemannian manifold. Let $V$ be a smooth complex vector bundle over $M$. We can write $V$ as the range of an idempotent $E$ in a matrix algebra $M_n(C^\infty(M))$ acting on a ...
- 579
3
votes
0
answers
101
views
Minimal normal graph
Let $(M^3,g)$ be a complete and orientable Riemannian $3$-manifold and let $\Sigma^2 \subset M$ be a compact orientable totally geodesic surface embedded in $M$. For $f \in C^{2,\alpha}(\Sigma)$ with ...
- 2,095
4
votes
1
answer
249
views
A question on null geodesics in Lorentzian geometry
Suppose that $(M,g)$ is a smooth Lorentzian manifold, that $I\subset \mathbb R$ is a closed finite interval and that $\gamma: I \to M$ is a smooth null geodesic on $M$, that is to say, it satisfies
$$ ...
- 39.1k
2
votes
0
answers
35
views
Can one extend a Hermitian bundle from a compact manifold with boundary to its Riemannian double?
Let $M$ be a compact Riemannian manifold with boundary, and let $E \to M$ be a Hermitian vector bundle, endowed with a compatible connection. Let $\tilde M$ be a Riemannian double of $M$.
Does $E$ ...
- 5,407
44
votes
5
answers
6k
views
Finding a 1-form adapted to a smooth flow
Let $M$ be a smooth compact manifold, and let $X$ be a smooth vector field of $M$ that is nowhere vanishing, thus one can think of the pair $(M,X)$ as a smooth flow with no fixed points. Let us say ...
- 356
0
votes
1
answer
108
views
Intersection Grassmanian planes
I am reading a paper that used Grassmanian planes properties. In particular, they studied the intersection of Grassmanian planes; they check the intersection Grassmanian of $n-k$-planes and ...
- 26.3k
-4
votes
2
answers
303
views
Constructing a new manifold with a germ of manifold [closed]
Given a germ of manifolds and compatible Riemannian metrics, can we construct a new Hausdorff manifold using the exponential map?
A germ of manifolds at a point $m$ is a series of manifolds $U_i$ ...
- 26.3k
36
votes
3
answers
3k
views
When is a closed differential form harmonic relative to some metric?
Let $\omega$ be a closed non-exact differential $k$-form ($k \geq 1$) on a closed orientable manifold $M$.
Question: Is there always a Riemannian metric $g$ on $M$ such that $\omega$ is $g$-harmonic,...
- 2,139
2
votes
1
answer
95
views
conformal changes to Lorentzian curvature
Let $(M,g)$ be a Lorentzian manifold and let $R$ be the curvature tensor. We say $R\leq 0$ if
$$ g(R(X,Y)Y,X) \leq 0\quad \forall \, X,Y \in TM.$$
My question is whether given a Lorentzian manifold $...
- 1,371
6
votes
1
answer
338
views
Is Gauss map of a free boundary convex disk a diffeomorphism?
I asked this question on MSE, but obtained no answer. Maybe this is the right place to post it.
Let $D$ be a properly embedded free boundary disk in the closed unit ball $\mathbb{B}^3$ of $\mathbb{R}^...
- 7,194
6
votes
2
answers
428
views
An abstract characterization of line integrals
Let $M$ be a smooth manifold (endowed with a Riemann structure, if useful). If $\omega \in \Omega^1 (M)$ is a smooth $1$-form and $c : [0,1] \to M$ is a smooth curve, one defines the line integral of $...
- 12.9k
4
votes
1
answer
1k
views
Geodesic convexity and the Geometric Hessian
This is an elementary question in differential geometry. We know that for a smooth real-valued function $f$ defined on an open geodesically convex set of a Riemannian manifold $ \mathcal{X} \subset \...
- 119