The study of differentiable manifolds and differentiable maps. One fundamental problem is that of classifying manifolds up to diffeomorphism. Differential topology is what Poincaré understood as topology or “analysis situs”.

learn more… | top users | synonyms

-1
votes
1answer
39 views

differential Proper Maps [on hold]

If $K$ is a subset of $M$ we write $M_{K}(M,M)$ for the set of diffferential maps of $M$ into $M$ with support in $K$.If $K$ is compact,then $M_{K}(M,M)$ consists of maps for which the preimages of ...
0
votes
0answers
73 views

Calculation in From Seiberg Witten to pseudo-holomorphic curve

I am reading the Taubes's paper: From From Seiberg Witten to pseudo-holomorphic curve. I don't know how to get the result (2.17) \begin{eqnarray*} ...
0
votes
1answer
66 views

About the regularity of the boundary of a set

Consider $\Omega_1, \Omega_2$ two convex, bounded domains in $R^n$ with $\Omega_1 \supset \overline{\Omega_2}$ and suppose that $\operatorname{dist}(x, \partial \Omega_2) =\min_{y \in \partial ...
10
votes
3answers
336 views

Take contraction wrt a vector field twice and define kernel mod image. Does that give anything interesting?

I apologize in advance if this question is too vague for mathoverflow. My main aim is to get some references for a concept. First, we make the following observation: let $X: M \rightarrow TM $ be a ...
1
vote
1answer
68 views

Topological description of the regular values of a differentiable function

Is there some kind of description of the set of regular values of a differentiable function $f:\mathbb{R}^{n} \to \mathbb{R}^{m}$ in topological terms? In particular, is the set of regular values ...
5
votes
1answer
78 views

Ehresmann's fibration theorem in the C1 class

I have seen on the French Wikipedia that Ehresmann's fibration theorem is stated with the assumption that everything is $C^2$, see Théorème de Ehresmann. (On the English Wikipedia, the assumption is ...
7
votes
0answers
97 views

Topological restrictions from mean curvature bounds

Alexandrov's Theorem says that a compact constant mean curvature hypersurface embedded in $\mathbb{R}^{n+1}$ must be a round sphere. What happens when the mean curvature is small, or bounded? (For ...
1
vote
0answers
67 views

Tubular neighborhoods in the proof of the Morse homology theorem

I have a question regarding the proof of the Morse homology theorem given by D. Salamon in "Morse theory, the Conley index and Floer homology". The full text can be found here: ...
6
votes
1answer
363 views

Are there nontrivial involutions of $S^7\times S^7$ with fixed point set homeo to $S^7$?

The group $\mathbb{Z}_2$ acts on $S^7\times S^7$ by switching the coordinates with fixed point set $\Delta(S^7\times S^7)\cong S^7$. I want to know whether there are some other $\mathbb{Z}_2$ actions ...
1
vote
1answer
88 views

Classifying tensor powers of tangent bundles as pullbacks of appropriate tangent bundles

Assume we are given a smooth manifold $M$ and let $TM^{\otimes r}, r>1,$ be some tensor power of its tangent bundle. Is there any general observation/result saying when there exists a manifold ...
13
votes
1answer
300 views

Higher Cerf Theory

Morse functions on a manifold $M$ are defined as smooth maps $f:M \rightarrow \mathbb{R}$, such that at the critical points we can find local coordinates so that ...
9
votes
0answers
88 views

Detecting invertible elements in group rings by their images for finite quotients of the group

Let $G$ be a "nice" infinite group: at least finitely presented and residually finite, maybe also linear and right-orderable (or even bi-orderable, or residually free nilpotent). Consider an element ...
6
votes
0answers
75 views

Can one detect smoothness of $k$-forms with $k$-dimensional manifolds

Fix an integer $k\ge 1$. Let $X$ be a smooth manifold. It is well-known, that a real valued function on $X$ is smooth if its restriction along all smooth maps $M\to X$ for manifolds of dimension $\le ...
3
votes
1answer
77 views

cartesian product rigidity for the punctured open disc

Q1: Let $D^n$ ($n\geq 1$) be the n-dimensional open disk. If $D^n-\{0\}$ is homeomorphic to $X\times (0,1)$, for some topological space $X$, does it necessarily follow that $X$ is homeomorphic to ...
6
votes
1answer
227 views

Immersion of $S^1$ in $\mathbb{R}^2$ that can be extended to $\mathbb{D}$

I was wondering about $\mathcal{C}^{\infty}$ immersions $S^1 \longrightarrow \mathbb{R}^2$ which are the restriction to $\partial \mathbb{D}$ of an immersion $\overline{\mathbb{D}} \longrightarrow ...
1
vote
0answers
58 views

Decomposition of Lefschetz fibrations into surface bundles and Lefschetz fibrations over spheres

Assume that $M$ is a Lefschetz fibration with fiber genus $g$ over a base of genus $h>0$ (with at least one singular fiber). What obstructions exist to decomposing $M$ into a surface bundle $S$ of ...
1
vote
0answers
79 views

Simply-connected 4-manifolds can be blown up and down to complex projective planes. How about non-simply-connected ones?

There is a nice theorem that for every simply connected, closed, smooth, oriented manifold $M$, we have for some $m \in \mathbb{N}$: $$M \# \left(\mathop{\#}^m \left(\mathbb{C}\mathbb{P}^2 \# ...
1
vote
0answers
62 views

Branch point and alexandrov embeddedness

This is a question I have asked on mathstackexchange with a bounty but without any answer; it is probably more adapted to mathoverflow: Let us assume that $\Sigma_n$ is a sequence of topological ...
3
votes
1answer
155 views

Self-diffeomorphisms of $\mathbb{R}^2$

I guess my question is very vague. Let $\phi: \mathbb{R}^2 \to \mathbb{R}^2$ be an orientation-preserving diffeomorphism that fixes the origin. Does $\phi$ take any sort of "normal form" if we allow ...
4
votes
1answer
89 views

Differential topology, maximal isotropy of a manifold

I am interested in the degree of isotropy of a connected (by arc) manifold in general. Is it true that every connected manifold M (of dimension n) is maximally isotropic in the sense that you can ...
2
votes
0answers
69 views

Brouwer fixed points via flow

Let $B$ be a closed ball in $n$-dimensional space, let $f$ be a "sufficiently smooth" map from $B$ to $B$, and let $p$ be a point on the boundary of $B$. It seems to me that something like the ...
5
votes
2answers
233 views

What are TQFTs that are multiplicative under connected sums? Do bordisms with connected sum as monoidal product exist?

In general, one extracts a manifold invariant from a TQFT by interpreting the closed manifold as a bordism from the empty set to the empty set. The TQFT sends this bordism to a homomorphism of the ...
3
votes
0answers
204 views

A lifting problem

Let $E\overset{\pi'}{\longrightarrow} B'$ and $E\overset{\pi}{\longrightarrow} B$ be vector bundles. For $i=0,1$, let $f_i$ be a fiber-preserving open embeddings of $\pi'$ into $\pi$, with $g_i$ the ...
0
votes
0answers
57 views

Geometric Proof of the Hirzebruch Signature Theorem (i.e. using Connections)

Is there a geometric proof of the Hirzebruch Signature Theorem, that is to say: Is the a proof that does not use the topological definition of the Chern/Pontrijagin classes, but only the Chern--Weil ...
1
vote
0answers
84 views

Thom-Pontryagin construction for pairs

Is there a generalization of the Thom-Pontryagin construction in the following sense? Let $M$ be a smooth manifold, $\partial M=A\cup B$ where $A$ and $B$ are $m-1$-manifolds with a common boundary ...
12
votes
0answers
163 views

What do tangles teach us about braids?

A braid is a smooth level-preserving embedding $f\colon\, \{1,2,\ldots,n\}\times[0,1]\hookrightarrow \mathbb{R}^2 \times [0,1]$ such that $f(k,0)=(k,0)$ and $f(k,1) \in \{1,2,\ldots,n\} \times ...
12
votes
2answers
524 views

Does every compact manifold exhibit an almost global chart

Let $M$ be a compact connected manifold. Is there a chart $\Psi:U \to \mathbb{R}^n$ such that the closure of $U$ is $M$? This is true for $S^n, T^n, K$, all compact surfaces, etc. If it is not true in ...
1
vote
1answer
70 views

Connected representant of a framed cobordism class (reference needed)

Let $N^n\subseteq M^m$ be a submanifold with a framing of the normal bundle, $2n<m$. Then $N^n$ is framed cobordant (in $M^m$) to something connected. I believe it could be proved by directly ...
5
votes
0answers
216 views

Are inclusions from spaces of $C^\infty$ sections into spaces of $C^k$ sections homotopy equivalences?

[EDIT: The answer to my original question was obviously no, as user56365 pointed out. Here is what I should have asked.] For finite-dimensional smooth manifolds $E,M$, let $E\to M$ be a smooth fibre ...
5
votes
1answer
125 views

Connection between framed cobordisms and zero sets

Let $W\subseteq M\times[0,1]$ be a framed submanifold (a framed cobordism in $M$) and $2w<m-1$ where $w,m=\dim W,M$. Assume that $M$ is compact and that $W\cap M\times \{0\}$ is the zero set of a ...
11
votes
0answers
336 views

Homotopy equivalence vs weak homotopy equivalence in Gromov's h-principle

My question concerns Gromov's h-principle for open diffeomorphism-invariant partial differential relations on open manifolds; see e.g. Eliashberg/Mishachev: Introduction to the h-principle, §6.2.A and ...
1
vote
0answers
46 views

Complexity of mappings (forms) in R. Thom's “Structural stability and morphogenesis”

In his "Structural stability and morphogenesis", R. Thom (especially in the chapter about dynamics of forms) among other things speculates about a notion of complexity of a "form" (mapping between ...
6
votes
2answers
141 views

Topological relationships between family of transversal intersections of manifolds

Let $M$ and $N$ be submanifolds of $\mathbb{R}^n$ and let $a(t)$ be a smooth path in $\mathbb{R}^n$ such that $M+a(t)$ intersects $N$ transversally for all $t \in [0,1]$. Is there a nice relationship ...
-1
votes
1answer
80 views

Generalized Leibniz rule [closed]

Suppose on a manifold $M$ we have a differential operator $D$ of order 1 from the smooth sections $C^\infty(M, E)$ to smooth sections $C^\infty(M, F)$, where $E$ and $F$ are vector bundles of rank $n$ ...
2
votes
1answer
141 views

Extending diffeomorphisms of some faces of the standard $n$- simplex to a diffeomorphism of the $n$-simplex

I would be grateful if you could help me with the following question: Let $n\in \mathbb{N}$ and $k\in \{1, \ldots, n+1\}$. For every $i=1, ..., k$ let $f_i : \partial_i \Delta^n \rightarrow ...
5
votes
1answer
187 views

Analytic maps in homotopy classes

Let $\mathcal M$ be a compact connected real-analytic manifold. It is well known that every continuous map $f\colon\mathcal M\to\mathbb S^1$ is homotopic to a smooth map. My question is the following. ...
0
votes
0answers
23 views

Continuousness Property of the Map Space $\mathcal{M}(W,M)$

If $W$ and $M$ are manifolds we write $\mathcal{M}(W,M)$ for the set of differential maps of $W$ into $M$.The set is equipped with the $C^{r}-$ topology for some fixed $r$ with $1\leqslant ...
3
votes
1answer
83 views

A reference for an equivariant Morse Lemma

Does anybody knows a reference for the following statement? Let $S^1$ acts on $\mathbb{C}^n$ in the usual (diagonal) way and $f:\mathbb{C}^n\to\mathbb{R}$ a smooth $S^1$-invariant function defined in ...
2
votes
3answers
139 views

Frechet Derivative in General Topological Vector Space

If I have a two Hausdorff topological vector spaces, $E$ and $F$ and a mapping $f:E\to F$, is it possible to have a meaningful notion of the derivative of $f$ if the space cannot be endowed with a ...
3
votes
0answers
150 views

Boundary of an open, bounded and convex set in $\mathbb{R} ^n$

Let $U$ be an open, bounded and convex set in $\mathbb{R} ^n$. Since $\partial U$ is a rectifiable set it follows that up to a set of $H^{n-1}$-measure zero $\partial U$ is contained in a countable ...
1
vote
0answers
69 views

restriction to the boundary in Morse theory

Given a compact manifold with boundary $(M,\partial M)$. There is a natural pullback map $$ H^*(M) \to H^*(\partial M) $$ I'm wondering if there is a reference that: 1) constructs this map in ...
2
votes
1answer
126 views

local approximation of a vector field on a Riemannian manifold

Let $(M^n,g)$ be a Riemannian manifold, and let $V$ be a $C^{\infty}$ vector field on $M$. Is it possible to locally approximate $V$ by gradient vector fields $\nabla f_i$, such that the ...
4
votes
2answers
185 views

Question about lower homology class of cobordism

Assume there are three differential oriented manifold $M_0$, $M_1$, $W$ with $\partial W= M_0 \coprod -M_1$. Denote dim $M_0$=dim $M_1$=n, and dim W=n+1. We know that for the highest homology class, ...
6
votes
1answer
196 views

cell decomposition of real homogeneous hypersurfaces

Let $f(x_1,\ldots,x_n)\in\mathbf{R}[x_1,\ldots,x_n]$ be a homogeneous polynomial and consider the real hypersurface $H=\{(x_1,\ldots,x_n)\in\mathbf{R}^n:f(x_1,\ldots,x_n)=1\}$. Assume to simplify ...
0
votes
1answer
238 views

determinant of integrals of forms

Let $A$ be a complex abelian variety of dimension $d$. Let $\omega_1, \ldots, \omega_j \in H^0(A, \Omega^1_A)$ be linearly independent (so $j \leq d$) and consider $\gamma_1, \ldots, \gamma_j \in ...
11
votes
3answers
753 views

Which submanifolds are zero sets of $\mathbb{R}^n$-valued maps?

If $M$ is a smooth, compact, orientable manifold, then any framed submanifold $N$ is the preimage $f^{-1}(y) $ for a smooth sphere-valued map $f$ transversal to $y$, with the framing of the normal ...
4
votes
1answer
497 views

The space of diffeomorphisms on a manifold

It is well known that given a compact connected smooth manifold without boundary $M$, the set of diffeomorphisms $Diff^{r}(M)$ of $M$ for $r≥1$, is open in $C^{r}(M)$, the set of continuous functions ...
2
votes
0answers
42 views

Topology of fibers of operators under C^{\infty} convergence

A smooth family of maps $f_t : L^2 (\mathbb{R}) \rightarrow \mathbb{R}^{n}$ is given, with $t \in (0,1]$. Suppose that when $t \rightarrow 0$ the family restricted to balls of given radius converges ...
3
votes
2answers
148 views

Circle Bundles of surfaces

Let S be a surface with a metric of constant curvature and finite area. Is there a classification of the circle bundles over S?
2
votes
2answers
206 views

manifolds with unusual rational cohomology rings

I'm looking for examples of 3-manifolds with unusual rational cohomology rings. I'm curious about what the cup product structure can actually look like, and I'd like some examples to play with. Does ...