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

-1
votes
1answer
29 views

There is no smooth map from $R^3$ to $R$ such that there i

I have to prove there is no smooth map $f:\mathbb{R}^3 \to \mathbb{R}$ and no regular value $y$ of $f$ such that $f^{-1}(y)$ is the projective space of dimension 2. From the pre-image theorem, $f^{-...
4
votes
1answer
68 views

Relation between tangent spaces of (un)stable manifolds in Morse theory

After asking this question about signs in the Morse complex, I realised that my confusion is really about how tangent spaces to different (un)stable manifolds are related. So suppose we have a Morse ...
2
votes
1answer
88 views

On the proof of that fixed point set of an involution is a submanifold

Let $M$ be a smooth manifold, and let $f:M\to M$ be a smooth involution (i.e. $f^2=\text{id}$). If we introduce a Riemannian metric on $M$ so that $f$ is isometry, we can prove easily that the fixed ...
0
votes
0answers
13 views

Looking for two non diffeotopic embeddings $\mathbb{R}\rightarrow\mathbb{R}$

im studyin the book "Introduction to differential topology" by Th. Bröcker and K. Jänich and I'm stuck with two of the exercices in Chapter 9 on isotopy. A short overview (for those who are familiar ...
0
votes
0answers
42 views

Radius of $\mathbb{CP}^n$

The question I am asking is basically Is it possible/usual to define a "radius" for certain metrics on $\mathbb{CP}^n$ in analogy to the case for $S^n$? To provide some more context about what I ...
5
votes
1answer
57 views

Explicit verification of signs in Morse complex

I'm trying to check by hand that the signs in the Morse complex, defined via choices of orientations on the unstable manifolds, lead to $\partial^2=0$. The books I've looked in seem to say either ...
4
votes
2answers
54 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
46 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
115 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
51 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
247 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
50 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
42 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
60 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
31 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
13 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
52 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
54 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
34 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
18 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
51 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
59 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
23 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
39 views

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

Definition as below , I think they are same ,is right ?
0
votes
1answer
34 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
32 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
48 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
58 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
42 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
60 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
33 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
52 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
13 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
22 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 ...