Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Combinatorial quantization of 4d 2-Chern-Simons theory I: the Hopf category of higher-graph states

Hank Chen

TL;DR

This work develops a lattice quantization framework for 4d 2-Chern-Simons theory using Lie 2-groups, encoding degrees of freedom on 2-graphs as measurable categories. The central construction is a Hopf cocategory of categorical 2-graph operators endowed with a cobraiding via a higher R-matrix, providing a categorified analogue of the Alekseev–Grosse–Schomerus lattice Chern-Simons quantization. A semiclassical limit recovers Poisson-Lie 2-group structures, linking the lattice theory to a Lie 2-bialgebra underlying the 2-Chern-Simons action, while a lattice 2-algebra combining 2-graph operators and 2-gauge transformations yields a robust observable framework. The formalism relies on the Meas_q setting of Crane–Yetter measurable categories to handle the infinite-dimensional, categorified quantum groups and paves the way toward explicit lattice scattering amplitudes for 2-Chern-Simons theory and higher-tangle invariants on 4-manifolds.

Abstract

2-Chern-Simons theory, or more commonly known as 4d BF-BB theory with gauged shift symmetry, is a natural generalization of Chern-Simons theory to 4-dimensional manifolds. It is part of the bestiary of higher-homotopy Maurer-Cartan theories. In this article, we present a framework towards the combinatorial quantization of 2-Chern-Simons theory on the lattice, taking inspiration from the work of Aleskeev-Grosse-Schomerus three decades ago. The central geometric input is a "2-graph" $Γ^2$ embedded in a 3d Cauchy slice $Σ$, which has equipped the structure of a discrete 2-groupoid. Upon such 2-graphs, we model the extended Wilson surface operators in 2-Chern-Simons holonomies as Crane-Yetter's {\it measureable fields}. We show that the 2-Chern-Simons action endows these 2-graph operators -- as well as their quantum 2-gauge symmetries -- the structure of a Hopf category, and that their associated higher $R$-matrix gives it a categorical quasitriangularity structure, which we call the {\it cobraiding}. This is an explicit realization of the categorical ladder proposal of Baez-Dolan, in the context of Lie group 2-gauge theories on the lattice. Moreover, we will also analyze the lattice 2-algebra on the graph $Γ$, and extract the observables from it.

Combinatorial quantization of 4d 2-Chern-Simons theory I: the Hopf category of higher-graph states

TL;DR

This work develops a lattice quantization framework for 4d 2-Chern-Simons theory using Lie 2-groups, encoding degrees of freedom on 2-graphs as measurable categories. The central construction is a Hopf cocategory of categorical 2-graph operators endowed with a cobraiding via a higher R-matrix, providing a categorified analogue of the Alekseev–Grosse–Schomerus lattice Chern-Simons quantization. A semiclassical limit recovers Poisson-Lie 2-group structures, linking the lattice theory to a Lie 2-bialgebra underlying the 2-Chern-Simons action, while a lattice 2-algebra combining 2-graph operators and 2-gauge transformations yields a robust observable framework. The formalism relies on the Meas_q setting of Crane–Yetter measurable categories to handle the infinite-dimensional, categorified quantum groups and paves the way toward explicit lattice scattering amplitudes for 2-Chern-Simons theory and higher-tangle invariants on 4-manifolds.

Abstract

2-Chern-Simons theory, or more commonly known as 4d BF-BB theory with gauged shift symmetry, is a natural generalization of Chern-Simons theory to 4-dimensional manifolds. It is part of the bestiary of higher-homotopy Maurer-Cartan theories. In this article, we present a framework towards the combinatorial quantization of 2-Chern-Simons theory on the lattice, taking inspiration from the work of Aleskeev-Grosse-Schomerus three decades ago. The central geometric input is a "2-graph" embedded in a 3d Cauchy slice , which has equipped the structure of a discrete 2-groupoid. Upon such 2-graphs, we model the extended Wilson surface operators in 2-Chern-Simons holonomies as Crane-Yetter's {\it measureable fields}. We show that the 2-Chern-Simons action endows these 2-graph operators -- as well as their quantum 2-gauge symmetries -- the structure of a Hopf category, and that their associated higher -matrix gives it a categorical quasitriangularity structure, which we call the {\it cobraiding}. This is an explicit realization of the categorical ladder proposal of Baez-Dolan, in the context of Lie group 2-gauge theories on the lattice. Moreover, we will also analyze the lattice 2-algebra on the graph , and extract the observables from it.
Paper Structure (52 sections, 27 theorems, 164 equations, 2 figures)

This paper contains 52 sections, 27 theorems, 164 equations, 2 figures.

Table of Contents

  1. Introduction
  2. Motivation
  3. Overview and results
  4. Graph operators précis
  5. Coproduct and the antipode
  6. Quantum deformation on the lattice
  7. A coherent formulation of graph operators
  8. Definition of a 2-graph
  9. 2-Chern-Simons theory on the lattice
  10. Discrete 2-gauge theory
  11. Weak 2-gauge theory based on weakly-associative smooth 2-groups
  12. Closure of the weak 2-gauge algebra
  13. Configuration space of lattice 2-Chern-Simons theory
  14. Square-integrable functors: measureable fields
  15. Haar measures on locally compact Lie 2-groups
  16. ...and 37 more sections

Key Result

Theorem 1.3

Let $\Gamma^2$ denote the 2-groupoid of 2-graphs associated to a lattice $\Gamma\subset \Sigma$ embedded in a 3-dimensional Cauchy slice $\Sigma$ of $X$. Moreover, both are equipped with a "coraiding", which is a higher categorical analogue of a quasitriangulairty structure (see Definition cobraidingdef).

Figures (2)

  • Figure 1: The categorical ladder as proposed in Pfeiffer2007Baez:1995xqCrane:1994ty, which gives a prescription for how the observables in a higher-dimensional TQFT should behave. Here, the vertical axis is the dimension and the horizontal axis denotes the operation of taking modules.
  • Figure 2: A coproduct $\tilde{\Delta}$ on the 2-gauge transformation parameters $\zeta\in\tilde{{\cal C}}$ manifests naturally from the composition of the 2-graphs.

Theorems & Definitions (96)

  • Definition 1.1
  • Conjecture 1.2
  • Theorem 1.3
  • Theorem 1.4
  • Remark 2.1
  • Remark 2.2
  • Remark 3.1
  • Definition 3.1
  • Remark 3.2
  • Definition 3.2
  • ...and 86 more