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
0answers
20 views

Derivatives in Topological Vector Spaces and General Spaces

I know that we may have a function $f$ such that all the directional derivative of $f$ in some topological vector space $V$, but the derivative need not exist. Moreover, it's possible for all the ...
1
vote
0answers
33 views

Is every $S^1$ knot orientable?

let $K$ be an $S^1$ knot, i.e., $K$ is a homeomorphic copy of the "standard" $S^1$ living in $\mathbb R^3$ ). I am trying to see if $K$ is orientable. This is what I have: 1) If the map sending $S^1$ ...
0
votes
2answers
73 views

Universe as a finite 3-manifold without boundary

My question is soft and imprecise, as I know very little differential topology. Nevertheless, I hope it makes some $\epsilon>0$ of sense. Assume the Universe is a 3-manifold without boundary, ...
3
votes
1answer
45 views

What is the anticommutator of the interior product and codifferential (adjoint of exterior derivative)?

What is $\eta=i_X \delta + \delta i_X$ acting on differential forms? Here $\delta$ is the usual Hodge adjoint of the exterior derivative and $i_X$ is contraction of a form with the vector field $X$. ...
3
votes
1answer
43 views

Map between Tangent Manifolds Well-Defined?

Let $f: \mathcal{M} \to \mathcal{N}$ be a $\mathscr{C}^{r+1}$ map. We define a map $\mathscr{T}f: \mathscr{T}\mathcal{M} \to \mathscr{T}\mathcal{N}$ as follows: A local representation of the map ...
0
votes
2answers
19 views

Why does the slope of a smooth simple closed curve have winding number one?

$\def\RR{\mathbb{R}}$Let $S^1$ be the circle and let $\gamma : S^1 \to \RR^2$ be a smooth injective map with $\gamma'(t)$ everywhere nonzero. What is the easiest way to show that $t \mapsto ...
0
votes
0answers
20 views

Ambient isotopy of based surface knots

Let $S$ be a smooth closed surface of genus $\ell$. Let $p$ be a point of $S$ and $a_i$, $b_i$ with $i=1,\ldots,\ell$ be $2\ell$ curves embedded in $S$ based at $p$ smooth everywhere except perhaps ...
1
vote
2answers
51 views

Stokes or homotopy?

The problem states Show that if $X$ is a simply connected manifold, then $\oint_{\gamma}\omega=0$ for all closed 1-forms $\omega$ on X and all closed curves $\gamma$ in $X$. However I have ...
3
votes
3answers
48 views

Embeddings are precisely proper injective immersions.

We call a map $f: X \to Y$ between topological spaces proper if $f^{-1}(K)$ is compact for all compact $K \subset Y$. Where can I find a reference that embeddings are precisely proper injective ...
1
vote
2answers
31 views

Embed curves in the plane

The strongest version of Whitney's embedding theorem says that every smooth real $n$-dimensional manifold $M^n$ (Hausdorff and second-countable) can be embedded in $\mathbb{R}^{2n}$. This should mean ...
0
votes
0answers
25 views

Transversality of leaves to the spheres .

Consider a form in the complex plane such that its linear part is $\omega_0=\lambda_1xdy-\lambda_2ydx$ in the Poincare domain: $\lambda_1\lambda_2 \ne 0$ and $\lambda_1/\lambda_2 \notin \mathbb{R}^-$. ...
2
votes
1answer
44 views

Laplacian and Hodge Laplacian

I am new to the theory of differential forms, but there is one thing that I don't get at all. Imagine that you are on the sphere $\mathbb{S}^2$, then the Laplacian $- \Delta$ is known to be a ...
0
votes
1answer
21 views

a generalization of punctured cylinder

Let $S^1\times \mathbb{R}$ be the infinite cylinder. Pucture it, we have $S^1\times \mathbb{R}-*$. Then $(S^1\times \mathbb{R}-*)\simeq Skeleton^1(S^1\times \mathbb{R})\simeq S^1\vee S^1$. How ...
3
votes
0answers
31 views

Terminology question : “half smooth, half topological” fibre bundle

First, I know (or I think I know...) the definition of fiber bundle, be it in the smooth or topological category. Here is my situation, which is kind of between the two: I have a smooth manifold $E$, ...
1
vote
1answer
42 views

cohomology ring of a quotient space

what is the cohomology ring $$ H^*((S^3\times S^3\setminus \{e\})/(a,b)\sim (ab,b^{-1});\mathbb{Z}_2)? $$ Here the unit $e$ and the product $ab$ is of the Lie group $S^3=Sp(1)$.
5
votes
2answers
71 views

Why are contact structures studied from a cohomological, rather than homological, perspective?

As far as I know, contact structures are studied from a "cohomology/dual" perspective, meaning mostly from the perspective of contact forms and their respective kernels, instead of from a ...
1
vote
0answers
45 views

Convention of a continued fraction presentation of a lens space

I want to clarify the following two conventions on a surgery description of a lens space. Let $p$ and $q$ are relatively prime integers. Express $$ ...
2
votes
1answer
34 views

Relation between differentials of perturbations of vector fields

Let $A$, $B$ be smooth submanifolds of a smooth manifold $M$ and $X\in C^\infty(TM)$ a vector field such following its flow $\xi^X$ gives a diffeomorphism between $A$ and $B$. Suppose also that ...
3
votes
1answer
67 views

Volume of a paracompact manifold

It is stated, without proof, in Wald (1984) (General Relativity) that given any connected manifold $M$ (which is by definition paracompact), one may define a volume measure $\mu$ such that $\mu[M]$ is ...
1
vote
2answers
57 views

Why any short exact sequence of vector spaces may be seen as a direct sum?

This is actually the first time I have worked with short exact sequences and I have no clue why the following assertion is true: Any short exact sequence of vector spaces $$ 0 \longrightarrow U ...
2
votes
0answers
31 views

Differentiability of a map into $\wedge T^*M$

Let $M$ a differentiable manifold and $p \in M$. Consider $(U;x_1, \dots, x_n)$ a coordinated system around $p$. $\{dx_\phi\}_\phi$ with $\phi \in \cal{P}(\{1, \dots n\})$, $dx_\phi=dx_{i1} \wedge ...
0
votes
0answers
48 views

Charts of $\wedge T^*M$ and $\wedge TM$.

Let $M$ a differentiable manifold and consider $\wedge T^*M$. If $(U, \phi)$ is a chart of $M$ with coordinate functions $(x_1, \dots, x_n)$, then $\{ \frac{\partial }{\partial x_i}\}_i$ and $\{ ...
2
votes
1answer
42 views

A question about a part of the proof of the existence of the exterior derivate.

Let $M$ a differentiable manifold, $(U;x_1,\ldots,x_n)$ a coordinated system and $\omega$ a differential form which domain intersects $U$. In $U \cap \operatorname{Dom} \omega$, $\omega$ can be ...
1
vote
1answer
19 views

Schwartz rule in differentiable manifolds.

Let $M$ a differentiable manifold and $(U,\varphi)$ a chart with coordinate functions $(x_1,...,x_n)$. Let $p \in U$. Given $f:U\longrightarrow \mathbb{R}$, $f \in C^\infty(U)$, it is possible to ...
1
vote
0answers
46 views

Explicit Calculation of the Euler class for the 2-Sphere using transition functions

I have been trying to learn about characteristic classes for months now, and every time I try a simple example something goes wrong. Any insights would be greatly appreciated. I am trying to follow ...
0
votes
0answers
43 views

Integral Curve of the vector field

If we have a 2-sphere with coordinates $x=r \cos \theta \cos \phi$, $y= r \sin \theta \sin \phi$ and $z=r \sin \theta$ and the vector field $X= (-r\sin \theta \cos\phi, r \cos \theta \sin \phi, r \cos ...
0
votes
0answers
32 views

Fundamental group of cusp of a negatively curved manifold

Let $M$ be a complete, noncompact Riemannian manifold with finite volume and whose sectional curvatures vary within the interval $[a,b]$, $-1\leq a<b<0$. It is known that such manifold has ends ...
0
votes
1answer
38 views

Locally exact vs globally exact

Why the volume form in Sphere is locally exact but not globally exact? here the integral is integral $$\int_{S^n}w$$ with $$w = \frac{1}{r} \sum_{i=1}^{n+1} (-1)^{i-1} x_i dx_1 \cdots\hat{dx_i},\cdots ...
2
votes
1answer
41 views

Proof a $(2n-1)$-compact manifold

I have no idea how prove that $$\{(z_0,\ldots,z_n)\in\mathbb{C}^{n+1} \quad| \quad z_0^d+z_1^2\ldots+z_n^2=0, \quad |z_0|^2+|z_1|^2\ldots+|z_n|^2=2\}$$ is a $(2n-1)$-compact manifold. How give the ...
2
votes
0answers
51 views

How to prove that $T\mathbb{S}^3 \to \mathbb{S}^3$ is a trivial 3-vector bundle? [closed]

How to prove that $T\mathbb{S}^3 \to \mathbb{S}^3$ is a trivial 3-vector bundle?
3
votes
0answers
80 views

Making a gradient-like vector field a gradient vector field via choosing a Riemannian metric.

Let $\xi$ be a vector field on manifold $M^n$ which is a gradient-like vector field for a some Morse function $f$. Prove that there exists a Riemannian metric on $M$ such that $\xi$ is a gradient ...
2
votes
2answers
27 views

Covering groups of compact connected Lie groups is compact.

Hi: I have a question as follows: Is it true that the covering group of a compact, connected Lie group is also compact? Thanks very much!
0
votes
1answer
39 views

last step in proof of existence of coordinate vector field

This is problem 7 on page 172 of Spivak's Differential Geometry pt. 1. Given a smooth manifold $M$ and a smooth vector field $X$ on $M$, Check that if the coordinate system $x$ is $x = \chi^{-1}$ ...
0
votes
1answer
37 views

Is the smooth map with constant rank dense?

Let $M$ and $N$ be two Riemannian manifold. Assume that $f:M\rightarrow N$ is a smooth map and $\dim M < \dim N$. Can we find a smooth map $g$ $C^{k}$-close to $f$ which is immersive at each point ...
2
votes
1answer
46 views

What is a regular homotopy?

The definition of regular homotopy from Wikipedia says that two immersion $f,g:M\to N$ are regularly homotopic if they represent points in the same path-component of $\text{Imm}(M,N)$. What does ...
1
vote
1answer
69 views

Is it possible for a manifold to have a normal vector that is zero everywhere, if so, would this indicate that the manifold is non-orientable?

Basically I've been thinking about defining a non-orientable three-dimensional metric space via defining the normal vector and looking to see if there is two possible vectors for the same point. I'm ...
3
votes
1answer
45 views

Find the Poincare Dual of a ray in $\mathbb{R}^2-\{0\}$

This is example-exercise 5.16 in Bott and Tu (which I'm independently reading through.) The problem states: Let $M=\mathbb{R}^2-\{0\}$, and $X\subseteq M$ be the closed submanifold ...
0
votes
1answer
39 views

What is the definition of a properly-immersed arc?

I am going over a paper in which a theorem includes a condition that certain arcs are "properly-immersed geodesic arcs" in a surface $\Sigma$ with nonempty boundary. I have done a search, but I have ...
1
vote
2answers
81 views

Morse function on $\mathrm{SO}(n)$

I would like to prove that the following function is a Morse function, $F : \mathrm{SO}(n)\to\mathbb{R}$ $$A=(a_{ij})\mapsto\sum_{i=1}^na_{ii}\lambda_i$$ with $0<\lambda_1<...<\lambda_n$. ...
1
vote
1answer
54 views

Euler characteristic of the closed unit ball

I would like to calculate the Euler-Poincaré characteristic of the closed unit ball $B$ by the de Rham cohomology, the Poincaré-Hopf theorem and Morse theory. de Rham cohomology: since $B$ is ...
3
votes
2answers
91 views

Applying the Frobenius theorem to a decomposable 2-form

So I have the following problem: Suppose $\omega=\phi \wedge \theta$ is a closed decomposable 2-form on $M$ a manifold (decomposable just means it can be written as a wedge of 1-forms). Suppose $p\in ...
0
votes
1answer
43 views

Proof Transverse Submanifolds

Let $f:M\rightarrow\mathbb{R}^p$ differentiable and $N$ submanifold of $\mathbb{R}^p$. Show that for all $\epsilon>0$ exist $v\in\mathbb{R}^p$ whit $||v||<\epsilon$ such that $f(x)=f(x)+v$ is ...
4
votes
1answer
68 views

Completeness implies geodesic completeness, a more conceptual way?

We know from Riemannian geometry that for Riemannian manifolds, completeness and geodesic completeness are equivalent, which is usually a consequence of Hopf-Rinow theorem. However, I'm considering a ...
2
votes
2answers
69 views

Actual Classification re Nielsen-Thurston Theorem (how to)?

according to Nielsen -Thurston Classification: http://en.wikipedia.org/wiki/Nielsen%E2%80%93Thurston_classification If $S$ is compact and orientable surface, then any homeomorphism is isotopic to ...
3
votes
1answer
46 views

mutually transverse embedded submanifolds, natural bundle surjections, direct sum, isomorphism

Let $N$ be a manifold and let $M_1, \dots, M_n \hookrightarrow N$ be mutually transverse embedded submanifolds, so $M = \cap M_i$ is an embedded submanifold of $N$ with $\text{T}_m(M) = \cap T_m(M_i)$ ...
2
votes
1answer
109 views

A non-vanishing one form on a manifold of arbitrary dimension

So the problem I have is: Let $\theta$ be a closed 1-form on a compact Manifold M without boundary. Further suppose that $\theta \neq 0$ at each point of M. Prove that $H^{1}_{dR}(M)\neq 0$. The ...
1
vote
1answer
41 views

A diffeomorphism with $\det(df)>0$ and convexity of matrices

Let $f: \mathbb{R}^{n}\rightarrow \mathbb{R}^n$ be a diffeomorphism such that $\det(df)>0$ at the origin (hence everywhere). Show that there is a continuous map $F: [0,1]\times \mathbb{R}^{n} ...
1
vote
1answer
96 views

Laplace-de Rham operator

Consider an operator $\partial = (-1)^k \star^{-1}\,d\star: \Omega^k(\mathbb{R}^n) \to \Omega^{k-1}(\mathbb{R}^n)$. Note that we equivalently can write $\partial = (-1)^{nk + n + 1} \star\,d\star$. ...
1
vote
1answer
25 views

The Projection $S^{2}\times S^{3} \rightarrow (S^{2}\times S^{3})/(S^{2} \lor S^{3})$

So a problem I have come across involves constructing some smooth degree 1 maps, and one such map to be constructed is a map $S^{2}\times S^{3} \rightarrow S^{5}$. I've been told that there is such a ...
1
vote
2answers
108 views

Prove that $TTM$? is a orientable bundle on $TM$

I know that $TM$ is always orientable bundle. But what is $TTM$? How try to prove that $TTM$ is a orientable bundle on $TM$.