# 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.

25 views

22 views
+100

### Linking circles inside an immersed surface

A smooth embedding $f : D \to \mathbb{R}^3$ can be isotoped to a canonical inclusion $D \hookrightarrow \mathbb{R}^3$. (This is part of a proof that only the unknot has the disk as a Seifert surface.) ...
19 views

### Which of these plane curves are an immersion?

The question asks, which one of these plane curves is an immersion. I'm just checking that I'm correct. A is an immersion because the derivative is everywhere nonzero (thus the derivative is ...
46 views

### Is there any result on the “counting” of minimal atlas?

Take a differentiable manifold $M$. Define $\eta(M)$ as $\min\{\#\mathfrak{A} \mid \mathfrak{A} \text{ is an atlas for$M$}\}$. For example, if $M=S^n$, we have that $\eta(M)=2$, since $S^n$ is ...
26 views

### singular $1$ cube - Boundary of $2$ chain

This is an exercise from "Calculus on Manifolds" by Michel Spivack (first edition, p.100): If $c$ is a singular $1$-cube in $\mathbb{R}^2-\{0\}$, with $c(0)=c(1)$, show that there is an integer ...
23 views

### Independence of parametrization in defining integral of differential form

This is an exercise from Spivak's Calculus on Manifolds. Questions asks the following : (Independence of parametrization). Let $c$ be a singular $k$ cube and $p:[0,1]^k\rightarrow [0,1]^k$ be ...
47 views

### Is $[N]^\#([N])$ congruent to $w_n(\nu_N)([N])$ mod $2$, where $\nu_N$ is the normal bundle of the embedding of $N$ in $M$?

Let $M$ be a closed, smooth, orientable $2n$-manifold, and let $N$ be a closed, smooth, orientable $n$-submanifold. Let $[N]^\#$ denote the cohomology class (Poincaré) dual to the homology class ...
66 views

### When is a diffeomorphism analytic?

I've read somewhere "a class $C^\infty$ diffeomorphism is said to be analytic" but I forgot to write down where I read this and now I can not find it, which makes me wonder if it's true? I'm working ...
36 views

### Poincaré duality isomorphism maps cohomology to homology here?

Let $M = M^n$ and $A = A^p$ be compact oriented manifolds with smooth embedding $i: M \to A$. Let $k = p - n$. Does the Poincaré duality isomorphism$$\bigcap \mu_A: H^k(A) \to H_n(A)$$map the ...
56 views

### Why is even codimension necessary to apply excision for the Euler characteristic?

In this answer on MathOverflow, it is claimed that $$\chi(X/Z)=\chi(X)-\chi(Z)$$ holds for complex subvarieties $Z$ only because $Z$ has even codimension. It is implied that for $Z$ with odd ...
728 views

### Example of a category without product

A question was raised in our class about the non-existence of product in a category. The two examples that came up in the discussion was the category of smooth manifolds with boundary and the category ...
27 views

### What is an integral differential form and how do we recognize it as such?

I am reading about embedding theorems of various types of manifolds (Kodaira's embedding theorem being one of them), and one condition that repeats in all of them is that the manifolds should be ...
25 views

### Let $M$ be a manifold noncompact. Then there is a closed embebdding of the half line $[0, \infty)$ into $M$.

Let $M$ be a manifold connected hausdorf noncompact. Then there is a closed embebdding of the half line $[0, \infty)$ into $M$. I'm hard to build such a function without self-intersections. Book: ...
Let $\mathsf{Prin}_G$ be the category of (right) $G$-principal bundles, with a morphism from the bundle $p: P \to M$ to the bundle $p': P' \to M'$ being a pair of arrows $\chi: P \to P'$ and ...