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

47
votes
8answers
11k 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 ...
11
votes
2answers
787 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 ...
18
votes
2answers
554 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
114 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)$$ ...
23
votes
3answers
940 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 ...
27
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 ...
17
votes
2answers
701 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$ ...
13
votes
2answers
484 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
213 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 ...
27
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 ...
23
votes
4answers
682 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 ...
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?
7
votes
3answers
398 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 ...
8
votes
1answer
327 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 ...
1
vote
2answers
50 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
125 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 ...
21
votes
10answers
3k 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 ...
23
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 ...
6
votes
2answers
350 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 ...
5
votes
1answer
1k 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 ...
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 ...
18
votes
7answers
869 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 ...
4
votes
1answer
137 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
282 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
92 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 ...
3
votes
2answers
211 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
109 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
1answer
239 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
436 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 ...
5
votes
2answers
600 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 ...
4
votes
2answers
220 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, ...
3
votes
1answer
284 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
1answer
74 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
122 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
93 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 ...
7
votes
2answers
402 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
263 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
189 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$ ...
4
votes
1answer
147 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
87 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
2answers
316 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 ...
3
votes
1answer
305 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$.
2
votes
1answer
134 views

Typo or additional hypotheses needed in problem 5, p.71 of Bredon's Topology and Geometry?

The problen can be foun in p.71 of Topology and Geometry. I state it below for convenience. Problem: Consider the half open real line $X=[0,\infty)$. Define a functional structure $F_{1}$ by taking ...
2
votes
1answer
148 views

How do I prove that a subset of a manifold is not a submanifold?

I know of ways to prove that a given subset of a smooth manifold is a smooth submanifold, but what if I have some subset which I suspect is not a smooth submanifold? What are some approaches to ...
2
votes
1answer
92 views

The general idea of prove openness.

I never really get the idea of proofs involves openness, here's an example: Let $f: \mathbb{R} \rightarrow \mathbb{R}$ be a local diffeomorphism. Prove that the image of $f$ is an open interval. ...
1
vote
1answer
136 views

Show that $f$ extends to a smooth map.

Identify $\mathbb{R}^2$, with coordinates $x, y$, with $\mathbb{C}$, with coordinate $z = x + iy$. Likewise, identify a copy of $\mathbb{R}^2$ with coordinates $u, v$ with $\mathbb{C}$ with ...
1
vote
1answer
235 views

The degree of antipodal map.

I am trying to solve the problem A map without fixed points. But I am not certain about the degree of antipodal map. I my thought, since the preimage of a point $y \in S^k$ is just $-y$, the degree ...
1
vote
1answer
51 views

Does “Add up” just means oriented counterclockwisely?

$f: X \to Y$ and $Z$ are appropriate for intersection theory $X,Y,Z$ are boundaryless oriented manifolds, $X$ is compact, $Z$ is closed submanifold of $Y$, and $\dim X + \dim Z = \dim Y$), $f$ is ...
1
vote
2answers
176 views

Do we need additional assumptions for problem 3-37 (b) in Spivak´s calculus on Manifolds?

Problem 3-37 (b) reads: Let $A_{n}=[1-1/2^{n},1-1/2^{n+1}]$. Suppose that $f:(0,1)\rightarrow \mathbb{R}$ satisfies $\int_{A_{n}}f=(-1)^{n}/n$ and $f(x)=0$ for any $x\notin$ any $A_{n}$. Show that ...