The study of differentiable manifolds and differentiable maps. One fundamental problem is that of classifying manifolds up to diffeomorphism. Differential topology is what Poincaré understood as topology or “analysis situs”.

learn more… | top users | synonyms

-2
votes
0answers
20 views

Loxodrome loop on a surface of revolution [on hold]

Prove that there can be a closed loxodrommic curve on a surface of revolution only when it is doubly connected.
8
votes
0answers
70 views

Is the restriction map for embeddings of manifolds with boundary a fibration?

Let $M$ and $W$ be smooth manifolds (possibly with boundary) and $V\subseteq W$ a submanifold. We have a map between embedding spaces $$Emb(W,M)\rightarrow Emb(V,M)$$ given by restriction. Richard ...
6
votes
0answers
78 views

Chern-Simons forms, characteristic numbers, and boundary terms?

For any principal $G$-bundle $P \to M$ with principal connection $\omega$, given a $G$-invariant polynomial $p: \mathfrak{g} \to \mathbb{R}$ we can construct a form $p(F_\omega)$ on $P$ which descends ...
2
votes
1answer
95 views

Holonomic splitting

I am reading the book "Introduction to the h-Principle" by Eliashberg and Mishachev. At the moment I try to understand the Section 1.7 Holonomic splitting on page 12 but without success. I do not ...
3
votes
1answer
157 views

Local product structure of determinantal variety

The variety $X_n$ of singular $n\times n$ real matrices is stratified by smooth strata $X_{n,k}$ where $k$ is the rank. Choose a rank $k$ matrix $A\in X_{n,k}$. Is there a local diffeomorphism sending ...
0
votes
0answers
47 views

How to find singularities from data and find monodromy group from singularities and differential system? [on hold]

update1 i use interpolation for time series find 2 singular points, one is infinity and negative infinity, and find a differential equation which stated a, b, etc, are singular point, if i let a = ...
3
votes
0answers
88 views

Intersection patterns of loops on surfaces

Let $a,b$ be to simple closed loops on a surface $S$ with homologically trivial intersection (more generally I'm also interested in the case when $b$ is 1-codimensional). Denote their intersection on ...
3
votes
1answer
201 views

Differential characters, Chern-Simons forms, and differential cohomology

I've read through the classic Chern-Simons paper where they introduce the Chern-Simons forms. These are differential forms whose exterior derivative gives you the characteristic forms for any given ...
26
votes
3answers
2k views

What is a foliation and why should I care?

The title says everything but while it is a little bit provocative let me elaborate a bit about my question. First time when I met the foliation it was just an isolated example in the differential ...
10
votes
2answers
463 views

Intuition/idea behind a proof of the splitting principle?

The splitting principle is as follows. Given a vector bundle $E \to X$ with $X$ compact Hausdorff, there is a compact Hausdorff space $F(E)$ and a map $p: F(E) \to X$ such that the induced map ...
2
votes
0answers
79 views

Can additivity of the Euler characteristic be interpreted in terms of the Poincaré–Hopf theorem? [closed]

Whenever there is a long exact sequence in homology induced by a short exact sequence of chain complexes one finds that the corresponding Euler characteristics are additive. For example, if $Y \subset ...
22
votes
1answer
224 views

Height function on 2-torus with only 3 critical points

It is well-known that a Morse function on $T^2$ has at least $4$ critical points, but also that there exist functions $f\colon T^2\to\mathbb R$ with only 3 critical points (the least possible number ...
4
votes
1answer
216 views

Construction of invariants of 4-manifolds with the Kirby calculus

I'm an undergraduate student, interested in the low dimensional topology, in particular, the 4-manifold theory. I have a question. In the knot theory, the Reidemeister moves play fundamental roles. ...
4
votes
0answers
123 views

Cohomology algebra generated by $n$ Steifel whitney classes and and $k$ dual classes subject only to $n+k$ defining relations? [closed]

Is the cohomology algebra $H^*(G_n(\mathbb{R}^{n+k}))$ over $\mathbb{Z}/2$ generated by the Steifel-Whitney classes $w_1, \dots, w_n$ of $\gamma^n$ and the dual classes $\overline{w}_1, \dots, ...
0
votes
0answers
68 views

If the fibers of a submersion are connected, does it mean that any 2 sections are homotopic (locally on the base)?

Is the following fact known? If yes - what is the reference? Let $\phi:X\to Y$ be a submersion of smooth manifolds with connected fibers. Let $s_0,s_1:Y\to X$ be its (smooth) sections. Then, for any ...
30
votes
1answer
659 views

A dictionary of Characteristic classes and obstructions

I apologize in advance as this is not a research level question but rather one which could benefit from expert attention but is potentially useful mainly to novice mathematicians. In an effort to ...
18
votes
5answers
915 views

Book recommendation for cobordism theory

I am planning to organize a seminar on cobordism theory and I'm looking for a reference. Such a reference is preferably a book, but I'm open to other ideas. The audience is familiar with ...
5
votes
0answers
70 views

Survey of known results on equivariant transversality

Most basic differential topology theorems carry over to the equivariant case with mild modifications; see for instance Wasserman's paper. One thing that fails (more or less obviously) is equivariant ...
3
votes
1answer
126 views

cohomology module of unit tangent vector bundles over spheres

Let $S^m$ be the $m$-sphere and $\tau (S^m)$ the sphere bundle consisting of unit tangent vectors in the tangent bundle $TS^m$. Then we have a fibration $$ S^{m-1}\longrightarrow ...
-1
votes
1answer
117 views

Tensor bundles as G structures [closed]

For a smooth, real surface $\Sigma$, its bundle of symmetric, bi-linear forms $S^2T\Sigma$ reduced to a $PGL(2,\mathbb{R})$ structure. A similar reduction(with different structure group) can be done ...
0
votes
1answer
155 views

Triviality of certain vector bundles

Let $M$ be a smooth manifold and let $SM$ be the bundle of symmetric bi-linear forms on $TM.$ Riemannian metrics are a particular kind of sections in this bundle. Since any manifold admits a global ...
9
votes
1answer
263 views

embedding of quaternionic projective spaces

Let $\mathbb{H}P^m$ be the $m$-th quaternionic projective space. What is the smallest integer $N$ such that there exists an embedding $$ \mathbb{H}P^2\longrightarrow \mathbb{R}^N? $$ Are there any ...
1
vote
1answer
227 views

On compact, orientable 3-manifolds with non-empty boundary

I recall my Professor having stated something along the lines of the following, but I am not quite certain about the precise statement she gave: Let $M$ be a compact, orientable 3 manifold with ...
14
votes
2answers
330 views

Can an oriented closed $n(\geq 2)$-dimensional manifold be embedded in $\mathbb{R^{2n-1}}$

Can anyone provide me an example of an orientable closed manifold $M$ of dimension $n\geq 2$, which cannot be embedded in $\mathbb R^{2n-1}$? I know this is certainly not true when $n=1$, i.e. ...
3
votes
1answer
84 views

self-Whitney sum of the canonical vector bundle on Grassmannians

Let $G_{k}(\mathbb{R}^N)$ be the Grassmannian manifold consisting of $k$-subspaces in $\mathbb{R}^N$. There is a canonical $k$-dimensional vector bundle $$ \gamma_{k,N}: \mathbb{R}^k\longrightarrow ...
2
votes
1answer
141 views

Stiefel-Whitney classes of tensor product $\xi^m \otimes \eta^n$, computation

Let $\xi^m$ and $\eta^n$ be vector bundles over a paracompact base space. Where can I find a reference to the Stiefel-Whitney classes of the tensor product $\xi^m \otimes \eta^n$ being computed as ...
8
votes
2answers
464 views

Vector bundles, finitely generated projective module?

Let $B$ be a Tychonoff space and let $\mathbb{R}(B)$ denote the ring of continuous real valued functions on $B$. For any vector bundle $\xi$ over $B$, let $S(\xi)$ denote the $\mathbb{R}(B)$-module ...
4
votes
0answers
164 views

Vector bundle $\gamma^1$ over $\textbf{P}^\infty$ does not have finite type? [closed]

Using Stiefel-Whitney classes, how do I see that the vector bundle $\gamma^1$ over $\textbf{P}^\infty$ does not have finite type?
7
votes
2answers
194 views

Does $\mathfrak{N}_4$ contain at least four distinct elements?

How do I see that the set $\mathfrak{N}_4$ consisting of all unoriented cobordism classes of smooth closed $4$-manifolds contains at least four distinct elements?
5
votes
0answers
132 views

Consequences of the Euler characteristic vanishing mod p

Let $M$ be a smooth compact connected manifold. If $\chi(M)=0$, the unit tangent bundle $S(TM) \rightarrow M$ has a section. Is there anything that can be said if $\chi(M)$ is congruent to $0$ mod $p$ ...
6
votes
1answer
136 views

$n + 1 = 2^rm$ with $m$ odd $\implies$ do not exist $2^r$ vector fields on $\mathbb{P}^n$ that are everywhere linearly independent?

What is the easiest/quickest way to see the following? If $n + 1 = 2^rm$ with $m$ odd, then there do not exist $2^r$ vector fields on the projective space $\mathbb{P}^n$ which are everywhere ...
4
votes
1answer
75 views

$E \times_H \mathbb{R}^n$ is isomorphic to the total space of the tautological bundle $\gamma^n$ over $G_n(\mathbb{R}^{n+k})$?

Let $H$ be the subgroup of $\text{GL}(n + k, \mathbb{R})$ consisting of matrices whose lower $n \times k$ block is empty; i.e. consisting of matrices of the form$$\begin{pmatrix} A & * \\ 0 & ...
3
votes
1answer
146 views

Immersing spaces in $\mathbb{R}^{n+1}$, Stiefel-Whitney classes

Where can I find references to proofs/can anyone supply me a quick proof of the following facts? If the $n$-dimensional manifold $M$ can be immersed in $\mathbb{R}^{n+1}$, then each $w_i(M)$ is ...
7
votes
1answer
100 views

$\text{GL}(n + k, \mathbb{R})$ is a principal $H$ bundle over the Grassmann manifold $G_n(\mathbb{R}^{n+k})$?

Let $H$ be the subgroup of $\text{GL}(n + k, \mathbb{R})$ consisting of matrices whose lower $n \times k$ block is empty; i.e. consisting of matrices of the form$$\begin{pmatrix} A & * \\ 0 & ...
0
votes
0answers
85 views

Unit sphere of a norm is a submanifold implies the norm is smooth?

Let us call a norm on $\mathbb{R}^n$ smooth if its restriction $\| \cdot \|:\mathbb{R}^n\setminus \{ 0 \} \to \mathbb{R}$ is a smooth map. Suppose the unit sphere of a norm $\| \cdot \|$ is an ...
8
votes
2answers
289 views

Volume form on a hyperbolic manifold with geodesic boundary

Let $M$ be a compact connected orientable Riemannian $n$-manifold with boundary $\partial M\ne\emptyset$. Since $H^n(M,\mathbb R)=0$, the connecting morphism $\delta: H^{n-1}(\partial M,\mathbb R)\to ...
14
votes
2answers
431 views

Exotic smooth structures on Lie groups?

If a topological group $G$ is also a topological manifold, it is well-known (Hilbert's 5th Probelm) that there is a unique analytic structure making it a Lie group. However, for a compact Lie group ...
6
votes
1answer
172 views

Exotic line arrangements

I would like to discuss about the following problem. Hopefully, you will suggest me some ideas and bibliography. At first I provide some basic definitions to set up the notation. Let us consider a ...
4
votes
0answers
167 views

Lie group structure over diffeomorphisms group

Let $M$ be a smooth manifold. Is it true that for every subgroup $G$ of $diff(M)$ there is at most one Lie group structure on $G$ such that the natural left $G$-action on $M$ is smooth? Edit: by "Lie ...
3
votes
1answer
285 views

Tangent bundle of $S^2 \times S^1$ trivial or not [closed]

Is the tangent bundle of $S^2 \times S^1$ trivial or not?
4
votes
0answers
90 views

Higher tangent bundles of manifolds with non integer dimension

One way to define the tangent space of a manifold at a point $p\in M$ is the following: We define an equivalent relation on the space of curves passing $p$ as follows: Two curves $\alpha, \beta$ are ...
5
votes
2answers
239 views

3-sphere bundles over 4-sphere bound smooth disc bundles

I saw in the answer of this post: Is it true that all sphere bundles are boundaries of disk bundles? that a $S^3$-bundle over $S^4$ bounds a disc bundle over $S^4$ iff $O(4)\rightarrow Diff(S^3)$ is ...
0
votes
0answers
52 views

Submanifolds invariant under subgroups with identical quotients

given a smooth manifold $M^n$ and a finite group $G$ acting smoothly and effectively, let's consider two (embedded) $k$-dimensional submanifolds $N_1,N_2\subset M$ and two subgroups $H_1,H_2\subset G$ ...
2
votes
0answers
122 views

Structure of $C^k$ ($k<\infty$)Riemannian metrics on a manifold

$M$ is a smooth manifold. It's known that if $M$ is compact, then the space of smooth Riemannian metrics has a Frechet manifold structure. For the space of $C^k$($k<\infty$) Riemannian metrics, ...
0
votes
0answers
66 views

conformal deformation with fixed boundaries

For a flat plane with certain boundary, e.g., a rectangular patch, is it possible to conformally displace or deform such patch to a curved bump with exact same boundary? In this thesis, Dr. Keenan ...
3
votes
1answer
64 views

Convergence of local stable manifolds

This question is a kind of local version of a previous post (MO224171). Let $\ f_n \ $ be a sequence of Morse functions on $\mathbb{R}^d$, converging, in the $C^\infty$-topology, to a limit Morse ...
2
votes
0answers
86 views

Name for the variety of preimages of a finite morphism

If $f:X\to Y$ is a finite morphism of degree $d$ between two varieties, you get a closed subset of the symmetric product $X^{(d)}$ (or perhaps rather the Hilbert scheme $X^{[d]}$), defined as the ...
0
votes
0answers
79 views

Divergence free vector field on compact surface

I get a free divergence field $X$ on a compact surface $(\Sigma, g)$ and I would like to integrate it. On the sphere $X=\nabla^\bot f$ since the spher is simply connected.($\nabla^\bot =J\circ ...
2
votes
1answer
87 views

open book decompositions and being a boundary

Are there examples of smooth closed manifolds (not necessarily oriented) that admit an open book decomposition but that are not the boundary of any compact smooth manifold?
6
votes
1answer
98 views

Stable manifolds of a sequence of Morse functions

Let $\ f_n \ $ be a sequence of Morse functions on $\mathbb{R}^d$, adequately converging (in the $C^2$-topology, say) to a limit Morse function $\ f$: $$ f_n \to f \ .$$ At any critical point $\ p\ ...