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

Understanding tensors

Locally in a chart, a tensor field looks like $$T= T^{i_1,...i_n}_{j_1,...,j_m} dx^{j_1} \otimes...\otimes dx^{j_m} \otimes \partial_{i_1} \otimes ... \otimes \partial_{i_n},$$ where ...
0
votes
1answer
35 views

Closed form defines locally a function?

In my particular example, I have a volume form on a one-dimensional manifold, so i.e. this volume form $dx$ is closed. Now, I was wondering, does the integral function $f(y):=\int_{x_0}^{y} dx$ define ...
3
votes
1answer
43 views

Covariant and partial derivative commute?

I know that we have for a function $\Gamma: (-\varepsilon,\varepsilon)^2 \rightarrow M$ we have (at least I think I know that this is true) $$\nabla_{\frac{\partial \Gamma}{\partial s}} ...
1
vote
0answers
32 views

Jacobi fields and variations

I want to show that every Jacobi field is a variation of geodesics, i.e. let $Y: I \rightarrow TM$ be a Jacobi field along a geodesic $\gamma$, then I want to show that $Y$ can be written as a ...
1
vote
1answer
32 views

Homotopy type of intersection of complement of hyperplanes in projective space.

Let $U_i = \{x=(x_0 :… :x_n) \in \mathbb{P}^n(\mathbb{C}); x_i \neq 0 \}$ be the usual trivialization of the complex projective space. I have been trying to compute the homotopy type of all the ...
3
votes
2answers
52 views

Is there a unique preferred connection on a general manifold?

I was wondering whether, for a given finite-dimensional manifold, the connection $\nabla$ exists and is uniquely defined? Afais for Riemannian manifolds, there exists always exactly one Levi-Civita ...
2
votes
1answer
51 views

Show that $f:X\to \mathbb{RP}^n$ factors through $S^n\to\mathbb{RP}^n$ iff $f^*:H^1(\mathbb{RP}^n,Z_2)\to H^1(X,Z_2)$ is zero

Problem Show that (1) $f:X\to \mathbb{RP}^n$ factors through $S^n\to\mathbb{RP}^n$ iff $f^*:H^1(\mathbb{RP}^n,Z_2)\to H^1(X,Z_2)$ is zero (2) $f:X\to \mathbb{CP}^n$ factors through ...
0
votes
0answers
18 views

Continuity in definition of Induced Functional Structure

I have a really simple question, however I am confused. Bredon's Topology and Geometry gives definition of Induced Functional Structure as follows: Suppose $F_x$ is a functional structure on space ...
1
vote
0answers
15 views

Trigonometric parametrization of a genus g surface?

It is possible to find functions $\phi, \psi \in \mathbb{R}[sin(x), sin(y), cos(x), cos(y)]$, so that $S^2 = \phi( [0,1]^2)$ and $\psi( [0,1]^2)$ is a torus. Is it possible find, for any genus g, ...
1
vote
1answer
47 views

Understanding tangent space basis

Consider our manifold to be $\mathbb{R}^n$ with the Euclidean metric. In several texts that I've been reading, $\{\partial/\partial x_i\}$ evaluated at $p\in U \subset \mathbb{R}^n$ is given as the ...
4
votes
1answer
96 views

Differential topology versus differential geometry

I have just finished my undergraduate studies. During last two semesters I've taken two subjects dealing with manifolds: Analysis on manifolds, containing: definition of manifold, tangent space (as ...
5
votes
1answer
324 views

Functionally structured spaces and manifolds

The question requires some definitions that I have listed below for your convenience. They can be found in Chapter VI, pages 297-298 of Bredon's Introduction to Compact Transformation Groups. On a ...
2
votes
1answer
28 views

Thom space of unit circle

Say we embed $S^1$ into $\mathbb{R}^2$ as the unit circle. What is the Thom space $Th(i)$ associated to this embedding $i:S^1 \to \mathbb{R}^2$? By definition, the Thom space is the one point ...
2
votes
1answer
103 views

Prove that $x+g$ is homeomorphism

Problem: Assume we have $g:\mathbb{R}^n\longrightarrow \mathbb{R}^n$ of $C^1$ class with derivative bounded uniformly by some constant $M<1$. Consider ...
2
votes
2answers
52 views

Symbol $\Gamma$ when talking about vector fields.

I noticed several times online that people tend to use the symbol $\Gamma(M,TM)$ when talking about the space of smooth vector fields on smooth manifolds. I find this totally confusing, as in ...
0
votes
1answer
29 views

Unit radial vector field

Lee's book defines the unit radial vector field in normal coordinates as $$ \partial_r:= \frac{x^i}{r(x)} \partial_i$$ and $r(x):=\sqrt{\sum_i (x^i)^2}$ Now this is a unit vector field iff ...
3
votes
1answer
40 views

How small is Diff(M) compared to Homeo(M)?

Let $M$ be a smooth manifold. Is it always true that the group of diffeomorphisms is strictly contained in the group of homeomorphisms? (I know this is true for $\mathbb{R}^n$, but that is only a ...
5
votes
2answers
49 views

Construct a diffeomorphism $\phi:M\to M$ such that $\phi(p)=q$ and also $d\phi(X_p)=Y_q$

PROBLEM: Construct a diffeomorphism $\phi:M\to M$ such that $\phi(p)=q$ and also $d\phi(X_p)=Y_q$, where $M$ is a connected smooth manifold and $p,q \in M$ , $X_p \in T_pM$ and $Y_q \in T_qM$ I know ...
1
vote
0answers
40 views

Problem of Arnold's book and covering spaces

I am currently reading Arnold's book "Mathematical Methods of classical mechanics" on page 278 and I don't see through his arguments there at a point. Especially, I am talking about the part that ...
1
vote
1answer
14 views

Open condition given by inequality on functions

Let's say we have two functions $f,g\in C^\infty(D)$, $D$ an open domain in $\mathbb{R}^2$. The condition $f(x,y)<g(x,y)$ is an open condition on $D$? With this I mean: do the points $(x,y)\in D$ ...
1
vote
1answer
56 views

Show Lie bracket left invariant

I want to prove from the definition that the Lie bracket $[X,Y]$ of two left-invariant vector fields $X,Y: G \rightarrow TG$ where $G$ is a Lie group is again left-invariant. Left-invariance ...
1
vote
0answers
28 views

Preimage of a small normal deformation under an embedding again a normal defomation?

Let $j\colon M\rightarrow W$ be a smooth embedding of smooth manifolds and assume $M$ and $N$ have Riemannian metrics, but $j$ is not necessarily an isometric embedding. Let $N\subseteq W$ be a ...
3
votes
0answers
39 views

Proof of Reeb's theorem without using Morse Lemma

I'm trying to prove Reeb's theorem as stated in Milnor's Morse Theory. That is, suppose we have an $n$-manifold $M$ together with a smooth function $f$ with exactly two critical points (both ...
0
votes
1answer
24 views

Embedding of a smooth manifold

Let $M$ be a smooth, n-dimensional manifold. Prove that for every $k \leq n$ there exists an embedding $ \mathbb{R}^k \to M$. I'm having trouble visualising this. How can $\mathbb{R}^2$ be embedded ...
-1
votes
0answers
25 views

A manifold is a covering space over its quotient by a group action [on hold]

Let $M \times G\to M$ be a properly discontinuous, free action of group $G$ on a manifold $M$. The quotient topology of the orbit space is Hausdorff. Suppose $p\in M$. How can we choose an open ...
1
vote
1answer
11 views

Partial derivatives of all orders of linear map exist

If F is a linear map from R^n to R^m is it true that F is C^infinity, i.e. partial derivatives of all orders exist? My thought is that the answer should be "yes," because the derivative of F is just F ...
0
votes
0answers
29 views

Derivative group action [duplicate]

Let $\phi : G \times M \rightarrow M$ be a group action on a smooth manifold $M$ and Lie group $G$. Then we define $$f(t):=\phi(g(t),d(t)).$$ Now I'd say: $$f'(t) = D\phi(g(t),d(t))(g'(t),d'(t)).$$ ...
4
votes
0answers
86 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, ...
8
votes
4answers
1k views

Why is there no natural metric on manifolds?

One of the things that always bothered me after learning introductory differential geometry (as a physics student) and then delving deeper into this field on my own is that, the usual construction of ...
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
26 views

Homotopy Equivalence and Local Coefficient Systems

Suppose I am computing the (co)homology of a nice space M using a local coefficient system G, i.e. $H_{*}(M, G)$. If M is homotopy equivalent to N, then M and N should have isomorphic (co)homology. ...
0
votes
1answer
28 views

Lagrange multipliers and critical points (differential form description).

On $M \times V^*$, where $M$ is a differentiable manifold (not necessarily equipped with a metric) and $V^*$ is dual to a vector space $V$, one can define a Lagrange function $F = f +v^*h(x)$ using ...
1
vote
1answer
56 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$ ...
1
vote
0answers
34 views

Kinds of isometries preserving the curvature tensor

We talked about isometries /local isometries and linear isometries in the lecture, but unfortunately we did not say when the isometry preserves the curvature tensor or sectional curvature. First I am ...
16
votes
1answer
262 views

When is there a submersion from a sphere into a sphere?

(Edit: Now posted to MO.) That is: For which positive integers $n, k \ge 1$ does there exist a submersion $S^{n+k} \to S^k$? The discussion at this math.SE question has narrowed it down to the ...
8
votes
4answers
616 views

Mathematics is not a spectator's sport? [closed]

The title is a sentence by John M. Lee, from his book "Introduction to Topological Manifolds". Indeed, I was wondering if one can learn mathematics in a passive way, just reading the books and ...
1
vote
0answers
22 views

Vector field from group action

Let $\Phi: G \times \mathbb{R}^4 \rightarrow \mathbb{R}^4$ be a group action where $G = \mathbb{R}/(2 \pi \mathbb{Z}).$ Then $$\Phi(\theta,(x_1,x_2,p_1,p_2)) = ( R(\theta) (x_1,x_2)^T, R(\theta) ...
3
votes
1answer
26 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 ...
3
votes
1answer
30 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 ...
1
vote
1answer
38 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 ...
-3
votes
0answers
49 views

Show smoothness of this map

Let $S^3$ be the sphere identified with the subset $\mathbb{C}^2$ as $\{(x,y) \in \mathbb{C}^2; |x|^2+|y|^2=1\}.$ Then I want to show that the map $\phi: S^3 \rightarrow \hat{\mathbb{C}}$ is ...
0
votes
0answers
27 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 ...
1
vote
1answer
67 views

problem on sheaves

I want to show the following. Suppose $X$ is a smooth manifold and F,G are sheaves of $C^{\infty}_{X}$-modules, then the natural map $Hom(F,G)\to Hom(F(X),G(X))$ is injective. It's easy to see that ...
4
votes
2answers
190 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 ...
4
votes
1answer
70 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
66 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 ...
2
votes
0answers
36 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 ...
3
votes
2answers
79 views

triviality of tensor product of vector bundles

Let $\xi$ be a $O(n)$-bundle with fibre $\mathbb{R}^n$. Let $\xi\otimes \mathbb{C}$, $\xi\otimes \mathbb{H}$ be complex vector bundles and quaternionic vector bundles. If $\xi$ is not a trivial ...
0
votes
0answers
29 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 ...
4
votes
0answers
67 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 ...