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

https://doi.org/10.1007/s00220-017-3012-9

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

https://www.manuelbaerenz.de/article/understanding-crane-yetter-model

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.


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.