All Questions
103 questions
2
votes
0
answers
82
views
Is isoperimetric hypersurface unique up to homeomorphism?
Is there a Riemannian structure on $\mathbb{R}^n $with two non homeomorphic compact hypersurfaces $M,N$ such that both satisfy the isoperimetric inequality. I precisely meanthe following:
$$\...
- 356
0
votes
0
answers
27
views
Heuristics for constrained maximal volumes in hypercubes as $n \to \infty$
It can be shown that there is a unique maximal surface of revolution with constant positive Gaussian curvature embedded in $[0,1]^3$ with a pair of antipodal points as cone points which attain the ...
- 383
0
votes
1
answer
91
views
On nontrapping manifolds
Suppose that $(M,g)$ is a compact connected smooth Riemannian manifold without boundary.
Let $U \subset M$ be a smooth submanifold of codimension zero with smooth boundary and assume that $U$ is ...
- 4,135
7
votes
2
answers
614
views
Locally conformally flat
Is there any example of a locally conformally flat manifold that is neither a space form nor a product of space forms?
- 71
2
votes
1
answer
122
views
Existence of a spin map from a standard sphere to any closed Riemaninan manifold with nonnegative curvature operator
Let $S^m$ be a standard sphere of dimension $m=n+4k$, and let $M$ be any closed Riemaninan manifold of dimension $n$ with nonnegative curvature operator.
My question: Is there always a smooth spin map ...
- 563
16
votes
0
answers
425
views
Is the oriented bordism ring generated by homogeneous spaces?
I am trying to find a Riemannian geometrically well-understood set of generators of the oriented bordism ring, including the torsion parts. By a set of generators, I mean that the set generates the ...
- 587
0
votes
0
answers
183
views
Sufficient condition for existence of a closest-point projection from a neighborhood onto a subset of a Riemannian manifold
Let $(M,g)$ be a Riemannian manifold and let $N$ be a subset of $M$.
On one hand, it is well known that if $N$ is an embedded submanifold of $M$, then it admits a tubular neighborhood, and, ...
- 144
2
votes
0
answers
211
views
When is the Chern integral given by the norm of the curvature tensor?
I saw somewhere that for a Kahler manifold that admits a Kahler-Einstein metric the following integral formula is true.
$$\int_M c_2 \wedge \omega^{n-2} = \frac{1}{n(n-1)}\int |Rm|^2 \omega^n$$
It ...
- 293
4
votes
1
answer
202
views
Finding a real-analytic diffeomorphism
Let $U_1\subset \mathbb R^3$ be a simply connected bounded open set with a smooth boundary and let $U_2$ be a neighborhood of $U_1$. Does there exist a real-analytic diffeomorphism $\psi: U_2 \to W_2$ ...
- 4,135
2
votes
0
answers
127
views
Foliation of $X$ by once punctured planes without any singularities
Let $n=3.$
Take $X=(0,1)^n.$ Fix points $p,q$ s.t. $\text{dist}_n(p,q)=\sqrt{n}.$ Construct a smooth regular foliation of $X$ with $(n-1)-$dim. leaves which are topologically $(0,\sqrt{n})\times S^{n-...
- 383
18
votes
1
answer
1k
views
Is the minimal volume a topological invariant?
On Wikipedia, it is said that the minimal volume
$$\operatorname{MinVol}(M):=\inf\{\operatorname{vol}(M,g) :g\text{ a complete Riemannian metric with }|K_{g}|\leq 1\}$$
is a topological invariant, ...
- 609
4
votes
1
answer
259
views
Is every Riemannian metric conformally equivalent to one that is geodesically complete?
The question in the title seems a natural one to ask, and I suspect that it is already considered, even completely solved, somewhere in the literature. Although I prefer some explanation of the idea(s)...
- 960
6
votes
1
answer
230
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(...
- 434
5
votes
2
answers
769
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 ...
- 437
3
votes
0
answers
608
views
Show that continuous maps between smooth manifolds can be approximated by smooth maps WITHOUT using Whitney's embedding theorem
As it is well-known (and for example this question shows) each continuous map between smooth manifolds is homotopically equivalent to a smooth map that can be constructed using the Whitney embedding ...
- 1,149
1
vote
2
answers
148
views
Construct a hypersurface with fixed principal curvatures at a point
I'm reading Eschenburg's paper Local convexity and nonnegative curvature —
Gromov's proof of the sphere theorem recently. And I meet a little question: Given a point $p\in M$, $N\in T_pM$, we want to ...
- 241
4
votes
1
answer
131
views
Smooth circle actions on Riemannian manifolds and harmonicity of quotient map
Let $(M, g)$ be a compact Riemannian manifold. Suppose $M$ admits a smooth free circle action (Denote the circle group by $G$. The action $G$ on $M$ is not necessarily isometric) and the orbit space $...
- 113
8
votes
0
answers
409
views
What specifically is the gap in Aubin's argument about positive Ricci curvature that Paul Ehrlich alludes to?
In his paper [2], Paul Ehrlich write
In [1], Aubin stated a theorem which implied as a corollary that if a manifold
$M$ admits a Riemannian metric with nonnegative Ricci curvature and
all Ricci ...
- 4,195
2
votes
1
answer
119
views
Density of smooth bi-Lipschitz maps in smooth maps
Setup/Motivation:
Let $(M,g)$ and $(N,\rho)$ be complete Riemannian manifolds of respective dimensions $m$ and $n$ and suppose that $m\leq n$. Let $\operatorname{bi-C}^{\infty}(M,N)$ denote the class ...
- 195
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 ...
- 356
2
votes
0
answers
137
views
Question about spin map
I'm confused with the following definition of a spin map.
A spin map is a map $f: N\to M$ between differentiable manifolds such that their second Stiefel-Whitney classes are related $\omega_2(N)=f^*\...
- 563
1
vote
0
answers
116
views
Existence of a local spinor bundle
I am confused about the existence of a local spinor bundle.
My question is that if a Riemannian manifold $M$ is not spin, why does there exist a local spinor bundle over all sufficiently small open ...
- 563
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 ...
- 356
7
votes
1
answer
368
views
Does complexified isometry group act transitively on tangent bundle of compact Riemannian manifold?
$\DeclareMathOperator\SL{SL}\DeclareMathOperator\SO{SO}\DeclareMathOperator\SU{SU}\DeclareMathOperator\O{O}\DeclareMathOperator\Iso{Iso}$Let $ g $ be the round metric on the sphere $ S^n $. Since $ S^...
- 4,081
2
votes
0
answers
70
views
Compatible almost complex structures such that the associated riemannian metric has positive injectivity radius
Let $M$ be a compact manifold, consider $\omega$ the canonical symplectic form in $T^*M$ and $\hat J$ the canonical almost complex structure coming from the Sasaki metric.
Let $\mathcal{J}$ be the set ...
- 791
1
vote
0
answers
93
views
A question about Homotopy equivalence (II)
I posted a similar but different question before in the link
https://math.stackexchange.com/questions/4311982/why-does-x-0-times-s1-simeq-x-x-0/4312530?noredirect=1#comment8987557_4312530.
Now, my new ...
- 563
0
votes
1
answer
154
views
Why does $X_0\times S^1\simeq X-X_0$? [closed]
Let $X$ be an $n$-dimensional connected smooth manifold, and let $X_0$ be an embedded $(n-2)$-dimensional compact submanifold of $X$ with the trivial normal bundle. How do we get inclusion?
$$X_0\...
- 563
3
votes
2
answers
604
views
Calculation of the top Chern class of spinor bundle over $S^{2n}$
It's well known that for a complex vector bundle $E$, we have
$$c_n(E)=e_n(E_\mathbb{R}) $$
But I'm very curious about the relationship between the top Chern class of spinor bundle and the Euler class ...
- 563
6
votes
0
answers
302
views
Are there are any surprising diffeomorphisms?
Two smooth manifolds are often viewed to be equivalent if there is a diffeomorphism between them. Are there examples of two manifolds that one would not expect to be equivalent (in this sense), but in ...
- 1,379
3
votes
6
answers
2k
views
The purpose of connections in differential geometry [closed]
I am currently reading through differential geometry as a mathematics graduate.
Can somebody give me a brief explainer on the purpose of connections?
I could also use explainers on differential forms. ...
3
votes
2
answers
247
views
Morse approximation with bounded number of critical points
Let $(M^3,g)$ be a compact Riemannian 3-manifold and let $f\in C^{\infty}(M)$ be a smooth function. Does there exist a constant $k>0$ (possibly depending on $M$ and $g$) such that $f$ can be $C^2$-...
- 91
2
votes
2
answers
523
views
Orthogonal smooth vector field on a Riemannian manifold
Consider a compact Riemannian manifold $M$ with a smooth metric, and a smooth vector field $X$ on $M$. My question is, when can we construct another smooth vector field $Y$ on $M$ such that $Y$ is ...
- 1,407
4
votes
1
answer
334
views
Existence parallel vector fields and its effect on the topology of manifolds (Karp's Thesis)
It seems that there is no digital copy of Leon Karp's Ph.D. thesis
L. Karp, Vector fields on manifolds, Thesis, New York Univ., 1976.
on internet and his paper excerpted from his thesis is very brief ...
- 4,195
4
votes
1
answer
211
views
Existence non-trivial parallel $p$-form implies non-triviality of $p$-th cohomology group using De Rham cohomology
Cross-post from MSE.
Suppose $(M,g)$ be a closed Riemannian manifold. Because every parallel (nontrivial) $p$-form $\omega$ is harmonic so the $p$-th Betti number should be positive i.e. $b_p\geq 1$. ...
- 4,195
1
vote
1
answer
243
views
Reference for non-parallel harmonic $k$-forms
I want to get some deep understanding on closed orientable Riemannian manifolds admitting $k$-forms ($k\geq 2$) $\omega$ that satisfices the following conditions:
$$\nabla \omega\neq 0,\quad \Delta\...
- 4,195
15
votes
6
answers
2k
views
Any shortcuts to understanding the properties of the Riemannian manifolds which are used in the books on algebraic topology
I'm now attending a reading seminar on the algebraic topology.
The seminar treats the book of Bott & Tu (Differential Forms in Algebraic Topology) and Milnor (Characteristic Classes).
In those ...
- 1,013
1
vote
0
answers
85
views
characterizing the singularity for a geometric flow
Suppose that $(M,g)$ is a complete Riemannian manifold and let $\Gamma_0$ be a closed hypersurface in $M$. Let $(x^n,x')$ denote the normal coordinate system on $M$ about $\Gamma_0$ with $x^n>0$ ...
- 4,135
2
votes
1
answer
582
views
Why trace is more natural than (preferred to) determinant for smooth map $f:M\to N$?
Cross-post from MSE.
For a continuous map $f:(M,g)\to (N,h)$, between Riemannian manifolds $(M,g)$ and $(N,h)$ we can pullback $h$ by $f$. Most experts take the trace from this new tensor and work ...
- 4,195
4
votes
1
answer
208
views
Is $L^1$ strong convergence of Jacobians valid for maps between manifolds?
$\newcommand{\M}{\mathcal{M}}$
$\newcommand{\N}{\mathcal{N}}$
$\newcommand{\R}{\mathbb{R}}$
$\newcommand{\Vol}{\operatorname{Vol}}$
$\newcommand{\Det}{\operatorname{Det}}$
$\newcommand{\Volm}{\...
- 6,741
2
votes
0
answers
88
views
$1$-parameter analytic functions are almost everywhere Morse
Let $I = [t_{0}, t_{1}]$ be a closed interval with $t_{0} < t_{1}$ and let $M$ be a compact real analytic $n$-dimensional manifold without boundary. Furthermore, let $f:I \times M \rightarrow \...
- 21
4
votes
0
answers
104
views
Non-isomorphic compact Kähler manifolds not containing submanifolds biholomorphic to their conjugates
Let $(M, \omega_M, J_M)$ and $(N, \omega_N, J_N)$ be compact Kähler manifolds. Denote $g_M=\omega_M(\cdot, J_M\cdot)$ and $g_N=\omega_N(\cdot, J_N\cdot)$.
Assume there is a diffeomorphism $\nu:M\to N$ ...
user164740
2
votes
1
answer
191
views
Non-symplectomorphic isometric compact Kähler manifolds
Let $(M, \omega_M, J_M)$ and $(N, \omega_N, J_N)$ be compact Kähler manifolds. Denote $g_M=\omega_M(\cdot, J_M\cdot)$ and $g_N=\omega_N(\cdot, J_N\cdot)$.
Assume there is a diffeomorphism $\phi:M\to N$...
user164740
13
votes
1
answer
493
views
Non-isomorphic compact Kähler manifolds that are biholomorphic, symplectomorphic and isometric
Let $(M, \omega_M, J_M)$ and $(N, \omega_N, J_N)$ be compact Kähler manifolds. Denote $g_M=\omega_M(\cdot, J_M\cdot)$ and $g_N=\omega_N(\cdot, J_N\cdot)$.
Assume there is a diffeomorphism $\nu:M\to N$ ...
user164740
5
votes
1
answer
597
views
A vector field whose flow has constant singular values
$\newcommand{\tr}{\operatorname{tr}}$
$\renewcommand{\div}{\operatorname{div}}$
Let $D \subseteq \mathbb{R}^2$ be the closed unit disk. Given a vector field $X$ on $D$, let $\psi_t$ be its flow.
Does ...
- 6,741
3
votes
1
answer
182
views
Open neighbourhood of a point of space of Riemannian metrics
Let $M$ be a finite-dimensional compact smooth manifold and
$$\mathcal{M}et(M) = \{ g : g \text{ is a Riemannian metric on }M \}.$$
Q1-a: What metrics $g$ are very close to the given metric $g_0$? I.e....
- 4,195
2
votes
1
answer
182
views
Vector field along an immersion whose covariant derivative is the differential
Let $(M,g)$ be a Riemannnian manifold and let $f:\Sigma\to M$ be a smooth immersion. Then the vector bundle $f^\ast TM\to\Sigma$ has a natural bundle metric and metric-compatible connection. Can one ...
- 2,247
6
votes
1
answer
229
views
Does $\pi_k(M)\neq 0$ implies $\operatorname{ind}(\gamma) < k$?
Cross post from MSE. and sorry if this is an obvious question.
Here is a line of proof of Theorem 1.15 from
Brendle, Simon, Ricci flow and the sphere theorem, Graduate Studies in Mathematics 111. ...
- 4,195
18
votes
1
answer
934
views
Consequences of Gromov's Conjecture
In Peter Petersen words, Gromov Betti number estimate is considered one of the deepest and most beautiful results in Riemannian geometry; which asserts that
Theorem (Gromov 1981). There is a constant ...
- 4,195
-3
votes
1
answer
381
views
Is the 2-dimensional Gauss-Bonnet theorem applicable in higher dimensions? [closed]
This is a cross-post of this MSE post that users commented that it is appropriate for MO.
I want to know
Question: Is the 2-dimensional Gauss-Bonnet theorem applicable (any topological or ...
- 4,195
2
votes
1
answer
373
views
Is there a diffeomorphism of the disk with constant sum of singular values?
This question is a relaxed version of this question.
Let $D \subseteq \mathbb{R}^2$ be the closed unit disk, and let $c \ge 2$.
Does there exist a diffeomorphism $f:D \to D$ with constant sum of ...
- 6,741