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

3
votes
1answer
30 views

Existence of a vector field which dominates the first local vector fields given by the charts of a locally finite covering

Let $M$ be a smooth manifold, let $\{U_i,\psi_i\}_{i\in I}$ be locally finite family of charts and let $K_i\subseteq U_i$ be compact subsets. Does there exist a vector field $X$ on $M$, such that ...
1
vote
1answer
40 views

Show that $M$ is a differentiable submanifold

Problem. Let $f_i:\Bbb{R}^4\to \Bbb{R}, \,\, i=1,2,3,$ be defined by $$f_1(x_1,x_2,x_3,x_4) = x_1x_3-x_2^2\\f_2(x_1,x_2,x_3,x_4)=x_2x_4-x_3^2\\f_3(x_1,x_2,x_3,x_4)=x_1x_4-x_2x_3.$$ Then $M=\{x\in ...
0
votes
0answers
29 views

Proof of Whitney intersection theorem

I know "Lectures on the h-cobordism theorem" by Milnor lists a proof. Unfortunately, the proof is subtle, intricate, and lengthy, that is, not succinct and elegant enough (for Milnor, of course.) Is ...
4
votes
1answer
73 views

Group action and smooth manifolds

I was wondering if it is for a compact (i.e. Hausdorff) smooth manifold $M$ sufficient to have a free group action of a finite group $G$ in order to conclude that $M/G$ is a compact smooth manifold? ...
4
votes
0answers
72 views

Manifold in Milnors Morse Theory

While reading "Morse Theory" by Milnor, I noticed that certain arguments would not work, if the considered manifolds have nonempty boundary. Example: Proof of 3.5 I could not find the definition ...
4
votes
0answers
95 views

Boileau-Orevkov on the intersection of a complex curve with 3-sphere

Motivation: Feel free to skip. Let $\Sigma$ be a complex curve in $\mathbb{C}^2$. If $\Sigma$ is transverse to a 3-sphere $S^3 \subset \mathbb{C}^2$ of radius $r$, then $\Sigma \cap S^3$ is a link, ...
2
votes
0answers
38 views

Jeffrey Lee 2.11 Show there is a nice map $s:TTM \to TTM$ satisfying several properties

I'm not sure this problem makes any sense on several levels, but here is the question verbatim: Find natural coordinates for the double tangent bundle $TTM$. Show that there is a nice map $s:TTM ...
4
votes
1answer
55 views

Parametrizing the time an element stays in an open subset

Let $X$ be a topological space (If it helps anything, we can assume $X\subseteq\mathbb{R}^n$ or $X$ being a smooth manifold.) and $U\subseteq [0,1]\times X$ an open subset. Does there exist a ...
0
votes
0answers
31 views

decomposition of a closed surface

I know that I can decompose an hyperbolic closed surface of genus $g>1$ into $2(g-1)$ pants bounded by 3 geodesics. It seems reasonable to think the same can be done for a closed surface of genus ...
3
votes
1answer
23 views

Vector fields spanning the tangent bundle at each point

Let $M$ be a smooth manifold of dimension $n.$ It is well known that it is not allways possible to find such global vector fields $X_1,\ldots, X_n$ which would be a basis for the tangent space at each ...
4
votes
1answer
51 views

page 4 of Milnor's book on Morse Theory

I have a stupid and probably naive question about one line in the book of Milnor about Morse theory. What does exactly means if $v \in T_pM$ then there is an associated vector field $\tilde v $ ? I ...
2
votes
1answer
48 views

1 parameter subgroups and Lie groups

I was just reading some lectures notes (that are not online available unfortunatley) on Lie groups and found that sometimes the author just says if he wants to prove something for all Lie group ...
1
vote
1answer
60 views

Orientability and Hypersurfaces

I got stucked in this problem: Show that: i) Every embedded closed hypersurface $S$ is orientable. ii) Every differentiable hypersurface defined by a regular cartesian equation $\ g(x_1,..., x_n)=0$ ...
2
votes
1answer
38 views

Cut out characteristic Submanifold N ($w_1(M)=w_1$(Normalbundle of N in M)). Remainder M-N is orientable? Orientation Character or CW-Structure?

So I try to understand the following (which is taken from Dold, "Structure of the cobordism ring", Page 3/274, in the paragraph "1. La suite exacte de Wall."): https://eudml.org/doc/109581 ): Giving a ...
0
votes
1answer
52 views

Smooth function, which separates between a closed and a open set.

Let $M$ be a smooth manifold, $O\subseteq M$ an open subset and $B\subseteq M$ a closed subset, such that $closure(O)\subseteq interior(B)$ I think there must exist a smooth function $f\colon ...
0
votes
1answer
57 views

Possible mistake in *Curves and Singularities*, 2nd ed., by Bruce & Giblin, p. 74

Page 74 in Bruce & Giblin's Curves and Singularities, 2nd ed. contains the following passage: Let $f: I \to \mathbb R$ be smooth and define $\phi: I \times \mathbb R^2 \to \mathbb R$ by $\phi ...
5
votes
1answer
89 views

Theorema egregium violated in dimension $n \ge 4$?

Gauß showed that for surfaces in $\mathbb{R}^3$ the Gaussian curvature ( = sectional curvature) is invariant under local isometries. This is known as the thema egregium. Now in another question ...
1
vote
1answer
66 views

Meaning of “locally homeomorphic to $\mathbb{R}^{n}$”

I am fairly new to differential geometry and approaching it with a physics background (in the study of general relativity), as a result I'm having a few struggles with terminology etc, so please bear ...
4
votes
1answer
42 views

Integral of generator $H^{2k}(\mathbb CP^k)$ over $\mathbb CP^k$ is 1

I'm trying to give a proof of the Hirzebruch signature theorem from a differentiable viewpoint (i.e. using de Rham cohomology). The proof works, except for one small step. We know that ...
1
vote
1answer
34 views

(Locally) sym., homogenous spaces and space forms

We had some definitions of particular types of Riemannian manifolds in our lecture 1.) Locally symmetric spaces. They were Riemannian manifolds with the property that $\nabla R=0$ everywhere. 2.) ...
5
votes
0answers
57 views

resonance in pde

(I migrated the question from overflow b/c I think it belongs here instead.) About a year back I was in Professor Henry Mckean's office and he told me alot of interesting things. One thing he told me ...
3
votes
1answer
43 views

Mistake in the definitions of the linking number.

I am looking into the definition of the linking number. I've considered these two definitions. Consider a link $L$ with components $K_1$ and $K_2$, and respectively their embeddings $\gamma_1$ and ...
3
votes
1answer
38 views

Vanishing of the first Chern class of a complex vector bundle

Suppose that $E\to M$ is a $\mathbb{C}^n$-bundle with a metric. This is equivalent to saying that there exists a chart $\{U_\alpha\}$ of $M$ and $\phi_{\alpha,\beta} \colon U_\alpha\cap U_\beta\to ...
0
votes
1answer
20 views

Tilting sine function to get countably infinite nonregular values?

Let $f: \mathbb R \to \mathbb R$. A nonregular value $y$ of $f$ is any value such that not all $x \in f^{-1}(y)$ are regular. A point is regular if the Jacobian at it is surjective, in this case, has ...
3
votes
0answers
72 views

Why is this map $H^1$?

I have the following proposition (taken from Klingenberg's Lectures on Closed Geodesics): Let $\pi: E \rightarrow S$ and $\mathcal{O} \subset E$ be a finite dimensional fibre bundle over the ...
1
vote
0answers
32 views

Motivation for the name “vertical subspace” in the context of fiber bundles.

Let $p:E\to B$ be a smooth fiber bundle with fiber $F$. Consider the vector spaces $V_u=\{x\in T_uE: p_*(x)=0\}$. We call $V_u$ the vertical subspace of the tangent space $T_uE$. How can we see that ...
2
votes
1answer
32 views

Lagrange's Equation on a Manifold

I know that, if $L: \mathbb{R}^n \times \mathbb{R}^n \times \mathbb{R} \rightarrow \mathbb{R}$, then the Euler-Lagrange equation is: $$ \nabla_x L - (\nabla_{\dot{x}}L)' \equiv 0$$ In trying to ...
1
vote
1answer
31 views

The fundamental vector fields of a principal bundle are vertical.

Let $p:P\to M$ be a principal $G$-bundle. To each $A$ in the Lie algebra of $G$ corresponds a fundamental vector field $A^*$ on $M$ defined by $$A^*_u=\frac{d}{dt}|_{t=0} u(exp(tA))$$ How can we see ...
3
votes
0answers
24 views

What can be said about the space of vector fields for which a given, say $C^1$, function is a Lyapunov function?

I am learning Morse homology and I have been thinking about the following observation. One way of doing, say finite-dimensional, Morse theory is by fixing a Morse function $f\in C^{\infty}(M)$, where ...
1
vote
3answers
94 views

Proving smoothness of left-invariant metric on a Lie Group

Assume $G$ is a Lie group. The standard construction of a left invariant metric on $G$ goes as follows: Take an arbitrary inner product $\langle,\rangle_e$ on $T_eG$ and define $\langle u , ...
4
votes
0answers
78 views

On applying Whitney's extension theorem to suitable closed sets

Whitney's extension theorem states that if $D \subset \mathbb{R}^n$ is closed and $f: D \to \mathbb{R}$ is $C^k$ in some sense to be specified below, then $f$ can be extended to $\mathbb{R}^n$ so that ...
4
votes
2answers
194 views

Integrals of Pullbacks

This is a problem from Guillemin's Differential Topology: Suppose that $f_0, f_1: X \to Y$ are homotopic maps and that the compact boundaryless manifold $X$ has dimension $k$. Prove that for all ...
3
votes
1answer
53 views

About separation property of hypersurface

Let N be a complete Riemannian manifold and M be a complete hypersurface in N. M is said to have separation property if N\M is disjoint union of 2 connected open sets in N. Under what reasonable ...
5
votes
1answer
67 views

Existence of diffeomorphism through convergence in Hausdorff distance

I'm reading a book and have come across something that I cannot verify or fix. The assumption is that $\Omega_1, \Omega_2, ...$ is a sequence of connected open sets in $\mathbb{R}^n$ that converge in ...
2
votes
1answer
32 views

Tangent and normal spaces of submanifold of fixed-rank matrices

Let $m \geq 2$. The subset $X$ of $m \times 2$ matrices with rank $1$ is a (smooth) submanifold of $\mathbb{R}^{m\times 2}$. Let $A$ be in $X$. I know from a more general statement that the tangent ...
1
vote
1answer
33 views

Is it true that all $k$-submanifolds of a $m$-manifold are open subsets of some closed $k$-submanifold?

Let $M$ be a $m$-dimensional (smooth) manifold. I know that $m$-submanifolds of $M$ are exactly the open subsets of $M$. Is it true that all $k$-submanifolds of $M$ are open subsets of some closed ...
2
votes
2answers
87 views

A “parallel manifold” is always orientable

I want to solve the following problem from Spivak's Calculus on Manifolds: Let $M$ be an $(n-1)$ dimensional manifold in $\mathbb{R}^n$. Let $M(\varepsilon)$ be the set of end points of normal ...
0
votes
0answers
18 views

Locally ringed space locally isomorphic to a *closed* subset of $\mathbb{R}^n$

To me it's more natural to think of e.g. a tetrahedron as a closed subset of $\mathbb{R}^3$ than as a "manifold with corners" in the traditional sense -- i.e., locally isomorphic to open subsets of ...
2
votes
1answer
58 views

Properly discontinuous action on manifold

I am actually not familiar with topology, but since we had a short outlook on these things in our differential geometry lecture today, I would appreciate some general remarks: Let $M$ be a smooth ...
0
votes
0answers
14 views

Local Submersion Theorem - Differential Topology of Guillemin and Pollack

Local Submersion Theorem : Suppose that $f:X \to Y$ is a submersion at $x$, and $y=f(x)$. Then there exist local coordinates around $x$ and $y$ such that $f(x_1,...,x_k)=(x_1,...,x_l)$. That is, $f$ ...
4
votes
1answer
74 views

Introductions to Ehresmann connections and Chern-Simons forms

I am looking for introductory texts on Ehresmann connections and Chern-Simons forms. I seek detailed, hands-on presentation. Please, recommend sources that employ a differential forms approach rather ...
1
vote
0answers
16 views

Relation beween transition functions of a principal fiber bundle and its dual

What is the relation between transition functions of a principal fiber bundle and its dual? As an example, consider the transition map of the frame bundle on a manifold of dimension $n$ as the ...
8
votes
1answer
39 views

Embedding covers of manifolds

I am considering $k$-fold covers of smooth manifolds (with smooth covering maps). Let $f:M^m\to N^m$ be a smooth finite covering map. -- The following implication is not true: $M$ can be embedded ...
5
votes
0answers
35 views

Homeomorphism between boundaries of open sets is “surjective”

Let $U,V\subset\mathbb{R}^n$ two bounded open sets and let $F:\overline{U}\to\mathbb{R}^n$ be a continuous map. Assume that $F$ maps $\partial U$ homeomorphically onto $\partial V$. The question: is ...
2
votes
0answers
47 views

Need help with this proof, I don't understand it , could anyone clarify some of the details. System of linear Differential equations.

$$(*)X'=A(t)X - system$$ $$(*)PX(\alpha)+QX(\beta)=0.$$-border conditions, where P,Q constant square matrices $n \times n $. Let $Y(t)$ be the fundamental matrix for the system $(*)$ normed for$ t= ...
4
votes
1answer
95 views

Definition by degree and intersection number are equivalent (linking number). [repost]

I will here restate a question I asked earlier. It did not have much succes (probably by an incomplete introduction of the problem on my part). I am reading a paper by Ricca ( ...
1
vote
0answers
51 views

Application of Morse Inequalities

I am an undergraduate student interested in morse theory. I understand, that the morse inequalities provide an lower bound for the number of critical points morse functions on a manifold can take. One ...
2
votes
1answer
48 views

Quotient manifold theorem provides a fibration?

It's known that if $G$ is a Lie group and $H\subseteq G$ is a closed subgroup, then the quotient map $p\colon G\to G/H$ is in fact a principal $H$-bundle, which follows from the existence of local ...
2
votes
2answers
64 views

Lie group step in proof

Let $X_e,Y_e \in T_eG$ be vectors and $G = GL(n).$ Then the right translation is given by $Y_g = Y_e g$ and $X_g = X_e g.$ Now, I have a proof showing that $[X_e,Y_e] \in T_eG$ is the element ...
2
votes
2answers
88 views

How does Morse theory on non-compact manifolds differ from compact manifolds?

What is the Morse homology of a non-compact manifold? When is it, as in the compact case, isomorphic to singular homology of the underlying manifold? What other constructions can be identified with ...