# Tagged Questions

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.

30k 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 all....
4k 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 ...
3k 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 ...
927 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 ...
371 views

### Orientation of hypersurface

Some books on mean curvature flow (e.g. Mantegazza, Ecker) state that an embedded hypersurface in $\mathbb{R}^{k+1}$ is orientable (Mantegazza page 3, Ecker page 110). In other words, they assume the ...
2k 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 ...
1k 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, ...
1k 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 ...
866 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 ...
946 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 ...
2k 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 ...
2k 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 ...
4k 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 ...
957 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. ...
2k views

### Is every embedded submanifold globally a level set?

It's a well-known theorem (Corollary 8.10 in Lee Smooth) that given a smooth map of manifolds $\phi:M\rightarrow N$ and a regular value $p\in N$ of $\phi$, the level set $\phi^{-1}(p)\subset M$ is a ...
944 views

### Product of spheres embeds in Euclidean space of 1 dimension higher

This problem was given to me by a friend: Prove that $\Pi_{i=1}^m \mathbb{S}^{n_i}$ can be smoothly embedded in a Euclidean space of dimension $1+\sum_{i=1}^m n_i$. The solution is apparently ...
693 views

534 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 ...
2k 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 ...
956 views

### A fiber bundle over Euclidean space is trivial.

What's the easiest way to see this? The only thing I could think to do was try to patch together trivializations. I couldn't find a way to make that work. Thank you! edit: For the record, here's why ...
114 views

### Does there exist a $1$-form $\alpha$ with $d\alpha = \omega$?

Let $\omega := dx \wedge dy$ denote the standard area form on $\mathbb{R}^2$. As the question title suggests, does there exist a $1$-form $\alpha$ with $d\alpha = \omega$?
613 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 ...
393 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 ...
195 views

### A manifold such that its boundary is a deformation retract of the manifold itself.

If we have a compact orientable manifold $M$, we know that $\partial M$ is not a deformation retract of $M$. This follows from Poincaré Duality or Stokes Theorem. If we take away compactness, this is ...
204 views

75 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: f^*\omega(...
3k views

### Why can't differentiability be generalized as nicely as continuity?

The question: Can we define differentiable functions between (some class of) sets, "without $\Bbb R$"* so that it Reduces to the traditional definition when desired? Has the same use in at least ...
8k 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 ...
4k views

### precise official definition of a cell complex and CW-complex

I would be very grateful If someone could state a precise definition (direct one and inductive one) of a cell complex and CW-complex, since my intuition is telling that some restriction is missing and ...
795 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. ...
1k views

### Texts on Principal Bundles, Characteristic Classes, Intro to 4-manifolds / Gauge Theory

I am looking for a textbook that might serve as an introduction to principal bundles, curvature forms and characteristic classes, and perhaps towards 4-manifolds and gauge theory. Currently, the only ...
2k views

### Inverse of regular value is a submanifold, Milnor's proof

In Milnor's famous book "Topology from the Differential Viewpoint" he proves the following on page 11: If $f: M\to N$ is a smooth map between manifolds of dimension $m\geq n$ and if $y\in N$ is a ...
1k 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 ...
542 views

### Different definitions for submanifolds

I'm trying to better understand the concept of differentiable submanifold. However, it looks like many different definitions are adopted by various authors and so I'm trying to keep myself in sync by ...
1k views

### Open subsets in a manifold as submanifold of the same dimension?

An open set in an $n$-manifold is clearly a submanifold of the same dimension as its containing manifold (see open manifolds). Now, given an $n$-manifold $M$, is it true that a set, to be the ...
367 views

### Existence of submersions from spheres into spheres

I would like to know if there exist submersions $f\colon \mathbb{S}^4\to \mathbb{S}^2$ and $g\colon\mathbb{S}^6\to \mathbb{S}^2.$ It is simply a question of curiosity. Any suggestion or ideas are ...
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 $L(... 4answers 308 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}$... 2answers 628 views ###$f:\mathbb{S}^1\rightarrow\mathbb{S}^1$odd$\Rightarrow\mathrm{deg}(f)$odd (Borsuk-Ulam theorem) I'm having trouble understanding the proof of Borsuk-Ulam theorem ($n=2$) that we did in our class. The only problematic part is the last sentence in the proof of lemma 1.$\mathbb{S}^1\subseteq\...
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 \$...