Categorical generalization of BF theory coupled to gravity

Abstract

We present a thorough introduction to the tools of category theory required for formulating gauge theories based on 2-connections. We provide a detailed construction of the categorical generalization of BF theory, dubbed BFCG, also known as 2BF. Similar to BF gravity, it is known that BFCG can be deformed to give general relativity. Here, we obtain an alternative relation between BFCG and gravity, which consists of coupling general relativity and BFCG by means of the volume form constructed out of the BFCG connections. The resulting theory, closely related to unimodular gravity, is a generalization of BF sequestered gravity not only in the sense that it adds new fields but also in that it allows for new choices for the volume form that is coupled to gravity. Furthermore, we show that BF sequestered gravity in the abelian case is recovered for a specific choice of the 2-group.

arXiv commentpublished version with added references, minor corrections and improvements

References in corpus (17)

• Massive Gravity
• Bimetric Gravity from Ghost-free Massive Gravity
• Kaluza-Klein Gravity
• Gravity as the Square of Gauge Theory
• An Invitation to Higher Gauge Theory
• Quantum Corrections to Unimodular Gravity
• Gravity as a diffeomorphism invariant gauge theory
• $BF$ gravity
• Topological Higher Gauge Theory - from BF to BFCG theory
• Poincare 2-group and quantum gravity
• The BF Formalism for QCD and Quark Confinement
• Higher Gauge Theories Based on 3-groups
• Structures in multiple spin-2 interactions
• Energy nonconservation and relativistic trajectories: Unimodular gravity and beyond
• Topological Features of the Quantum Vacuum
• Black hole and cosmological analysis of BF sequestered gravity
• Hamiltonian analysis of the BFCG theory for a strict Lie 2-group