A 2-categorical state sum model

Abstract

It has long been argued that higher categories provide the proper algebraic structure underlying state sum invariants of 4-manifolds. This idea has been refined recently, by proposing to use 2-groups and their representations as specific examples of 2-categories. The challenge has been to make these proposals fully explicit. Here we give a concrete realization of this program. Building upon our earlier work with Baez and Wise on the representation theory of 2-groups, we construct a four-dimensional state sum model based on a categorified version of the Euclidean group. We define and explicitly compute the simplex weights, which may be viewed a categorified analogue of Racah-Wigner 6$j$-symbols. These weights solve an hexagon equation that encodes the formal invariance of the state sum under the Pachner moves of the triangulation. This result unravels the combinatorial formulation of the Feynman amplitudes of quantum field theory on flat spacetime proposed in [1], which was shown to lead after gauge-fixing to Korepanov's invariant of 4-manifolds.

21 pages, published version

References in corpus (8)

• LQG vertex with finite Immirzi parameter
• A New Spin Foam Model for 4d Gravity
• Area-angle variables for general relativity
• Categorical representations of categorical groups
• Topological Higher Gauge Theory - from BF to BFCG theory
• Hidden Quantum Gravity in 3d Feynman diagrams
• Hidden Quantum Gravity in 4d Feynman diagrams: Emergence of spin foams
• 2-categorical Poincare Representations and State Sum Applications