All Questions
59 questions
7
votes
1
answer
301
views
Fibers of generic smooth maps between manifolds of equal dimension
I have heard that the following is a "well-known"
Claim. Let $M$ and $N$ be smooth manifolds with equal dimensions and $M$ compact. Then a generic smooth map $f\colon M\to N$ has finite ...
- 6,571
3
votes
1
answer
203
views
Cohomology of the complex of differential forms with Schwartz coefficients
Let $U$ be an open manifold (say an open subset of $\mathbb{R}^n$ for simplicity). Denote by $\mathscr{S}(U)$ the space of Schwartz functions on $U$. Schwartz functions are defined as usual to be ...
- 21.5k
4
votes
0
answers
116
views
Do any Legendrian knots in standard contact 3-space have big tubular neighborhoods?
Consider $\mathbb{R}^3$ with the standard contact structure $\ker(dz-y\,dx)$.
According to the contact version of Weinstein's theorem, any Legendrian knot $L\subset \mathbb{R}^3$ has a tubular ...
- 491
11
votes
1
answer
701
views
Smooth map between oriented manifolds
Let $f: M\rightarrow N$ be a smooth map between smooth closed oriented connected manifolds of same dimension.
Question: is it true that $f$ is smoothly homotopic to some smooth map $g: M\rightarrow N$...
- 68.9k
4
votes
1
answer
198
views
Examples of hyperbolic manifolds of dimension $\geq$ 3 with disjoint totally geodesic hypersurfaces
I am hoping to find examples of compact hyperbolic manifolds with at least 2 disjoint totally geodesic hypersurfaces. Ideally, I would like examples in dimension at least 4, though 3-dimensional ...
- 12.3k
29
votes
2
answers
2k
views
Contractibility of the space of Jordan curves
Is the space of Jordan curves in $\textbf{R}^2$ contractible? In other words, is there a canonical or continuous way to deform each Jordan curve to the unit circle $\textbf{S}^1$.
If the curves are ...
- 7,149
16
votes
2
answers
1k
views
Examples of Banach manifolds with function spaces as tangent spaces
I have recently been learning the theory of Banach manifolds through Serge Lang's book on Differential Manifolds. So far the objects seem rather interesting but my intuition always comes from the ...
- 6,001
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 ...
7
votes
1
answer
210
views
Recognizing sections up to isotopy
Let $E$, $B$ be smooth manifolds, $\pi\colon E\to B$ be a smooth fiber bundle, and $h:B\to E$ be a smooth embedding. I would like to learn what is known about the following
Question. When does there ...
- 2,479
5
votes
0
answers
289
views
A certain kind of proof of the Hairy Ball Theorem
I'd just like to know if proofs of the Hairy Ball Theorem along the following lines are well-known or even somewhere in the literature.
From a given vector field $V_1$ on $S^2$, form another, $V_2$, ...
- 28.2k
15
votes
2
answers
1k
views
Is there a citeable reference for star-shaped open subsets of R^n being diffeomorphic to R^n?
A folk theorem says that star-shaped open subsets of R^n are diffeomorphic to R^n.
Is there a citeable reference for a proof of this result?
For the sake of being definite, let's say that
“citeable” ...
- 45k
5
votes
1
answer
407
views
Making a submanifold transverse to a vector field by an isotopy
Let $M$ be a smooth manifold, $N\subset M$ be a smooth closed hypersurface not bounding a compact submanifold, and $X$ be a smooth nowhere-zero vector field on $M$. I would like to learn what is known ...
- 491
1
vote
1
answer
124
views
Relative equivariant Thom transversality
I'm looking for a reference for the following:
Suppose that $G$ is a finite group, that $M$ is a smooth $G$-manifold, and that $A\subseteq M$ is a closed $G$-invariant subspace of $M$ such that the ...
- 201
13
votes
1
answer
1k
views
Are there textbooks on differential geometry in the language of smooth sets or smooth derived stacks?
In differential geometry it is often natural to speak of infinite-dimensional manifolds (e.g., the manifold of mappings between two smooth manifolds). Different versions of generalized smooth spaces ...
- 37.8k
15
votes
1
answer
2k
views
Good introduction to Morse-Novikov theory?
Morse theory investigates the topology of compact manifolds using critical points of real-valued functions $f\colon\, M\to \mathbb{R}$. Motivated by problems in dynamical systems, Novikov (Multivalued ...
- 26.3k
15
votes
2
answers
1k
views
Diffeomorphism group of the projective plane
First of all, I am interested in the general case of a non-orientable manifold but let's for now consider the projective plane $\mathbb{R}P^2.$ In short, I am curious if there is any relation between ...
- 307
8
votes
1
answer
426
views
Orbifolds are Thom-Mather stratified spaces
Where can I find a proof of (or if it is even true) that an (effective) orbifold is a Thom-Mather stratified space?
edit: after some search, I found the proof should be contained in either
GIBSON, C....
- 9,870
6
votes
3
answers
561
views
Smale's theorem for $C^1$ diffeomorphisms of the sphere
In 1926 Kneser showed that homeomorphisms of $\mathbf{S}^2$ admit a retraction into the orthogonal group $O(3)$. Smale extended this result to Diffeomorphisms of $\mathbf{S}^2$ in 1958; however, in ...
- 45k
36
votes
2
answers
5k
views
Kervaire invariant: Why dimension 126 especially difficult?
Is there any resource that might help non-experts gains some understanding of why
the Kervaire invariant problem remains open now only in dimension $126$? ($126 =2^7-2=2^{j+1}-2$;
whether $\theta_j=\...
- 3,526
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 ...
- 44.7k
1
vote
0
answers
170
views
Uniqueness of collar neighborhoods for non-compact boundary case in smooth setting
Let $M$ be a smooth manifold and let $f_0, f_1 \colon [0, 1] \times
\partial M \to M$ be two smooth embeddings that are the identity map
on $\partial M \times\{0\} = \partial M$ . If $\partial M$ is
...
- 265
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
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\...
- 108k
8
votes
3
answers
1k
views
Higher derivatives than Jacobi fields
The first and second derivatives of the distance function (either the full $d:M\times M\to \mathbb{R}$ function or the $d(p,\cdot):M\to \mathbb{R}$ function) as well as the derivative of the ...
- 12.9k
2
votes
2
answers
452
views
Reference for the divergence theorem for embedded $C^1$-submanifolds of $\mathbb R^d$ with boundary
I'm aware of Gauss's theorem (aka the divergence theorem) for compact subsets $K$ of $\mathbb R^d$ with "$C^1$-boundary"$^1$.
I know that there are several generalizations of this theorem, ...
- 111
1
vote
0
answers
55
views
Projection of a real analytic manifold onto subspace is union of real analytic submanifolds
Let $M$ be a compact connected real analytic submanifold of the Euclidean space $\mathbb{R}^{n} \times \mathbb{R}$ and denote by $\pi : \mathbb{R}^{n} \times \mathbb{R} \rightarrow \mathbb{R}^{n}$ the ...
- 19
4
votes
1
answer
486
views
Every _______ $d$-manifold has an $S$-structure
I am looking for some analogous nontrivial but known statements and references about statements of the form:
Every _______ $d$-manifold has an $S$-structure.
Here _______ is a placeholder for ...
- 19.3k
1
vote
0
answers
61
views
Splitting formulas for spectral flows
I'm asking if there are splitting formulas for equivariant spectral flow and higher spectral flow (of Dai-Zhang) for paths of Dirac operators, concerning gluing together two smooth compact Spinc ...
- 5,380
5
votes
1
answer
248
views
Multisignature and homeomorphism type
In classical surgery theory, there is a map
$$L_{n+1}(\pi_1M)\to S(M^n)$$
Element in $L_{n+1}(\pi_1M)$ is realized as surgery obstruction of a surgery problem to $M\times I$ with one boundary piece ...
- 19.4k
14
votes
0
answers
312
views
An unpublished paper of Thurston about diffeomorphism groups
William Thurston has done many contributions in the field of diffeomorphism groups. But it seems that one of his papers entitled
"On the Structure of the Group of Volume Preserving Diffeomorphisms"
...
- 747
5
votes
0
answers
261
views
The space of $k$ differential forms as a Fréchet space
Given a smooth manifold $M$, can define define seminorms on $\Gamma(U,\bigwedge^kT^{\ast}M)$ for $U$ a coordinate open set by the following: $p^{s}_L(u = \sum_{I}u_I dx_I) = \sup_{x \in M}\max_{|I|=p, ...
- 35.5k
15
votes
1
answer
612
views
Is the subgroup $\mathrm{Diff}(M,S)$ of $\mathrm{Diff}(M)$ a Lie subgroup?
Denote by $\mathrm{Diff}(M)$ the Lie group of smooth diffeomorphisms on a compact smooth manifold. Its Lie algebra can be viewed as the Lie algebra $\mathfrak X(M)$ of vector fields on $M$. Now, given ...
- 21.5k
39
votes
10
answers
4k
views
Are there some other notions of "curvature" which measure how space curves?
I am learning differential geometry and have a few questions on curvature. -- Background:
Gauss invented "Gauss curvature" to measure how surface curves.
Riemann gives an ingenious generalization of ...
- 30.3k
1
vote
0
answers
126
views
Flows commuting with Anosov flows and further reference request
Hello respected members of Mathoverflow. I was reading the paper "Flots d’Anosov dont les feuilletages stables sont différentiables" by Etienne Ghys and there was a statement which he remarked was ...
- 229
4
votes
0
answers
343
views
Riemannian metrics on a manifold with corners
For a smooth manifold with corners (although maybe there is no universally agreed definition of it), is there always a Riemannian metric making every face totally geodesic?
Is there any reference ...
- 803
11
votes
1
answer
940
views
Equivariant sections of fiber bundles
One of the fundamental facts in fiber bundle theory is the following result for existence and extension of sections (see Thm. 9 in this paper of Palais, and compare with Thm. 12.2 in Steenrod's book):...
- 7,149
3
votes
0
answers
74
views
Deforming a non-positively curved Riemannian manifold into a negatively curved one
Cheeger deformations can be used to deform some non-negatively curved Riemannian manifolds into positively curved manifolds (e.g., sectional curvatures strictly positve), see
What is a Cheeger ...
- 1,942
4
votes
1
answer
194
views
Chern numbers of almost complex manifolds
Suppose we are given two integer numbers $p$ and $q$ such that $p+q\equiv 0 \pmod{12}$. There is a result saying that for every such pair there exists a non necessarily connected almost complex ...
- 66.3k
33
votes
4
answers
7k
views
Topology of function spaces?
Let $X,Y$ be finite-dimensional differentiable manifolds, and let's assume that they are connected. In fact, in applications I would like both $X$ and $Y$ to be riemannian manifolds.
Let $C^\infty(X,...
- 25.3k
4
votes
1
answer
304
views
Local product structure of determinantal variety
The variety $X_n$ of singular $n\times n$ real matrices is stratified by smooth strata $X_{n,k}$ where $k$ is the rank. Choose a rank $k$ matrix $A\in X_{n,k}$. Is there a local diffeomorphism sending ...
- 4,111
2
votes
0
answers
344
views
If the fibers of a submersion are connected, does it mean that any 2 sections are homotopic (locally on the base)?
Is the following fact known? If yes - what is the reference?
Let $\phi:X\to Y$ be a submersion of smooth manifolds with connected fibers.
Let $s_0,s_1:Y\to X$ be its (smooth) sections. Then, for any $...
- 2,639
5
votes
2
answers
569
views
3-sphere bundles over 4-sphere bound smooth disc bundles
I saw in the answer of this post:
Is it true that all sphere bundles are boundaries of disk bundles?
that a $S^3$-bundle over $S^4$ bounds a disc bundle over $S^4$ iff $O(4)\rightarrow Diff(S^3)$ is ...
CommunityBot
- 1
5
votes
0
answers
1k
views
Prerequisites for reading Gregory Perelman's work
What are the prerequisites for understanding the work of Perelman concerning the Poincaré conjecture?
I am referring to the last three papers here.
- 10.9k
0
votes
1
answer
226
views
Marcel Berger's "Sur les groupes d'holonomie homogènes de variétés à connexion affine et des variétés riemanniennes."
I would appreciate any reference that contains either a translation or proof of the main theorem in this paper. Thank you in advanced.
- 33.3k
4
votes
1
answer
733
views
Reference request: Intrinsic definition of the strong Whitney topology on $\mathcal{C}^{\infty}(M,\mathbb{R})$ without using charts or jets
Let $M$ and $N$ be smooth manifolds. There is a description of the strong Whitney topology on $\mathcal{C}^{\infty}(M,N)$ in terms of partial derivative in charts (using locally finite sets of charts ...
- 356
6
votes
2
answers
2k
views
How many metrics of constant curvature exist on a Riemannian surface?
I have been trying to determine the number of metrics of constant curvature on a surface of genus $n$, say $\Sigma$. For low values, the answer is clear, the moduli space is a point for the sphere, ...
- 91.8k
1
vote
1
answer
265
views
Boundary components of a subsurface
Consider the following situation. Suppose we have a closed oriented Riemannian surface $ \Sigma $ and a connected open subset $ \Omega \subseteq \Sigma $ with a boundary, consisting of finitely many ...
- 337
0
votes
1
answer
201
views
Ambient isotopy of the diagonal submanifold in product space
Given a closed manifold $M^n$ and its $k$-fold product space $M^n\times\cdots\times M^n$,Can the diagonal submanifold $\Delta:=\{(m,\cdots,m)\in (M^n)^k\mid m\in M\}$ be isotopied to the submanifold
$...
CommunityBot
- 1
0
votes
1
answer
182
views
Surjectivity of "nice maps" from local properties
What tools are available from real algebraic geometry, analysis and
topology to check surjectivity of a map $f:M_{1}\rightarrow\mathbb{R}^{d}$
from local properties and maybe function values?
...
- 25.3k
1
vote
1
answer
165
views
Can any bounded area defined by polynomial inequality in $\mathbb{R}^n$ be partitioned into simply connected finite area such that
Can any bounded area defined by polynomial inequality in $\mathbb{R}^n$ be partitioned into simply connected finite areas such that for each simply finite area there exist a diffeomorphic map that ...
- 60.5k