Higher gauge theory -- differential versus integral formulation

Abstract

The term higher gauge theory refers to the generalization of gauge theory to a theory of connections at two levels, essentially given by 1- and 2-forms. So far, there have been two approaches to this subject. The differential picture uses non-Abelian 1- and 2-forms in order to generalize the connection 1-form of a conventional gauge theory to the next level. The integral picture makes use of curves and surfaces labeled with elements of non-Abelian groups and generalizes the formulation of gauge theory in terms of parallel transports. We recall how to circumvent the classic no-go theorems in order to define non-Abelian surface ordered products in the integral picture. We then derive the differential picture from the integral formulation under the assumption that the curve and surface labels depend smoothly on the position of the curves and surfaces. We show that some aspects of the no-go theorems are still present in the differential (but not in the integral) picture. This implies a substantial structural difference between non-perturbative and perturbative approaches to higher gauge theory. We finally demonstrate that higher gauge theory provides a geometrical explanation for the extended topological symmetry of BF-theory in both pictures.

26 pages, LaTeX with XYPic diagrams; v2: typos corrected and presentation improved

References in corpus (3)

• Higher gauge theory and a non-Abelian generalization of 2-form electrodynamics
• Local symmetries of the non-Abelian two-form
• Gauge transformations of the non-Abelian two-form

Cited by in corpus (37)

• An Invitation to Higher Gauge Theory
• Selfdual strings and loop space Nahm equations
• Non-Abelian Tensor Multiplet Equations from Twistor Space
• Non Abelian Differentiable Gerbes
• L-infinity algebra connections and applications to String- and Chern-Simons n-transport
• Topological Higher Gauge Theory - from BF to BFCG theory
• Canonical differential geometry of string backgrounds
• M-brane Models from Non-Abelian Gerbes
• Causal sites as quantum geometry
• On $3$-gauge transformations, $3$-curvature and $\mathbf{Gray}$-categories
• Parallel Transport over Path Spaces
• Adjusted Parallel Transport for Higher Gauge Theories
• The non-Abelian tensor multiplet in loop space
• Categorifying the Knizhnik-Zamolodchikov Connection
• $L_{\infty }$-Algebras of Einstein-Cartan-Palatini Gravity
• Automorphisms in Loop Quantum Gravity
• Topological invariant of 4-manifolds based on a 3-group
• Two-dimensional algebra in lattice gauge theory
• Higher form Yang-Mills as higher BFYM theories
• (2-)Drinfel'd Double and (2-)BF Theory
• Higher Chern-Simons-Antoniadis-Savvidy forms based on crossed modules
• 3-form Yang-Mills based on 2-crossed modules
• Higher Gauge Theory
• Discretization of 4d Poincaré BF theory: from groups to 2-groups
• On the global $2$-holonomy for a $2$-connection on a $2$-bundle
• Higher Chern-Simons based on (2-)crossed modules
• Nakanishi-Kugo-Ojima quantization of general relativity in Heisenberg picture
• Topological Quantum Field Theory on Non-Abelian Gerbes
• Parallel transport on non-Abelian flux tubes
• Symmetry breaking mechanisms of the 3BF action for the Standard Model coupled to gravity
• Extended Cartan homotopy formula for higher Chern-Simons-Antoniadis-Savvidy theory
• Quantum surface holonomies for loop quantum gravity and their application to black hole horizons
• Higher (gauged) Wess--Zumino--Witten terms based on Lie crossed modules
• The derivative of global surface-holonomy for a non-abelian gerbe
• The first Pontryagin class of a quadratic Lie 2-algebroid
• Adjusting Higher Chern-Simons Theory
• Strings with extended non-Abelian gauge interaction