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

1
vote
1answer
48 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
30 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
121 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
87 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 ...
5
votes
1answer
377 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
38 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
95 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
258 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
158 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 ...
6
votes
1answer
65 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
232 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
64 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
32 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$ ...
2
votes
2answers
279 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 ...
1
vote
2answers
61 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
291 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 ...
5
votes
0answers
62 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
22 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
149 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
116 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
45 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
69 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
1answer
119 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 ...
2
votes
1answer
69 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$ ...
4
votes
1answer
78 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 ...
3
votes
1answer
245 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
277 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$ ...
4
votes
4answers
1k 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
74 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
155 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
68 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
158 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
403 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
146 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 ...
10
votes
1answer
398 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
1answer
55 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
42 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$. ...
5
votes
2answers
246 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
61 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
1answer
109 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
81 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$. ...
4
votes
2answers
108 views

Geometrically, what is the stereographic projection of a closed $n$-ball?

To show $\overline{B^n}$ is a $n$-manifold with boundary, apparently there is a trick to use stereographic projection after subtracting out the radius connecting $0$ to the north pole. I'm familiar ...
3
votes
2answers
318 views

Stiefel-Whitney classes of 3-manifolds are trivial

Is there a simple way how to show that Stiefel-Whitney classes of a compact closed 3-manifold $M$ are zero? This is exercise 11-D in Milnors Characteristic classes. The available tools in the ...
3
votes
2answers
59 views

Equality between support for a function and closed union of elements of a partition of unity (Proof from John Lee's Smooth Manifolds)?

I have a minor question in the following proof from John Lee's Intro to Smooth Manifolds: At the end, there is the equality $\mathrm{supp}\tilde{f}=\overline{\bigcup_{p\in A}\mathrm{supp}\psi_p}$. ...
8
votes
3answers
915 views

How to know if a tangent bundle is trivial from its defining equations

In this question, I am considering only regular manifolds. A Trivial Bundle The circle $S^1$ is known to have a trivial tangent bundle. As a subset of $\mathbb{R}^4$, the tangent bundle of $S^1$ ...
2
votes
0answers
72 views

Alexandrov embedness and branch points

Let assume that $\Sigma_n$ is a sequence of compact surfaces in $\mathbb{R}^3$ of fixed genus. We assume that the surfaces are Alexandrov embedded, that is to say there exits an immersion $i_n$ from ...
3
votes
4answers
593 views

Should I read about Manifolds or Algebraic Topology?

I really enjoy doing maths and it fills quite a lot of my spare time. I'm starting my first year in the university on october and I probably won't have that much time for independent reading once ...
3
votes
0answers
193 views

Role of the Thom space in the Pontryagin-Thom construction

I am trying to understand the Pontryagin-Thom theorem; especially how the Thom space comes into play. Just to bring everyone on the same page: I am specifically talking about the construction of an ...
2
votes
2answers
77 views

Embedding of $\mathbb{R}^2 \to \mathbb{R}^3$ with non-parallel tangent planes

I have a qual question here and I'm struggling to get a good starting point. The question asks to construct a smooth proper embedding $f\colon \mathbb{R}^2 \to \mathbb{R}^3$ such that for any distinct ...
1
vote
1answer
64 views

Smooth Submanifolds of $\mathbb{RP}^3$

Let $ M=\{[z_0,z_1,z_2, z_3] \in \mathbb{RP}^3 | (z_0-z_3)^2+az_1^2=0\}$, where $a\in \mathbb{R}$. Show that $M$ is a smooth submanifold of $\mathbb{RP}^3$ of dimension $2$ when $a=0$, but not if ...