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

2
votes
3answers
151 views

Finding the rank of subgroups of free groups?

How do you find the rank of a subgroup(of finite index) of a free group? I was thinking of looking at the fundamental group of a graph.
3
votes
2answers
406 views

Solving problem 3-29 in Spivak´s Calculus on Manifolds without using change of variables

Problem 3-29 (p. 61) in the section treating Fubini´s theorem reads: Use Fubini´s theorem to derive an expression for the volume of a set of $\mathbb{R}^{3}$ obtained by revolving a Jordan-measurable ...
8
votes
2answers
305 views

is the fixed set of a smooth involution a submanifold?

Let $f:X\rightarrow X$ be a smooth map of a smooth manifold with $f^2=\operatorname{id}$. Is the subset $\{x\in X\mid f(x)=x\}$ a smooth submanifold? I tried to find an argument with the implicit ...
2
votes
1answer
283 views

Trivial bundle on sphere

I have an exercises as follows: Let $E$ be a trivial bundle on $S^n$. Prove that the Whitney sum $TS^n\oplus E$ is also trivial. The hint is using the normal bundle of $TS^n$, but I don't know how to ...
1
vote
2answers
148 views

Are these charts on the circle compatibly oriented?

I've tried a few methods but I can't seem to work this one out. Consider the charts $$f(s) = (\cos s, \sin s) \in \mathbb{R}^2$$ for $-\pi < s < \pi$ and $$g(t)=(\frac{2t}{t^2 + 1}, \frac{t^2 ...
1
vote
2answers
198 views

How to obtain a Morse function on a submanifold of Euclidean space

Consider a smooth $n$-dimensional submanifold $A$ in $\mathbb{R}^{n+1} \times \mathbb{R}$ and the projection $f:\mathbb{R}^{n+1} \times \mathbb{R}\rightarrow \mathbb{R}$ onto the second factor. Is it ...
8
votes
1answer
139 views

Morse homology of $P^2$

I have seen and worked through the explicit computation of the Morse homology of the sphere and the torus (with signs and all). But trying it for $\mathbb{R}\mathbb{P}^2$ has lead me to dead ends. Is ...
4
votes
1answer
188 views

Example of symplectic manifold

I wonder why tangent bundle is not symplectic. As you know, cotangent bundle is symplectic. (1) question 1 : Is cotangent bundle isometric to tangent bundle ? ...
1
vote
0answers
153 views

Framed cobordism

I have an exercise as follows: "Let $M\subset \mathbb{R}^k$ be a smooth, connected, oriented, compact manifold without boundary of dimension $p$. Let $\Omega^{Fr}_n(M)$ be the set of all equivalence ...
1
vote
0answers
26 views

h-cobordism theorem in three category

In wikipedia page, it says that h-cobordism theorem is true for three category=DIFF,TOP,PL. I learned a proof of h-cobordism theorem using Morse function, but it works only in DIFF category. How is ...
8
votes
3answers
393 views

Why do people care about principal bundles?

I've started to learn a little about principal bundles (in the smooth category) and while I see how notions like connections and curvature are abstracted from the setting of vector bundles and brought ...
2
votes
1answer
68 views

Is h-cobordism theorem true on smooth category?

On h-coobrdism page of Wikipedia, it says that h-cobordism theory is true for smooth category. As far as I know, it would imply that smooth Poincare conjecture is true for dimension greater than 6, ...
3
votes
1answer
66 views

a question about germs of functions

Let $M$ be a smooth ( real) manifold, if $ p\in M$ and $f\in C^{\infty}(U)$ ($U$ is an open subset of $M$), the symbol $[ f]_p$ indicates the smooth germ of $f$ at $p$ . Consider the following set ...
1
vote
1answer
57 views

Transversality of a mapping

The question I have is: Show that the mapping $g:R^2 \rightarrow R^3 $ given by : $y_1 = x_1 (x_1 ^2 -x_2 ^2 +1), y_2=x_2, y_3=x_1 ^2$ is transversal to all lines $y_2 = \textrm{constant}$ in the ...
1
vote
1answer
204 views

Is the tangent bundle the DISJOINT union of tangent spaces?

Let $M$ be a smooth manifold and consider the Lee's definition of the tangent space $T_pM$ (so $T_pM$ is the vector space of derivations at $p$). The canonical definition of tangent bundle (as set) of ...
0
votes
1answer
149 views

The connection of Morse function

Suppose $M$ and $N$ are two manifolds, $f$ is a Morse function on $M$, $g$ is a Morse function on $N$, can you find a new manifold $P$ as the connection of $M$ and $N$ and a Morse function $h$ on the ...
1
vote
1answer
126 views

How to conclude that a path is non-trivial element of $\pi_1(M)$

Let $M^3$ be a compact manifold. If $\mathbb{RP}^2$ is embedded in $M$. Suppose, by contradiction, that $i_\sharp: \pi_1(\mathbb{RP}^2) \longrightarrow \pi_1(M)$ is non-injective and that the normal ...
1
vote
0answers
68 views

show that subset of complex projective space is a submanifold

Let n, m $\in \mathbb{N}$. I'm trying to show that $M(n,m) = \{[z_0 : z_1 : … : z_n] \in \mathbb{C}P^n | \sum^{n}_{i=0} z^m_i = 0\}$ is a submanifold and codim(M(n,m))=2. My idea was to use ...
1
vote
2answers
242 views

Is there a compact, connected manifold $M$ with boundary $S^2$ not diffeomorphic to $D^3$?

Is there a compact, connected, smooth 3-manifold $M$ with boundary $S^2$ not diffeomorphic to $D^3$ (the closed unit ball)? If so, what is it? The compactness condition rules out the complement ...
2
votes
1answer
242 views

How show that a surface embedded is non-orientable?

Let be $M$ a compact $3$-manifold. If $\Sigma$ is a embedded surface in $M$, such that $\Sigma$ is homeomorphic to $\mathbb{RP}^2$. If $i: \pi_1(\Sigma) \longrightarrow \pi_1(M)$ is not injective, ...
0
votes
1answer
114 views

Contour Infinites and Vector Spaces

We usually define Hilbert or finite dimensional vector spaces, and even topologies or differential geometry on $\mathbb{R}^n$ , so I wonder what is the implication of doing that on some extended ...
2
votes
2answers
343 views

Is the Empty set an orientable manifold?

The empty set can be regarded as an object in the category of smooth manifolds, at least for technical considerations. Is the empty set an orientable manifold?
6
votes
0answers
106 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$). ...
7
votes
2answers
425 views

$D^m\cup_h D^m$, joining $D^m \amalg D^m$ along the boundary $\partial D^m$

Given an orientation-preserving diffeomorphism $h: \partial D^m \to \partial D^m$, we can glue two copies of the closed unit disk $D^m$ along the boundary by identifying $x \sim h(x)$ to form the ...
3
votes
0answers
189 views

Fundamental Group!

Say you have two surfaces of genus 2, say $X$ and $Y$ and you want to attach them via homotopy attaching maps $f$ along their waist curves. Then what will the fundamental group of the adjunction space ...
6
votes
2answers
122 views

How does smoothness prevent “singularities”?

This is a refinement of one of my earlier questions (I failed to put into words what I really wanted to ask). First of all, I'm not sure "singularity" is the correct word to use hence the quotes. ...
3
votes
0answers
48 views

Embed connected sum of submanifolds in the ambient manifold

The book Differential Manifolds by Kosinski claimed we can embed the connected sum of two submanifolds of codimension $>1$ into the ambient manifold. I am wondering why we need the extra condition ...
3
votes
1answer
73 views

$Gr_2^+(\mathbb R^4) \cong S^2 \times S^2$

Let $Gr_2^+(\mathbb R^4)$ be the oriented Grassmanian of 2-planes in $\mathbb R^4$. How would one go about showing that this is diffeomorphic to $S^2 \times S^2$?
1
vote
0answers
56 views

Topologies in the space $C^r(M,N)$

I am currently taking a course in Differential Topology where the book we are using the one by Hirsch. I have had some troubles trying to prove that the weak topology makes the composition of maps, ...
3
votes
1answer
186 views

Reference for topology and fiber bundle

I am looking for an introductory book that explains the relations of topology and bundles. I know a basic topology and algebraic topology. But I don't know much about bundles. I want a book that ...
0
votes
1answer
579 views

Line with a knot in $\mathbb R^3$ isotopic to standard embedding $\mathbb R\subset \mathbb R^3$?

I have come across the following exercise in Kosinski's 'Differential Manifolds': Exercise: Consider an imbedding $\mathbb R\to \mathbb R^3$ where the image is "the line with a knot": ...
3
votes
0answers
192 views

Do we really need embedding for this?

Question 8-8 in Lee's Introduction to smooth manifolds asks us to show that if $M \subset N$ is an embedded submanifold then it is closed iff the inclusion map is proper. Equivalently, a smooth ...
2
votes
1answer
95 views

Need help understanding proof about critical values of the determinant map.

In , problem 5 the author shows that the differential of the determinant map $d(\det)_A$ for an invertible matrix $A$ is nonsingular by only showing that $d(\det)_A(A) \ne 0$. I don't really see why ...
1
vote
0answers
58 views

Uniform Poincaré-Wirtinger constant for diffeomorphic domains?

Consider a bounded and connected open set (with regular boundary) $\Omega\subset\mathbb{R}^d$ and a family of $\mathscr{C}^1$-diffeomorphisms $(\varphi_t)_{t\in[0,\alpha]}$ all in ...
3
votes
2answers
196 views

Question about definition of a smooth manifolds (do all transition maps have to be smooth)?

I need to clear up my confusion on the definition of a smooth manifold. So we say that $M$ is a smooth manifold (of dimension $n$), if $M$ is Hausdorff and if every $x \in M$ is contained in a ...
7
votes
5answers
239 views

How do you imagine the shape of a manifold $S^2 \times S^1$?

In 3-dimensional manifold theory, I have encountered the manifold $S^2 \times S^1$ many times. (The following story can be applied not only this manifold but also for any 3-dimensional manifold.) But ...
3
votes
0answers
53 views

How to prove $[\partial M, N]=[\partial N, M]$?

Consider $M,N$ submanifolds of some manifold $X$ such that $\dim M+\dim N=\dim X$. For $x\in M\cap N$, let $\langle M_{x},N_{x}\rangle$ denote the index by matching local orientation of ...
2
votes
1answer
77 views

How to show $\mathbb{R}^{n}+\mathbb{S}^{n}=\mathbb{R}^{n}$?

I want to ask how to show $\mathbb{R}^{n}+\mathbb{S}^{n}\cong \mathbb{R}^{n}$ as connected sums where the isomorphism is a differeomorphism between $\mathbb{R}^{n}$ and $\mathbb{R}^{n}$. The proof in ...
1
vote
0answers
38 views

Existence of a smooth function with a given kernel

Let $K\subset \mathbb{R}^n$ be a closed set, then is there existing a smooth function $f\in C^{\infty}(\mathbb{R}^n,\mathbb{R})$, such that $$ (1)\quad f\ge 0, $$ $$ (2) \quad f^{-1}(0)=K. $$
4
votes
1answer
149 views

Prime decomposition of 3-manifolds

Let $H_g$ be a three dimensional handlebody bounded by a genus $g$ surface. Let $M_g$ be a manifold obtained by gluing two copies of $H_g$ via an orientation reversing homeomorphism of the surface of ...
4
votes
1answer
95 views

Gluing axiom of a TQFT

In the book, Lectures on tensor categories and modular functors by Bakalov and Kirillov they construct a TQFT. When they come to prove the gluing axiom, they just mention that "...This statement is ...
6
votes
1answer
210 views

On the converse of Sard's theorem

Let $f: M \rightarrow N$ be a smooth map between two submanifolds of $\mathbb{R}^{m}$, $\mathbb{R}^{n}$ respectively. Sard's famous theorem asserts that the set of critical values $C$ of $f$ has ...
3
votes
1answer
48 views

Possible lengths of geodecics

Let $M$ be a compact manifold (w/o boundary). Suppose that there is no closed geodesics on $M$ of length precisely $C$. I am trying to prove that there is an open cover $\{U_j\}$ of $M$ and $\epsilon ...
2
votes
1answer
716 views

Prerequisite for Differential Topology and/or Geometric Topology

What are the prerequisites to learning both or one of the items? Consider that one will have done some of the "core" classes like Differential Geometry, Real Analysis, Abstract Algebra and POint-Set ...
2
votes
0answers
165 views

Image of smooth manifold is a submanifold

It's know that if $M$ is a compact, smooth manifold of dimension $n$ and the map $f: M \to \mathbb{R^m}$ is injective, smooth, $n \le m$ and $Jf(a)$, the Jacobian, has rank $n$ for every $a \in M$, ...
2
votes
0answers
67 views

Differential of a Sobolev map between manifolds

Let $\Sigma, M$ be compact Riemannian manifolds. By embedding $M$ isometrically into $\mathbb{R}^N$, one can define the Sobolev spaces $W^{k,p}(\Sigma, M)$ by $$W^{k,p}(\Sigma,M) = \{ u \in ...
2
votes
2answers
75 views

Is there any notion for a certain type of embedding of a smooth curve in a 2-d euclidean space?

There is a smooth 1-manifold (a smooth curve of infinite arc length) embedded in a 2 dimensional euclidean space. This curve (of infinite arc length) is such that, there is one and only one point $P$ ...
5
votes
3answers
2k views

Good textbook or lecture notes on Seiberg-Witten theory.

I am looking for a good introductory book for Seiberg-Witten theory. The only textbook I have now is Morgan's "The Seiberg-Witten Equations and Applications to the Topology of Smooth Four-Manifolds". ...
1
vote
1answer
171 views

$f$ a differentiable map between manifolds of same dimension; $df(p)$ is nonsingular - show $f$ is an open map

Let $f: X \to Y$ be a differentiable map of manifolds where $dim \;X = dim\;Y = n$. If $df(p)$ is nonsingular for all $p \in X$, show $f$ is an open map. So here is what I was thinking: As $df(p)$ ...
2
votes
1answer
88 views

The decomposition of open set

If $U$ is an open set in $\mathbb R^n$, then there exists a sequence of open sets $\{U_i\}$, such that a.$U_i\subset \subset U_{i+1}$ (that is, ${\overline U _i}$ is compact and ${\overline U _i} ...