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

0
votes
1answer
59 views

Is there a formula for the intersection of projectivized lines inside a projectivized vector bundle?

Let $E\rightarrow D$ be a complex rank two vector bundle over a compact complex one dimensional manifold $D$. Let $L_1, L_2 \subset E$ be rank one subbundles of E (i.e. line bundles). Let $$ n_1:= ...
-4
votes
0answers
50 views

Can a non-compact manifold be embedded? [on hold]

Can a non-compact smooth manifold be embedded into another smooth manifold? Moreover, Can we get a diffeomorphism between tow non-compact manifolds ? The first part of the question is about smooth ...
0
votes
0answers
94 views

On Gromov's Theorem on Symplectic Homotopy

I want to understand the proof of the following theorem due to Gromov which I'll state in the context of Euclidean spaces. While I tried to read the proof from Macduff-Salamon, it turned out that my ...
1
vote
0answers
28 views

Existence of triangulation of Lipschitz domains

Consider a bounded Lipschitz domain $\Omega \subset \mathbb R^n$. Q1: Can its closure $\overline\Omega$ be triangulated? Q2: If yes, can the triangulation be chosen as finite? Furthermore, how ...
1
vote
1answer
170 views

Linearisation of Einstein operator

Let $(M,g)$ be a $(m+1)$-dimensional Riemannian manifold with Levi-Civita connection $\nabla$. The Ricci curvature can be viewed as a differential operator ...
2
votes
1answer
135 views

Lorentzian metrics on the torus up to continuos deformations

Any two Riemannian metrics can easily be deformed into each other, only obtaining positive definite metrics in between. However, for metrics of other signatures this might not be possible. Which ...
5
votes
2answers
147 views

Is the strong Whitney topology connected?

$\def\bbR{\mathbb R}\def\ssp{\kern.4mm}$Put more precisely, let $C$ be the set of all continuous functions $f:\bbR\to\bbR$ when $\bbR$ has its standard order topology. Let $\mathscr T$ be the set of ...
6
votes
1answer
186 views

Is there an analog of compactified moduli spaces(/stacks) for smooth manifolds?

This question has been inspired by an answer to the question Reference request: Topology on the space of smooth compact submanifolds; I've asked it in a comment to that answer but then decided to make ...
4
votes
0answers
114 views

When does a manifold 'deformation retract' into a small neighborhood of some k-dimensional subpolyhedron?

Under which conditions does a m-manifold $M^m$ admit a deformation retraction to a small neighborhood of some k-dimensional subpolyhedron? Or, under which conditions is the identity map $id_M$ of a ...
1
vote
0answers
64 views

Global topological equivalence of Morse functions

Two Morse functions $f$ and $g$ are called topologicaly equivalent if there are diffeomorphism $h$ of the source and orientational-preserving diffeomorphism $k$ of the target such that $f=k\circ ...
0
votes
1answer
120 views

Gluing submanifolds along their common boundary

This might be too elementary for this site, but I asked first on math.stackexchange and didn't get an answer even after offering 250 bounty points. Let $M$ be a smooth $m$-manifold and $N_1$, $N_2$ ...
2
votes
1answer
238 views

Gauss-Bonnet invariant Ω: explicit intrinsic expression for Π in Ω=dΠ?

Let the Gauss-Bonnet form be $\Omega\propto\text{Pf}(\Omega^i{}_j)$ with $\Omega^i{}_j$ the curvature 2-form of an even-dimensional manifold with dim=$n$. The Gauss-Bonnet form is exact, as shown in ...
0
votes
1answer
127 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 ...
9
votes
1answer
314 views

Reference request: Topology on the space of smooth compact submanifolds

In Allen Hatchers short exposition of the Madsen-Weiss Theorem he defines the topology on the space $\mathcal{C}^n$ of smooth oriented properly embedded $d$-dimensional submanifolds of $\mathbb{R}^n$ ...
4
votes
0answers
83 views

Connected sum of chiral manifolds

Let $M,N$ be two closed, smooth, orientable manifolds of the same dimension and assume that these manifolds are chiral, i.e. they do not admit an orientation reversing automorphism. Then there are two ...
3
votes
0answers
87 views

Multiplicativity of combinatorial l classes

For closed smooth manifolds $M$ and $N$, the Hirzebruch $L$ class is multiplicative, i.e. $L(M\times N)=L(M)L(N)$. Is this property still true if $M$ and $N$ are assumed to be closed topological ...
2
votes
0answers
113 views

Invariant generalized sections of dual vector bundles

Assume X is a real smooth manifold with an action of the real Lie group G. Let E be a G-vector bundle over X. Consider the spaces of generalized sections over X of E, and of E^* (fiberwise dual). My ...
0
votes
0answers
68 views

What does deg=0 imply for the gauss map?

I am facing the following problem. I have a Riemannian manifold $(M,g)$ with gauss curvature zero, an isometric immersion $v:M\rightarrow \mathbb{R}^3$ that is $C^{1,\alpha}$ and I consider the Gauss ...
4
votes
1answer
199 views

Are “Unions” of small exotic $\mathbb{R}^4$'s small?

Suppose $M$ is a smooth 4-manifold, and $U,V \subset M$ are exotic $\mathbb{R}^4$'s, i.e. homeomorphic to standard $\mathbb{R} ^4$. Further more suppose $U$ an $V$ intersect nicely sucht that $U \cup ...
2
votes
1answer
109 views

Intersection of two real polynomial surfaces

Consider two real polynomials in three variables, defined on the 3-sphere, $S^3$. Is there some Bezout-type theorem, relating the intersection of two closed surfaces defined by these polynomials and ...
0
votes
0answers
41 views

Disturbing regular level submanifold of a smooth function

Let $a$ be a regular value of a smooth function on a closed manifold and $\{f=a\}$ a corresponding level submanifold. It is known that any such function can be approximated by a Morse function $g$. ...
1
vote
1answer
123 views

Generalized spin connection and dreibein in higher spin gravity

I am studying higher spin gravity and I would like to know the mathematical and physical meaning of generalized spin connection and generalized dreibein that appear in this theory. It is well known ...
1
vote
2answers
146 views

Local structure of the quotient of a Lie group action

Suppose $M$ is a smooth manifold and a compact Lie group $G$ acts freely on $M$, then it is well known that $M/G$ has a manifold structure. Are there any results for the general case? (a) If the ...
1
vote
0answers
70 views

Determine the shape of curve which has the minimum number of inflection points

Let $A$ be a set of generic $C^2$ closed curves in $2$-dimentional Euclidean space, and an equivalence relation between $2$ curves $a$ and $b$ in $A$ is defind that there exist diffeomorpfic map $h ...
0
votes
1answer
83 views

Set of critical values is compact [closed]

Let $M\subseteq \mathbb{R}^n$ be a compact manifold with $\partial M=\emptyset$ and let $f: M\rightarrow S^p$ be a smooth map. I want to unerstand the proof of the following lemma which occurs in ...
4
votes
1answer
343 views

Cap product à la Poincaré

Recently, it became apparent to me that I was not the only one who always first thought in terms of cap product before actually computing a cup product. There is no denying this is evil, but I found ...
4
votes
1answer
306 views

Is the space of real conics with a singular point an orientable manifold?

Consider the space of non zero real homogeneous degree $2$ polynomials in three variables upto scaling. This space is $\mathbb{R} \mathbb{P}^5$. The zero set of such a polynomial gives a real curve ...
0
votes
1answer
112 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? ...
3
votes
1answer
383 views

What is wrong with the “naive” proof of the Hauptvermutung?

The Hauptvermutung is the statement that any two PL structures on a topological space have a common refinement. It is false in general, but (I think) true for some low dimensional manifolds. The ...
2
votes
1answer
162 views

Axiomatization of Degree Theory

I am reading Ruiz's Mapping Degree Theory, and find an axiomatization of degree theory of $\mathbb R^n$ in P38. It says that there exists a unique map $d(f,D,y)\in\mathbb Z$ satisfies Normality ...
2
votes
0answers
154 views

Example of symplectic 4-manifolds with no Lefschetz fibration structure?

I just read about Donaldson's result on existence of Lefschetz pencil structure on symplectic manifolds (Donaldson 1999). However, one has to blow up the base locus to get a Lefschetz fibration ...
8
votes
2answers
437 views

Are there some tables or handbooks of homology and homotopy groups of every manifold which has been calculated?

Are there some tables or handbooks of homology and homotopy groups of every manifold which has been calculated? Or are there some tables or handbooks which list some common calculated results of ...
19
votes
0answers
256 views

Can one properly embed a differential manifold into numerical space of double dimension? [duplicate]

If $X$ is a $ C^\infty$ differential manifold of dimension $n$, then there exists an embedding $f:X\to \mathbb R^{2n+1}$. This is a not too difficult theorem due to Whitney, proved in many textbooks. ...
-1
votes
1answer
196 views

Are compact complete geodesics closed? [closed]

note: I find this question In stackexchange math, I would be interest to know how I could be answer this kind of question,I pasted it here as I see it appropriate For MO. check this link: ...
1
vote
1answer
153 views

Normal Variation on Manifolds

Let $M$ be a smooth surface and let $x,y \in M$. Let $d_{M}(\cdot, \cdot)$ be the geodesic distance metric on $M$, that is the length of the shortest geodesic curve on $M$. Let $\kappa$ be the maximum ...
4
votes
0answers
254 views

If 2-manifolds are homeomorphic and smooth, are they diffeomorphic? [closed]

Perhaps this question has already been asked on Mathoverflow. I mean this question in a global sense. A friend mentioned it to me today, and I started thinking about it. I'm not sure how to prove it. ...
4
votes
1answer
61 views

Existence of an equivariant Morse function

Let $G$ be a (finite) group and $M$ a $G$ manifold. Now I have a smooth real valued function $f: M\rightarrow R$ with $f(x)=f(g(x)),\, \forall g\in G$. Now in general $f$ will maybe not be a Morse ...
1
vote
1answer
130 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 ...
5
votes
0answers
199 views

Gompf's invariant of $2$-plane fields

I am interested in low dimensional contact topology. These days I read "Handlebody construction of Stein surfaces" written by R. E. Gompf, and study an invariant $\theta (\xi)$. This invariant is ...
2
votes
1answer
63 views

Constructivity of zeros demanded by topological degree

Let $f : S^{n - 1} \to S^{n - 1}$ be a smooth map from the unit vectors of $\mathbb{R}^n$ to themselves. If $f$ has nonzero degree, then we know that any smooth map $g : D^n \to \mathbb{R}^n$ ...
0
votes
0answers
94 views

Degree of Map between Pseudomanifold

There are two different ways to define a degree of map. Let $M$, $N$ be smooth, and $M$ is compact, $N$ is connected. If $f\in C(M,N)$, we define $\deg f$ by smooth approximation. [Milnor/Topology ...
3
votes
0answers
114 views

When does a leaf space admit a (non-Hausdorff) manifold structure?

If $f:M \to N$ is a submersion with connected fibers, then the fibers of $f$ foliate $M$. This is called a simple foliation of $M$ and the leaf space can be identified with $N$. Suppose that a ...
1
vote
1answer
131 views

Topology of surfaces and mean curvature

The Gauss-Bonnet theorem characterizes topology of surfaces by their Gaussian curvature. Do there exist results characterizing topology of surfaces embedded in $\mathbb{R}^3$ by their mean ...
0
votes
0answers
45 views

Characterization of global sections (which are not products) of a sheaf which is locally a product

In order to compute certain group cohomology sets I have come upon a construction which seems rather general concerning sheaves which are locally products. So I will state the problem here in a ...
4
votes
2answers
125 views

functions which covers(good covers) manifolds

Let $M$ be a (not necessarily compact)) smooth manifold. 1.Is there a smooth map $f:M\to \mathbb{R}$ and an open covering $\mathbb{R}=\cup U_{\alpha}$ such that each $f^{-1}(U_{\alpha})$ ...
27
votes
0answers
528 views

Are there periodicity phenomena in manifold topology with odd period?

The study of $n$-manifolds has some well-known periodicities in $n$ with period a power of $2$: $n \bmod 2$ is important. Poincaré duality implies that odd-dimensional compact oriented manifolds ...
6
votes
0answers
252 views

Classifying space of the higher-structure diffeomorphism group

There is a higher extension of the classifying space $B \mathrm{Diff}$ of the diffeomorphism group implicit in the (infinity,n)-category of cobordisms with (X,zeta)-structure ...
6
votes
2answers
442 views

Reference for a fact (?) on homeomorphic knot complements

Does somebody have a reference (or an argument why it should be true) for the following statement? “Let $K$ and $K'$ be knots in $S^3$. If there is an orientation-preserving homeomorphism $h : S^3 ...
11
votes
1answer
280 views

Diffeomorphisms and homotopy equivalences sliced over BO(n)

There are some classical results stating sufficient conditions on a manifold $\Sigma$ such that every homotopy equivalence $\Pi(\Sigma) \stackrel{\simeq}{\longrightarrow} \Pi(\Sigma)$ is homotopic to ...
0
votes
0answers
117 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*} ...