Table of Contents
Fetching ...

Explicit Non-Abelian Gerbes with Connections

Dominik Rist, Christian Saemann, Martin Wolf

TL;DR

The paper advances non-Abelian gerbes by introducing adjusted connections, removing the conventional fake-flatness constraint and enabling consistent higher parallel transport in physical settings such as supergravity. It develops an explicit cocycle framework via adjusted BRST 2-groupoids and adjusted crossed modules, including a detailed stackification to define adjusted differential cocycles and coboundaries. The authors then compute concrete examples, lifting spin structures on S^4 to string structures as string 2-bundles with adjusted connections, and outlining a string-based realization of non-Abelian self-dual strings through a Penrose–Ward type transform. The work also clarifies the relation between loop-space constructions and string 2-groups, and provides a comprehensive toolkit for applying higher gauge theory to geometric and physical problems, including twistor approaches. Overall, it delivers explicit, implementable cocycle data for adjusted higher bundles and demonstrates physically relevant constructions beyond fake-flat theories.

Abstract

We define the notion of adjustment for strict Lie 2-groups and provide the complete cocycle description for non-Abelian gerbes with connections whose structure 2-group is an adjusted 2-group. Most importantly, we depart from the common fake-flat connections and employ adjusted connections. This is an important generalisation that is needed for physical applications especially in the context of supergravity. We give a number of explicit examples; in particular, we lift the spin structure on $S^4$, corresponding to an instanton-anti-instanton pair, to a string structure, a 2-group bundle with connection. We also outline how categorified forms of Bogomolny monopoles known as self-dual strings can be obtained via a Penrose-Ward transform of string bundles over twistor space.

Explicit Non-Abelian Gerbes with Connections

TL;DR

The paper advances non-Abelian gerbes by introducing adjusted connections, removing the conventional fake-flatness constraint and enabling consistent higher parallel transport in physical settings such as supergravity. It develops an explicit cocycle framework via adjusted BRST 2-groupoids and adjusted crossed modules, including a detailed stackification to define adjusted differential cocycles and coboundaries. The authors then compute concrete examples, lifting spin structures on S^4 to string structures as string 2-bundles with adjusted connections, and outlining a string-based realization of non-Abelian self-dual strings through a Penrose–Ward type transform. The work also clarifies the relation between loop-space constructions and string 2-groups, and provides a comprehensive toolkit for applying higher gauge theory to geometric and physical problems, including twistor approaches. Overall, it delivers explicit, implementable cocycle data for adjusted higher bundles and demonstrates physically relevant constructions beyond fake-flat theories.

Abstract

We define the notion of adjustment for strict Lie 2-groups and provide the complete cocycle description for non-Abelian gerbes with connections whose structure 2-group is an adjusted 2-group. Most importantly, we depart from the common fake-flat connections and employ adjusted connections. This is an important generalisation that is needed for physical applications especially in the context of supergravity. We give a number of explicit examples; in particular, we lift the spin structure on , corresponding to an instanton-anti-instanton pair, to a string structure, a 2-group bundle with connection. We also outline how categorified forms of Bogomolny monopoles known as self-dual strings can be obtained via a Penrose-Ward transform of string bundles over twistor space.
Paper Structure (95 sections, 18 theorems, 303 equations)

This paper contains 95 sections, 18 theorems, 303 equations.

Key Result

proposition 1

The unique such deformation are the adjusted (higher) gauge transformations given by where $\kappa$ is a bilinear function $\kappa:\frg\times \frg\rightarrow \frh$ (extended in the evident way to forms taking values in $\frg$ and $\frh$) that satisfies for all $V_{1,2}\in\frg$ and $W\in\frh$.

Theorems & Definitions (48)

  • remark 1
  • proposition 1
  • proof
  • corollary 1
  • lemma 1
  • proof
  • theorem 1
  • proof
  • definition 1
  • remark 2
  • ...and 38 more