Discretization of 4d Poincaré BF theory: from groups to 2-groups
arXiv:2105.01817 · doi:10.1103/PhysRevD.106.046003
Abstract
We study the discretization of a Poincaré/Euclidean BF theory. Upon the addition of a boundary term, this theory is equivalent to the BFCG theory defined in terms of the Poincaré/Euclidean 2-group. At an intermediate step in the discretization, we note that there are multiple options for how to proceed. One option brings us back to recovering the discrete variables and phase space of BF theory. Another option allows us to rediscover the phase space related to the G-networks given in [2]. Indeed, our main result is that we are now able to relate the continuum fields with the discrete variables in [2]. This relation is important to determine how to implement the simplicity constraints to recover gravity using the BFCG action. In fact, we show that such relation is not as simple as in the BF discretization: the discretized variables on the triangles actually depend on several of the continuum fields instead of solely the continuum B-field. We also compare and contrast the discretized BF and BFCG models as pairs of dual 2-groups. This work highlights (again) how the choice of boundary term influences the resulting symmetry structure of the \textit{discretized theory} -- and hence ultimately the choice of quantum states.
arXiv comment32 pages, 6 figures
References in corpus (25)
- Higher-dimensional Algebra and Topological Quantum Field Theory
- An Invitation to Higher Gauge Theory
- Edge modes of gravity -- I: Corner potentials and charges
- Edge modes of gravity -- II: Corner metric and Lorentz charges
- Higher Gauge Theory: 2-Connections on 2-Bundles
- Edge modes of gravity. Part III. Corner simplicity constraints
- Higher gauge theory -- differential versus integral formulation
- Topological Higher Gauge Theory - from BF to BFCG theory
- Poincare 2-group and quantum gravity
- Flux formulation of loop quantum gravity: Classical framework
- Euclidean 4-simplices and invariants of four-dimensional manifolds: II. An algebraic complex and moves 2 <-> 4
- Origin of the quantum group symmetry in 3d quantum gravity
- Euclidean 4-simplices and invariants of four-dimensional manifolds: I. Moves 3 -> 3
- Discretization of 3d gravity in different polarizations
- 2+1D Loop Quantum Gravity on the Edge
- Quantum geometry from higher gauge theory
- Euclidean 4-simplices and invariants of four-dimensional manifolds: III. Moves 1 <-> 5 and related structures
- A 2-categorical state sum model
- Dual loop quantizations of 3d gravity
- Hamiltonian analysis of the BFCG theory for the Poincare 2-group
- Hamiltonian analysis of the BFCG formulation of General Relativity
- Dual 2+1D Loop Quantum Gravity on the Edge
- Poincare-Plebanski formulation of GR and dual simplicity constraints
- A new realization of quantum geometry
- First-order formulation of teleparallel gravity and dual loop gravity