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

0
votes
1answer
45 views

Are definitions for smooth map between manifolds are equivalent?

There are two ways to define a smooth map between manifolds. The 1st way (for example, Lee): $f:M\rightarrow N$ is smooth iff for every $p\in M$ there exist charts $(U,\varphi)$ at $p$ and $(V,\psi)$ ...
3
votes
0answers
41 views

How does a differential act when we identify $T_p(M\times N)\cong T_{p_1}M\times T_{p_2}N$?

It's fairly common to identify the tangent space of a product manifold as $$ T_p(M\times N)\cong T_{p_1}M\times T_{p_2}N $$ where $p=(p_1,p_2)$, and the actual isomorphism is given by $v\in ...
3
votes
1answer
32 views

If two Curves in $\Bbb R^3$ are transversal then they do not intersect

Proving this is easy: Let $X$ and $Z$ be the two curves in $\Bbb R^3$. Assume $X$ and $Z$ intersect at a point $y$. Then, at most $\dim(T_y(X) + T_y(Z)) = 2$, where $T_x(X)$ and $T_z(Z)$ denotes the ...
2
votes
1answer
61 views

If $S\subseteq M\times N$ is embedded, and $S$ and $\{p\}\times N$ intersect transversely in one point, then $\pi_M|_S$ is a diffeomorphism?

I'm trying to prove the equivalence of the following statements: Suppose $M^m$ and $N^n$ are smooth manifolds, $S\subseteq M\times N$ immersed, and $\pi_M$ and $\pi_N$ the projection maps. TFAE: ...
2
votes
0answers
30 views

Transition Functions for Cartesian Coordinate Systems

This is my first time using Mathematics SE (I've only used Physics and Astronomy before), so I apologize if this question is awkwardly phrased or incorrectly presented. I welcome any and all edits and ...
0
votes
2answers
60 views

Proving that a form is exact

Maybe this question is rather obvious but I didn't manage to solve it myself. Assume $M$ is a closed, oriented manifold. take $$ \Omega^k(M)\ni \omega = \begin{cases} d\beta~,~~~ in~ U\\ 0~,~~~ ...
2
votes
1answer
30 views

Does Heine-Borel hold for smooth manifolds?

If $M$ is a smooth $n$-manifold, the famous Whitney embedding theorems show that we can view $M$ as an embedded submanifold of some Euclidean space $\mathbb{R}^N$. Does the Heine-Borel theorem still ...
4
votes
0answers
75 views
+50

Surgery presentations and gluing

It is well known that every closed oriented 3dimensional manifold can be obtained from a framed link in $S^3$. Let $M$ and $N$ be topological 3-manifolds with boundary such that boundaries $\partial ...
1
vote
1answer
38 views

Why are the basis elements of $T_pM$ a vector field if we let $p$ vary?

At the end of this article on tangent vectors, they say each $\frac{\partial}{\partial x_i}$ is a vector field, if we let the point $p$ vary. However, they are only defined in a particular coordinate ...
1
vote
1answer
26 views

If $v\in\mathbb{R}^N\setminus\mathbb{R}^{N-1}$, what is the projection $\pi_v$ with kernel $\mathbb{R}v$?

I going over a lemma for the Whitney Embedding theorem which shows that an injective immersion of an $n$-manifold into $\mathbb{R}^N$ can actually be immersed in a lesser dimensional Euclidean space ...
2
votes
1answer
52 views

If $b$ is a regular value of $f$, $f^{-1}(-\infty,b]$ is a regular domain?

I'm trying to prove the first part of Proposition 5.47 of Lee's Smooth Manifolds, which is left to the reader. It says Suppose $M^m$ is a smooth manifold, and $f\colon M\to\mathbb{R}$ smooth. For ...
0
votes
1answer
33 views

Show that a set is a smooth curve and find a parameterization for it.

Let $S = \{ (x,y,z) \in \mathbb{R}^3 \mid x - yz + z^3 = 0 \}$. Let $\pi: \mathbb{R}^3 \to \mathbb{R}^2$ be such that $\pi(x,y,z) = (x,y)$. Let $H = \{p \in S \mid \pi_{\mid S}: S \to \mathbb{R}^2 ...
4
votes
1answer
68 views

Example of a submanifold $S\subseteq M$ that is an immersed submanifold is more than one way?

Known uniqueness results say that an embedded submanifold has a unique smooth structure making it an embedded submanifold with the subspace topology, and immersed submanifolds have a unique smooth ...
0
votes
1answer
35 views

About $C^{0}$ being topological manifold

Is that the reason why $C^{0}$ being topological manifold due to that $C^{0}=\phi$ which contains nothing? Correct me if I am wrong. I am new to differential topology.
1
vote
2answers
47 views

Is $y^2=x(x-1)^2$ an immersed submanifold?

Is the curve $y^2=x(x-1)^2$ an immersed submanifold in $\mathbb{R}^2$? It's certainly not embedded since it intersects itself at $(1,0)$. I'm aware of techniques to prove a subset is not a immersed ...
2
votes
2answers
39 views

Why is the irrational winding of the torus not locally path connected?

The irrational winding of the torus given by the map $f\colon\mathbb{R}\to T^2$ where $f(t)=(e^{it},e^{i\alpha t})$ for some irrational $\alpha$. Wikipedia mentions this is not a regular submanifold, ...
5
votes
2answers
84 views

Is $\{(x,y,z,0)\in\mathbb{R}^4:x^4+y^2+z^2=1\}$ diffeomorphic to $S^2$?

I was working on Problem 5-1 of Smooth Manifolds by Professor John Lee, and it lead me to wanting to show that $\{(x,y,z,0)\in\mathbb{R}^4:x^4+y^2+z^2=1\}$ is diffeomorphic to $S^2$, and that is ...
5
votes
1answer
36 views

Smooth embeddings of the $2$-sphere

I have a past qual question here: given a smooth embedding $f \colon S^2 \to \mathbb{R}^3$, show that there must exist distinct points $p,q \in S^2$ such that the tangent planes to the embedded sphere ...
1
vote
1answer
55 views

Video/audio lectures on differential topology?

Do there exist decent online video lectures, or even audio lectures, covering differential topology? I'm aware of Milnor's talk, but it is more like exposition and doesn't go very far.
2
votes
1answer
37 views

When gluing maps are isotopic?

Let $M$ and $M'$ be compact orientable connected topological 3-manifolds. (One may need more conditions to answer the question.) Suppose we have two homeomorphisms $f$ and $g$ from the boundary ...
1
vote
0answers
17 views

Is there a rule for computing the differential of a product of maps?

A lot of partition of unity arguments have some map of the form $f=\sum_i \psi_if_i$. Is there a formula for the differential $df_p$ in terms of its summands? For instance, suppose $f_i:U_i\to V_i$ ...
1
vote
2answers
26 views

Inward and outward pointing tangent vectors?

If $M^n$ is a smooth manifold with boundary and $p\in\partial M$, then $T_pM$ is the disjoint union of inward and outward point vectors, and $T_p\partial M$. If $(U,(x^i))$ is a smooth boundary chart ...
0
votes
2answers
51 views

How does $v\Phi^1=\cdots=v\Phi^k=0$ imply $v\in\ker d\Phi_p$?

I'm confused about an immediate corollary in John Lee's Smooth Manifolds. Proposition 5.38 says Suppose $M$ is a smooth manifold and $S\subset M$ is an embedded submanifold. If $\Phi\colon U\to N$ ...
2
votes
1answer
40 views

Boundary connected sum of manifolds

I have two related questions about the boundary connected sum of manifolds with boundaries. Let $T=S^1 \times S^1$ be a torus and let $X=T \times [0, 1]$ be the cylinder over the torus. Let $X'$ be a ...
2
votes
0answers
24 views

Existence of orientation-reversing automorphisms

Let $M$ be a connected orientable manifold (I don't really care about which category of manifolds we should work in). Since I read that there are nice manidolds without orientation-reversing ...
0
votes
0answers
11 views

Understanding topological modular forms

I am asking for good references to understanding topological modular forms. Please don't laugh. I am more or less an analyst and differential geometer, and I do know some algebraic topology and very ...
1
vote
1answer
38 views

Why does $S^n$ satisfy the local $n$-slice condition? From Lee's Smooth Manifolds.

Example 5.9 on page 103 of Lee's Smooth Manifolds says the following: The intersection of $S^n$ with the open subset $\{x:x^i>0\}$ is the graph of the smooth function $$ ...
3
votes
0answers
35 views

Voisin's proof of Ehresmann's theorem

On p.221 of Voisin's book on Hodge theory, there are two claims: a) Let $B$ be a contractible smooth manifold. There exists a vector field $\chi$ on $B$ whose flow $\Phi_t$ is global and, given any ...
2
votes
1answer
34 views

Why is the inverse of the standard charts on $\mathbb{R}P^n$ continuous?

When showing that $\mathbb{R}P^n$ is a topological manifold, the atlas is given by charts $\varphi_i\colon U_i\to\mathbb{R}^n$, where the $U_i$ are the classes $[x^1,\dots,x^{n+1}]$ with $x_i\neq 0$, ...
1
vote
0answers
32 views

A question about the boundary points of manifolds.

A topological $n$-manifold is a second countable Hausdorff space such that every point has a neighbourhood which is homeomorphic to an open ball centred at the origin in $\Bbb{R}^n$. The "centred at ...
0
votes
0answers
46 views

Pontryagin class of 0-manifolds

If $f:M^m \rightarrow S^m$ (where $M$ is a smooth, connected and orientable manifold), is a smooth map and $y \in S^m$ is a regular value of $f$, then $f^{-1}(y)$ is a framed $0$-manifold, that is, ...
0
votes
1answer
35 views

Condition for Orientability of Manifold

Let $M^n$, $n>2$ be a manifold and let $f:D\rightarrow M$ be an embedding of the closed $n-$disk in $M$. Prove or Disprove: $M$ orientable iff $M-f(D)$ is orientable. $M$ is orientable iff all ...
1
vote
1answer
38 views

Quotient of Unit Quaternions by Subgoup (Lie Groups)

Let $G \leq Sp(1)\cong S^3$ (unit quaternions) be a discrete subgroup of order 120 (the Binary Icosahedral Group, not the other one), with presentation $G=<s,t| s^2=t^3=(st)^5>$. $\hspace{2mm}G$ ...
2
votes
1answer
48 views

Is $\mathbb{R}P^n$ “two-sided” in $\mathbb{R}P^{n+1}$

i.e. Does $\mathbb{R}P^n$ have a tubular neighborhood $N$ such that $N-\mathbb{R}P^n$ is disconnected. My guess is yes, but don't know how to show it convincingly ( or maybe only for $n$ odd, I'm ...
2
votes
1answer
39 views

Vanishing pushforward implies smooth function is locally constant?

I'm trying to prove that if the pushforward $dF$ of a smooth map $F\colon M\to N$ between smooth manifolds is zero, then $F$ is constant on each component. It will be enough to show $F$ is locally ...
1
vote
1answer
23 views

Inverse Image of a Regular Value an Orientable Submanifold

Let $f:M^n \rightarrow \mathbb{R}$ be a smooth map, and let $c\in N$ be a regular value. When is $f^{-1}(c)$ an orientable manifold? Note: I know by regular value thm, $f^{-1}(c)$ is a smooth $n-1$ ...
2
votes
3answers
247 views

Holomorphic functions on a complex compact manifold are only constants

Is there a simple proof that every holomorphic function $M\to\mathbb{C}$ on a compact complex manifold $M$ is constant?
3
votes
1answer
60 views

What's the Differential of this Map $f:S^3\rightarrow \mathbb{R}$

$f:S^3 \rightarrow \mathbb{R}$ is defined as $f(x,y,z,w)=x+zw$, where $S^3= \{(x,y,z,w) | x^2 +y^2 +z^2 +w^2 =1\}$ I tried using a stereographic chart but that got ugly. The function is so simple I ...
4
votes
0answers
49 views

Gluing two solid tori along their boundary resulting in a topological manifold

The following question is from a past qualifying exam. Take two solid tori $D^2 \times S^1$, and construct the space $X$ by identifying their boundaries via the map $f \colon \partial D^2 \times S^1 ...
1
vote
1answer
45 views

Is a level set of a manifold a set of zeroes

Suppose $X$ and $Y$ are manifolds of dimensions $k$ and $l$ (with $k>l$). Given $F : X \to Y$ a smooth map and $y$ a regular value in $Y$, does there exist a map $G : X \to \mathbb{R}^l$ such that ...
1
vote
2answers
122 views

Non existence of a non singular vector field on $S^2$

Prove that the unit tangent bundle of $S^2$, $T^1 S^2$, is not diffeomorphic to $S^2×S^1$ by showing that if so there exists a nowhere vanishing vector field on $S^2$ I do not know how to create that ...
9
votes
2answers
191 views

Is there a retraction of a non-orientable manifold to its boundary?

It's easy to show using Stokes theorem that a compact orientable manifold with boundary cannot retract to its boundary, by choosing a volume form. But for the non-orientable case I don't know if this ...
7
votes
0answers
128 views

If a thread is pulled out of a floating blob of water, must the thread be tangent to the surface of the blob at some point?

My motivation is the recent question I just answered, and my answer use too many hypothesis that I considered superfluous: Always "one double root" between "no root" and "at ...
8
votes
1answer
152 views

Does de Rham theorem hold for manifolds with boundary?

I am following the J.Lee's book "Introduction to Smooth Manifolds", 2nd ed., page 480-486 to learn the de Rham theorem. It is proven on manifolds without boundary, which makes me curious about whether ...
0
votes
0answers
22 views

Show differential of $f:S^{m}\times S^{n}\to S^{m+n+mn}$ is injective

The problem is find to the differential of $f:S^{m}\times S^{n}\to S^{m+n+mn}$ (spheres) defined as $f(x_{0},...,x_{n},y_{1},...y_{n})=(x_{0}y_{0},x_{0}y_{1},...,x_{n}y_{1},x_{n}y_{n})$ and show it is ...
0
votes
1answer
26 views

Differential of rotation matrix at the north pole of sphere

Let T(p) rotate $p\in S^{2}$ by angle $\theta $ about the z-axis. The problem is to compute $dT_{(0,0,1)}$. T can be represented by the usual 3x3 rotation matrix $A_{z}(\theta)$. So $T(p)=A_{z}p$. ...
4
votes
2answers
64 views

Is there a characteristic property of quotient maps for smooth maps?

If $\pi\colon X\to Y$ is a quotient map, and $f\colon Y\to Z$ is a continuous map between topological spaces, then the characteristic property of the quotient map says $f$ is continuous iff $f\circ ...
1
vote
1answer
29 views

A bounded domain can be considered as a compact manifold?

A bounded domain $\Omega$ with smooth boundary $\Gamma$ can be considered as a compact connect Riemannian manifold?
3
votes
0answers
64 views

Submanifold of $2\times 2$ Complex Matrices Using Transversality?

Let $M$ be the set of all $2\times 2$ complex matrices with $a_{21}=\bar a_{12}$. $M$ is a smooth manifold diffeomorphic to $\mathbb{R}^6$. Let $W$ be the subset consisting of all matrices in $M$ with ...
0
votes
0answers
40 views

Link complement simply-connected if codimension $\geq 3$

In Rolfsen, page 50 says that "an easy general position argument shows that a PL link $L^k$ in $S^n$ has simply-connected complement if $n - k > 3$," where $L^k$ is a $k$-dimensional link in $S^n$. ...