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

Definition of a $n$ - form on a manifold

I am confused about the definition of a differential form on a manifold. The definition I have comes from Bott and Tu and is as follows: A differential form, $\omega$, on a manifold $M$ is a ...
3
votes
1answer
124 views

Intersection of lines with compact smooth manifolds

everybody. I need a hint on this: I have to prove that a compact smooth submanifold of R^n intersects almost every one dimensional linear subspace (in R^n) in a finite set of points. I know I have to ...
1
vote
2answers
47 views

The space of regular curves deformation retracts onto the space of arclength parameterized curves

Let X denote the space of smooth maps from the circle into R^3 which have no zero derivatives. This is an open submanifold of the Frechet space of smooth maps from the circle into R^3. Let Y denote ...
4
votes
2answers
259 views

How does a smooth structure on a subset of a manifold determine its status as an immersed submanifold?

As titles are limited to 150 characters, allow me to rephrase my question in a way that is hopefully more precise: Given a $d$-dimensional smooth manifold $M$ and some $k$-dimensional subset $S\...
4
votes
2answers
146 views

Why is the moduli space of gradient flow lines $\widehat{\mathcal M}(p,q) = \mathcal M(p,q) / \mathbb R$ a smooth manifold?

Let $(M,g)$ be a compact smooth orientable riemannian manifold, and let $f: M \to \mathbb R$ be a Morse function. All functions here are assumed to be smooth. We will be considering the integral ...
0
votes
1answer
58 views

If $f\colon X\to S^k$ smooth, $X$ compact and $Z\subseteq S^k$ closed, then $I_2(f,Z)=0$.

I've been working through an old example sheet I found online at Cambridge geometry 2011, to fill in gaps in my topology. The question #14 asks: Suppose $f\colon X\to S^k$ is smooth where $X$ is ...
1
vote
1answer
94 views

Normal bundle is locally trivial

Could someone tell me how to prove the following result? Let $Z$ be a submanifold of codimension $k$ in $Y$. Prove that the normal bundle $N(Z;Y)=\left\{(z,v):z\in Z, v\in T_{z}(Y)\text{ and } v\...
1
vote
1answer
174 views

notation for a torus

I am trying to search for the meaning of this notation but unfortunately it seems that wikipedia even doesn't have it. The book I am following uses the following notation for a torus: $\mathbb{T}^d = \...
6
votes
1answer
236 views

Visualizing Frobenius Theorem

Given a smooth vector field $v$ on a (finite dimensional) manifold $M$, one can find the associated integral curves i.e. integral submanifolds of M such that the tangent space at any point $p\in M$ is ...
1
vote
0answers
75 views

Uniqueness of the “asymptotic limit” of a sequence of gradient flow lines

Let $(M,g)$ be a compact smooth orientable riemannian manifold, and let $f: M \to \mathbb R$ be a Morse function. All functions here are assumed to be smooth. We will be considering the integral ...
0
votes
1answer
110 views

Extending an embedding from a compact submanifold

Suppose $X, Y$ are smooth manifolds, $Z \subset X$ a compact submanifold and $f: X \rightarrow Y$ a smooth map such that the restriction of $f$ to $Z$ is an injective smooth immersion. As $Z$ is ...
1
vote
1answer
174 views

Intuition of a Submanifold

Could someone explain the intuition behind a submanifold. When, for example, is it appropriate to work with immersed submanifolds vs embedded submanifolds? Why is it important for a submanifold to be ...
1
vote
1answer
55 views

Is there a compact complex manifold with trivial $H_2$?

I don't believe that every complex manifold should have nontrivial $H_2$, otherwise we would easily prove the Chern's conjecture... But the problem is I don't have any counterexample. The Kähler ...
1
vote
1answer
69 views

Differential topology question involving cobordism

Prove that if $X$ and $Z$ are cobordant in $Y$, then for every compact manifold $C$ in $Y$ with dimension complementary to $X$ and $Z$, $I_2(X, C) = I_2(Z, C)$. [HINT: Let $f$ be the restriction to $W$...
3
votes
3answers
185 views

Showing $S^n \times \mathbb R$ is parallelizable

A manifold $M$ is said to be parallelizable if it admits $k$ linearly independent vector fields. I know that this is equivalent to the tangent space $TM$ being trivial. I am trying to show that $S^n\...
2
votes
1answer
81 views

Examples of manifolds foliated by $S^2$

I have come across the Frobenius theorem in my study of GR, which for the special case of $S^2$ roughly means, that every point of a manifold with spherical symmetry can be foliated by spheres. I know ...
1
vote
0answers
42 views

Extending a function defined on an arbitrary subset of $\mathbb{R}^n$

This question appeared on an old qualifying exam: Let $X$ be any subset of $\mathbb{R}^n$ and $f\colon X\to\mathbb{R}$ a function with the following property. For every $x\in X$ there is a ...
1
vote
1answer
384 views

The Poincare Lemma for Compactly Supported Cohomology

I´m reading the proof of The Poincare Lemma for Compactly Supported Cohomology there is a part in the proof that said in the text book Bott and Tu: $d \pi_{\ast} = \pi_{\ast} d$ in other words, $\pi_{\...
0
votes
2answers
248 views

Are closed, properly embedded manifolds of co-dimension 1 in $\mathbb{R}^n$ orientable?

I have been trying to figure this out as it would seem that it should be so. I have been search though, and the only solution seems to treat the compact case with homology beyond what I know. I ...
1
vote
0answers
42 views

Degrees are the only interesting intersection numbers on spheres

Show that if $f: X \rightarrow S^k$ is smooth, $X$ compact and $0 < dim(X) < k$, then for all closed $Z \subseteq S^k$ of dimension complementary to $X$, we have $I_2(X, Z) = 0$. An idea:let p ...
1
vote
1answer
83 views

Hessian quadratic form is well defined

Could someone show why for the Hessian to be well defined ($d_{p}^{2}f(v,w) = L_{v}L_{w}f$) we need $p$ to be a critical point.
0
votes
0answers
33 views

Existence of vector extensions for the Hessian

Q: $p$ a critical point of a smooth $f$ and $v, w$ two vectors in $T_{p}M$. We extend these two to vector fields $v^{*}, w^{*}$ such that at $p$ the first one equals $v$ and the second one equals $w.$ ...
6
votes
1answer
2k views

Volume form on a sphere.

Let $S^n(r)$ be the sphere of radius $r$ , $x_1^2 + ... + x_n^2 = r^2$ and let $$w = \frac{1}{r} \sum_{i=1}^{n+1} (-1)^{i-1} x_i dx_1 \cdots\hat{dx_i},\cdots dx_{n+1} $$ Write $S^n$ for the unit ...
1
vote
1answer
142 views

Existence of coordinate systems for submanifolds

I decided to do the following problem as an exercise: Let $p \in M$ be a regular point of $f: M \to \mathbb{R}$. Prove the existence of a coordinate system $(x_1,x_2,...,x_n)$ near $p$ such that $f(x)=...
2
votes
1answer
162 views

[ANSWERED]Lie brackets on vector fields

We consider $v = \frac{\partial}{\partial x}$ and $w = x * \frac{\partial}{\partial z} + \frac{\partial}{\partial y}$. I need to first find the Lie bracket between them which i get to be: $\frac{\...
1
vote
0answers
52 views

levels curves of polynomial equations as manifolds

Q: For which real values c is the subset $f(x) = x_{1}^{2} + x_{1}^{3} - x_{2}^{2} + x_{3}x_{4} = c$ a smooth submanifold of $\mathbb{R}^4$? Try: for it to be a smooth submanifold, $c$ has to be a ...
2
votes
1answer
370 views

Continuous function approximation on manifolds

I am asked to show that every cont. function from a manifold M to $\mathbb{R}$ can be approximated by smooth functions. Try: let f be a map from M to the reals(R). Let ${s_{i}, U_{i}}$ be our atlas. ...
2
votes
0answers
155 views

Whitney Embedding theorem for manifold with boundary in Lee's Introduction to smooth manifolds(2nd Edition)

I am reading through the new edition of Lee's book and I am stuck by the proof of Theorem 6.15. When passing to a non-compact manifold, the author begin by defining several sub-levelsets and claim ...
5
votes
0answers
75 views

how to obtain a generalized Morse function out of a fiber bundle?

Let $M\to E\to B$ be a smooth fiber bundle. In "Parametrized Morse Theory and Its Applications,(Proceedings of the ICM, 1990)", K. Igusa says that if dim $B$$<$dim $M$, then, there exists a smooth ...
1
vote
0answers
223 views

a condition for smooth vector field

Let $M$ be a Hausdorff manifold. I'm trying to prove that a vector field $Y:M\to TM$ is smooth if and only if the derivation induced by $Y$ for all globablly defined smooth functions is smooth. That ...
0
votes
1answer
90 views

A Milnor Differential Topology Excercise

If $m<p$, show that every map $f:M^m\longrightarrow\ S^p$ is homotopic to a constant, where $M^m$ is smooth manifold of dimension $m$. I tried to show that $M^m$ is contractible or convex, but I ...
1
vote
1answer
183 views

Why are normal bundles always locally trivial?

Is there a quick and dirty proof that normal bundles (say of some submanifold in a smooth manifold) are always locally trivial? My notes seem to have swept this assumption under the rug. Even ...
4
votes
1answer
111 views

Moving a compact submanifold off of another submanifold?

This is an intuitive idea that I see referenced a lot. Consider the following situation. Let $M$ and $N$ be submanifolds, $M$ compact, in some larger manifold $X$. Suppose also that $\dim(M)+\dim(N)&...
0
votes
1answer
94 views

Baire Category Theorem in a Smooth Manifold

Let $Z\subset M$ be a set of measure-0 , in a [smooth] manifold $M$. How does one shows that $M$ \ $Z$ is everywhere dense in $M$, using the Baire category theorem? And which version of the theorem ...
2
votes
0answers
59 views

Continuity of point wise orientation

Prove that $[(X_1,...,X_n)]$ on a manifold $M$ is continuous if and only if every point $p$ in $M$ has a coordinate neighborhood $(U,\phi) = (U,x^1,...,x^n)$ such that for all $ q \in U$, the ...
2
votes
1answer
103 views

Analytic subvariety in complex manifold

I am trying to figure out a statement in a textbook "If $M$ is any complex manifold of a projective space $\mathbb{P}^{n}$, $V\subseteq M$ an analytic subvariety of dimension $k$, then we can find a ...
1
vote
0answers
62 views

$h$-principle for isometric embeddings

All the references I have seen so far list the Nash $C^1$-embedding theorem as an example where the $h$-principle holds. The $h$-principle for a differential relation holds by definition, when the ...
2
votes
1answer
181 views

Trivialisation of Möbius strip

I've just started studying Advanced Geometry and I'm in trouble with a (stupid) exercise. It's about finding a trivialisation of the Möbius strip (I'll refer to it as $E $) viewed as a fibre bundle ...
1
vote
0answers
93 views

Constructing vector bundles from local covers and transitions functions

Let $M$ be a smooth manifold. Suppose we are given an open cover ${U_\alpha}$ of $M$ and for $\alpha,\beta$ ; a smooth map $\tau_{\alpha\beta}\colon U_\alpha \cap U_\beta \to GL(k; R)$ satisfying the ...
1
vote
1answer
101 views

The sheaf of smooth functions is soft

A sheaf $\mathcal{F}$ over some topological space $X$ is called soft if any section over any closed subset can be extended to a global section (i.e. over $X$). How to understand that the sheaf of ...
6
votes
1answer
244 views

How does a left group action on the fiber of a principal bundle induce a right action on the total space?

Suppose I define a "principal $G$-bundle" as follows: A principal $G$-bundle is a fiber bundle $F \to P \overset{\pi}{\to} X$ with a left group action of $G$ on $F$ that is free and transitive, ...
2
votes
0answers
118 views

Proof that a set $X \subset M$ is a Manifold

Let M be a manifold without boundary and let , $g:M\to \mathbb R$ have $0$ as a regular value. Than the set $X \subset M$ with $g(x) \ge 0$ is a smooth manifold with boundary equal to $g^{-1}(0)$. I ...
0
votes
1answer
99 views

Smooth function with equibounded family of derivatives

By $\mathcal{C}^{\infty}(\mathbb{R})$ we denote the space of smooth functions $\mathbb{R}\rightarrow \mathbb{R}$. Also, by $\mathrm{supp}(f)$ we denote the closure $\mathrm{Cl}(f^{-1}(\mathbb{R}_{\ne ...
4
votes
1answer
199 views

Why do Zoll metrics exist only on $S^2$ and $RP^2$?

Zoll metric on a Riemannian manifold is a metric for which all geodesics are closed and have the same period. For sure, a standart metric on the sphere $S^2$ has this property: all its geodesics are ...
1
vote
1answer
348 views

Tubular neighbourhood theorem

in your opinion is it possible to get the existence of a tubular neighborhood for a manifold M even if it not embeds smoothly (but only topologically) in some R^N? Thank you!
4
votes
1answer
58 views

The Hopf invarient with coefficients other than Z.

So generally one defines the Hopf invariant of a map $f: S^{2n-1} \to S^n$ as the coefficient $H(f)$ in $\alpha^2 = H(f) \beta$ where $\langle \alpha \rangle = H^n(C_f)$ and $\langle \beta \rangle = ...
2
votes
1answer
328 views

Surgery on trivial knots

I know a theorem that any closed orientable 3 manifold can be obtained from the sphere $S^3$ by surgery along a framed knot. I think I read or heard somewhere that as a surgery link, we can take ...
1
vote
1answer
374 views

Finding Reeb Vector Field Associated with a Contact Form

I would greatly appreciate it if you could help me with the following: I'm curious as to how to find the Reeb field $R_w$ associated to a specific contact form $w$; does one actually find $R_w$ as ...
6
votes
1answer
199 views

First Pontryagin class on real Grassmannian manifold?

I wonder if real Grassmannian manifold $SO(p+q)/SO(p) \times SO(q)$ have nontrivial first Pontryagin class? I only have physics background and know really little about characteristic class theory.
10
votes
2answers
876 views

Distinguishing the Cylinder from a “full-twist” Möbius strip

Playing around with the definition of a fiber bundle, I found that while a Möbius strip (with its usual "half-twist") is a nontrivial fiber bundle, it seems that a Möbius strip with a "full-twist" is ...