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
vote
0answers
15 views

fibration of real projective space over complex projective space

From the fibration $$U(1)=S^1\to S^{2n+1}\to \mathbb{C}P^n,$$ can we quotient the action of $S^0$ and obtain a well-defined fibration $$ S^1/S^0=\mathbb{R}P^1\cong S^1\to ...
1
vote
0answers
15 views

fibration of complex projective space over quaternion projective space

From the fibration $$Sp(1)=S^3\to S^{4n+3}\to \mathbb{H}P^n,$$ can we quotient the action of $U(1)=S^1$ and obtain a well-defined fibration $$ S^2\to \mathbb{C}P^{2n+2}\to\mathbb{H}P^n?$$ ...
4
votes
1answer
50 views

Prove that the diagonal $∆$ in $S^2×S^2$ is not globally definable by $2$ independent function.

Prove that the diagonal $∆$ in $S^2×S^2$ is not globally definable by $2$ independent function. In contrast, show that the other standard copies of $S^2$ in $S^2×S^2$ – ie, $S^2×\{a\}$ for $a∈S^2$ are ...
2
votes
1answer
18 views

Comparison between two definitions of real projective spaces.

The most common definitions of real projective spaces are: $\mathbb{R} \mathbb{P} ^n = (\mathbb{R}^{n+1} - 0)/ \sim$, where $x,y \in \mathbb{R}^{n+1}-0$ satisfies $x \sim y$ iff $x = \lambda y$ for ...
2
votes
0answers
29 views

mathematical limit for a ouroboros torus

The other day i was watching an episode of Tom and Jerry in which a similar situation was present toms head comes out of his own mouth. My head hurts when i think how is that even possible so i ...
0
votes
0answers
18 views

Exhaustion of a manifold by compacts

I searched for a proof of the following statement, but did not find one. I want to check if a proof I made is correct, or if I'm leaving out some detail and/or complicating things: Proposition: ...
-4
votes
0answers
22 views

unique combinations of A,B,C? [on hold]

If you have 3 solutions of A,B,C, - how many unique combinations can you make using only 2 at once? If I had, say, a 3 solutions labelled A, B and C - how many unique solutions can I make using only ...
1
vote
1answer
23 views

Is the disjoint union of submanifolds a submanifold?

Let $M$ a manifold and $X \subset M$. Let $N \subset X$ such that $N, X \backslash N$ are submanifolds of $M$. Can I conclude that $X$ is a submanifold of $M$?
1
vote
0answers
24 views

Restricting a differentiable function to a submanifold.

If $f: M \longrightarrow N$ is a differentiable function between manifolds and $A$ is a submanifold of $M$, can I conclude that $f_{|_A}$ is a differentiable function? It seems that the answer should ...
0
votes
0answers
13 views

If the linearization of a section is surjective on a slice, is the image under a submersion also a smooth manifold?

Let $V \rightarrow M \times N_1 $ be a vector bundle, where $M$ and $N_1$ are smooth manifolds and $s: M \times N_1 \rightarrow V$ a smooth section such that if $s(p,q) =0$ then $$ \nabla ...
1
vote
1answer
52 views

Torus/Moebius Band homeomorphism

Is a fattened Moebius Spiral Band homeomorphic to a Torus? ( due to the same Euler Characteristic $\chi$ ?) Are both non-orientable? Following (3D printable plastic) Torus has a square section ...
0
votes
3answers
62 views

Boundary of $\mathbb{R}^4$ and fundamental group of $\mathbb{R}^4/\mathbb{R}^2$

a) To what I know boundary makes no sense in open sets. Does it make any sense to talk about the boundary of $\mathbb{R}^4$? In physics they consider it when discussing wether the universe has a ...
0
votes
1answer
30 views

What is $C_n(X)$?

This article says the following: Let $X$ be a triangulated space and let $C_n(X)$ be a real vector space with $n$-simplices $[x_0,x_1,x_2,\dots,x_n]$. Each different combination of $x_i's$ forms a ...
3
votes
2answers
65 views

Definition of a Manifold from Guillemin Pollack

I have been studying differential topology from Guillemin and Pollack (GP). Unlike many other books that define differentiable manifolds using maximal atlases GP starts by saying $ X \subset R^{N}$ ...
2
votes
1answer
42 views

Equivalent definitions of Euler characteristic for closed manifolds

It is well-known that the Euler characteristic of a closed manifold $M^n$, which can be defined as $\chi(M)=\sum_{k=0}^n (-1)^k \operatorname{dim}H^k(M)$, equals the intersection number ...
0
votes
0answers
8 views

Show that if $z_0$ and $z_1$ belong to the same connected component of $R^n-X$. Then $W_2 (X,z_0 )=W_2 (X,z_1)$

Show that if $z_0$ and $z_1$ belong to the same connected component of $R^n-X$. Then $W_2 (X,z_0 )=W_2 (X,z_1)$ here is what I got Let $X$ be a compact, connected hyperspace in $R^n$, then by ...
1
vote
0answers
20 views

Show that $R^n -X$ has at most 2 connected component without using the Jordan-Brouwer theorem.

Here is what I got but my professor say it's wrong Let $X$ be a compact, connected hyperspace in $R^n$, then $ R^n-X$ consist of 2 open sets $D_0$ – the outside component and $D_1$ the inside ...
2
votes
1answer
36 views

Basis for a line bundle

I have a basic confusion. The following is drawn from Huybrechts' Complex Geometry text: "Let $L$ be a holomorphic line bundle on a complex manifold $X$ and suppose that $s_0,\dots, s_n \in H^0(X, ...
4
votes
1answer
64 views

Is $\mathbb{H}P^\infty$ an H-space or not?

$\mathbb{R}P^\infty$ is H-space. $\mathbb{C}P^\infty$ is H-space. Is $\mathbb{H}P^\infty$ an H-space or not?
1
vote
1answer
27 views

Prove directly Morse lemma for real line $\mathbb{R}$

The exercise 9 section 7 chapter 1 in Guillemin & Pollak state the next Prove directly Morse lemma for real line $\mathbb{R}$.(Hint:Use this elementary calculus lemma: for any function on ...
1
vote
0answers
48 views

Lie group quotient structure

Let $G$ be a Lie group and $H$ a normal finite subgroup. Let $\pi : G \to G/H$ be the quotient surjection. How would one show that $G/H$ is a Lie group?
0
votes
1answer
11 views

Subsets of a manifold.

I read that every open subset $A$ of a manifold $M$ is a submanifold (it is a manifold with the induced topology by $M$). If I understand correctly, the argument is that, for an element $x \in A$, one ...
2
votes
1answer
42 views

Extenting a homeomorphism on subsurface to the entire surface

Suppose you have surface and a subsurface. The complement of subsurface is union of open discs and once punctured open discs. Can all homeomorphisms of the subsurface be extended to homeomorphisms of ...
2
votes
2answers
17 views

Preimage of 0 for a differentiable function.

If a subset $N$ of a manifold $M$ can be written as $f^{-1}(\{0\})$ being $f:M \longrightarrow \mathbb{R}$ a differentiable function, can I conclude that $N$ is a submanifold of $M$?
1
vote
0answers
18 views

How to prove that a certain set is a submanifold.

Let $P^{n-1}(\mathbb{R})$ the real projective space of dimension $n-1$. Consider the set $$B=\{(x,y)\in\mathbb{R}^n \times P^{n-1}(\mathbb{R}) / x=(x_1,..,x_N), y=[y_1;..;y_N], x_iy_j=x_jy_i ...
3
votes
1answer
63 views

Only one fixed point for $f:\bar{\mathbb{D}}\rightarrow\bar{\mathbb{D}}$ on the boundary.

We know for Brouwer theorem that $f$ (continuous bijective function) have a fixed point. My questions are: 1) Is there a function with only one fixed point $x_0\in Int(\bar{\mathbb{D}}) $ (open ...
0
votes
1answer
16 views

1-forms as a direct sum

Let us define the spaces $C_0, C_1$ and $C_2$ of differential $0,1,2$ forms respectively on the sphere $S^2.$ Is it true that $C_1$ is the direct sum of $d(C_0) \oplus \delta^* (C_2)$? I think this ...
1
vote
0answers
20 views

Geometrical Explanation of Borsuk Theorem

Assume $K$, $L$ are $n$-pseudomanifold, and $K$ is compact. Let $f$ be a simplicial map between $K$ and $L$. We denote $n$-simplexes of $K$ and $L$ by $S_n(K)$, $S_n(L)$. Define ...
0
votes
2answers
40 views

Smooth maps homotopic to the inclusion - updated.

First problem - (my original question before the editing) Prove or disprove the following: Let $A$, $B$ be differentiable manifolds such that $A \subseteq B$, and $s: A \to B$ a smooth map. Then $s ...
1
vote
2answers
49 views

Smooth homotopy

Let $M,N$ be manifolds. Suppose that $f_0, f_1:M\stackrel{C^\infty}\to N$ are homotopic, i.e. there exists a continuous mapping $f:M\times[0,1]\to N$ s.t. $f(x,0)=f_0(x)$, $f(x,1)=f_1(x)$. Then is ...
1
vote
0answers
26 views

Embedding counterexample

Lee writes on page 156 of Introduction to Smooth Manifolds: A smooth embedding is a map that is both a topological embedding and an immersion, not just a topological embedding that happens to be ...
0
votes
2answers
37 views

How to orient a manifold in the Euclidean space?

I learned that the orientation of a smooth manifold is a smooth choice of an orientation for bases of tangent space. Also I sometimes read that an embedded manifold in $\mathbb{R^3}$ inherites an ...
0
votes
0answers
18 views

Iteratives of an invariant manifold

According to the stable manifold theorem, I want to calculate the first three Picard iteratives of the invariant manifold given by the system of differential equations: $ \dot x= -x + y^2$ $ ...
0
votes
0answers
22 views

Ref. Request Lefschetz Fibrations, Restriction of Base

All. Let $ M^4 \rightarrow S^2 $ be a Lefschetz fibration over $S^2$, where $M^4$ is a compact, oriented 4-manifold. I am still weak in this topic, and I would appreciate references to properties ...
0
votes
1answer
32 views

Prove that a map $f:S^1→S^1$ extends to the whole ball $B=\{|z|≤1\}$ if and only if $deg(f)=0$

Prove that a map $f:S^1→S^1$ extends to the whole ball $B=\{|z|≤1\}$ if and only if $deg(f)=0$ again I can only do one direction => $f:S^1→S^1$ is smooth, and $S^1 = \partial B$. Assume that ...
4
votes
2answers
121 views

Why is the pole generally outside the contour loop when its outside the contour loop in 2D?

The following contour integral is path dependent with the following results \begin{align} \oint_C\dfrac{dz}{z} = \begin{Bmatrix} 2\pi i && \text{when $z=0$ is inside C} \\ 0 && ...
1
vote
1answer
35 views

Prove that the Möbius band is not orientable.

Prove that the Möbius band is not orientable. I know that in the Möbius band the central circle is orientable. If I let $Y$ be the Möbius band and $Z$ be a compact submanifold of $Y$ with ...
1
vote
1answer
20 views

Suppose that $Z$ is a hyperspace in the oriented manifold $Y$, as sub manifold of codimension $1$. Prove that following statement are equivalent

Suppose that $Z$ is a hyperspace in the oriented manifold $Y$, as sub manifold of codimension $1$. Prove that following statement are equivalent a) $Z$ is orientable b) There exists a smooth field ...
3
votes
1answer
105 views

Coordinate-free definition of integration of differential forms?

Let $\omega$ be an $n$-form on an oriented $n$-manifold $M$. To integrate $\omega$, we choose an atlas $(O_\alpha, (x^1_\alpha,\dots, x^n_\alpha))_\alpha$ for $M$ and a partition of unity ...
1
vote
1answer
141 views

Extension of a map $g:\overline{B_1^n}\to \mathbb{R}^2$

Let $B_r^n\subset \mathbb{R}^n$ ($n\geq 6$) be the open ball with radius $r$ and let $g:B_2^n\to \mathbb{R}^2$ be an analytic map. How to define a continuous map $h:\mathbb{R}^n\to \mathbb{R}^2$ such ...
0
votes
1answer
19 views

Any real analytic Frobenius theorem used in the proof of integrable almost complex manifolds to arise from complex manifolds?

The reference book is S.S.Chern's Complex Manifolds Without Potential Theory. It's used in integrability condition for an almost complex structure to arise from a complex structure. It's claimed that ...
0
votes
1answer
38 views

Smooth structure on $M\cup_f N$?

Let $M$ and $N$ be two smooth manifolds with $$\textrm{dim}(M)=\textrm{dim}(N)=n.$$ Let $U\subseteq M$ and $V\subseteq M$ be two open sets and $f:U\longrightarrow V$ a smooth diffeomorphism. Consider ...
0
votes
1answer
33 views

Prove that the index of a vector field is well-defined.

Consider first an open set $U \subset \Bbb{R^m}$ and a smooth vector field $v : U\to\Bbb{R^m}$ with an isolated zero at the point $z \in U$. The function $\overline{v}(x) = v(x)/\|v(x)\|$ maps a small ...
0
votes
1answer
51 views

For which k,n the k-covector is decomposable (14-2 from Lee)

This is homework so no answers please The problem is: Find for which k, n, a k-alternating map $\omega$ can be written as $\omega=\omega_{1}\wedge...\wedge \omega_{k}$ were $\omega_{i}$ are ...
1
vote
2answers
39 views

Submersion surjective on the complex projective space $\mathbb{C}P^1$.

If $S^3=\{ (z_1,z_2)\in\mathbb{C}^2\mid \vert z_1\vert^2+\vert z_2\vert^2=1\}$ and $\pi:S³\rightarrow\mathbb{C}P^1$ for $(z_1,z_2)\mapsto [(z_1,z_2)]$ since $[(z_1,z_2)]=\{ ...
2
votes
3answers
65 views

Definition of the hessian as a bilinear functional on the tangent space

In Milnor's Morse Theory, the Hessian of a smooth function $f : M \to \mathbb R$ defined on a manifold $M$ at a critical point $p$ is the bilinear functional on $T_p M$ defined as follows: ...
3
votes
0answers
29 views

Surgery or Partial Whitney Trick in McDuff and Salamon proof of Gromov squeezing

In the proof of Gromov squeezing in McDuff and Salamon's epic J-Holomorphic Curves and Symplectic Topology, the authors use a surgery argument without any explicit construction. In the following, ...
1
vote
0answers
28 views

Degree of Map between Pseudomanifold

There are two different ways to define a degree of map. Let $M$, $N$ be smooth, and $M$ is compact, $N$ is connected. If $f\in C(M,N)$, we define $\deg f$ by smooth approximation. [Milnor/Topology ...
0
votes
0answers
24 views

Orientability of integrable plane fields

Let $\xi \subset \text{T}M$ be a integrable plane field on a smooth 3-manifold (i.e. the tangent field of a foliation). Is it true that $\mathcal{F}$ is coorientable?
0
votes
0answers
18 views

Realizing a Contact Structure on S^1 x S^2 via an Open Book Decomposition

I am trying to learn about Contact Geometry and Open Book Decompositions. I went through the example of the Hopf Fibration for $S^3$ and how you can see a contact structure. I am now trying to do ...