Leron Borsten,Mehran Jalali Farahani,Branislav Jurco,Hyungrok Kim,Jiri Narozny,Dominik Rist,Christian Saemann,Martin Wolf
Abstract:This is an invited survey article on higher gauge theory for the Encyclopedia of Mathematical Physics, 2nd edition. In particular, we provide a lightning introduction to higher structures and to the construction of the kinematical data of higher gauge theories, i.e. connections on higher principal bundles. We also summarise the most important applications and dynamical principles that have appeared in the literature, and we close with comments on related areas.
What problem does this paper attempt to address?
The problems that this paper attempts to solve are related to the basic concepts, construction methods and applications of Higher Gauge Theory (HGT). Specifically:
1. **Introduction of higher - order structures**: The paper first introduces higher - order structures, such as higher categories, higher groups, higher algebras and higher Lie theory. These higher - order structures are the basis for constructing higher - order gauge theories.
2. **Kinematical data of higher - order principal bundles and connections**: The paper describes in detail the kinematical data of higher - order principal bundles and their connections. In particular, it discusses the data at the local and infinitesimal levels, and how to describe these data through the Becchi - Rouet - Stora - Tyutin (BRST) complex.
3. **Dynamical principles and applications**: The paper summarizes the applications of higher - order gauge theory in different fields, including higher - order Chern - Simons theory, Alexandrov - Kontsevich - Schwarz - Zaboronsky (AKSZ) model, the application of higher - order gauge theory on twistor spaces, higher - order Stueckelberg model, supergravity and T - duality, tensor hierarchies, six - dimensional superconformal field theories and higher - order lattice gauge theories, etc.
4. **Related fields**: The paper also discusses other fields related to higher - order gauge theory, providing broader background knowledge.
### Main problems
- **Basic concepts of higher - order gauge theory**: How to define higher - order principal bundles and their connections?
- **Higher - order parallel transport**: How to achieve non - Abelian parallel transport in high - dimensional spaces?
- **Adjusting connections**: How to correct the curvature in higher - order gauge theory to ensure its correctness in theories such as supergravity?
- **Application fields**: What are the specific applications of higher - order gauge theory in supergravity, string theory, six - dimensional superconformal field theory, etc.?
### Formula examples
- **Path - ordered exponential**:
\[
\gamma \mapsto P \exp \left( \int_\gamma A \right)
\]
This formula describes the parallel transport on the path \(\gamma\).
- **Differential of higher - order Lie algebras**:
\[
Q_{\text{CE}} e^\alpha = -\frac{1}{2} f^\alpha_{\beta\gamma} e^\beta e^\gamma
\]
This formula describes the differential in the Chevalley - Eilenberg algebra.
- **Jacobi identity of higher - order Lie algebras**:
\[
\sum_{j + k = i} \sum_{\sigma \in \text{Sh}(j;i)} \chi(\sigma; \ell_1, \ldots, \ell_i) (-1)^k \mu_{k + 1}(\mu_j(\ell_{\sigma(1)}, \ldots, \ell_{\sigma(j)}), \ell_{\sigma(j + 1)}, \ldots, \ell_{\sigma(i)}) = 0
\]
This formula describes the Jacobi identity in higher - order Lie algebras.
Through the discussion of these problems and formulas, the paper aims to provide a comprehensive review of higher - order gauge theory and help readers understand the basic concepts and the latest progress in this field.