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
2answers
129 views

Non existence of a non singular vector field on $S^2$

Prove that the unit tangent bundle of $S^2$, $T^1 S^2$, is not diffeomorphic to $S^2×S^1$ by showing that if so there exists a nowhere vanishing vector field on $S^2$ I do not know how to create that ...
9
votes
2answers
204 views

Is there a retraction of a non-orientable manifold to its boundary?

It's easy to show using Stokes theorem that a compact orientable manifold with boundary cannot retract to its boundary, by choosing a volume form. But for the non-orientable case I don't know if this ...
7
votes
0answers
132 views

If a thread is pulled out of a floating blob of water, must the thread be tangent to the surface of the blob at some point?

My motivation is the recent question I just answered, and my answer use too many hypothesis that I considered superfluous: Always "one double root" between "no root" and "at ...
8
votes
1answer
172 views

Does de Rham theorem hold for manifolds with boundary?

I am following the J.Lee's book "Introduction to Smooth Manifolds", 2nd ed., page 480-486 to learn the de Rham theorem. It is proven on manifolds without boundary, which makes me curious about whether ...
0
votes
0answers
22 views

Show differential of $f:S^{m}\times S^{n}\to S^{m+n+mn}$ is injective

The problem is find to the differential of $f:S^{m}\times S^{n}\to S^{m+n+mn}$ (spheres) defined as $f(x_{0},...,x_{n},y_{1},...y_{n})=(x_{0}y_{0},x_{0}y_{1},...,x_{n}y_{1},x_{n}y_{n})$ and show it is ...
0
votes
1answer
28 views

Differential of rotation matrix at the north pole of sphere

Let T(p) rotate $p\in S^{2}$ by angle $\theta $ about the z-axis. The problem is to compute $dT_{(0,0,1)}$. T can be represented by the usual 3x3 rotation matrix $A_{z}(\theta)$. So $T(p)=A_{z}p$. ...
4
votes
2answers
76 views

Is there a characteristic property of quotient maps for smooth maps?

If $\pi\colon X\to Y$ is a quotient map, and $f\colon Y\to Z$ is a continuous map between topological spaces, then the characteristic property of the quotient map says $f$ is continuous iff $f\circ ...
1
vote
1answer
31 views

A bounded domain can be considered as a compact manifold?

A bounded domain $\Omega$ with smooth boundary $\Gamma$ can be considered as a compact connect Riemannian manifold?
3
votes
0answers
65 views

Submanifold of $2\times 2$ Complex Matrices Using Transversality?

Let $M$ be the set of all $2\times 2$ complex matrices with $a_{21}=\bar a_{12}$. $M$ is a smooth manifold diffeomorphic to $\mathbb{R}^6$. Let $W$ be the subset consisting of all matrices in $M$ with ...
0
votes
0answers
42 views

Link complement simply-connected if codimension $\geq 3$

In Rolfsen, page 50 says that "an easy general position argument shows that a PL link $L^k$ in $S^n$ has simply-connected complement if $n - k > 3$," where $L^k$ is a $k$-dimensional link in $S^n$. ...
4
votes
2answers
54 views

Geometrically, what is the stereographic projection of a closed $n$-ball?

To show $\overline{B^n}$ is a $n$-manifold with boundary, apparently there is a trick to use stereographic projection after subtracting out the radius connecting $0$ to the north pole. I'm familiar ...
2
votes
2answers
114 views

Stiefel-Whitney classes of 3-manifolds are trivial

Is there a simple way how to show that Stiefel-Whitney classes of a compact closed 3-manifold $M$ are zero? This is exercise 11-D in Milnors Characteristic classes. The available tools in the ...
3
votes
2answers
46 views

Equality between support for a function and closed union of elements of a partition of unity (Proof from John Lee's Smooth Manifolds)?

I have a minor question in the following proof from John Lee's Intro to Smooth Manifolds: At the end, there is the equality $\mathrm{supp}\tilde{f}=\overline{\bigcup_{p\in A}\mathrm{supp}\psi_p}$. ...
6
votes
3answers
106 views

How to know if a tangent bundle is trivial from its defining equations

In this question, I am considering only regular manifolds. A Trivial Bundle The circle $S^1$ is known to have a trivial tangent bundle. As a subset of $\mathbb{R}^4$, the tangent bundle of $S^1$ ...
2
votes
0answers
68 views

Alexandrov embedness and branch points

Let assume that $\Sigma_n$ is a sequence of compact surfaces in $\mathbb{R}^3$ of fixed genus. We assume that the surfaces are Alexandrov embedded, that is to say there exits an immersion $i_n$ from ...
2
votes
4answers
338 views

Should I read about Manifolds or Algebraic Topology?

I really enjoy doing maths and it fills quite a lot of my spare time. I'm starting my first year in the university on october and I probably won't have that much time for independent reading once ...
2
votes
0answers
76 views

Role of the Thom space in the Pontryagin-Thom construction

I am trying to understand the Pontryagin-Thom theorem; especially how the Thom space comes into play. Just to bring everyone on the same page: I am specifically talking about the construction of an ...
2
votes
2answers
65 views

Embedding of $\mathbb{R}^2 \to \mathbb{R}^3$ with non-parallel tangent planes

I have a qual question here and I'm struggling to get a good starting point. The question asks to construct a smooth proper embedding $f\colon \mathbb{R}^2 \to \mathbb{R}^3$ such that for any distinct ...
1
vote
1answer
48 views

Smooth Submanifolds of $\mathbb{RP}^3$

Let $ M=\{[z_0,z_1,z_2, z_3] \in \mathbb{RP}^3 | (z_0-z_3)^2+az_1^2=0\}$, where $a\in \mathbb{R}$. Show that $M$ is a smooth submanifold of $\mathbb{RP}^3$ of dimension $2$ when $a=0$, but not if ...
1
vote
1answer
39 views

Show this Map $f:M\rightarrow S^n$ is a Diffeomorphism

Let $M$ be a compact, connected smooth manifold of dimension $n>1$, and $f:M\rightarrow S^n$ a smooth map such that the differential $df_x:T_xM\rightarrow T_{f(x)}S^{n}$ has full rank $= n$ for all ...
1
vote
0answers
17 views

Is the natural map $\Omega^*(M)\otimes \Omega^*(F) \rightarrow \Omega^*(M\times F)$ injective?

As I self-study Bott and Tu 's Differential Forms in Algebraic Topology, I am stopped by some quite basic questions: 1) Let $M$ and $F$ are real manifolds, and let $\pi : M\times F \rightarrow M$ and ...
2
votes
1answer
80 views

Is complex projective space simply connected?

I know real projective space isn't simply connected, what about complex projective spaces?
3
votes
1answer
38 views

Two definitions of framed manifolds/cobordism

One notion of framed cobordism is that $\Omega_{fr}^n(X)$ is a certain equivalence class of $n$-manifolds $M^n$ in $X$ with a trivialization of the normal bundle $N M^n\subseteq TX$. For compact ...
2
votes
1answer
92 views

What makes a Lie Group a Differentiable Manifold?

I've recently been trying to glance at the definition of a Lie group, but I'm not clear as to why a Lie group is defined the way it is, and why this becomes a smooth manifold. For example, if we have ...
1
vote
0answers
68 views

Preimages of smooth maps between manifolds

Suppose $M$ and $N$ are both compact, connected, oriented $m$-manifolds without boundary and $f: M \to N$ is smooth. What additional condition(s) must $f$ satisfy so that there exists at least one ...
1
vote
0answers
37 views

Two isomorphisms of the space of vector fields/forms

Suppose you have a diffeomorphism $$ \phi: M \to N. $$ As far as I understand, this gives rise to two distinct isomorphisms $$ a : \mathcal A^1(M) \cong \mathcal A^1(N) :b $$ between the space of ...
4
votes
1answer
86 views

Orientation of hypersurface

Some books on mean curvature flow (e.g. Mantegazza, Ecker) state that an embedded hypersurface in $\mathbb{R}^{k+1}$ is orientable (Mantegazza page 3, Ecker page 110). In other words, they assume the ...
1
vote
0answers
62 views

Almost Every Hyperplane is Transverse to $M$

Let $M$ be an $n$-dimensional manifold embedded in $\mathbb{R}^{n+1}$. I am trying to show that almost every hyperplane in $\mathbb{R}^{n+1}$ is transverse to $M$. To show that I would like to prove ...
5
votes
1answer
72 views

Derivative of the inclusion of a submanifold

I know there are other questions similar to this one, but I just want you to tell me if what I'm doing is rigth and how to improve it. The problem is the following: (I'm using the definitions by ...
2
votes
0answers
37 views

How to put a structure of Fréchet space on $\Gamma(E)$?

Let $\pi: E \to M$ a smooth vector bundle over M. If $(M,g^{M})$ and $(E,g^{E})$ are complete manifolds. Consider $\nabla$ a conection on $E$. We can define these semi-norms ...
4
votes
3answers
161 views

Why can't we usually speak of partial derivatives if the domain is not open?

In the book by Guillemin & Pollack they define a function $f$ from an open subset $U\subset R^n$ to $R^m$ to be smooth if it has continuous partial derivatives of all orders. Then they say ...
8
votes
1answer
69 views

Parametrizing Walks on Sphere and Torus

This question is very underdeveloped, but I was wondering if there was a map from the sphere to the torus which preserves length of closed curves? I was just thinking about taking a walk on a ...
3
votes
1answer
95 views

Affine connection on a Lie group.

Let $G$ be a Lie group. For $g \in G$, we can define a diffeomorphism $l_g: G \to G$ by $l_g(x)=gx$, and a bundle map ${l_g}_*:TG \to TG$. Then, I guess that we can obtain the affine connection on $G$ ...
3
votes
1answer
130 views

Product neighborhood theorem with boundary

The Product Neighborhood Theorem states that if $N\subseteq M$ is a smooth compact submanifold without boundary of codimension $n$ and there is a trivialization of the normal bundle (wrt. some smooth ...
2
votes
1answer
60 views

Proving a Certain Smooth Map $S^n\rightarrow S^n$ is a Diffeommorphism

I am given a smooth map $f:S^n\rightarrow S^n$, for $n\geq 2$, whose differential is injective at each point. I am asked to prove that it is a diffeomorphism. Since the differential is injective ...
1
vote
3answers
114 views

Why are open sets used in definitions in differential geometry?

I find that in most definitions in differential geometry, such as those of defining a manifold, a smooth manifold,differentiable functions, diffeomorphisms on manifolds, an atlas,etc , open sets are ...
0
votes
1answer
61 views

Show That $\dim H_m(\partial M;\mathbb{R})$ is Even

A student asked me this. Suppose that $M$ is a compact, orientable $n$-manifold with boundary. It is a fact that for each $k$ with $0\leq k\leq n$ the vector spaces $H_k(M;\mathbb{R})$ and ...
1
vote
0answers
22 views

a question related with morse theory [duplicate]

Show that there exists no smooth function $f:\mathbb{R}^2→\mathbb{R}$,such that $f(x,y)\geq 0$ for any $(x,y)\in\mathbb{R}^2$, with exactly two critical points$(x_1,y_1)\in\mathbb{R}^2$, ...
2
votes
1answer
50 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
90 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 ...
0
votes
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
50 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
47 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
89 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
172 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
118 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
54 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
99 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
256 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
58 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 ...