# Tagged Questions

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.

600 views

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 ...
200 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 ...
77 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 ...
66 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 ...
82 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 ...
27 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 ...
262 views

### Is complex projective space simply connected?

I know real projective space isn't simply connected, what about complex projective spaces?
69 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 ...
145 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 ...
149 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 ...
68 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 ...
356 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 ...
129 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 ...
212 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 ...
50 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 ...
454 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 ...
110 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 ...
249 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$ ...
300 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 ...
75 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 ...
142 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 ...
76 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 ...
23 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$, ...
67 views

47 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 ...
46 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$ ...
374 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 ...
246 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 ...
259 views

45 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 ...