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. For instance, to prove the fact that the Jones polynomial is an invariant of knots, we can use the Reidemeister moves.

On the other hand, in the 4-manifold theory, there is the Kirby calculus, which play roles similar to the Reidemeister moves.

So, are there some studies about construction of an invariant of 4-manifolds by using the Kirby calculus?

Thanks for your help.

  • 3
    $\begingroup$ Most of the invariants of $4$-manifolds satisfy various surgery formulas showing that they are in some sense compatible with Kirby calculus. However, there is one issue in dimension $4$ that is not present in lower dimensions: many smooth $4$-manifolds admit several non-diffeomorphic smooth structures. This is ahrder to see using Kirby calculus alone. $\endgroup$ – Liviu Nicolaescu Jan 31 '16 at 12:44

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 models"). I've written this down in this article:


If you want a version with more impressions and pictures, and less text, look at the talk slides:


The Broda invariant is a special case of the dichromatic framework, which was developed by Jerome Petit (and probably Alain Bruguières).

The dichromatic and Crane-Yetter invariants are stronger than signature and Euler characteristic. They are sensitive to the fundamental group (not just homology), but still fail to distinguish $S^2 \times S^2$ and $\mathbb{CP}^2 \# \overline{\mathbb{CP}}^2$. They are probably still homotopy invariants, but this is a conjecture.

| cite | improve this answer | |
  • 1
    $\begingroup$ @nsmath, you're welcome! I'll edit the answer a bit since you were interested in something going beyond Broda's invariant. $\endgroup$ – Manuel Bärenz Feb 27 '17 at 7:27
  • $\begingroup$ Links are not working.. $\endgroup$ – Marco Farinati Oct 15 '19 at 20:58
  • $\begingroup$ @MarcoFarinati, thanks for the reminder. I've fixed the first link, and I'll reupload the material to the second link soon. $\endgroup$ – Manuel Bärenz Oct 16 '19 at 14:46
  • $\begingroup$ thanks for the new link! I'm trying to learn Kirby calculus and your paper looks very good $\endgroup$ – Marco Farinati Oct 16 '19 at 16:38
  • 1
    $\begingroup$ thanks for the recommendation, that was the kind of material I was looking for $\endgroup$ – Marco Farinati Oct 16 '19 at 17:39

The Witten-Reshetikhin-Turaev approach to constructing quantum topological invariants of $3$-manifolds is to define them on framed links and to prove invariance under Kirby moves.

There is a paper of Broda which presents a $4$--manifold version of this strategy to construct "Witten-Reshetikhin-Turaev invariants" for $4$-manifolds.

| cite | improve this answer | |
  • $\begingroup$ Thank you. But this paper says that the invariants are expressible by classical invariants (signature and Euler character). Do you know another research about construction of "new" invariants? $\endgroup$ – Shinichiro Nakamura Jan 31 '16 at 12:11

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.