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

57
votes
8answers
13k views

Teaching myself differential topology and differential geometry

I have a hazy notion of some stuff in differential geometry and a better, but still not quite rigorous understanding of basics of differential topology. I have decided to fix this lacuna once for ...
13
votes
2answers
832 views

Why maximal atlas

This has been on the back of my mind for one whole semester now. Its possible that in my stupidity I am missing out on something simple. But, here goes: Let $M$ be a topological manifold. Now, even ...
21
votes
3answers
1k views

Consequences of Degree Theory

I'm preparing a presentation on an overview of algebraic and differential topology, and my introduction includes some motivational material on Degree Theory. I have two fundamental and invaluable ...
29
votes
2answers
2k views

Which manifolds are parallelizable?

Recall that a manifold $M$ of dimension $n$ is parallelizable if there are $n$ vector fields that form a basis of the tangent space $T_x M$ at every point $x \in M$. This is equivalent to the tangent ...
18
votes
2answers
737 views

Applications of Pseudodifferential Operators

I am very interested in just about anything that has to do with PDE's, and inevitably pseudodifferential operators comes up. Its obvious that such a novel way of looking at PDE's would be important, ...
2
votes
2answers
133 views

$f^*(w \wedge \theta) = (f^*w) \wedge (f^* \theta)$

I am reading Guillemin and Pollack's Differential Topology. For the proof on Page 164, I was not able to get through the last step. $$f^*(w \wedge \theta) = (f^*w) \wedge (f^* \theta)$$ ...
29
votes
2answers
1k views

How do different definitions of “degree” coincide?

I've recently read about a number of different notions of "degree." Reading over Javier Álvarez' excellent answer for the thousandth time finally prompted me to ask this question: How exactly do ...
24
votes
3answers
1k views

Roadmap to study Atiyah-Singer index theorem

I am a physics undergrad and want to pursue a PhD in Math (geometry or topology). I study it almost completely by myself, as the program in my country offers very less flexibility to take non ...
18
votes
2answers
789 views

Relationship between the zeros of a vector field and the fixed points of its flow

I'm having a little trouble here and would appreciate some hints. Let $M$ be a compact manifold without boundary and let $X$ be a smooth vector field on $M$ with only isolated zeros. Let $\theta_t$ ...
5
votes
4answers
249 views

Prove no existing a smooth function satisfying … related to Morse Theory

i) Show that there does not exist a smooth function $f:\mathbb{R} \rightarrow \mathbb{R}$, s.t. $f(x) \geq 0$, $\forall x \in \mathbb{R}$, $f$ has exactly two critical points, $x_1,x_2\in\mathbb{R}$ ...
14
votes
2answers
532 views

Is $M=\{(x,|x|): x \in (-1, 1)\}$ not a differentiable manifold?

Let $M=\{(x,|x|): x \in (-1, 1)\}$. Then there is an atlas with only one coordinate chart $(M, (x, |x|) \mapsto x)$ for $M$. We don't need any coordinate transformation maps to worry about ...
5
votes
1answer
242 views

Functionally structured spaces and manifolds

The question requires some definitions that I have listed below for your convenience. They can be found in Chapter VI, pages 297-298 of Bredon's Introduction to Compact Transformation Groups. On a ...
5
votes
2answers
261 views

Intuition for smooth manifolds

Consider the graphs of the functions $f_1(x) = |x|$, and $f_2(x) = x$ under the subspace topology of $\mathbb{R}^2$. Both of these graphs are smooth manifolds, just pick coordinate charts to be $(x, ...
24
votes
1answer
1k views

Is there an easy way to show which spheres can be Lie groups?

I heard that using some relatively basic differential geometry, you can show that the only spheres which are Lie groups are $S^0$, $S^1$, and $S^3$. My friend who told me this thought that it ...
20
votes
1answer
1k views

Cohomology of projective plane

How I can compute cohomology de Rham of the projective plane $P^{2}(\mathbb{R})$ using Mayer vietoris or any other methods?
25
votes
4answers
711 views

Is every Compact $n$-Manifold a Compactification of $\mathbb{R}^n$?

I read the result that every compact $n$-manifold is a compactification of $\mathbb{R}^n$. Now, for surfaces, this seems clear: we take an n-gon, whose interior (i.e., everything in the n-gon except ...
7
votes
3answers
421 views

$f^*dx_i = \sum_{j=1}^l \frac{\partial f_i}{\partial y_j} dy_j = df_i$

Guillemin and Pollack's Differential Topology Page 164: $U \subset \mathbb{R}^k$ and $V \subset \mathbb{R}^l$ be open subsets. Let $f: V \to U$ to smooth. Use $x_1, \dots, x_k$ for the standard ...
14
votes
2answers
482 views

The “Easiest” non-smoothable manifold

In 1960, Kervaire found the first example of a PL-manifold which does not admit a smooth structure. Since then, I understand that there are many examples of non-smoothable manifolds that can be built. ...
8
votes
1answer
349 views

embedding of $\mathbb{RP}^2$ in $\mathbb{R}^4$

Consider the classic map $$F:\mathbb{RP}^2\rightarrow \mathbb{R}^4$$ defined by $$F[x,y,z]=(x^2-y^2,xy,xz,yz)$$. This defines a smooth embedding of $\mathbb{RP}^2$ in $\mathbb{R}^4$. It is clearly ...
3
votes
2answers
346 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 ...
1
vote
2answers
54 views

$f: X \to Y$ is a smooth map and $\omega$ is a $p$-form on $Y$, what is $\omega[f(x)]$?

I am reading Guillemin and Pollack's Differential Topology Page 163: If $f: X \to Y$ is a smooth map and $\omega$ is a $p$-form on $Y$, define a $p$-form $f^*\omega$ on $X$ as follows: ...
1
vote
1answer
148 views

Preimage orientation.

On Guillemin and Pollack's Differential Topology Page 100. Let $f: X \to Y$ be a smooth map with $f \pitchfork Z$ and $\partial f \pitchfork Z$, where $X,Y,Z$ are oriented and the last two are ...
25
votes
10answers
4k views

“Immediate” Applications of Differential Geometry

My professor asked us to find and make a list of things/facts from real life which have a differential geometry interpretation or justification. One example is this older question of mine. Another ...
8
votes
1answer
2k views

Computing the homology and cohomology of connected sum

Suppose $M$ and $N$ are two connected oriented smooth manifolds of dimension $n$. Conventionally, people use $M\#N$ to denote the connecte sum of the two. (The connected sum is constructed from ...
7
votes
2answers
593 views

Let $G$ be a Lie group. Show that there is a diffeomorphism $TG \cong G \times T_e G$.

Since $T_p G$ is isomorphic to $T_e G$ for all $p\in G$, it makes sense that each vector in $T_p G$ can be identified with a vector in $T_e G$. Hence, to make the map from $TG$ one to one, we must ...
18
votes
7answers
928 views

Why abstract manifolds?

If we can use Whitney embedding to smoothly embed every manifold into Euclidean space, then why do we bother studying abstract manifolds, instead of their embeddings in $\mathbb{R}^n$? A vague ...
5
votes
0answers
367 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 ...
10
votes
1answer
495 views

If $f\!: X\simeq Y$, then $X\!\cup_\varphi\!\mathbb{B}^k \simeq Y\!\cup_{f\circ\varphi}\!\mathbb{B}^k$.

How can I prove that if two spaces $X$ and $Y$ are homotopy equivalent, then the corresponding spaces obtained by gluing a $k$-cell are also equivalent? In detail, if ...
4
votes
2answers
126 views

Any N dimensional manifold as a boundary of some N+1 dimensional manifold?

Is this statement true: Question: Can any N dimensional manifold be realized as a boundary of some N+1 dimensional manifold? If so/not, how to prove/disprove it? I read a TQFT paper from Edward ...
7
votes
2answers
898 views

Showing that a level set is not a submanifold

Is there a criterion to show that a level set of some map is not an (embedded) submanifold? In particular, an exercise in Lee's smooth manifolds book asks to show that the sets defined by $x^3 - y^2 = ...
5
votes
2answers
416 views

map of arbitrary degree from compact oriented manifold into sphere

This is a question from a qualifying exam. Let $X$ be a compact, oriented $n$-dimensional manifold. Show that for any $k \in \mathbb{Z}$, there exists a continuous map $f: X \to S^n$ of degree $k$. I ...
4
votes
1answer
146 views

Closed and exact.

I tried this question, but I have no idea if I got it correctly. On $\mathbb{R}^2$, let $\omega = (\sin^4 \pi x + \sin^2 \pi(x + y))dx - \cos^2 \pi(x + y)dy$. Let $\eta$ be the unique $1$-form on ...
4
votes
1answer
321 views

Intuition about pullbacks in differential geometry

I am struggling to understand the role of pullbacks after noticing that they are used when defining an integral of $k$-forms on a manifold. Let $F:M \to N$ be a map between differentiable manifolds. ...
3
votes
2answers
109 views

tensor product of two vector bundles

Let $\xi$ and $\eta$ be two vector bundles over the same base space $B$. Then $\xi\otimes \eta$ is orientable if and only if $\xi$ and $\eta$ are both orientable. How to prove this true or not true? ...
3
votes
2answers
271 views

What is the codimension of matrices of rank $r$ as a manifold?

I'm reading through G&P's Differential Topology book, but I hit a wall at the end of section 4. There is a result stating The set $X=\{A\in M_{m\times n}(\mathbb{R}):\mathrm{rk}(A)=r\}$ is a ...
2
votes
1answer
114 views

Sphere turned inside out

How can I turn a sphere inside out? I saw this video on YouTube and I didn't understood how can i turn a sphere inside out. any help will be appreciated. http://www.youtube.com/watch?v=R_w4HYXuo9M
2
votes
2answers
274 views

A map without fixed points - two wrong approaches

For the unit sphere $S^n \subset \mathbb{R}^{n+1}$ let $f : S^n \to S^n$ be the map reversing the signs of all but one coordinate, $$f(x_0, x_1, \dots, x_n) = (x_0, -x_1, \dots, -x_n):$$ (a) ...
11
votes
1answer
499 views

Problem 3-38 in Spivak´s Calculus on Manifolds

This is not homework. Problem 3-38 reads: Let $A_{n}$ be a closed set contained in $(n,n+1)$. Suppose that $f:\mathbb{R}\rightarrow \mathbb{R}$ satisfies $\int_{A_{n}}f=(-1)^{n}/n$ and $f(x)=0$ for ...
6
votes
1answer
213 views

Question on “up to isotopy” when attaching two spaces

Let $M$, $N$, $A$, $B$ be topological spaces (or manifold) such that $A$ and $B$ are subspaces in $M$, $N$ respectively. Let $f: A \to B$ and $g:A \to B$ be homeomorphism and assume that $f$ and $g$ ...
6
votes
2answers
651 views

Classification Theorem for Non-Compact 2-Manifolds? 2-Manifolds With Boundary?

I recently learned about the Classification Theorem for compact 2-manifolds. Is there a similar classification theorem for ALL 2-manifolds, not just the compact ones? Moreover, is there a theorem ...
3
votes
1answer
316 views

How does handle attachment work in Morse Theory

I am reading R.E.Gompf and A.I. Stipsicz, 4-Manifolds and Kirby Calculus. I can't understand the 2nd-paragraph of p.101, where they explain framings on the attaching sphere. In particular I cannot ...
2
votes
2answers
75 views

the knot surgery - from a $6^3_2$ knot to a $3_1$ trefoil knot

It is intuitive that one can simply doing a cut-gluing surgery to make a $6^3_2$ to a $3_1$ trefoil knot: e.g. from to All one needs to do it to cut the three intersections at the angle of ...
2
votes
1answer
83 views

Pullback expanded form.

Definition. If $f: X \to Y$ is a smooth map and $\omega$ is a $p$-form on $Y$, define a $p$-form $f^*\omega$ on $X$ as follows: $$f^*\omega(x) = (df_x)^*\omega[f(x)].$$ According to Daniel ...
1
vote
1answer
125 views

GP 1.2.10(b) The tangent space $T_{(x,x)}(\triangle)$ is the diagonal of $T_x(X) \times T_x(X).$

If $\triangle$ is the diagonal of $X \times X$, show that its tangent space $T_{(x,x)}(\triangle)$ is the diagonal of $T_x(X) \times T_x(X).$ I don't have the slightest idea on how to do this. ...
1
vote
2answers
98 views

The matrix specify an algernating $k$-tensor on $V$, and dim$\bigwedge^k(V^*)=1$

The end of the hint "The matrix specify an algernating $k$-tensor on $V$, and dim$\bigwedge^k(V^*)=1$" does not make sense to me. In my not very assured understanding, the $k$-tensor ...
8
votes
2answers
436 views

Smooth structure on the topological space

Consider a topological space $X$. Lee in Introduction to Smooth Manifolds wrote that it is impossible to introduce a smooth structure on the topological manifold based only on topology (i.e. ...
5
votes
2answers
328 views

Definition of pullback.

I am reading Guillemin and Pollack's Differential Topology Page 163: If $f: X \to Y$ is a smooth map and $\omega$ is a $p$-form on $Y$, define a $p$-form $f^*\omega$ on $X$ as follows: ...
5
votes
1answer
168 views

Is a continuous map between smoothable manifolds always smoothable?

Let $X$ and $Y$ be topological manifolds and $f:X\to Y$ a continuous map. Suppose $X$ and $Y$ admit a differentiable structure (at least one). My question: is it always possible to choose a ...
4
votes
1answer
97 views

metric on the Euclidean Group

I am not an expert in this so I hope this doesn't sound so stupid: what is the common metric used when studying the Euclidean Group $\mathrm{E}(3)$. One could probably ask the same thing for ...
3
votes
1answer
327 views

De Rham Cohomology Question

Let $M$ be a compact connected $n$-manifold without boundary. Let $\mu\in\Omega^{n-1}(M)$, show that there exists a point $p\in M$ such that $d\mu(p)=0$.