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
1answer
28 views

Pullback on differentials of the 2-Sphere

I'm considering the diffeomorphism of the 2-Sphere given by the antipodal map and the pullback given by this map on the differentials $d\theta$ and $d\phi$. Let $\psi$ be such a map. My intuition ...
0
votes
0answers
22 views

Directional derivative near the bounder .

Let $\varphi:B^n\rightarrow B^n$ be a differential homeomorphism, $B^n$ is unit ball of $R^n$ , and $\overrightarrow{n}$ is outer normal vector of $B^n$. I feel that $$ \frac{\partial ...
1
vote
0answers
29 views

How to show that in a 6 dimensional manifold $\ast_6 A = - J \wedge A$ for $A^{1,1}$ primitive $1,1$ complex form and $J$ k\"ahler form

Given a 6 dimensional manifold, of complex dimension 3, take the Hodge star operator $\ast_6$ and a primitive (1,1)-form $A_2$ (i.e. such that $J \wedge \ast_6 A = J_{mn}A^{mn}=0$ and also $J\wedge J ...
1
vote
1answer
50 views

Is the normal bundle of a hypersurface in a orientable manifold trivial?

Suppose $N^{n+1}$ is a orientable smooth manifold, $M^n$ is a smoothly embedded hypersurface in of $N^{n+1}$. Is the normal bundle of $M^n$ trivial?
2
votes
1answer
58 views

An example of a compact topological manifold which has one cover?

I have been studying compact topological manifolds lately, in particular the $n$-sphere, $S^n$. The reason $S^2$ cannot be covered by one chart is because it is closed and bounded (and hence, by ...
3
votes
1answer
74 views

Prove that the unit circle centred at the origin is a submanifold of $R^2$.

I am having trouble applying the definition of submanifold. In this question, how do I select an atlas for $R^2$ and then how do I choose an atlas for $S^1$? This is the definition I am using:
1
vote
1answer
43 views

Least number of embedded hypersurfaces which separate a compact manifold

Suppose that $N^{n+1}$ is a connected closed smooth manifold. Define $$S(N^{n+1}) = \min \bigl\{ k \mid \forall (M^n_i), \, \bigcup_{i=1}^k M^n_i \text{ separates } N^{n+1} \bigr\}.$$ Here $M^{n}_i$ ...
5
votes
2answers
201 views

Homotopically trivial $2$-sphere on $3$-manifold

Let $S^2$ be an embedded sphere in a $3$-manifold $M^3$ such that $[S^2]$ is trivial in $\pi_2(M)$. Can we find an embedded disk $D^3$ in $M$ such that $\partial D^3=S^2$?
1
vote
0answers
145 views

Prove the tangent space at a point $x$ of the $n$-sphere is the space $\{v \in \mathbb{R}^{n+1} : v\cdot x=0\}$

I can see why this is true but I'm not sure how to prove it, any help would be appreciated. Prove that the tangent space $TS^{n}_{x}$ at a point $x$ on the $n$-sphere $S^{n}:=\{x \in ...
1
vote
1answer
110 views

Prove that $df_{x}: TM_{x} \rightarrow TN_{f(x)}$ is a well-defined map

I was wondering if someone could help me with the following problem, any help would be greatly appreciated. Let $f:M \rightarrow N$ be a $C^{\infty}$ map between smooth manifolds. Given $x \in M$, ...
0
votes
1answer
20 views

Prove that if (M, U) is a smooth n-dimensional manifold and p ∈ M, then there is a chart x: U → Rn such that x(p) = 0.

This is a textbook problem from the book Introduction to Manifolds by Tu(Pg-41). I have no idea how to go about this problem. Any hints/suggestions would be greatly appreciated.
1
vote
1answer
65 views

integrate over a cube given some differential form

What is process of integrating a differential form given some cube (hyperdimensional obejcts)? I read a lot qualitative problems on this, but seem to find rare examples on how to compute such ...
-1
votes
1answer
20 views

Laplacian of a function at points of extrema

Consider a smooth function $f$ on a compact manifold $M$. Let $p$ be a point where $f$ is maximum and $q$ be a point where $f$ is minimum. Do we necessarily have $\Delta f|_p \leq 0$ and $\Delta f|_q ...
2
votes
1answer
52 views

How does the forgetful functor from $\textsf{Man}$ to $\textsf{TopMan}$ factor under the ternary factorization system?

Here, $\textsf{TopMan}$ refers to the category of topological manifolds (second-countable, Hausdorff, locally Euclidean topological spaces) with continuous maps for morphisms; and $\textsf{Man}$ ...
1
vote
1answer
58 views

De Rham cohomology group of the Klein Bottle

I need to compute all the cohomology rings of the Klein Bottle. I want to apply the Mayer-Vietoris sequence. Here I'm using the same good open cover suggested by the Wikipedia page :-) It's ...
0
votes
1answer
28 views

Is $T_{(r,0)}(TM)\cong T_rM$?

Where(r,0)$\in T_rM$, $M$ is an manifold.Is $T_{(r,0)}(TM)\cong T_rM$?
0
votes
0answers
34 views

de Rham Cohomology of the complex projective spaces

I want to compute the de Rham cohomology of the complex projective spaces $P^n_{\mathbb{C}}$. I know what the result is, and I've seen many posts in the forum asking the same thing. The problem is ...
0
votes
1answer
21 views

Prove that $x\in\text{Bd}(U)\iff f(x)\in\text{Bd}(V)$

$\newcommand{\Fr}{\text{Bd}}$ I denote $\text{Bd}(A)$ the boundary of the et $A$. Let $U,V\subset \mathbb R^n$ open and $f:\overline{U}\longrightarrow \overline{V}$ an homeomorphism. Therefore ...
0
votes
1answer
39 views

tensor product of sheaves is not a sheaf

I was looking for an example of two sheaves that satisfy the gluing and uniqueness axioms but whose tensor product is a presheaf, but not a sheaf (doesn't satisfy uniqueness, for example). Thank you ...
3
votes
1answer
126 views

Are PL embeddings homotopic to smooth ones?

In particular, I'm interested in the case we have a PL embedding $f : S^1 \to M$ (for a smooth manifold $M$): can it be homotoped to a smooth embedding? I'm not very familiar with PL stuff, so I may ...
1
vote
0answers
22 views

Prove that the map $F:\mathbb{R}\to S^1$, $F(t)=(\cos t,\sin t)$ is $C^\infty$.

Why isn't smoothness of $(\cos t,\sin t)$ as a map from $\mathbb{R}$ to $\mathbb{R}^2$ enough? IS it because when we have $S^1$, the codomain is changed? But that shouldn't affect smoothness, ...
0
votes
1answer
17 views

How did the smoothness of map into R^m transfer to the smoothness of map into R

The following is a proof from the book Introduction to manifolds by Tu ( Page 63) I did not understand the highlighted step. Please explain.
6
votes
2answers
77 views

Generalized Jordan-Brower separation theorem

Suppose $M^{n+1}$ is a closed connected smooth manifold and $N^n$ is a closed connected smooth embedded submanifold of $M^{n+1}$. What's the weakest condition under which the Jordan-Brower ...
0
votes
0answers
14 views

Fiber monodromy of complex multiplication

Consider the map $f: \mathbb{C}^2 \to \mathbb{C}$, with $f(z,w) = zw$. I read a remark that if we take a circle around the origin (say the usual loop starting and ending at 1) and we lift it to a map ...
4
votes
1answer
59 views

Faulty Argument: Chern number of U(1)-bundle over $T^2$ is zero?

Consider a $U(1)$-bundle $P$ over the two-dimensional torus $T^2$. Given a local curvature $F$, We can compute the first Chern number $c_1(P)$ by considering a rectangle $R_{\epsilon}$ in the center ...
0
votes
0answers
37 views

A sphere with a hair in R^3 is not locally euclidean at the root of the hair.

This is a problem from the book Introduction to manifolds by Tu (Pg-57 problem 5.2) The idea being referred to here is about connectedness i.e if we remove the root of the hair then it would ...
3
votes
1answer
20 views

proving a particular subset of a Riemannian manifold is closed using continuity

I have two Riemannian manifolds, $(M,g)$ and $(\widetilde{M},\widetilde{g})$ and two maps $\varphi, \psi : M \to \widetilde{M}$, which are both local isometries. I am trying to show that the set $A = ...
3
votes
1answer
36 views

Smooth diffeomorphism and $C^1$ diffeomorphism

Given two smooth manifolds $M$、 $N$, and a $C^1$ diffeomorphism $f:M \rightarrow N$. Is there a smooth diffeomorphism between $M$ and $N$?
2
votes
0answers
74 views

Difference between $\mathbb{T}^n$ and $S^n$ and applications to dynamics (Euler angles and configuration manifolds)

I am struggling to see the difference between the $n$-sphere and the $n$-torus. We define $\mathbb{T}^n = S^1 \times S^1 \times \cdots \times S^1$, where the Cartesian product is taken $n$ times. I ...
2
votes
3answers
57 views

Construct a diffeomorphism that extends the identity map

Is there a diffeomorphism $f:[1,+ \infty) \rightarrow [1,3)$, such that $f$ restricted on $[1,2]$ is the identity map? I think its true, but I don't know how to construct one.
0
votes
0answers
51 views

Definition of Riemannian Metric

Let $(M, g)$ be a Riemannian manifold. Standard definitions of a Riemannian metric $g$ states that $g$ specifies a symmetric, bilinear, positive definite form on each tangent space $T_{p}M$ that ...
3
votes
1answer
97 views

Defining differentiability on a topological manifold

I am currently watching a series of lectures which are a part of International Winter School on Gravity and Light 2015 (by Prof. Frederick P. Schuller). In one of the lectures on differentiable ...
1
vote
1answer
48 views

idempotent bundle homomorphism has constant rank

I am reading Introduction to differential topology, T.H Bröcker & K. Janich and I could not solve the following exercise: Let $(E,\pi, X) $ be a vector bundle over a connected space $X$, let $f: ...
3
votes
0answers
48 views

Atiyah-Singer index theorem

I have seen the cohomological form of the index theorem usually stated in the following form: $$ \int_X \varphi^{-1}\left(\operatorname{ch}([\sigma(P)])\right).\operatorname{todd}(TX\otimes\mathbb C) ...
2
votes
1answer
63 views

Regular values and maps of degree 0

There is an elementary phenomenon in differential topology, that I've never quite understood: It is well known that the mapping degree (Brouwer degree) $\operatorname{deg}(f) = ...
3
votes
1answer
41 views

Definition of Normal Bundle and little exercise

I need to show that, given a manifold $M$ and its diagonal $\Delta\subset M\times M$, we have $T\Delta\cong\mathcal{N}_{\Delta|M\times M}$, where $T\Delta$ is the tangent bundle and ...
0
votes
0answers
47 views

Diffeomorphism on $S^2$ to $S^2$ with at least two fixed points

Let $f:S^2\to S^2$ diffeomorphism orientation-preserving such that for every fixed point of $f$, $1$ is not an eigenvalue of $df_p$. Then $f$ admits at least two fixed points. I'd to ...
0
votes
0answers
26 views

Relation between Thom class and closed Poincaré dual

Let $S,M$ be oriented manifolds without boundary such that $i:S\to M$ embedding and $i(S)$ is closed in $M$. $$ \eta_{S|M}:=\frac{TM_{|S}}{TS} $$ is the normal bundle of $S$ in $M$. I want to find a ...
1
vote
1answer
43 views

The Normal Bundle of a level set is trivial

Let $M,N$ be manifolds and $f:N\to M$ an embedding. For every $p\in N$, $df_p:T_pN\to T_pM$ shows that $T_pN\subset T_pM$. For every $p\in N$, define the normal space of $N$ in $M$ at $p$ as $$ ...
1
vote
0answers
12 views

Derivations having local character

Given a (smooth) manifold, it is known that derivations $D:C^\infty(U) \to C^\infty(U)$ on a chart $(U,\kappa)$ are equivalent to a vectorfield on $U$, i.e. to an element $X \in \Gamma(TU \to U)$. The ...
0
votes
0answers
16 views

Coadjoint orbit and orbit of adjoint representation

Let $Ad_g$ be the adjoint representation of a matrix group, so something like $\mathfrak{gl}.$ Then $Ad_g(\xi) = g \xi g^{-1}.$ Then I want to show that $Ad_g^*(x)= g^{-1}x g.$ As far as I know, the ...
0
votes
0answers
18 views

Chart description of disc bundle over S^2

What is an explicit chart description of the bundle of $2$-discs in the cotangent bundle of the $2$-sphere? I mean the set $\{v\in T^\ast S^2\mid \|v\|\leq 1 \}$.
4
votes
1answer
64 views

Closed Poincaré dual of the boundary of a closed manifold.

Let $S$ be the boundary of a closed manifold $T$ embedded in $M$. I have to prove that the Poincaré dual of $S$ is $0$. Assume $dim(M)=n,dim(T)=k$ with $k\le n$. Hence, $dim(S)=k-1$. Let ...
0
votes
1answer
30 views

Jordan curves in compact subset in $\mathbb R^3$ [closed]

Always exist a curve in compact and convex subset of $\mathbb{R}^3$?
1
vote
0answers
59 views

Surgery presentation for an abstract open book decomposition

Suppose $(\Sigma,\phi)$ is an abstract open book whose monodromy is expressed as a product of Dehn twists about boundary-parallel curves. Is there a standard way to produce a surgery presentation of ...
0
votes
1answer
32 views

Integrals of non-compactly supported forms

Let's recall the definition of integral of a compactly supported smooth $m$-form $\omega$ over an orientable $m$-differential manifold $M$: if $\{(U_\alpha,\phi_\alpha )\}$ is a differentiable atlas, ...
2
votes
0answers
33 views

If $\delta$ is a derivation on $C_0^0(\mathbb{R}^n)$, do we have that $\delta = 0$? [closed]

If $\delta$ is a derivation on $C_0^0(\mathbb{R}^n)$, do we have that $\delta = 0$?
2
votes
0answers
15 views

$\theta_{(U, \phi, p)}(\vec{u}) = [(U, \phi, \vec{u})]$ a bijection?

Let $M$ be a $C^k$ manifold of dimension $n$, where $k \ge 1$. Let $(U, \phi)$ be a chart for $M$ around a point $p \in M$, and let $\theta_{(U, \phi, p)}: \mathbb{R}^n \to T_pM$ be defined as ...
1
vote
1answer
100 views

Closed, simply connected manifolds which are not spheres

In 2 or 3 dimensions, every closed simply connected manifold is a sphere. In the smooth category, I suppose you could take exotic smooth structures to give examples of closed simply connected ...
0
votes
1answer
35 views

De Rham cohomology disjoint union of cylinders

Could someone explain me (sorry for the, maybe, trivial question :-) ) how to prove that $H^1_{DR}((S^1\times\mathbb{R}) \sqcup(S^1\times\mathbb{R}))=\mathbb{R}^2$? I'm talking about the de Rham ...