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

2
votes
1answer
46 views

Why is every derivation a vector?

We can see the vectors of the tangent space $T_pM$ to a smooth manifold as velocities of curves. This is elaborated here. Each velocity $\gamma'(0)$ corresponds to a derivation $D_{\gamma}(f) = (f ...
2
votes
2answers
85 views

Is the $G$-action on a principal $G$-bundle proper?

Let $G$ be a Lie group. If $G$ acts properly and freely on a manifold $P$, then it is well-known that $P \to P/G$ form a principal $G$-bundle. I would like to know the converse: namely Question: if ...
1
vote
0answers
32 views

A question about the existence of a smooth function [duplicate]

Does there exists a smooth function $f: R^2 \rightarrow R$, such that $f(x,y)\ge0$, for any $(x,y) \in R^2$, and $f$ has exactly two critical points $(x_1,y_1), (x_2, y_2) \in R^2$ with ...
0
votes
1answer
40 views

Help understanding a proof in differential geometry

I was reading John Milnor's Topology from the Differentiable Viewpoint and there's a proof of the fundamental theorem of algebra at the end of the first chapter that I don't fully understand. I can ...
0
votes
0answers
46 views

What is $T^*(\mathbb{A}^1)$?

Let $\mathbb{A}^1$ be the affine line and $T^*(\mathbb{A}^1)$ the contangent space of $\mathbb{A}^1$. What is $T^*(\mathbb{A}^1)$? Is $T^*(\mathbb{A}^1) = \mathbb{A}^2$? Thank you very much.
2
votes
1answer
87 views

$\mathbb{R}^2$ is a Retract of $\mathbb{R}^5$

Looking through some old qualifying exams, I noticed the question: Let $X\subseteq \mathbb{R}^5$ be homeomorphic to $\mathbb{R}^2$. Prove that $X$ is a retract of $\mathbb{R}^5$. I'm not even sure ...
7
votes
2answers
168 views

Interpretation of $p$-forms

Let $M$ be a smooth manifold, let $C^{\infty}(M)$ be set of all smooth functions from $M$ to $\mathbb R$ and let $Vec(M)$ denote the set of all vector fields on $M$. A $1$-form on $M$ is a ...
3
votes
0answers
117 views

Avoiding vertical vectors in tangent spaces.

Let $i: [0,1]\hookrightarrow\mathbb{R}^3$ be a smooth embedding. Can I find arbitrary small perturbations $j$ of $i$ s.t. $j(0)=i(0)$, $j(1)=i(1)$ and $j'(t)$ is never a multiple of $(0,0,1)$? More ...
2
votes
1answer
52 views

Stability of the nonempty intersection of an open set $A$ with a set $S$ under homotopy?

To be more precise: let $F(x,t) : R^2 \times I \to R^2$ be a homotopy of open maps $F(_,t)(x)$ (the restriction of $F$ to some fixed $t$) (the homotopy is continuous in both variables). Suppose that ...
3
votes
1answer
81 views

Real analysis with a non-standard topology

I have recently undertaken a self study of topology and am using Munkres Topology 2nd edition as the primary text. My background(theoretical chemistry & physics) is almost entirely void of any ...
5
votes
4answers
245 views

Prove no existing a smooth function satisfying … related to Morse Theory

i) Show that there does not exist a smooth function $f:\mathbb{R} \rightarrow \mathbb{R}$, s.t. $f(x) \geq 0$, $\forall x \in \mathbb{R}$, $f$ has exactly two critical points, $x_1,x_2\in\mathbb{R}$ ...
3
votes
1answer
46 views

Can a proper Morse function $\mathbb{R}\to\mathbb{R}$ have infinitely many critical points?

Depending on interpretation, there may be an assumption missing from Exercise 6.1.4(a) in Liviu I. Nicolaescu's Invitation to Morse Theory: Suppose $f : \mathbb{R} → \mathbb{R}$ is a proper Morse ...
2
votes
1answer
57 views

Characteristic classes not defined on vector bundles

If you read the definition on Wikipedia, you'll see that they allow characteristic classes to be defined on general principal $G$-bundles (vector bundles being subsumed in this general case by looking ...
1
vote
1answer
18 views

natural projection on a slice

I'm currently studying Warner's book "Foundations of Differentiable Manifolds and Lie Groups". Within the proof of the Frobenius Theorem he is constructing a slice $S$ of a coordinate system ...
3
votes
1answer
25 views

Extensions of diffeomorphisms of $S^2$ and the connectedness of $\text{Diff}^+(S^2)$

In this MO question by Daniel Moskovich, he claims that the fact that every diffeomorphism of $S^2$ extends to a diffeomorphism of $D^3$ implies that $\text{Diff}^+(S^2)$, the group of ...
0
votes
0answers
56 views

Accepted symbol (or way of writing) “A is a subset of B or B is a subset of A”

I am looking for a concise way to write the statement "$A$ is a subset of $B$ or $B$ is a subset of $A$". The context is the Grassmannian and two elements $A,B\in G_k(\mathbb R^n)$ in it. The two ...
7
votes
1answer
116 views

Connected sum in an ambient space

Let $M$ be a smooth c connected $m$-manifold, $N_1$, $N_2$ two smooth disjoint connected $n$-submanifolds with boundary, both contained in the interior of $M$ (if necessary). Assume that $M\setminus ...
1
vote
0answers
33 views

Computing geodesic distances from structural data

I am attempting to compute geodesic distances on manifolds where structural data have been sparsely sampled. First, off I am not well versed in the mathematics of differential geometry but I do have ...
3
votes
1answer
36 views

Does there exist a dipole field on $S^2$ differing by at most a minus sign between antipodal points?

Consider the two-sphere $S^2 \subset \mathbb{R}^3$. By a dipole field on $S^2$, I mean a continuous function $f \colon S^2 \to S^2$ such that (1) $x$ is perpendicular to $f(x)$ for all $x \in S^2$ ...
4
votes
1answer
63 views

Principle G bundles v.s. Flat G connection

What is the difference between Principle G bundles v.s. Flat G connection? I heard that for a discrete group $G$ (in physics, or a finite group $G$ in math), the principle G bundles is the same ...
8
votes
1answer
213 views

Surgery results in a cylinder

While reading a proof of a theorem about Reshetikhin Turaev topological quantum field theory, I encountered the following problem. Suppose we have several unlinked unknots $K_i$, $i=1, \dots, g$ in ...
7
votes
0answers
74 views

Definition of bordism - gluing manifolds with structure

In general, when you have a "cobordism category" (as defined in Stong's Notes on Cobordism Theory) you define two objects $M,N$ to be bordant when there exist $U,V$ such that $M \amalg \partial U ...
1
vote
1answer
30 views

Closed regular neighborhood

I would like to understand the following sentences. Let $L$ be a framed link in the three dimensional sphere $S^3$. Suppose $L$ has $m$ components $L_1, \cdots, L_m$. Let $U$ be a closed regular ...
4
votes
0answers
73 views

Generalizing the Hopf invariant to arbitrary manifolds

I recently ran across a qual question about a generalization the Hopf invariant to smooth maps $f: M^{4n-1} \to N^{2n}$ between arbitrary closed connected oriented manifolds of the indicated ...
2
votes
1answer
45 views

Intuition behind the definition of a derivative by Lang

In Serge Lang's Introduction to Differentiable Manifolds he says that a function $f:U\to F$ is differentiable at a point $x_0\in U$ if there exists a linear map $\lambda$ of $E$ into $F$ such that, if ...
2
votes
3answers
78 views

What is the pushforward of a function (not a vector)

If we have two manifolds $M$, $N$ with the map $f:M \to N$, then this induces a map between their tangent spaces $f_*:T_pM \to T_{f(p)} N$. By duality, another map exists $f^* : T^*_{f(p)}N \to ...
0
votes
0answers
19 views

Question on framed bordism classes definition

I was reading recently about cobordism, and in specific about the Thom-Pontraygin theorem which states $\pi_{k}(S^n)$ is isomorphic to the cobordism classes of framed $n$-manifolds in $R^k$. In ...
0
votes
0answers
29 views

Reference requestion: Existence/construction of bump functions

I'm not much of an analyst myself, but I've time and time again come across proofs which require knowledge of the existence of bump functions. However, I've never studied them, so I'm missing ...
8
votes
0answers
153 views

Am I reading Bott - Tu right?

Summary: I'm finding Bott - Tu to be too brief and terse. I constantly have to look elsewhere to fill in details. This is not time-efficient. Am I missing something? If not - what other books do ...
0
votes
1answer
32 views

homotopying a function to itself by a regular homotopy

I wonder whether there is a smooth function $f:\mathbb{S}^{1}\rightarrow \mathbb{R}^{1}$ which may be homotoped to itself by a regular homotopy $H(x,t)$, i.e. by a smooth ...
2
votes
0answers
58 views

Reduction of structure group of real vector bundles

I'm trying to show that the structure group of real vector bundles can be reduced to the orthogonal group. This is an exercise in Differential Forms in Algebraic Topology by Bott and Tu. The book ...
5
votes
1answer
104 views

Poincare dual of unit circle

I'm trying to self-study Differential Forms in Algebraic Topology by Bott and Tu. I've come across this exercise: Show that the closed Poincare dual of the unit circle in $ R^2-\{0 \} $ is zero, ...
1
vote
1answer
85 views

Change of Coordinate Formula for Differential Forms

Let $M$ be a manifold, $x$ local coordinates on an open set $U$, $y$ local coordinates on an open set $V$. In addition, let $(x, \alpha)$ and $(y, \beta)$ be two induced bases for the common part of ...
0
votes
1answer
30 views

Linking number of a pair of circles

Definition Given disjoint manifolds $M$, $N\subset \Bbb{R}^{k+1}$, the linking map $\lambda: M\times N\to S^k$ is defined by $\lambda(p, q) = (p - q)/||p - q||$. If $M$ and $N$ are compact, oriented, ...
0
votes
0answers
40 views

Turning a torus inside-out

Smale's paradox is now famous, and great videos can be found illustrating it. Similarly, there is a video showing how to turn a torus inside-out. The solution seems to be simpler, but is the proof ...
4
votes
1answer
98 views

Metric Tensors and its Taylor Expansion in Normal Coordinates

With metric tensors of the unit sphere in normal coordinates, their Taylor series for $p\in S$ near the north pole $N$ can be written as follows. $$g_{rr}(p) \equiv 1; g_{r\theta}(p) = g_{\theta ...
1
vote
1answer
67 views

Reference about Gauss-Bonnet-Chern theorem.

I would like to get some references which explains Gauss-Bonnet-Chern theorem and its original proof by Chern. I tried to read his paper published in 1944 "A Simple Intrinsic Proof of the Gauss-Bonnet ...
3
votes
1answer
64 views

Metric Tensors in Geodesic Normal Coordinates

Consider the unit sphere and its north pole $(0, 0, 1)$. My question is how to write the metric tensor $g_{ij}$ in geodesic normal coordinates. I know that metric tensors are defined as inner product ...
3
votes
1answer
56 views

Looking for a good book on Morse-Bott functions.

I am looking for a book to study for the first time Morse-Bott functions. Does anyone know one that is easy to follow and detailed? If there is one connecting this subject with symplectic geometry, it ...
1
vote
1answer
30 views

DeRham Chohomology of the Circle and the Torus

I want to compute the first DeRham Chohomologygroup of the circle, thus in symbols $H^1_{dR}(S^1)$. Let $p(x)=e^{ix}$ the map from $\mathbb{R}$ to the circle $S^1$, $\Omega^1(S^1)$ the set of all ...
1
vote
1answer
28 views

differentiable map on sphere

I'm trying to show that if $f:S^n\to \mathbb{R}$ is differentiable, then there are two distinct points $p,q\in S^n$ where the differentials $T_pf$ and $T_qf$ vanish. Any suggestions?
0
votes
0answers
30 views

Neighbourhood of set of functions!

I am going through some topology papers and i encountered strange notation of neighbourhood (of set of functions) which I don't understand. Can you please elaborate that notation for me? Here it ...
5
votes
0answers
40 views

How to kill homotopy groups using framed cobordism

Let $M$ be an orientable manifold (with or without boundary), $N$ a framed submanifold in the interior of $M$ and assume (if necessary) that $\dim N<(\dim M)/2$. If some low-dimensional homotopy ...
2
votes
1answer
36 views

Wedge product of basis elements of cohomology

Let $M$ be a compact, connected, oriented 4-manifold without boundary. If $H^2(M)\cong \mathbb{R}^2$ and I have a basis $\{[\omega_1],[\omega_2]\}$ for $H^2(M)$, is it the case that $[\omega_1\wedge ...
4
votes
0answers
62 views

A question on harmonic two-forms

Let $(M^4,g)$ be a closed Riemannian four-manifold with $b_2^+>0$ and $b_2^->0$, is it possible to find two harmonic two-forms $\alpha\in H^2_+(M)$ and $\beta\in H^2_-(M)$, such that ...
0
votes
1answer
43 views

When is an exact 2-form harmonic?

Let $\alpha$ be an exact two-form, $\alpha=d\beta$ for some one-form $\beta$, when is $\alpha$ harmonic? By uniqueness of harmonic forms in cohomology classes, it cannot be harmonic?
1
vote
0answers
68 views

Prove that it is a regular point

Good night, my friends, can you help me with these exercise? Let $N$ a $k$-manifold, $X$ a compact $(k+1)$-manifold in $\mathbb R^N$, and $F:X\rightarrow N$ a differentiable map. Let $y\in ...
0
votes
0answers
38 views

Sections of the dual bundle of a smooth vector bundle

Let $M$ be a smooth manifold and $E,F,G$ smooth vector bundles over $M$. Denote the global sections by $\Gamma(.)$. In this question, it is proven that the canonical map ...
3
votes
1answer
51 views

Normal bundle of the two-dimensional sphere manifold embedded in $\mathbb R^4$

Let $M \subset \mathbb R^4$ be a smooth manifold diffeomorphic to $S^2$. How can one prove that normal bundle of $M$ has at least one non-vanishing global section. I think that $M$ should be ...
0
votes
1answer
25 views

Euler class is odd under orientation, thus its integral over a manifold will be even.

I learned a statement from others: "Euler class is odd under orientation, thus its integral over a manifold $M$ is even." I cannot fully appreciate it, can someone show this explicitly? The ...