Abstract:Given the algebraic data characterizing any (2+1)D bosonic or fermionic topological order with a global symmetry group $G = \mathrm{U}(1) \rtimes H$, we construct a (3+1)D topologically invariant path integral in the presence of a curved background $G$ gauge field, as an exact combinatorial state sum. Specifically, the $\mathrm{U}(1)$ component of the $G$ gauge field can have a non-trivial second Chern class, extending previous work that was restricted to flat $G$ bundles. Our construction expresses the $\mathrm{U}(1)$ gauge field in terms of a Villain formulation on the triangulation, which includes a 1-form $\mathbb{R}$ gauge field and 2-form $\mathbb{Z}$ gauge field. We develop a new graphical calculus for anyons interacting with "Villain symmetry defects", associated with the 1-form and 2-form background gauge fields. This graphical calculus is used to define the (3+1)D path integral, which can describe either a bosonic or fermionic symmetry-protected topological (SPT) phase. For example, we can construct the topological path integral on curved $\mathrm{U}(1)$ bundles for the (3+1)D fermionic topological insulator in class AII and topological superconductor in class AIII given appropriate (2+1)D fermionic symmetry fractionalization data; these then give invariants of 4-manifolds with Spin$^c$ or Pin$^c$ structures and their generalizations. The (3+1)D path integrals define anomaly indicators for the (2+1)D topological orders; in the case of Abelian (2+1)D topological orders, we derive by explicit computation all of the mixed $\mathrm{U}(1)$ anomaly indicator formulas proposed by Lapa and Levin. We also propose a Spin$^c$ generalization of the Gauss-Milgram sum, valid for super-modular categories.

Quantum 2D Liouville Path-Integral is a Sum over Geometries in AdS_3 Einstein Gravity

Quantum 2D Liouville Path-Integral Is a Sum over Geometries in AdS$_3$ Einstein Gravity

Deriving Non-Perturbative Gravity Dual of Quantum Liouville Theory from BCFT Operator Algebra

Quantum triangles and imaginary geometry flow lines

Quantum Group Intertwiner Space From Quantum Curved Tetrahedron

The two-sphere partition function in two-dimensional quantum gravity

Dynamical emergence of SUq(2) from the regularization of (2+1)D gravity with a cosmological constant

De Sitter horizon entropy from a simplicial Lorentzian path integral

CFT_D from TQFT_D+1 Via Holographic Tensor Network, and Precision Discretisation of CFT_2

Building up quantum spacetimes with BCFT Legos

CFT_{D} from TQFT_{D+1} Via Holographic Tensor Network, and Precision Discretization of CFT_{2}

The q-Schwarzian and Liouville gravity

On topology changes in quantum field theory and quantum gravity

Supercritical Liouville quantum gravity and CLE$_4$

Liouville conformal field theory and the quantum zipper

From quantum curves to topological string partition functions II

CFT$_D$ from TQFT$_{D+1}$ via Holographic Tensor Network, and Precision Discretisation of CFT$_2$

(3+1)D path integral state sums on curved U(1) bundles and U(1) anomalies of (2+1)D topological phases

The complex Liouville string

The Critical Liouville Quantum Gravity Metric Induces the Euclidean Topology

Area measures and branched polymers in supercritical Liouville quantum gravity