⚛️ high-energy theory

Symmetries and Higher-Form Connections in Derived Differential Geometry

This paper introduces a general definition of higher-form connections on principal $\infty$ -bundles within derived differential geometry by utilizing formal differentiation and integration to construct Atiyah $L_\infty$ -algebroids, thereby recovering known $\check{\text{C}}$ ech-Deligne cocycle notions and establishing connections to higher Courant algebroids with applications in higher gauge theory and supergravity.

Original authors: Severin Bunk, Lukas Müller, Joost Nuiten, Richard J. Szabo

Published 2026-10-26

📖 6 min read🧠 Deep dive

CC BY 4.0

Original authors: Severin Bunk, Lukas Müller, Joost Nuiten, Richard J. Szabo

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

In the vast landscape of modern physics and mathematics, the concept of a "connection" serves as a fundamental tool for understanding how things change as you move through space. Imagine a traveler walking across a curved surface, like the Earth. To know how their direction shifts from one step to the next, they need a rule that compares their position at the start of a step with their position at the end. In classical geometry, this rule is a simple line, a one-dimensional path that tells you how to transport an object along a curve. This idea underpins everything from the orbits of planets to the behavior of subatomic particles. However, the universe is often more complex than a simple line. In advanced theories of gravity and quantum mechanics, the "fibers" of space—what you are carrying with you as you move—can have a rich, multi-layered internal structure. They are not just points, but complex shapes that can twist, loop, and interact in higher dimensions. When the object being transported has this kind of complexity, the simple rule of a single line is no longer enough. Scientists need a way to compare these intricate shapes not just along a path, but across surfaces, volumes, and even higher-dimensional spaces. This requires a new kind of connection, one that operates on multiple levels simultaneously.

For decades, mathematicians and physicists have struggled to define these higher-level connections in a way that works for the most general types of geometric structures. Previous attempts often relied on specific, simplified assumptions or only worked for flat, uncurved scenarios. They lacked a universal language that could describe how these complex shapes behave when the underlying space itself is twisted or when the structures involved are infinitely complex. The question remained: how can one define a connection for a bundle that is not just a line or a surface, but a higher-dimensional, infinitely flexible object? Without a general answer, it has been difficult to apply these powerful geometric ideas to the frontiers of theoretical physics, such as the study of supergravity or the nature of the early universe.

A team of researchers has now provided a comprehensive answer to this question by developing a new framework called derived differential geometry. In this work, the authors construct a general definition for these higher-form connections on what are known as principal infinity-bundles. These are the most complex geometric objects imaginable, where the "fibers" can be infinitely intricate. The researchers achieved this by treating these objects not as static shapes, but as dynamic systems that can be studied through their infinitesimal symmetries. They imagined zooming in so close that the space looks like a collection of tiny, flexible arrows and higher-dimensional analogs. By analyzing how these tiny pieces move and interact, they were able to build a rule for parallel transport that works for any level of complexity.

The core of their discovery is the construction of a mathematical object they call the Atiyah infinity-algebroid. In simpler terms, this object acts as a master catalog of all the possible ways a geometric structure can be moved or transformed infinitesimally. The researchers showed that a connection on a complex bundle is essentially a way of splitting this catalog into two parts: one part that describes the movement of the base space, and another that describes the internal movement of the bundle itself. This splitting must happen in a specific way that respects the hierarchy of dimensions, ensuring that the connection works consistently whether you are moving along a line, across a surface, or through a higher-dimensional volume.

One of the most significant findings is that these new connections naturally satisfy a condition known as the "fake-curvature" constraint. In the world of higher geometry, this means that the field strength of the lower-dimensional part of the connection must perfectly match the internal changes of the higher-dimensional part. While some previous research tried to find ways around this constraint to model certain physical theories, the authors demonstrate that their approach, which is built on the principle of infinitesimal parallel transport, inherently requires this condition to hold. They prove that their new definition is not just a theoretical curiosity but a rigorous generalization that recovers all known, established definitions of connections on simpler structures, such as the standard connections used in electromagnetism and the more complex connections used for higher-dimensional "gerbes" in string theory.

The researchers also explored the symmetries of these structures, showing that the group of transformations that preserve a connection is governed by a specific algebraic structure. They found that for higher-dimensional objects, this symmetry group is not just a simple collection of numbers but a complex, multi-layered algebra that encodes how the object can be deformed. This insight links their work to other advanced concepts in geometry, such as Courant algebroids, which are used to unify different types of symmetries in supergravity theories. By establishing these connections, the paper provides a solid mathematical foundation for future work in high-energy physics, potentially offering new tools to describe the behavior of fields in the extreme conditions of the early universe or the hidden dimensions of string theory.

The authors did not merely propose a new idea; they built a complete machinery to compute and verify it. They developed a method to differentiate and integrate maps between smooth spaces and these complex, higher-dimensional stacks. This allowed them to translate the abstract problem of finding a connection into a concrete algebraic problem that could be solved. They verified their results by showing that their new framework produces the exact same outcomes as the established methods for specific, well-understood cases. This confirmation is crucial, as it proves that their general theory is consistent with the known laws of physics and geometry.

In essence, this work bridges a gap between the abstract world of higher mathematics and the concrete needs of theoretical physics. It offers a universal language for describing how complex geometric structures behave when moved through space. By defining connections in terms of infinitesimal symmetries and higher-order splittings, the researchers have created a tool that is both flexible enough to handle the most complex theoretical objects and precise enough to match existing physical models. Their work suggests that the intricate dance of higher-dimensional fields in the universe can be understood through a unified geometric lens, opening the door to deeper insights into the fundamental nature of reality.

Technical Summary: Symmetries and Higher-Form Connections in Derived Differential Geometry

Authors: Severin Bunk, Lukas Müller, Joost Nuiten, and Richard J. Szabo

1. Problem Statement

The paper addresses the lack of a general, intrinsic definition of connections on principal $\infty$ -bundles within differential geometry. While connections on classical principal bundles (with Lie group structure) are well-understood via the Atiyah algebroid and parallel transport, existing definitions for higher bundles (e.g., gerbes, higher gauge fields) often rely on restrictive assumptions, such as specific structure groups (Lie $n$ -groups, crossed modules) or are limited to flat connections ( $\infty$ -local systems). Furthermore, previous approaches often lack a unified framework that treats the infinitesimal symmetries and the connection data on equal footing, particularly for bundles classified by general derived stacks. The central question is: How can one define connections on maximally generic principal $\infty$ -bundles using a framework that generalizes the classical Lie algebroid perspective?

2. Methodology

The authors develop a framework based on derived differential geometry and the homotopy theory of $L_\infty$ -algebroids. Their approach proceeds through the following stages:

Derived Geometric Setting: They utilize the $\infty$ -category of inf-manifolds ( $\text{InfMfd}$ ), which consists of derived infinitesimally thickened manifolds modeled by differential graded (dg) $C^\infty$ -rings. This allows for a robust deformation theory where tangent complexes behave well.
Formal Differentiation: They establish a formal differentiation procedure for maps $x: M \to X$ from a smooth manifold $M$ to a stack $X$ with deformation theory (specifically, stacks satisfying a Schlessinger condition and tangent representability). This differentiation yields the relative tangent complex $T(M/X)$ .
Atiyah $L_\infty$ -algebroids: They prove that $T(M/X)$ naturally lifts to a complete $L_\infty$ -algebroid over $M$ . This object is defined as the Atiyah $L_\infty$ -algebroid of the bundle, encoding the infinitesimal symmetries of the geometric structure classified by $x$ .
Definition of Connections: A $p$ -form connection is defined not as a collection of differential forms, but as a morphism of $L_\infty$ -algebroids. Specifically, it is an order $p$ splitting of the Atiyah $L_\infty$ -algebroid. This is formalized as a map from the order $p$ truncation of the tangent bundle (denoted $Q(p)TM$ ) to the Atiyah $L_\infty$ -algebroid $T(M/X)$ .
Curvature and Flatness: The curvature of a $p$ -form connection is defined as the obstruction to lifting the connection to an order $(p+1)$ connection. This formulation naturally enforces the fake-curvature condition (where the field strength of the lower-degree part matches the internal differential of the higher-degree part), as the connections are constructed as infinitesimal parallel transports.

3. Key Contributions and Results

A. Theoretical Framework

Theorem 3.2 (Differentiation): Establishes that for any map $x: M \to X$ to a stack with deformation theory, the relative tangent complex $T(M/X)$ admits a natural structure of a complete $L_\infty$ -algebroid. This provides a functorial assignment of an Atiyah $L_\infty$ -algebroid to any such geometric structure.
Theorem 3.12 (Symmetries): Demonstrates that the global sections of the Atiyah $L_\infty$ -algebroid $T(M/X)$ are equivalent to the $L_\infty$ -algebra of the derived higher symmetry group of the bundle (the loop stack of the moduli space of structures modulo diffeomorphisms). This generalizes the classical result where the Lie algebra of the gauge group is the space of sections of the Atiyah algebroid.
Definition 4.10 (Higher Connections): Defines the space of $p$ -form connections $\text{Con}_p(x)$ as the mapping space $\text{L}_\infty\text{Agd}_M^\infty(Q(p)TM, T(M/X))$ . This definition is purely algebraic once the Atiyah algebroid is established.

B. Verification on Higher $U(1)$ -Bundles

Theorem 5.20: The authors explicitly compute the Atiyah $L_\infty$ -algebroid for an $(n-1)$ -gerbe (classified by $x: M \to B^n U(1)$ ). They prove that the space of $p$ -form connections defined via their derived geometric formalism is canonically equivalent to the space of $p$ -form connections defined via Čech–Deligne differential cocycles. This validates their new definition against the established literature for higher abelian bundles.

C. Relation to Courant Algebroids and Weak Connections

Higher Courant Algebroids: The paper relates the theory to higher Courant algebroids. It shows that the bracket of a higher Courant algebroid associated with a gerbe projects to the Lie $n$ -algebra of the Atiyah $L_\infty$ -algebroid.
Weak Connections: By considering maps from the moduli stack of structures with fixed connections (rather than the classifying stack itself), the authors define a "weakened" notion of connection. They show that for a gerbe with a connective structure, a weak 1-form connection corresponds to an enhanced curving (a standard curving plus a symmetric 2-tensor), which has potential applications in unifying the $B$ -field and metric in supergravity.

4. Significance and Claims

The paper claims to provide the first general definition of connections on principal $\infty$ -bundles that applies to bundles classified by arbitrary derived stacks (provided they admit deformation theory), without requiring the structure group to be a finite-dimensional Lie group or a crossed module.

Unification: It unifies the concepts of infinitesimal symmetries and connections under the single framework of $L_\infty$ -algebroids, generalizing the classical Atiyah algebroid perspective.
Recovery of Known Results: By recovering the Čech–Deligne description for higher $U(1)$ -bundles, the authors demonstrate that their abstract derived geometric approach is consistent with and encompasses existing concrete models.
Fake-Flatness: The framework naturally produces fake-flat connections (satisfying the fake-curvature condition) because they are constructed as parallel transports along infinitesimal paths and their homotopies. The authors note that while "adjusted connections" (which circumvent fake-curvature) are relevant for supergravity, their primary motivation is to establish a rigorous foundation for parallel transport in higher geometry.
Moduli Interpretation: The work clarifies the relationship between local and global moduli problems, showing how the enhancement from an $L_\infty$ -algebra (global symmetries) to an $L_\infty$ -algebroid (local symmetries) is the mechanism that allows for the definition of higher-form connections.

The authors explicitly state that their approach does not yet resolve the issue of adjusted connections (which are necessary for certain supergravity applications) but provides the necessary geometric infrastructure to define and study higher connections in a maximally general setting.

Technical Summary: Symmetries and Higher-Form Connections in Derived Differential Geometry

1. Problem Statement

2. Methodology

3. Key Contributions and Results

4. Significance and Claims

More like this