**-1**

votes

**1**answer

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

**0**answers

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

**1**answer

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

**3**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**0**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**2**answers

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

**0**answers

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

**0**answers

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

**0**answers

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

**0**answers

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

**2**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**0**answers

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

**0**answers

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

**2**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

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

**3**answers

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

**0**answers

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

**0**answers

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

**1**answer

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

**2**answers

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

**1**answer

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

**1**answer

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

**3**answers

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

**1**answer

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

**0**answers

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

**2**answers

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

**2**answers

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 ...