Questions tagged [smooth-manifolds]
Smooth manifolds and smooth functions between them. For manifolds with additional structure, see more specific tags, such as [riemannian-geometry]. For more topological aspects, see [differential-topology].
1,231
questions
0
votes
0
answers
98
views
definition of level-preserving diffeomorphism
In Hatcher, Allen; Lochak, Pierre; Schneps, Leila, On the Teichmüller tower of mapping class groups, J. Reine Angew. Math. 521, 1-24 (2000). ZBL0953.20030) page 10 we have :
Up to level-preserving ...
7
votes
0
answers
173
views
Sensitivity of topological field theories
I am struggling to find references or studies that explore the overall sensitivity of topological field theories as an invariant of smooth manifolds. There is the paper by Davis that explores how ...
1
vote
0
answers
77
views
Diagrams for critical points [closed]
In Hatcher, Allen; Lochak, Pierre; Schneps, Leila, On the Teichmüller tower of mapping class groups, J. Reine Angew. Math. 521, 1-24 (2000). ZBL0953.20030) pages 13 and 15 we have :
for case "d&...
2
votes
0
answers
91
views
If a Compact $n$-Manifold Immerses in $\mathbb{R}^{n+1}$ is there a Locally Flat Immersion?
Suppose that $M$ is a compact, topological $n$-manifold and there is a topological immersion (i.e. local embedding) of $M$ into $\mathbb{R}^{n+1}$. Is there necessarily a locally flat immersion of $M$...
2
votes
0
answers
108
views
About connected cobordism and surgery
I need to find various ways of performing two surgeries on a collection of circles so that the resulting 2-dimensional cobordism (the trace of the surgeries) is connected.
How can I find these ? up ...
3
votes
2
answers
231
views
For a SDE with smooth transition densities, if every point is "path-accessible", is every positive-measure set probabilistically accessible?
Suppose we have a $C^\infty$ manifold $M$ and $C^\infty$ vector fields $b,\sigma_1,\ldots,\sigma_k$ on $M$, and for convenience define the set of vector fields
$$ \mathcal{S} = \{b,\sigma_1,-\sigma_1,\...
0
votes
1
answer
215
views
Why do we have sixteen possible configurations of three saddles on one level?
In Hatcher, Allen; Lochak, Pierre; Schneps, Leila, On the Teichmüller tower of mapping class groups, J. Reine Angew. Math. 521, 1-24 (2000). ZBL0953.20030) page 13 we have :
There are sixteen ...
1
vote
0
answers
125
views
Middle Betti number bound of special $4$-manifolds
I was thinking of the following question regarding $4$-manifolds as follows.
Let $M$ be a compact, oriented, smooth $4$-manifold with a smooth connected boundary, say $N$. Let $M$ be simply connected ...
3
votes
1
answer
464
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))$.
...
2
votes
0
answers
177
views
When does a map between 4-manifolds map boundary to boundary upto homotopy?
Let $f:M\to N$ be a smooth map between smooth 4-manifolds with boundary. When does $f$ map boundary of $M$ to boundary of $N$ upto homotopy i.e. when there is a map $F:M\to N$ homotopic to $f$ such ...
6
votes
0
answers
121
views
A particular case of the general converse to the preimage (submanifold) theorem
I was thinking whether it would be possible to develop a converse to the preimage theorem in differential topology and I found the following post:
When is a submanifold of $\mathbf R^n$ given by ...
8
votes
0
answers
193
views
A modified version of the converse to the Sard's Theorem
When I learned Sard's Theorem in differential topology by myself, I was thinking whether it would be possible to prove a converse version of the theorem. That is to say, can we somehow show that each (...
7
votes
2
answers
386
views
Kneser theorem about the Klein bottle
I know that in $1923$ H. Kneser showed that a continuous flow in a Klein bottle without singular points has a periodic trajectory. The original article is this, but does anyone know another old or new ...
6
votes
0
answers
232
views
Homotopy type of space of embeddings of a disk
Let $M^n$ be a smooth $n$-dimensional manifold and let $\mathbb{D}^n$ be the open unit disk in $\mathbb{R}^n$. Consider the space $\text{Emb}(\mathbb{D}^n,M^n)$ of smooth embeddings of $\mathbb{D}^n$ ...
2
votes
1
answer
245
views
Manifolds whose tangent spaces have a special behavior
Consider an $n$-dimensional complex manifold $M\subset\mathbb{C}^N$ and let
$$f:\mathcal{U}\subset\mathbb{C}^n\rightarrow \mathcal{V}\subset M\subset\mathbb{C}^N$$
be a local parametrization of $M$.
...
0
votes
0
answers
58
views
Does a vector over the field of meromorphic functions describe a manifold?
Assume that the variables $\mathbf x=(x_1,...,x_n)$ are coordinates on the solution manifold of a differential equation $\mathbf D(\mathbf x,\dot{\mathbf x},\ldots,\mathbf x^{(\alpha)})=\mathbf 0$ ...
6
votes
2
answers
431
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 ...
4
votes
1
answer
236
views
If tangent vectors are a vector space of same dimension at every point, does one has a manifold? [closed]
Let $M$ be a non-empty subset of $\mathbb R^n$, $n \geq 2$.
Recall that a vector $v$ is tangent to $M$ at the point $m \in M$ if it exists a differentiable curve $\gamma : I \to M$ such that $\gamma(0)...
5
votes
0
answers
218
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 ...
1
vote
0
answers
513
views
Proof of Ehresmann's theorem
In Huybrechts' book Complex geometry: An introduction p.269, Proposition 6.2.2, the author gives a proof of the following theorem
(Ehresmann)
Let $\pi:\mathcal X\to B$ be a proper family of ...
7
votes
1
answer
339
views
On fixed point sets of actions of compact Lie groups
Let a compact Lie group $G$ act smoothly on a compact smooth manifold $M$. For any compact subgroup $H\subset G$ denote by $E^H$ the image in $M/G$ of the fixed point set of $H$ in $M$.
Is it true ...
3
votes
0
answers
113
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{...
-3
votes
1
answer
841
views
Pull back a vector field [closed]
In Voisin's book Hodge theory and complex algebraic geometry, I Section 9.1.2, p.223, the author writes:
Let $\phi:\mathcal X\to B$ be a family fo complex manifolds. The differential $\phi_*$ is a ...
11
votes
1
answer
546
views
Examples of 6-manifolds without an almost complex structure
Question: I am searching for examples for closed (hence orientable ), smooth $6$-manifolds without an almost complex structure.
Finding such an example is equivelant to finding a manifold where the ...
11
votes
1
answer
427
views
Does every smooth map of rank at most d factor through a d-manifold?
Suppose $d≥0$, $m≥0$, $n≥0$, and $\def\R{{\bf R}} f\colon \R^m→\R^n$ is a smooth map
whose rank at any point of $\R^m$ is at most $d$.
Here and below, smooth means infinitely differentiable.
Can we ...
3
votes
1
answer
323
views
How to show that $\text{Man}(M,\mathbb{R}^n)\cong \mathbb{R}\text{-Alg}(C^\infty(\mathbb{R}^n),C^\infty(M))$?
I'm trying to show that manifolds are affine, i.e. $\text{Man}(M,N)\cong \mathbb{R}\text{-Alg}(C^\infty(N),C^\infty(M)) $. If I could show this for $N=\mathbb{R}^n$, then I know how to do the rest ...
14
votes
2
answers
815
views
Must a space that is locally injective image of $\mathbb{R}^n$ be a manifold?
Suppose $X\subseteq\mathbb{R}^m$ s.t. for any $x\in X$ and any open $U\subseteq\mathbb{R}^m$ that contains $x$, there exists a smaller open set $V\subseteq U$ also containing $x$, so that $V\cap X$ is ...
8
votes
0
answers
281
views
A conjecture about homotopy $S^1\times B^3$'s
$\textbf{Conjecture}:$
Let $X^4$ be a homotopy $S^1\times B^3$ with the following properties:
Attaching a four dimensional 2-handle gives a standard $B^4$.
The $k$-fold cyclic cover is diffeomorphic ...
14
votes
1
answer
635
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 ...
2
votes
1
answer
296
views
Path lifting property for $\pi:M\rightarrow M/G$ for $G$ compact Lie acting smoothly and freely
Let $M$ be a smooth manifold and let $G$ be a compact Lie group acting smoothly and freely over $M$. Let $\pi:M\rightarrow M/G$ be the canonical projection, and endow $M/G$ with the unique ...
3
votes
0
answers
92
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 ...
3
votes
0
answers
160
views
The boundary of the transversal pre-image of a submanifold with boundary
A similar question on MSE without answer.
Let $M, N$ be smooth manifolds such that $\partial N=\varnothing$. Let $A$ be a smoothly embedded submanifold of $N$ such that $\partial A\neq \varnothing$. ...
1
vote
1
answer
132
views
Transversal pre-image of a small enough trivial tubular neighborhood contains a trivial tubular neighborhood
A similar post on MSE without answer.
Let $f\colon M'\to M$ be a smooth map between two orientable closed smooth manifolds and $S$ be a smoothly embedded closed orientable submanifold of $M$ of co-...
11
votes
1
answer
840
views
Intuition/meaning behind/physical content of the concept of a smooth structure
Some mathematical structures are visualized very well. I imagine how a shapeless bunch of points (a set; the only property of which is quantity) is collected in one or another soft form (topological ...
2
votes
0
answers
39
views
Find weak approximation by smooth unit vector fields for Sobolev fields on manifold
I am considering the Sobolev space of unit tangent vector fields on a compact manifold:
$Γ_{W^{1,2}}(M, UTM)$.
I would like to approximate those weakly with smooth vector fields ($Γ_{C^∞}(M, UTM)$).
...
1
vote
1
answer
126
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
98
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
votes
1
answer
235
views
Quantitative results for stabilizing tangent bundles of homology spheres
I'll begin with a broad question: if $M$ is a smooth manifold and $E \to M$ is a stably trivial bundle, can one determine lower bounds on the rank $k$ of the trivial bundle needed such that $E \oplus \...
1
vote
0
answers
83
views
Target space of Green's operator on $L^p$-differential forms on closed manifolds
Let $M$ be a closed (i.e., compact without boundary) smooth oriented Riemannian manifold endowed with a regular atlas in the sense of C. Scott [1], i.e., with a finite atlas $\mathcal{A}$ so that for ...
2
votes
1
answer
231
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 ...
7
votes
0
answers
220
views
A weak analogue of smooth manifolds (reformulated)
It is widely known that $C^1$ manifolds are topological spaces locally homeomorphic to Euclidean spaces and possessing $C^1$ chart-converters. They have a tangent space at every point, regarding as ...
1
vote
0
answers
80
views
Submersion function from a product space
Let $\Phi(x,y) \colon U_N \times U_M \to \mathbb{C}^n$ be a submersion, where $U_N \subset \mathbb{C}^N$ and $U_M \subset \mathbb{C}^M$.
Under which condition on $\Phi$ can I find some $s \in \...
9
votes
1
answer
494
views
Submersion vs fiber bundle
If one starts with a fiber bundle $f: X \to Y$ so that fibers having trivial integral homology by using spectral sequence one can get the induced map $f_*: H_*(X;\mathbb{Z}) \to H_*(Y;\mathbb{Z})$ is ...
4
votes
1
answer
329
views
Poincaré–Bendixson Theorem on a compact, connected, orientable, two-dimensional manifold
I'm currently reading the article "A Generalization of a Poincaré–Bendixson Theorem to Closed Two-Dimensional Manifolds" by Arthur Shwartz. The paper first establishes a result for minimal ...
3
votes
0
answers
187
views
Proper isotopy of proper embeddings of manifolds
We know from Theorem 2.2 in(http://www.map.mpim-bonn.mpg.de/Embeddings_of_manifolds_with_boundary:_classification#6.2) that
Any two smooth embeddings of closed oriented $n$-manifold(n>1) in $\...
3
votes
1
answer
240
views
Classification of "homogeneous" submanifolds of ℝⁿ
I define a subset $M$ of $\mathbb R^n$ to be a "homogeneous Euclidean manifold" if:
it is a closed connected smooth submanifold of $\mathbb R^n$,
for every $p, q$ in $M$, there is a ...
3
votes
1
answer
226
views
Global choice of eigenvectors on an open surface
Let $(M^2,g)$ be a noncompact orientable Riemannian surface without boundary. Let $A \in \Gamma(\operatorname{Sym}(TM))$ be a section of the bundle of symmetric endomorphisms of $TM$, that is, for ...
1
vote
0
answers
192
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 ...
5
votes
0
answers
85
views
Fundamental groups and cellular walks
Suppose $M$ is a smooth manifold (compact if desired) with a cell structure or other nice stratification.
Call a path $\gamma : [0,1] \to M$ transverse to the stratification if there is a finite ...
4
votes
0
answers
117
views
Coordinates on quotient manifold $\mathrm{SO}(3)/\Gamma$
$\DeclareMathOperator\SO{SO}$Say I have coordinates for $\SO(3,\mathbb{R})$, e.g., a parametrization by Euler angles. Is there a reasonable way to explicitly prescribe coordinates on the quotient ...