Skip to main content
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
Results tagged with
Search options questions only not deleted user 13767

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”.

3 votes
1 answer
419 views

Simply-connected 4-manifolds can be blown up and down to complex projective planes. How abou...

There is a nice theorem that for every simply connected, closed, smooth, oriented manifold $M$, we have for some $m \in \mathbb{N}$: $$M \# \left(\mathop{\#}^m \left(\mathbb{C}\mathbb{P}^2 \# \overlin …
Manuel Bärenz's user avatar
7 votes
0 answers
201 views

What are (the motivations for Dominic Joyce's definition of) smooth functions for manifolds ...

In this article, Joyce defines a new kind of smooth map of manifolds with corners. The standard requirement would be that a smooth map is smooth in every chart. He calls such maps weakly smooth. In …
Manuel Bärenz's user avatar
7 votes
2 answers
793 views

How can Wall's theorem be generalised to non-simply connected manifolds?

In a sense, this is a follow-up to this question. By work of Freedman and Wall, it is known that if two simply-connected 4-manifolds $M$ and $N$ are homeomorphic, then there is $k \in \mathbb{N}$ suc …
Manuel Bärenz's user avatar
10 votes
1 answer
274 views

Are there 4d state sum models, extended TQFTs or chain mail invariant that detect smooth str...

A state sum model is a smooth invariant defined on smooth triangulated, or PL manifolds, by summing a local partition function over labels attached to the elements of the triangulation. Typical exampl …
Manuel Bärenz's user avatar
7 votes
0 answers
444 views

Differential topology on arbitrary fields

What do the differential topology theories on arbitrary fields have in common? Different differential topology theories There is "ordinary" differential topology on real manifolds, with its rich re …
Manuel Bärenz's user avatar
10 votes
1 answer
773 views

What are Kirby diagrams of candidate exotic 4-manifolds?

It is an open problem whether there exist smooth manifolds homeomorphic, but not diffeomorphic to the standard $S^4$. The same is true for the 4-torus and several other manifolds. Handle decomposition …
Manuel Bärenz's user avatar
4 votes
0 answers
273 views

Cap product for (co)homology from handle decompositions/Kirby diagrams

Since handle decompositions and Morse functions are intimately related, I'm imagining that a given explicit handle decomposition allows for an explicit description of the cellular complex and thus of …
Manuel Bärenz's user avatar
5 votes
0 answers
95 views

Pull back group cohomology onto handle decomposition

A construction encountered in the Dijkgraaf-Witten invariant uses the following ingredients: An oriented, (assumed here to be smooth) manifold $M^n$ A finite group $G$ (and a field, chosen to be $\m …
Manuel Bärenz's user avatar
3 votes
0 answers
100 views

What's a completely computational/syntactical model for handle decompositions of manifolds?

Simplicial sets, CW complexes Simplicial sets can be described completely algebraically, by specifying a family of sets, and maps between them satisfying certain relations. This description can be di …
Manuel Bärenz's user avatar
4 votes
2 answers
700 views

Are there Kirby diagrams with 3-handles?

Let $M\colon \partial_- M \to \partial_+ M$ be an oriented, compact cobordism. Assume that there is a handle decomposition with at most one 0-handle, and denote the handle bodies by $M_i, i \in \{0,\d …
Manuel Bärenz's user avatar
14 votes
1 answer
647 views

Is there a PL, or topological, bordism hypothesis?

The bordism hypothesis says that the $(\infty, n)$-category of smooth, framed $n$-bordisms, $(n-1)$-dimensional boundaries, and corners down to points, is freely generated symmetric monoidal with dual …
Manuel Bärenz's user avatar
10 votes
2 answers
598 views

What are TQFTs that are multiplicative under connected sums? Do bordisms with connected sum ...

In general, one extracts a manifold invariant from a TQFT by interpreting the closed manifold as a bordism from the empty set to the empty set. The TQFT sends this bordism to a homomorphism of the gro …
Manuel Bärenz's user avatar
31 votes
2 answers
2k views

A manifold is a homotopy type and _what_ extra structure?

Motivation: Surfaces Closed oriented 2-manifolds (surfaces) are "classified by their homotopy type". By this we mean that two closed oriented surfaces are diffeomorphic iff they're homotopy equivalen …
Manuel Bärenz's user avatar