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

0
votes
0answers
3 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 ...
1
vote
1answer
14 views

Restriction of the projection from compact manifold onto hyperplane is a smooth embedding

Problem: Let $M \subset \mathbb{R}^{n+1}$ be a compact submanifold ($\dim M=k$) and $n \geq 2k + 1$. Show that, for the projection $\pi : \mathbb{R}^{n+1} \longrightarrow H^n$ onto a suitable ...
0
votes
0answers
26 views

Transversality of graphs of functions

Consider the $C^1$ function $f: [0,1] \to \mathbb{R}$. I understand that a curve in the plane that intersects the graph of $f$ non-transversally would be tangent to it at a point of intersection. I ...
0
votes
0answers
24 views

What is an affline manifold? How do check if a space (?) is affline manifold. Is it related to vector space?

I have no idea about differential geometry or topology because I am engineer. I need the conditons to check the applicability of a theorem to particular case.From my search I could only find a wiki ...
1
vote
0answers
40 views

Is every regular curve homeomorphic to an interval I $\subset \mathbb{R}$ or to $\mathbb{S}^1$ or are there other posibilities? [on hold]

Is every regular curve always homeomorphic to an interval or to $\mathbb{S}^1$? If so I would like to know why.
1
vote
0answers
35 views

Unknown proof Lie Algebra

I have a calculation where I do not know what it actually shows. I think it tells me that for right invariant vector fields, the commutator is again right invariant. Maybe somebody here could help me ...
6
votes
1answer
56 views

When does covering preserve rational cohomology?

Let $X$ and $Y$ be compact manifolds. $p:X \rightarrow Y$ is a covering. Generally it is not true that $$ H^* (X , \mathbb{Q} ) = H^* (Y , \mathbb{Q} )$$ For instance, if $Y$ is a sphere with $y$ ...
0
votes
0answers
16 views

Degenerate subspace

A null vector is a nonzero vector that is orthogonal to itself. If W is a subspace of V,let $W^{\perp}$ = [$v{\in}$ W : $v{\perp}$W]. $W^{\perp}$ is a subspace of V called W perp. A subspace W of ...
4
votes
4answers
71 views

Can someone illustrate the definition of manifold with a simple example?

In my text the definition of a differential manifold is given as follows: A subset $M$ of $\mathbb{R}^n$ is a $k$ dimensional manifold if $\forall x \in M$ there are open subsets $U$ and $V$ of ...
0
votes
1answer
42 views

Volume element and orientabality

A volume element on an $n$-dimensional semi-Riemannian manifold $M$ is a smooth $n$-form $w$ such that $w(e_1,\cdots, e_n) = \pm1$ for every frame on $M$. How do I prove A semi-Riemannian ...
1
vote
0answers
30 views

Topological properties of regular and critical points and values

Let $f\colon M\rightarrow N$ be a smooth map between smooth manifolds. Consider the following two statements, the second one under the assumption The set of regular points of $f$ are open in $M$, ...
4
votes
1answer
58 views

Poincaré Lemma, differential forms and I do have troubles

I think I need some hints about a proof I am currently reading in order to understand it. This question is similar to the construction used in Lemma 17.9 in the book "Introduction to smooth manifolds" ...
0
votes
1answer
25 views

What is the meaning of $\Omega^o_n$?

First, write $M^n \sim M^n$ cobordant, if $M^n$ # $M^n = \partial W^{n+1}$. Where # represent connected sum. Then define $ \Omega^o_n = \{ \textrm{closed manifolds} \} / \sim$ From $M^n$ # $S^n$ ...
2
votes
0answers
24 views

Constructing commutative diagram up to homotopy from a smooth map.

This is from the proof of Theorem 20.7 in "Characteristic classes" by Milnor and Stasheff. Let $f : M^n \rightarrow S^r$ be a smooth map where $M$ is smooth $n$-dimensional manifold and $S^r$ is ...
5
votes
2answers
47 views

Even number of points in the preimage of a regular value of a map $f:M^n \to \mathbb{R}P^n$

Let $M^n$ be a closed manifold (I think we can also assume it is connected, though it isn't explicitly stated). Let $f:M^n \to \mathbb{R}P^n$ be a smooth map, and let be $a \in \mathbb{R}P^n$ be a ...
1
vote
0answers
37 views

Existence of Immersion of a manifold in Euclidean space?

I am trying to prove the following claim which I saw in some paper: Let $M$ be an $n$-dimensional smooth, oriented, simply connected manifold, which is homeomorphic to a bounded subset of ...
3
votes
1answer
63 views

Is there an infinite dimensional Lie group associated to the Lie algebra of all vector fields on a manifold?

Since the space $\Gamma(TM)$ of all vector fields on a smooth manifold $M$ is a real Lie algebra with respect to the usual commutator bracket, I was curious if in fact it is the Lie algebra of some ...
5
votes
1answer
54 views

Does every even-dimensional sphere admit an almost complex structure?

We know that there is an almost complex structure on $S^6$ which is not integrable. Is it always possible to find almost complex structures on $S^{2n}$? In particular does $S^4$ admit one?
0
votes
0answers
11 views

If $U$ is an open subset of the manifold $X$, check that $T_x(U)=T_x(X)$ for $x \in U$

Know that I'm already aware that there is a similar question on the forum. However, comments do not allow to clarify my ideas. Let $ϕ:W∈R^k→X$ be a parametrization of $X$ around $x$ so that $ϕ(W)∈X$ ...
1
vote
1answer
30 views

Poincaré invariant corresponds to area?

In this paper(equation 34) click me it says that if we have a symplectic egg, then the area of a $(x_i,p_i)$ clone intersected with the egg is given by the poincaré invariant $\int p dx = \int_0^{2 ...
2
votes
0answers
32 views

Proving Sard's theorem

Theorem: (Sard) Let $f:U\to \mathbb R^p$ be a smooth map with $U$ open in $\mathbb R^n$, and let $C$ be the set of all critical points of $f$. Then $m([f(C)]=0$ where $m$ is the Lebesgue measure of ...
3
votes
1answer
99 views

Perturb a given smooth function to a Morse function relative to fixed level sets, which are already fine.

Let $M$ be a manifold (not necessarily compact) , for the sake of clearness embedded in $\mathbb{R^n}$ and $f\colon M\rightarrow \mathbb{R}$ a smooth function. The theorem of Sard gives us that ...
2
votes
1answer
36 views

Is level set near a maximum value a circle?

Let $f$ be a $C^2$ function defined on $[0,1] \times [0,1]$. Let $0 \leq f(x) < 1$ on $[0,1] \times [0,1] \setminus \left(\frac{1}{2},\frac{1}{2}\right)$ and $f(\frac{1}{2},\frac{1}{2})=1$. It has ...
0
votes
2answers
60 views

What is the inverse limit?

In his book of Differential Topology, Hirsch starts a little detour in his theory in order to present a way to see things in a general perspective. The precise fragment I'm referring to is the ...
0
votes
1answer
29 views

About the Chern class of the determinant line bundle

Is it true that the first Chern class of a rank $k$ complex line bundle is equal to the first Chern class of its determinant line bundle?
3
votes
0answers
32 views

Error in Hirsch?

Consider the following lemma: In the fragment: Write $\displaystyle X= \bigcup_{1}^{\infty} X_j$ where each $X_j$ is a compact subset of a ball $B$ as above. why is he allowed to do that? If ...
1
vote
1answer
23 views

Obstruction to the existence of constant-rank sections of $T^*M\odot T^*M$

If $\alpha$ is a section of $T^*M\odot T^*M$, where $M$ is a smooth manifold, the rank of $\alpha$ at $m\in M$ is the codimension of the kernel of $\alpha_m$, i.e. the subspace of vectors $v_m\in ...
0
votes
0answers
22 views

The pullback bundle

Consider a smooth fibre bundle $P:E\to B$ over a base $B$ with fiber $F$, and a trivializing family $\{(\phi_a:P^{-1}(U_a)\tilde =U_a\times F\}_{a\in A}$. Let the clutch functions of this family be ...
3
votes
1answer
67 views

If a Subset Admits a Smooth Structure Which Makes it into a Submanifold, Then it is a Unique One.

$$ \newcommand{\wh}{\widehat} \newcommand{\R}{\mathbf R} \newcommand{\mr}{\mathscr} \newcommand{\set}[1]{\{#1\}} \newcommand{\inclusion}{\hookrightarrow} \newcommand{\vp}{\varphi} $$ I am trying to ...
0
votes
1answer
42 views

Covariant derivative (or connection) of and along a curve

Let $c:[a,b] \rightarrow M$ be a curve parametrized by arc-length. Then $c': [a,b] \rightarrow TM$ such that $c'(t) \in T_{c(t)}(M).$ So essentially, I want to understand how $\nabla_{c'}c'$ is ...
0
votes
1answer
11 views

Express covariant transformation conveniently

Let $\omega = \sum_i \omega_i dx^i = \sum_{i} \nu_i dy^i$ be a 1-form in two different bases. Now, $(\omega_1,...,\omega_n)$ transform covariantly to $(\nu_1,...,\nu_n).$ My question is, can we ...
5
votes
1answer
45 views

Tautological line bundle over $\mathbb{RP}^n$ isomorphic to normal bundle? Also “splitting” of transition functions

Hallo fellow mathematicians. I try to understand why the normal bundle of $\mathbb{PR}^n$ is isomorphic (in the category of vector bundles) to the tautological line Bundle. More aptly, why ...
3
votes
2answers
55 views

Differential forms in Physics

In the context of physics, I just read about the the symplectic 2-form $\omega$ on a symplectic manifold $M$ of dimension $2n$. Unfortunately, I could not follow a few arguments. I.e. it was said ...
1
vote
0answers
29 views

Difficulties on proof of $\epsilon $-Neighborhood Theorem.

I'm trying to proof the $\epsilon$-Neighborhood Theorem from Guillemin and Pollack's book. I'm not good at topology, and I'm having some difficulties to completely understand the theorem. For the ...
4
votes
1answer
41 views

Nonorientable manifolds being a boundaries

I will say that a manifold (smooth, compact, without boundary) is itself boundary if there is some smooth compact manifold $W$ with boundary, such that $M=\partial W$. I'm interested in nontrivial ...
1
vote
0answers
35 views

De Rham cohomology of $T^n$ using Künneth formula and Chevalley-Eilenberg theorem.

I want to calculate $H^*(T^n)$ with ring structure using both of these methods. Künneth formula gives $$ H^p(T^n)=H^p(S^1\times T^{n-1})=\bigoplus_{i+j=p}H^i(S^1)\otimes H^j(T^{n-1}) $$ for each ...
7
votes
1answer
42 views

Grassmanians and boudaries of manifolds

Let $M$ be a smooth, compact manifold without boundary. I will say that $M$ is a boundary when there is a smooth, compact manifold with boundary $W$ such that $\partial W=M$. After some lectures I ...
1
vote
1answer
30 views

Understanding Result on Non-Degenerate Critical Points

I read a result in a collected works of Steven Smale and one result leapt out at me which I'm clearly not understanding. Stated: Theorem 1.1 (a): Suppose $J: M \to \mathbb{R}$ is a $C^2$ ...
3
votes
1answer
26 views

A differentiable fiber bundle exists for any family of clutching functions.

Lemma: Let $F$ be a smooth manifold and let $\{U_a\}_{a\in A}$ be a covering of a manifold $B$, and let $\{g_{ab}\}_{a,b\in A}$ be a family of clutching functions. That is, $g_{ab}:U_a\cap U_b\to ...
2
votes
1answer
66 views

Is a mapping a homeomorphism

I'm considering the mapping $\Psi: C^2([0,1])$ to $C^1([0,1])$ via: $f(x) \mapsto f(x)+x\cdot f'(x)$. Is this mapping a homeomorphism? It should be continuous given that, for any sequence $(f_n) \in ...
1
vote
0answers
23 views

solubility of nonlinear overdetermined PDE for holonomic scaling of a frame

This question is essentially a tweak of under what conditions can orthogonal vector fields make curvilinear coordinate system? . Suppose we have a frame of vector fields $\nu_i$ on $\mathbb{R}^n$. As ...
2
votes
1answer
32 views

The inverse of a smooth bundle map is smooth.

Consider smooth fiber bundles $P_i:E_i\to B_i,\quad i=1,2\quad$ with fiber $F$. Let $\tilde f:E_1\to E_2$ be a smooth bundle map. That is a smooth map which preserves the fiber $F$. Let $f:B_1\to B_2$ ...
2
votes
1answer
41 views

Tangent space change of bases

Let $M\subset \Bbb{R}^m$ be a $k$-dimensional differentiable submanifold. Let $(\varphi, U)$ and $(\psi, V)$ be two charts for $p\in M$ with $\varphi(x)=p$ and $\psi(y)=p$. Then we have two bases for ...
0
votes
1answer
19 views

Subset of a smooth manifold

I am actually in the resolution of the problem Show that $\Delta$ is diffeomorphic to X, so $\Delta$ is a manifold if $X$ is. - "Differential topology" of Guillemin and Pollack (my own ...
1
vote
0answers
32 views

Show that $\Delta$ is diffeomorphic to X, so $\Delta$ is a manifold if $X$ is. - “Differential topology” of Guillemin and Pollack

I know that we can refered to the question How to show that the diagonal of $X\times X$ is diffeomorphic to $X$?. I have the same question with an answer, and I needed that someone tell me if it is ...
2
votes
0answers
24 views

Proof of Reeb's theorem without using Morse Lemma

I'm trying to prove Reeb's theorem as stated in Milnor's Morse Theory. That is, suppose we have an $n$-manifold $M$ together with a smooth function $f$ with exactly two critical points (both ...
1
vote
0answers
20 views

Show that the projection map $X \times Y \rightarrow X $, carrying $(x,y) \rightarrow x$, is smooth.

How do I show that the projection map from $X \times Y \rightarrow X $, carrying $(x,y) \rightarrow x$, is smooth? A map $f:X \rightarrow R^m$ defined on an arbitrary subset $X \subset R^n$ is called ...
2
votes
1answer
70 views

Prove or disprove any continous map $f$ from $T^2$ to $RP^2$ is null-homotopic.

I tried to solve the following question: Prove or disprove any continous map f from $T^2$ to $RP^2$ is null-homotopic. We know the universal cover of $RP^2$ is $S^2.$ I want to construct a map $g$ ...
104
votes
5answers
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 ...
2
votes
0answers
33 views

What can I say of an $m$-dimensional submanifold $S$ of an $m$-dimensional manifold $M$?

I consider a differentiable manifold $M$ of dimension $m$. Let be $S$ a submanifold of $M$ of the same dimension $m$. What can I say about $S$? I have tried to prove that $S$ is open but I get ...