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

4
votes
2answers
58 views

What is the relationship between diffeomorphisms of the sphere modulo isotopy and exotic spheres?

In his "Classification of (n-1)-connected 2n-dimensional manifolds and the discovery of exotic spheres", Milnor observes that since his exotic 7-spheres admit a Morse function with only two critical ...
0
votes
1answer
38 views

$1$-forms $\omega$ on $S^1$ are the differential of functions provided $\int_{S_1}\omega=0$

Prove that a (smooth) $1$-form $\omega$ on $S_1$ such that $\int_{S_1}\omega=0$ is the differential of some $f:S^1\to\mathbb{R}$. Hint: Let $h:\mathbb{R}\to S^1$ defined by $h(t)=(\cos(t),\sin(t))...
-1
votes
1answer
55 views

Restriction of an $n$-form to a submanifold

I am currently studying exterior calculus on manifolds and am not sure if I understand things correctly. In my textbook (R.W.R. Darling, Differential Forms and Connections) there is an example of a $2$...
5
votes
1answer
116 views

Poincare lemma for compact vertical supports in Bott & Tu

I'm trying to work out Proposition (6.16) from Bott and Tu which states that $H^*_{cv}(M\times\mathbb{R}^n)$ is isomorphic to $H^{*-n}(M)$. The first group being forms compactly supported along the ...
0
votes
1answer
52 views

Inversion of Sphere

I was reading about inversion of sphere. Wikipedia defines it as: Let $f: S^2\to R^3$ be the standard embedding; then there is a regular homotopy of immersions $f_t\colon S^2\to R^3$ such that $...
27
votes
2answers
265 views

Orientability of $m\times n$ matrices with rank $r$

I know that $$M_{m,n,r} = \{ A \in {\rm Mat}(m \times n,\Bbb R) \mid {\rm rank}(A)= r\}$$is a submanifold of $\Bbb R^{mn}$ of codimension $(m-r)(n-r)$. For example, we have that $M_{2, 3, 1}$ is non-...
1
vote
1answer
54 views

Solving the Euler-Lagrange equations for geodesics

I am trying to find geodesics on the following metric: $ds^2 = dx^2 + x^2 dy^2$ Setting $dx \rightarrow \dot{x}, dy \rightarrow \dot{y}$ in $ds^2$ i get following Lagrangian: $L = \dot{x}^2 + x^2 \...
0
votes
1answer
43 views

Vector field on n-manifold whose sum of indexes is equal to Euler charasteristic

For 2-manifolds and 3-manifolds such a tangent field (whose singular points indexes sum to manifold's Euler chracteristic) construction can be done visually. For example, for triangulated 2-manifold ...
2
votes
1answer
64 views

Frobenius theorem

I came across the following conclusion in a textbook, but can't really understand it. I would be grateful if anyone could elaborate: Assume that we have two linearly independent vector fields $V_{1},...
0
votes
0answers
19 views

open set in tangentspace induces open set in tangentbundle (for homogeneous spaces)

Let $M=G/K$ be a homogeneous space with a $G$-invariant riemannian metric $<.,.>$. Then $G$ defines an action on $TM$ by derivatives. Let $p=eK \in M$. Assuming I have a set $V_p \subset T_pM$ ...
2
votes
1answer
52 views

Understanding algebraic operations on vector bundles

Let $X$ be a smooth manifold with vector bundles $V$ and $W$. I'm trying to understand how we can construct in general a vector bundle $V \otimes W$. In particular what manifold structure do we give ...
0
votes
0answers
33 views

Condition for set of de Rham cohomology classes is linearly independent

If we have a set of 1-forms $w_1, ... w_n$ on a smooth manifold $X$ I can show that $w_i$ are linearly dependent if and only if $w_1 \wedge ... \wedge w_n = 0$. I wondered if this is also true in the ...
0
votes
0answers
16 views

Compact-Open Topology for Space of C^{r} -sections

Given a smooth fibre bundle $\pi: X \rightarrow M$. What is the definition of compact open $C^{r}$-topology on the space of $\mathcal{C}^{r}$-sections?
4
votes
0answers
54 views

Cohomology of local systems on spaces with the same homotopy type

Suppose we have a homotopy equivalence $f: X \to Y$ with homotopy inverse $g: Y \to X$, and a local system (i.e. a locally constant sheaf) $\mathcal{V}$ on $Y$. In this situation, are any of the ...
1
vote
0answers
58 views

A lemma in Milnor's book “Topology from the Differentiable Viewpoint”

In preparation for proving the Poincaré-Hopf Theorem, Milnor states in his book (see p. 38, Theorem 1) For any vector field $v$ on $M$ with only nondegenerate zeros, the index sum $\sum \iota$ ...
1
vote
1answer
35 views

Low torsion in orientable manifolds?

The final sentence on page 170 of Stillwell's Classical Topology an Combinatorial Group Theory is: Poincaré justified the term "torsion" by showing that $(m-1)$-dimensional torsion is present only ...
0
votes
0answers
19 views

Parallel transport perspective of gauge transformation invariance for connections

Defining a connection on a principal $G$-bundle $P \to M$ is equivalent to defining a parallel transport on $P$ along curves in $M$. With this perspective, Ralph Cohen commented in his notes on the ...
0
votes
1answer
28 views

What is the tangent space o SO(n) [closed]

It should be the kernel of the map $H\mapsto A^TH+H^TA$ at some $A$ such that $A^TA=I$ . But I cant find this Kernel can someone help me?
0
votes
0answers
23 views

Immersions-possible error in Dieudonné III?

Below I refer to [D] Dieudonné Treatise on analysis III [B] Bourbaki VARIETES DIFFÉRENTIELLES ET ANALYTIQUES [M] Michor Topics in differential geometry In [D,16.7.7], we can read: Let $f \...
2
votes
1answer
40 views
1
vote
0answers
33 views

On Atiyah-Singer Index theorem and Atiyah-Bott fixed point theorem.

I would like to understand the statement of Atiyah-Singer and Atiyah-Bott theorems enough to see lots and lots of applications they have. My background is pretty thin with some basic algebraic ...
0
votes
1answer
30 views

Transversality: what is wrong with this counter example to persistence for small perturbations?

Let $M$ and $N$ be differentiable manifolds in $\mathbb{R}^{n}$, and let $p \in \mathbb{R}^{n}$. We say that $M$ and $N$ are transversal at $p$ if $$T_{p} M + T_{p}N = \mathbb{R}^{n}.$$ By dimension ...
-2
votes
1answer
52 views

Do compact connected smooth manifolds admit the structure of a CW complex with a single 1-cell? [closed]

This seems intuitive to me, since they admit a CW decomposition with finitely many cells. But I can't see how to prove it.
3
votes
1answer
60 views

Reference request: Inclusion of smooth maps into continuous maps between smooth manifolds is a weak homotopy equivalence.

Let $M,N$ be smooth manifolds. It seems to be well known that if the sets $C^0(M,N)$ and $C^\infty(M,N)$ are equipped with the appropriate topologies (I suppose the weak/strong Whitney topology), then ...
0
votes
1answer
24 views

Degree of smooth map of manifolds depends on orientation choice?

I'm a little to confused as to why it appears that the degree of a smooth map $f: M \to N$ between smooth manifolds appears to only be defined up to sign - I'm not sure where my mistake is. By ...
-1
votes
1answer
40 views

Is there any difference between Immersion and embedding? [closed]

Definition as below , I think they are same ,is right ?
0
votes
1answer
35 views

Orientation on the boundary

If $M$ is an oriented without boundary manifold, and $\mu$ is it volume form, is true that the boundary of $M\times [0,1]$ is $ M \cup M$, right? It is true also that the orientantion on the boundary ...
1
vote
2answers
57 views

Proving Euler's spiral is an isometric embedding with bounded image

$\newcommand{\al}{\alpha}$ I am trying to prove Euler's spiral is an isometric embedding of $\mathbb{R}$ into $\mathbb{R}^2$ with bounded image. Here is the definition of the spiral: $(*) \, \,\al(t)...
0
votes
1answer
33 views

Minimal requirements to be a submersion.

I saw here (A surjective map which is not a submersion) that a smooth differentiable map $f:M\to N$ between two manifolds $M$ and $N$ is not necessarily a submersion. A counterexample is $f:\mathbb{R}\...
1
vote
0answers
51 views

Fundamental class for tangent bundle

For closed orientable manifolds $X$ we can define the fundamental class $[X]$ which is just a choice of generator of the top homology group $H_n(X; \mathbb{Z})$. However, in the context of the ...
1
vote
3answers
67 views

degree 1 map $f : M \to S^n$

Let us consider $M$ a closed and connected n-manifold which is also orientable. An exercise in Hatcher claims that for any such $M$ there is a continuous map $f: M \to S^n$ such that it's degree is 1, ...
3
votes
1answer
44 views

Isomorphic modules of sections imply isomorphic bundles

For reference this is about a part of question 3-F in Characteristic Classes by Milnor and Stasheff, which discusses the $C(B)$-module structure of the space of sections of a topological vector bundle ...
1
vote
0answers
22 views

Every real matrix with non-negative entries has a non negative eigenvalue [duplicate]

If $A$ is any matrix $n\times n$ with non negative entries, then $A$ has a non negative eigenvalue. I know that I have to use the Brower Point fix theorem, but I am not finding the function for that. ...
5
votes
1answer
61 views

Can every Riemmanian Manifold be completed?

I had two trails of though.. is either of them fruitful? I know every metric space can be completed, my question is: can a Riemmanian manifold $M$ be embedded smoothly and isometrically into it's ...
3
votes
1answer
191 views

How can we define $\partial x_{i_r}^p(X_p^r)$?

Let $M$ be a smooth manifold and $X_r^s:M\to T_r^s(M)$ is a section. Let $P\subseteq M$ be an open set and $X_1,\ldots,X_s\in\mathcal T(P)$ and $X^1,\ldots,X^r\in\mathcal T^*(P)$ where $\mathcal T(P)$ ...
1
vote
0answers
21 views

partial differentiation on a manifold

im currently taking up a course on differential geometry and the last topic is topology. id like to ask for help in our homework since im kind of new to this kind of questions which involves proving ...
1
vote
2answers
86 views

$\operatorname{SU}(n)$ as manifold

I am trying to do this has a while, but I cannot use correctly the regular value theorem to do so! I appreciate any help. The problem is that I cannot choose the function to take $SU_n$ as a regular ...
1
vote
0answers
35 views

Mobius strip as manifold and as a bundle over $S^1$

I am trying to construct the Mobius strip bundle onver $S^1$. I am stuck in how to define charts for the Mobius bundle. Once I make this, the problem will easily be solved. My attempt was: $$M = [0,...
2
votes
0answers
53 views

If $f: A \subset \mathbb{R}^m \to \mathbb{R}^n$ is of class $C^1$ and in $a \in A$ rank of $f$ is $p$ there is an embedding

If $f: A \subset \mathbb{R}^m \to \mathbb{R}^n$ is of class $C^1$ and in $a \in A$ rank of $f$ is $p$ there is an embedding $\phi : V \to A$, of class $C^{\infty}$ such that $f\circ \phi$ is an ...
0
votes
0answers
14 views

Local gauge transformation law on a principal bundle

I am referring to the answer by Henry to a related old question. Since it has been a long time I post it up as a new question instead of appending to the old one as a comment. The local gauge ...
1
vote
0answers
87 views

Why is $x^{1/3}$ not differentiable?

The problem says On $\mathbb{R}^1$consider $f(x)=x$ and $g(x)=x^{1/3}$ both $\mathbb{R} \to \mathbb{R}$. Consider atlases $\alpha_1=\{(\mathbb{R},f)\}$ and $\alpha_2=\{(\mathbb{R},g)\}$. Show that ...
0
votes
1answer
19 views

Show that piecewise function $f$ is $C^{\infty}$

I don't understand the first line of the solution If $f:\mathbb{R} \to \mathbb{R}$ defined by $f(x)={e^{-1/x}}$ if $x>0$ and $f(x)=0$ if $x \leq 0$ then show it is $C^{\infty}$. Well, it frst ...
0
votes
0answers
29 views

Euler characteristic of branch cover of punctured Riemann surface

Let $\Sigma_1$, $\Sigma_2$ be two closed Riemann surfaces, $\pi: \Sigma_1 \to \Sigma_2$ is degree $m$ branched cover of $\Sigma_2$, then we have formula about their Euler number: $$\chi(\Sigma_1)= m\...
3
votes
0answers
60 views

What are the essential tools and proof techniques for beginning smooth manifolds and differential topology?

I am an undergraduate currently taking a first course in smooth manifolds. I feel that I understand the material intuitively. But, I'm having trouble turning my intuition into proofs. I was hoping ...
1
vote
2answers
32 views

Given $p \in S^{n-1}$, how does one show that the map $\pi: SO_n \to S^{n-1}$ by $A \to A(p)$ is a submersion?

Pick $ p \in S^{n-1} \subset \mathbb{R}^n$ and consider the map $\pi: SO_n \to S^{n-1}$ by $A \to A(p)$. Show that this map is a smooth submersion. For $ q \in S^{n-1}$, describe the pre-image. For ...
0
votes
1answer
46 views

Number of non-homotopic diffemorphism form a manifold to itself

What is the name of this invariant, the number of non-homotopic diffemorphism form a manifold to itself. What is this number for the closed ball B^n, and for euclidean space R^n and for the n-sphere?
1
vote
1answer
33 views

Such a manifold is homeomorphic to a sphere

I recently read that if a compact differentiable manifold admits a real function with only two critical points, then it is homeomorphic to a sphere. If the function is Morse, this follows from ...
1
vote
2answers
73 views

Index of a Jordan curve

Winding number theorem: If $J\subset \mathbb{C}$ is a Jordan curve and a point $z$ lies in its interior domain, then the winding number $n(J,z)=\pm 1$. Now suppose that $J$ is smooth and we have the ...
5
votes
2answers
88 views

Klein bottle in $\mathbb{R}^4$ does not have a couple of normal vector fields

For an orientable 2-manifold in $\mathbb{R}^4$, it's somewhat obvious that if the manifold has a normal vector field then it has a pair of normal vector fields. I am trying to understand why it is ...
3
votes
1answer
93 views

Pushforward of a vector

The push forward of vectors allows to transform the components of a vector $X$ to be pushed along a map $h:\mathcal{M}\to\mathcal{N}$ between the manifolds $\mathcal{M}$ and $\mathcal{N}$. This is ...