Differential topology is the field dealing with differentiable functions on differentiable manifolds. It is closely related to differential geometry and together they make up the geometric theory of differentiable manifolds.

learn more… | top users | synonyms

12
votes
0answers
472 views

Compactification of Manifolds

It is known that for any locally compact Hausdorff space X, we can define a Hausdorff one-point compactification containing X. In the case of the (differentiable) manifold $\mathbb R^n$ this one-point ...
11
votes
0answers
219 views

On the Constant Rank Theorem and the Frobenius Theorem for differential equations.

Recently I was reading chapter $4$ (p. $60$) of The Implicit Function Theorem: History, Theorem, and Applications (By Steven George Krantz, Harold R. Parks) on proof's of the equivalence of the ...
11
votes
0answers
165 views

What's so special about a homotopy $15$-sphere?

I just saw a table which counts diffeomorphism classes of homotopy $n$-spheres (that is, spaces homotopy equivalent to $n$-dimensional spheres). Such a table can be seen on the first page of this ...
8
votes
0answers
71 views

What are necessary and sufficient conditions for the product of spheres to be paralellizable?

Okay, so I found the result that the tangent-bundle of any product of spheres is parallizable, given that some element of the product is either $S^1$, $S^3$, or $S^7$. I prove this as follows, first ...
8
votes
0answers
382 views

A fiber bundle over Euclidean space is trivial.

What's the easiest way to see this? The only thing I could think to do was try to patch together trivializations. I couldn't find a way to make that work. Thank you! edit: For the record, here's why ...
7
votes
0answers
227 views

When is a fibration a fiber bundle?

In this question I am using Wiki's definitions for fibration and fiber bundle. I want to be general in asking my question, but I am mostly interested in smooth compact manifolds and smooth fibrations ...
7
votes
0answers
159 views

Reality check: $\mathcal{O}_{\mathbb{P}_\mathbb{R}^1}(1)$ and $\mathcal{O}_{\mathbb{P}_\mathbb{R}^1}(-1)$ are both Möbius strips?

This question follows up this previous question, which has an accepted answer that I am having trouble believing. (Edit: the answer has now been fixed; thanks Georges!) I have been working on giving ...
7
votes
0answers
128 views

Lemma 6.3 of Milnor's Lectures on the h-cobordism theorem

Milnor's statement is: "Let $M^r$ and $N^s$ be sub-manifolds of $V^{r+s}$ which are all smooth, compact, oriented and without boundary. If $p$ is a point of $M^r$ contained in an $r$-cell $U$, ...
6
votes
0answers
284 views

Trying to Understand Lefschetz Pencils

I'm reading on Lefschetz pencils, and I'm trying to understand condition ii) better, tho I would appreciate insights on condition i), and in general. A Lefschetz pencil on a $4$-manifold $X$ is a ...
6
votes
0answers
121 views

1-form with positive integral over a path

Given any smooth path $\gamma$ on a manifold $M$, when can we construct a 1-form $\omega \in \Omega^1(M)$ so that $\int_{\gamma} \omega > 0$? It is easy to see that such $\omega$ exists if the path ...
6
votes
0answers
78 views

Conditions for a group to admit the structure of a Lie group

This question is motivated by a previous one: Conditions for a smooth manifold to admit the structure of a Lie group and wants to be a sort of "converse". Here I am taking an abstract group $G$ and ...
6
votes
0answers
92 views

Identification of integration on smooth chains with ordinary integration

Let $M$ be a smooth oriented $n$-dimensional manifold and denote by $A \in H_n(M;\mathbb{Z})$ the fundamental class of $M$ (a generator of singular homology consistent with the orientation of $M$). ...
6
votes
0answers
273 views

Characterization of gradient vector fields

Let $V$ be a vector field on a smooth manifold $M$. Are there nice conditions under which there exists a (Riemannian) metric on $M$ such that $V$ is the gradient of some smooth function on $M$? One ...
5
votes
0answers
74 views

Does there exist a vector field s.t. all orbits are dense on $\mathbb{R}^2$

Is there a complete vector field such that the all orbits are dense on a contractible manifold? For example, $\mathbb{R}^2$,the interior of a $n$-unit ball.
5
votes
0answers
79 views

Cohomology of covering space

Let $B$ be a base space and $E$ be a covering space of $B$ what is the relation between $H^2(B,\mathbb{Z})$ and $H^2(E,\mathbb{Z})$.?
5
votes
0answers
51 views

The space of paths

Let $ (M,g) $ be a compact Riemannian manifold, and let the path space $ \Omega $ of $ M $ be the set of equivalence class of smooth maps $ \gamma : [0,1] \rightarrow M $ (equivalent under ...
5
votes
0answers
112 views

When characteristic classes determine a bundle?

Let $k$ be a natural number and $F$ be $\mathbb C$ or $\mathbb R$. What conditions should be imposed on a topological space that it was true that a $k$-dimensional vector bundle defined over $F$ on ...
5
votes
0answers
209 views

Partial derivative of a composite function $\mathbb{R}^n \to \mathbb{R}^n$

I am trying to understand a proof but I am stuck on this technical bit: Apart from the small typo highlighted, I don't really see how to get the big formula for the partial derivative of $v_i$ ...
5
votes
0answers
69 views

how to cover a manifold almost everywhere?

I pose the following question: Given a connected (maybe we need compactness) manifold or regular surface, can we find a single parametrization $\chi:B\to M$ from the open ball to the manifold, such ...
5
votes
0answers
141 views

Does every non-compact manifold admit an incomplete vector field?

I know that every vector field on a compact manifold is complete. The question of whether every non-compact manifold admits an incomplete vector field seems to follow naturally. I'd hazard a guess ...
5
votes
0answers
178 views

Examples of special sphere bundles

I'm interested in examples of sphere bundles which do not arise from vector bundles. I'm not quite clear about the following. So please let me know if anything is false. I believe that a ...
5
votes
0answers
242 views

How to prove a manifold is diffeomorphic to Euclidean space?

Problem is this: suppose a manifold $$M=\bigcup_{n\in\mathbb{N}} U_n,$$ where each $U_n$ is diffeomorphic to Euclidean space, and $U_n$ is contained in $U_{n+1}$. Then please show that $M$ is ...
5
votes
0answers
174 views

Why does the Gauss-Bonnet theorem apply only to even number of dimensons?

One can use the Gauss-Bonnet theorem in 2D or 4D to deduce topological characteristics of a manifold by doing integrals over the curvature at each point. First, why isn't there an equivalent theorem ...
5
votes
0answers
240 views

Definition of Reshetikhin-Turaev TQFT

I am studying Reshetikhin-Turaev TQFT. In their paper or in the book " Quantum invariants of knots and 3-manifolds", they first define an invariant $\tau(M)$ for a closed orientable 3-manifold $M$ and ...
5
votes
0answers
310 views

Higher-order derivatives in manifolds

If $E, F$ are real finite dimensional vector spaces and $\mu\colon E \to F$, we can speak of a (total) derivative of $\mu$ in Fréchet sense: $D\mu$, if it exists, is the unique mapping from $E$ to ...
5
votes
0answers
135 views

Invariance of Wall's self-intersection under the regular homotopy

For an immersion $f\colon N^n\to M^{2n}$ with fixed lift $\tilde{f}\colon N\to \tilde{M}$ and $N,M,\tilde{M}$ are oriented, first we define a unordered double point set $S_2[f]=\lbrace(x_1,x_2)\in ...
4
votes
0answers
41 views

Is there always a smooth variant of a homoeomorphism between smooth manifolds?

Let $M$ and $N$ be smooth homeomorphic manifolds. Let $h:M\rightarrow N$ a homeomorphism. Does there exist $r:M\rightarrow N$ that is still a homeomorphism and additionaly smooth? Can it be chosen ...
4
votes
0answers
30 views

Second Stiefel-Whitney Class of a Five Manifold

There is a unique rank 4 nontrivial orientable vector bundle over the 2-torus, denote this by $p:E\rightarrow T^2$. Denote the associated sphere bundle by $S(E)$. Then since $S(E)$ is orientable, the ...
4
votes
0answers
58 views

Homotopic maps to $S^n$

I'm working through a proof that, given an oriented compact (connected) $n$-manifold $M$ with boundary, any two continuous maps $f,g:M\to S^n$ are homotopic. The proof uses the double of $M$, which is ...
4
votes
0answers
326 views

Poincaré-Hopf theorem and its applications

I'm reading the basics of differential topology to try to understand the Poincaré-Hopf theorem, its proof and its applications. My plan is as follows: 1) Study transversality: its homotopy stability ...
4
votes
0answers
58 views

Which is harder to compute: $\pi_{n+k}$ or $\Omega^{fr}_n$?

Denote the $n+k$-th homotopy group of $S^n$ by $\pi_{n+k}(S^n)$ and the group of framed cobordism classes by $\Omega_n^{fr}(S^k)$. A central problem of algebraic topology is to compute $\pi_i(S^j)$ ...
4
votes
0answers
193 views

Soft question: why are there non-smooth manifolds?

Topologists are often very good at explaining the geometric intuition behind certain results and programs of research. For instance, the particular interest in 4 manifolds is often explained by ...
4
votes
0answers
93 views

Extending metrics

Let $\pi:E\to M$ be a rank $k$ vector bundle over the compact manifold $M$ and let $i:M\hookrightarrow E$ denote the zero-section. Then we have a splitting of the restriction of $TE$ to the ...
4
votes
0answers
60 views

How to use the Prontrjagin-Thom construction to obtain the Gysin map?

I need help to understand the diagram in Miller's script Vector Fields on Spheres, etc. Chapter 23, p.82 on the bottom of the page. Before, Miller introduces the Prontrjagin-Thom construction: It is ...
4
votes
0answers
193 views

Self Intersection and Euler characteristic

Reading the "Differential Topology" of V.Guillemin and A.Pollack, i found a definition of the Euler Characteristic different from the other one using the simplicial complex and betti number (ex. for ...
4
votes
0answers
126 views

Variants of isotopy extensions

I am interested in slight variations of the usual isotopy extension theorems. In short, my question is the following : Can one extend isotopies of $C \subseteq M$, where $C$ is compact and $M$ is a ...
4
votes
0answers
202 views

Morse theory and homology of an algebraic surface (example)

Let $T_n$ denote the $n$-th Chebyshev polynomial and define $f_n(x,y,z)\!:=\!T_n(x)\!+\!T_n(y)\!+\!T_n(z)$ and $$Z_n:=\mathcal{Z}(f_n) \subseteq \mathbb{R}^3,$$ the Bachoff-Chmutov surface, where in ...
4
votes
0answers
260 views

Definition of Cobordism

I am currently trying to read Quillen's Cobordism paper. Still on the first page though so the emphasis is on the trying :P. A map of manifolds $f: Z \to X$ can be give an complex orientation in the ...
4
votes
0answers
132 views

non-orientable 4-manifolds

Most of the books and texts I read about classfication problems surrounding 4-manifolds which are closed and orientable (with a occasional side-track to open orientable 4-manifolds). This is ...
3
votes
0answers
45 views

Picture behind $SO(3)/SO(2)\simeq S^2$

Is there some kind of intuitive/waving hand argument to explain that $$SO(3)/SO(2) \simeq S^2 \; ?$$
3
votes
0answers
50 views

Crosscap function in $\mathbb{R}^4$ - and how to show it is proper?

I found the Cross-cap function in $\mathbb{R}^3$ as follows: $$f(x,y,z)=(yz,2xy,x^2-y^2),$$ My questions are (I couldn't show any progress for Q1,2.I have thought hard but had no clue): Q1: Is ...
3
votes
0answers
68 views

Does a “typical” reproducing kernel on a manifold generate an infinite-dimensional RKHS?

Let $M$ be a finite dimensional manifold and $k:M\times M\rightarrow\mathbb{R}$ a smooth reproducing kernel. Is the set of all such $k$ with the property that the reproducing kernel Hilbert space ...
3
votes
0answers
65 views

Concrete non trivial computation of Morse homology

I am studying Morse homology and have found only examples on spheres and tori so far. Of course the homology of these manifolds is better understood by other more standard methods, so I am having ...
3
votes
0answers
42 views

Homological Interpretation of the intersection number

Let $M^r$ and $N^s$ be smooth submanifolds of the smooth manifold $V^{r+s}$ and $M,N,V$ compact, connected and orientable. The Thom-Isomorphism together with the Tubular Neighbourhood Theorem gives me ...
3
votes
0answers
58 views

Visualizing Frobenius Theorem

Given a smooth vector field $v$ on a (finite dimensional) manifold $M$, one can find the associated integral curves i.e. integral submanifolds of M such that the tangent space at any point $p\in M$ is ...
3
votes
0answers
41 views

how to obtain a generalized Morse function out of a fiber bundle?

Let $M\to E\to B$ be a smooth fiber bundle. In "Parametrized Morse Theory and Its Applications,(Proceedings of the ICM, 1990)", K. Igusa says that if dim $B$$<$dim $M$, then, there exists a smooth ...
3
votes
0answers
72 views

Products of homeomorphisms

I was wondering if there is a theorem like "If $f_i:X_i\to Y_i$ are homeomorphisms then $\prod_i f_i : \prod_i X_i \to \prod_i Y_i$ is a homeomorphism" for $I$ finite. What about $I = \mathbb N$? ...
3
votes
0answers
55 views

Is $X$ diffeomorphic to its diagonal?

I missed geometry in school, I'm trying to fill in the gaps by reading Pollack's Differential Topology. Am I doing this right? This is #16 in the first section. Show the diagonal $\Delta$ of $X\times ...
3
votes
0answers
53 views

Does the boundary of a handle decomposition obtain a handle decomposition?

Let $M$ be the $4$-manifold $D^4\cup2\text{-handle}\cup\ldots\cup2\text{-handle}$, where the attachment of the handles is specfied by an oriented framed link $L=L_1\cup\ldots\cup L_n\subseteq S^3$. By ...
3
votes
0answers
75 views

Almost complex structures on a manifold and its exotic copy

Consider a compact simply-connected smooth $4$-manifold $M$ and its exotic copy $M'$. Identify the underlying topological manifolds. Dold-Whitney theorem guaranties ($\mathbb R$-linear) isomorphism of ...