Generalised Symmetries and Swampland-Type Constraints from Charge Quantisation via Rational Homotopy Theory

This paper refines the postulate that charge quantization is governed by a homotopy type $\mathcal{A}$, demonstrating that while its homotopy groups classify brane charges, its homology groups classify invertible higher-form symmetries, and ultimately shows that the requirement for $\mathcal{A}$ to be contractible in quantum gravity imposes Swampland-like constraints, such as ruling out noncompact gauge groups.

The Gist

Imagine you are trying to understand the "rules of the game" for the universe. In physics, these rules are usually written as equations—like recipes that tell particles how to move. But this paper suggests that there is a deeper, hidden layer of rules that isn't found in the recipes themselves, but in the "shape" of the universe's possibilities.

Here is an explanation of the paper using everyday analogies.

1. The Concept: The "Blueprint" vs. The "Building"

Imagine you are looking at a blueprint for a house. The blueprint tells you where the walls go and how the plumbing works (this is like the local equations of physics). However, the blueprint doesn't tell you if the house is part of a gated community, a skyscraper, or a single cottage in the woods. That "big picture" context is the Homotopy Type (A)—the "shape" the paper talks about.

The authors are saying that if you want to know what kind of "charges" (like electricity or magnetism) can exist in a universe, you can't just look at the local plumbing; you have to look at the overall "shape" of the blueprint.

2. The Main Discovery: Symmetries and Branes

The paper connects two very different things using a mathematical tool called Rational Homotopy Theory:

• The Branes (The "Objects"): Think of these as the "actors" on the stage. They are physical objects (like strings or membranes) that carry charge. The paper says these actors are classified by the "holes" in the shape of the universe (the homotopy groups). If the universe has a hole shaped like a donut, you can have a specific type of actor that "loops" around it.
• The Symmetries (The "Rules"): Think of these as the "referees" of the game. Symmetries are rules that say, "You can move this particle, but you can't change its total charge." The paper says these referees are classified by the "solid parts" of the shape (the homology groups).

The Metaphor: If the universe is a musical instrument, the Branes are the notes you can play, and the Symmetries are the laws of harmony that dictate which notes can go together.

3. The "Swampland": The Universe's "No-Go" Zones

One of the most exciting parts of the paper is the idea of the Swampland.

In physics, a "theory" is like a map. Some maps look perfectly fine on paper, but if you try to actually build a world using them, you realize they are impossible—they lead to contradictions. These "fake" theories live in the Swampland.

The authors use their "Shape Theory" to prove that certain types of universes are impossible. They argue that:

• No "Infinite" Groups: You can't have a universe where the rules of symmetry go on forever without looping back (non-compact groups). It would be like a game of Tag where the boundaries are infinitely far away—the game would never actually function.
• The Gravity Rule (The "No-Referees" Rule): This is the big one. In a universe with Gravity, the authors argue the "Shape" must be contractible (like a plain, flat sheet of paper with no holes).
  • Why? Because in a true theory of Quantum Gravity, there can be no "global symmetries" (no permanent, untouchable referees). Everything must be "dynamical." If you have a hole in your shape, you have a permanent rule. But gravity is so powerful that it "fills in the holes."

4. Summary: The Cosmic "Checklist"

The paper provides a mathematical checklist to see if a theory is "real" or just a "swampland" fantasy.

1. Does the shape match the local rules? (Does the blueprint match the plumbing?)
2. Are the charges allowed by the holes in the shape? (Are the actors allowed on this stage?)
3. If there is gravity, is the shape a simple, flat sheet? (Has gravity filled in all the holes?)

By using high-level math (Rational Homotopy Theory), the authors have found a way to bridge the gap between the tiny, local movements of particles and the massive, global structure of the entire cosmos.

Technical Summary

This paper, "Generalised Symmetries and Swampland-Type Constraints from Charge Quantisation via Rational Homotopy Theory," proposes a rigorous mathematical framework to unify the classification of brane charges, invertible higher-form symmetries, and the consistency requirements of quantum field theories (QFTs) and string theory.

1. The Problem: Bridging Local Physics and Global Topology

The authors address a gap in the existing understanding of the Sati–Schreiber charge-quantisation postulate. While previous work suggested that the charges of branes are governed by a "homotopy type $A$" (a classifying space), there was a lack of a systematic prescription for determining $A$ in non-Abelian theories or theories involving matter.

Furthermore, the paper seeks to reconcile the existence of these topological structures with Swampland conjectures—specifically the "no global symmetries" and "completeness of charge" conjectures—which suggest that in a consistent theory of quantum gravity, all such symmetries and charges must be dynamical (and thus "trivialized" in a topological sense).

2. Methodology: Rational Homotopy Theory and $L_\infty$-algebras

The authors employ Rational Homotopy Theory to provide a "coarse" but sufficient classification of topological spaces. Their methodology relies on several advanced mathematical tools:

• $L_\infty$-algebras: Used to encode the local higher Gauss laws and Bianchi identities. They generalize Lie algebras by allowing the Jacobi identity to hold only "up to homotopy."
• Differential Graded-Commutative Algebras (dgcas): Used to represent the de Rham complex of the theory.
• Sullivan Models: A method to find a unique minimal representative of a homotopy type, allowing the authors to extract the ranks of homotopy and homology groups from algebraic data.
• Adjusted Higher Gauge Theory: A refinement of the inner-derivation Lie algebra that incorporates not just gauge fields, but also matter currents and magnetic sources into the Bianchi identities.

3. Key Contributions and Refinements

The paper introduces two major refinements to the original Sati–Schreiber postulate:

• Postulate 1' (Refined Charge Quantisation): Instead of just looking at the gauge sector, the authors define the L$\infty$-algebra of fluxes ($\mathfrak{a}$) as the quotient of an adjusted inner-derivation algebra $\mathfrak{w}$ by the gauge algebra $\mathfrak{h}$ ($\mathfrak{a} := \mathfrak{w}/\mathfrak{h}$). This $\mathfrak{a}$ encodes all gauge-invariant field strengths and Bianchi identities (including matter). The classifying space $A$ is then determined by the requirement that its rational homotopy groups $\pi_\bullet(A) \otimes \mathbb{Q}$ match the $L_\infty$-algebra $\mathfrak{a}$.
• Postulate 2 & 3 (The Duality of $A$): They establish a precise dictionary:
  • Homotopy groups $\pi_\bullet(A)$ classify the possible defect brane charges (e.g., $p$-branes).
  • Homology groups $H_\bullet(A)$ classify the invertible higher-form symmetries (via Pontryagin duality).

4. Key Results

A. Classification of Symmetries and Charges

The authors successfully reconstruct known physics using their framework:

• Maxwell Theory: Recovers electric and magnetic 1-form symmetries and Dirac quantization.
• Yang–Mills Theory: Recovers the discrete center 1-form symmetries (crucial for confinement) and the electric/magnetic duality in 4D.
• Non-linear Sigma Models: Shows that Skyrmion charges are classified by the homotopy groups of the target manifold $X$.

B. Swampland-Type Constraints

The paper derives three significant "consistency constraints" that a QFT must satisfy to be potentially compatible with the charge-quantisation postulate:

1. Compactness Constraint: Gauge groups and anomaly-free global symmetries must be compact. Non-compact groups (like $\mathbb{R}$) lead to mathematical contradictions in the classifying space.
2. Nilpotency Constraint: The algebra of one-form field strengths must be nilpotent. This rules out theories where field strengths form a simple Lie algebra (unless they are trivialized by other fields).
3. The Gravity Constraint (Contractibility): For a theory of quantum gravity, the space $A$ must be contractible. This means $H_\bullet(A) = 0$ and $\pi_\bullet(A) = 0$, which is the mathematical manifestation of the "no global symmetries" and "completeness of charge" conjectures.

C. String Theory Validation

The authors demonstrate that in Type I String Theory, the gauge structure (the Whitehead tower of the gauge group) is exactly what is needed to "kill" the homotopy groups of the classifying space, rendering $A$ contractible. This provides a concrete example of how string theory satisfies the requirements of quantum gravity.

5. Significance

This paper is significant because it provides a unified mathematical language (Rational Homotopy Theory) to connect the local differential geometry of gauge fields with the global topological properties of the vacuum. It transforms the Sati–Schreiber postulate from a heuristic idea into a predictive tool that can rule out inconsistent field theories and provides a rigorous way to understand why quantum gravity must lack global symmetries.