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 not deleted user 13767

A smooth 4-manifold is a 4-manifold with a smooth structure. In dimension four, in marked contrast with lower dimensions, topological and smooth manifolds are quite different.

17 votes
1 answer
753 views

Is there a constructive proof that in four dimensions, the PL and the smooth category are eq...

Summary Famously, the categories of 4-dimensional smooth manifolds and 4-dimensional piecewise linear manifolds are equivalent. Is there a constructive proof for this theorem or does it depend on the …
Manuel Bärenz's user avatar
13 votes
2 answers
727 views

Given a Kirby diagram of a 4-manifold, what's its homotopy 2-type?

It's easy to derive a presentation of the fundamental group of a 4-manifold if you have a Kirby diagram: The 1-handles are generators and the 2-handles are the relations. The 3- and 4-handles, which a …
Manuel Bärenz's user avatar
11 votes
Accepted

Construction of invariants of 4-manifolds with the Kirby calculus

Disclaimer: Shameless self-advertising. Yes, it can be done, and it's really beautiful! You can define the Crane-Yetter invariant with Kirby calculus, and possibly other TQFTs ("dichromatic model …
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
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
5 votes
2 answers
630 views

Does the 4-sphere have a nonzero Poisson structure as a Poisson homogeneous space?

It is known that the 4-sphere does not have a symplectic structure. However, it does admit Poisson structures, for example the zero Poisson structure, which is quite boring. Does it have other, more i …
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
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
2 votes

4-dimensional TQFT with/without requiring spin structure

One of the most famous 4d TQFTs is the Crane-Yetter TQFT, or its Hamiltonian lattice formulation, the Walker-Wang model. See my question How are the Walker-Wang TQFT and the Crane-Yetter TQFT related? …
Manuel Bärenz's user avatar
0 votes

Theoretical physics: Why not just $\mathbb{R}^4$?

If you accept that quantum gravity with matter should be a Topological Quantum Field Theory and that TQFTs probably can't distinguish simply connected homotopy equivalent 4-manifolds, you should come …
Manuel Bärenz's user avatar