Search Results
Search type | Search syntax |
---|---|
Tags | [tag] |
Exact | "words here" |
Author |
user:1234 user:me (yours) |
Score |
score:3 (3+) score:0 (none) |
Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
Views | views:250 |
Code | code:"if (foo != bar)" |
Sections |
title:apples body:"apples oranges" |
URL | url:"*.example.com" |
Saves | in:saves |
Status |
closed:yes duplicate:no migrated:no wiki:no |
Types |
is:question is:answer |
Exclude |
-[tag] -apples |
For more details on advanced search visit our help page |
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”.
5
votes
1
answer
270
views
Irreducibility of 3-manifolds with (non)empty boundary
All manifolds considered here are compact and orientable. A 3-manifold (with possible boundary) is irreducible if any smooth sphere bounds a ball. Note that a closed irreducible 3-manifold is prime, a …
16
votes
1
answer
687
views
Study topology from existence of multiple smooth structures?
There are classical existence results of a smooth structure on a topological manifold, and many results on the existence of multiple (i.e. exotic) smooth structures. Some utilize Freedman's theorem in …
8
votes
1
answer
431
views
Milnor immersion of circle, disks, and a ball
Milnor surprisingly found an immersion of a circle in the plane which bounds two "incompatible" immersed disks (see [1] for example, picture included). I think I can glue these two disks together to d …
5
votes
1
answer
251
views
Conjecture on homotopy groups of moduli space of self-dual connections
In the paper Stability in Yang-Mills Theories (1983), Taubes puts a (topological) bound on the Hessian of the YM-action on $S^4$. He consequently conjectured:
"The inclusion $\mathcal{M}_n\hookrightar …
26
votes
2
answers
1k
views
Vector fields on $(4n+1)$-spheres
If $n$ is odd then $S^{n-1}$ doesn't admit a nowhere-vanishing vector field, and if $n$ is even then there does exist one (Hairy Ball Theorem). We can then ask, on $S^{n-1}$, what is the maximum numbe …
4
votes
1
answer
308
views
Concerning strata in $C^\infty(M)$
The Morse functions are dense in $C^\infty(M)$, and you can ask if a 1-parameter family of smooth functions between two given Morse functions will be a homotopy through Morse functions. Well, Cerf The …
9
votes
3
answers
2k
views
When does a hypersurface have contact-type?
In a symplectic manifold $(X^{2n},\omega)$, a hypersurface $Y\subset X$ has contact-type if there is a contact form $\lambda$ such that $d\lambda=\omega|_Y$. Recall that a contact form is a 1-form wit …
10
votes
2
answers
2k
views
Floer homology and Invariants for Einstein Field Equations?
Motivation: There have been the instanton (anti-self dual connection) solutions to the Yang-Mills equation $d_A^\ast F_A=0$ which extremize the YM energy $\int_M|F_A|^2$, leading to the Donaldson inva …
59
votes
3
answers
5k
views
Operations via Morse Theory
I am interested in seeing if and how Morse Theory can "do everything". Some core things are handle decomposition, Bott periodicity, and Euler characteristic. But what do the normal (co)homology operat …
39
votes
4
answers
9k
views
How to tackle the smooth Poincaré conjecture
The last remaining problem in this whole "everything is a sphere" business, is the smooth Poincaré conjecture in dimension 4: If $X\simeq_\text{homo.eq.} S^4$ then $X\approx_\text{diffeo} S^4$. Freed …
4
votes
1
answer
514
views
Spin-c Structures viewed w.r.t. Cell Decomposition
In my quest to understand spin representations, I am looking at the equivalent views of spin structures (on some oriented Riemannian $n$-manifold). Given such a manifold $M$, its tangent bundle $TM$ …