All Questions
21 questions
16
votes
2
answers
605
views
What is the weakest negative curvature condition ensuring a manifold is a $K(G,1)$?
The only statement I'm sure of is that any hyperbolic or Euclidean manifold is a $K(G,1)$ (i.e. its higher homotopy groups vanish), since its universal cover must be $\mathbb H^n$ or $\mathbb E^n$. ...
- 63.9k
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
13
votes
1
answer
306
views
Were 3-manifolds with $\sec>0$ known to be space forms before Ricci flow?
It is well known that R. Hamilton (JDG 1982) used Ricci flow to show that a closed $3$-manifold with positive Ricci curvature must be diffeomorphic to a spherical space form $S^3/\Gamma$, since such ...
- 5,891
12
votes
0
answers
381
views
Two ways a manifold can have little symmetry
Let $M$ be a closed connected smooth oriented manifold. The following two properties - that $M$ can either enjoy or not - intuitively both mean that $M$ has very little symmetry:
(a) Every self-map $...
- 11.9k
11
votes
1
answer
584
views
Curvature of maximum of two riemannian metrics
Consider $g_1$ and $g_2$ two Riemannian metrics on a differentiable manifold $M$ of dimension $n\ge 4$. Suppose locally $g_i=f_i\sum_{j=1}^ndx_j^2$, where $f_i:M\rightarrow \mathbb{R}$ are non ...
user99087
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
6
votes
0
answers
341
views
When exponential map is 1-1 from vector fields to diffeomorphisms
Let $M$ be a connected and complete Riemannian manifold of positive dimension, $k$ be a positive integer, and let $\mathfrak{X}^k_c$ be the set of class $C^k$-vector fields on $M$ of compact support. ...
- 5,405
5
votes
1
answer
375
views
A possible characterization of sphere or projective space
Is there a compact Riemanian manifold $M$ not diffeomorphic to sphere or real or complex or quaternion projective space which admit a diffeomorphism $f$ with the property that $$\forall x \in M, \...
- 356
5
votes
1
answer
1k
views
Does every smooth manifold admit a metric with bounded geometry and uniform growth?
Let $M$ be a smooth manifold, $g_M$ a Riemannian metric, and consider for $x\in M$ the volume growth function, $gr_x$ that maps $r>0$ to the volume $vol_{g_M}(B(x,r))$. My interest is to see ...
- 541
4
votes
2
answers
410
views
Can we convert any non-vanishing vector field into geodesic field by changing metric?
If $M$ is a smooth closed manifold together with a non-vanishing (maybe unit) vector field $X$. In what condition can we construct a Riemannian metric on $M$ s.t $X$ be the geodesic field of on $TM$?
- 3,751
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
3
votes
1
answer
302
views
The isometric immersion of a positively curved projective plane in 3-dimensional Euclidean space?
In 1903, W. Boy showed that the real projective plane $\mathbb{R}P^2$ can be immersed in the Euclidean space $\mathbb{E}^3$ (see Werner Boy, Math. Ann. 57 (1903), no. 2, 151-184.). Suppose a ...
- 31
3
votes
1
answer
178
views
Sheaves on solenoids
Let $(X_n)$ be a tower of finite covering maps of compact smooth manifolds, with $f_{s,t} : X_t\to X_s$ the maps, and $\Lambda_n := f_{n,0}^{-1}\Lambda$, with $\Lambda$ the constant abelian sheaf on $...
user133532
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
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
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
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
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
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
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
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