Modified Abelian Gauge Theories

This paper introduces a homotopy fiber construction to modify the topological classes of Abelian $p$-form gauge fields, thereby generating new global variants of gauge theories that exhibit additional global charges and anomalies.

The Gist

Imagine the universe as a giant, complex video game. In this game, the fundamental forces (like electromagnetism) are governed by invisible "rules of the road" called gauge theories.

Usually, these rules allow for certain "topological configurations." Think of these like the different ways you can tie a knot in a string or wrap a blanket around a ball. Some knots are simple loops; others are complex, twisted pretzels. In physics, these knots represent topological sectors. They are stable, unchangeable states that carry specific "charges" (like electric charge or magnetic flux).

The paper you provided, "Modified Abelian Gauge Theories," by Markus Dierigl, Ruben Minasian, and Dušan Novičić, asks a fascinating question: What happens if we change the rules of the game to forbid certain knots?

Here is a simple breakdown of their discovery using everyday analogies:

1. The Original Game: The "Knot" Rules

In standard physics, if you have a magnetic field (a gauge field), you can wrap it around a sphere in integer amounts (1 wrap, 2 wraps, 3 wraps). These are the Chern classes.

• Analogy: Imagine a spinning top. It can spin 1 time, 2 times, or 3 times. These are distinct, stable states. The universe allows all of them.
• The Problem: Sometimes, having all these options leads to "anomalies"—glitches in the game where the math breaks down or energy isn't conserved.

2. The Modification: Forcing a New Rule

The authors propose a way to modify the theory by constraining these knots. They want to create a version of the game where, for example, you can only have knots that are multiples of 3, or knots where the "twist" is zero when divided by 5.

They call these "times n" (must be a multiple of $n$) and "mod n" (must leave a remainder of 0 when divided by $n$) constraints.

• The Analogy: Imagine a parking garage.
  • Original: You can park in any spot (1, 2, 3, 4...).
  • Modified: You are only allowed to park in spots that are multiples of 3 (3, 6, 9...).
  • The Twist: The authors don't just paint over the other spots; they fundamentally change the structure of the garage so that the "non-multiple-of-3" spots physically cannot exist.

3. The Tool: The "Homotopy Fiber" (The Magic Glue)

How do you change the structure of the garage without breaking the game? The authors use a mathematical tool called a Homotopy Fiber Construction.

• The Metaphor: Imagine the original garage (the "Classifying Space") is a building. To enforce the new rule, the authors don't just put up a sign; they glue a new wing onto the building.
• This new wing (the "fiber") is a separate structure that interacts with the original building.
• The Result: By gluing this new wing on, the original building's "forbidden" knots are now "trivialized" (they become flat, un-knotted strings). The rule is enforced because the geometry of the universe has changed to make those knots impossible.

4. The Surprise: New Knots Appear!

Here is the most interesting part of the paper. When you glue this new wing onto the building to kill the old knots, you accidentally create new types of knots.

• The Analogy: You went to the parking garage to remove the "odd-numbered" spots. But in the process of building the new wing to enforce that rule, you accidentally created a brand new type of parking spot that didn't exist before—a "secret VIP spot" that is only accessible if you have a special key.
• In Physics: By forbidding certain global charges (the old knots), the theory generates new global charges (the new knots).
• The Trade-off: You can't just delete a conserved quantity (like a specific type of charge) without creating a new one to take its place. The universe balances the books.

5. The Consequences: Anomalies and Glitches

In quantum physics, if the rules aren't consistent, the theory "crashes" (this is called an anomaly).

• The authors show that by changing the rules (the constraints), they change the "glitch profile" of the universe.
• Some old glitches disappear, but new glitches appear because of those new "VIP spots" (the new topological sectors).
• This is crucial for understanding things like the Green-Schwarz mechanism in string theory, where a specific field (the "B-field") is used to cancel out anomalies. The authors show that this mechanism is essentially a specific example of their "gluing a new wing" technique.

Summary: The Big Picture

The paper is about rewiring the topology of the universe.

1. Goal: To create new versions of gauge theories where certain topological charges are forbidden.
2. Method: They use advanced topology (homotopy fibers) to "glue" new dimensions onto the theory's mathematical space, effectively making the forbidden charges impossible to form.
3. Discovery: You can't just delete a charge. When you delete one, the math forces a new charge to appear from the "glue" you used to delete it.
4. Impact: This changes the "anomalies" (consistency conditions) of the theory. It suggests that the universe might have hidden sectors or "higher symmetries" that we haven't fully understood yet, which are revealed when we try to constrain the known ones.

In a nutshell: The authors found a way to edit the source code of the universe to remove specific "bugs" (forbidden charges), but they discovered that the edit introduces a new set of "features" (new charges) that must be accounted for to keep the universe running smoothly.

Technical Summary

1. Problem Statement

The paper addresses the topological structure of Abelian $p$-form gauge theories, specifically focusing on how modifying the allowed topological sectors of these theories affects their global symmetries, conserved charges, and anomalies.

• Context: In standard gauge theory, topological sectors are classified by characteristic classes (elements of $H^\bullet(X; \mathbb{Z})$) pulled back from the classifying space $BG$. These classes correspond to conserved charges (e.g., magnetic flux) and define the partition function's sum over sectors.
• The Gap: While constraints on these classes appear in specific physical contexts (e.g., Green-Schwarz anomaly cancellation where $dH \sim F \wedge F$), there is no general, model-independent framework to systematically construct gauge theories where specific characteristic classes are restricted (e.g., forced to be trivial or divisible by an integer $n$).
• Objective: To develop a general mathematical procedure to modify Abelian gauge theories by imposing constraints on their characteristic classes and to analyze the resulting changes in global symmetries, new topological charges, and anomaly structures.

2. Methodology

The authors employ a topological approach using homotopy fiber constructions to modify the classifying space of the gauge theory. This method avoids the need for explicit Lagrangian formulations or specific spacetime dimensions, focusing instead on the global topology of the gauge bundle.

• Homotopy Fiber Construction:

  • To restrict a characteristic class $\alpha \in H^k(BG; \mathbb{Z})$ to satisfy a constraint (e.g., $\alpha = 0$ or $n\alpha = 0$), the authors construct a new space $Q$ as the homotopy fiber of a map $\alpha: BG \to Y$.
  • Here, $Y$ is chosen to be an Eilenberg-MacLane space $K(A, k)$ sensitive to the specific cohomology class being constrained.
  • The new classifying space $Q$ fits into a fibration:
    $$\Omega Y \to Q \xrightarrow{p} BG \xrightarrow{\alpha} Y$$
  • Maps $f: X \to BG$ lift to $Q$ if and only if the constraint is satisfied (i.e., $\alpha \circ f$ is null-homotopic).

• Types of Constraints:

  1. "Times $n$" constraint: $n[N] = 0 \in H^k(X; \mathbb{Z})$. This corresponds to gauging the full $U(1)$ symmetry but leaving a discrete remnant.
  2. "Mod $n$" constraint: $m_n([N]) = 0 \in H^k(X; \mathbb{Z}_n)$. This corresponds to gauging a $\mathbb{Z}_n$ subgroup.

• Computational Tools:

  • Leray-Serre Spectral Sequence (LSSS): Used to compute the cohomology ring $H^\bullet(Q; \mathbb{Z})$ of the new classifying space from the known cohomology of the base $BG$ and the fiber $\Omega Y$.
  • Steenrod Algebra: Used to determine non-trivial differentials in the spectral sequences, particularly for mod-$p$ coefficients.
  • Atiyah-Hirzebruch Spectral Sequence (AHSS): Used to compute the bordism groups $\Omega^{SO/Spin}_\bullet(Q)$, which classify potential gauge and gravitational anomalies.

3. Key Contributions and Results

A. Modification of Topological Sectors and New Charges

The central finding is that restricting a characteristic class does not simply remove it; it generically introduces new topological sectors and new conserved charges originating from the fiber of the fibration.

• Example 1 (Modification of $c_1$):
  • Imposing $n c_1 = 0$ on a $U(1)$ 1-form field results in a new classifying space $Q$ homotopy equivalent to $B\mathbb{Z}_n$. The theory loses continuous magnetic flux but gains discrete $\mathbb{Z}_n$ flux sectors.
  • Imposing $c_1 \equiv 0 \pmod n$ results in a space where the generator of $H^2(Q)$ is divisible by $n$, effectively allowing for fractional electric charges ($q \in \frac{1}{n}\mathbb{Z}$).
• Example 2 (Modification of $c_1^2$):
  • Constraining $n c_1^2 = 0$ (a constraint on a 4-form class) introduces a fiber $K(\mathbb{Z}, 3)$, corresponding to a $U(1)$ 2-form gauge field.
  • The cohomology of the new space $Q$ contains not only the modified $c_1$ classes but also new classes inherited from the fiber (e.g., $v_3 \in H^3(K(\mathbb{Z}, 3))$).
  • Result: The modified theory behaves as a mixture of the original $U(1)$ theory and a higher-form gauge theory, leading to a "higher-group" symmetry structure.

B. Anomalies and Bordism Groups

The authors demonstrate that these modifications fundamentally alter the anomaly structure of the theory.

• Perturbative Anomalies: The anomaly polynomial, built from characteristic classes, changes because the allowed values of these classes are restricted or rescaled. For instance, a theory that was anomaly-free under standard $U(1)$ quantization might acquire a residual discrete anomaly or require different charge quantization conditions.
• Non-Perturbative Anomalies: Using the AHSS, the authors compute the oriented and Spin bordism groups $\Omega^{SO/Spin}_\bullet(Q)$.
  • Result: The bordism groups of the modified theory differ significantly from the original $BU(1)$. New torsion factors appear (e.g., $\mathbb{Z}_n$ or $\mathbb{Z}_{2n}$), indicating new non-perturbative anomalies.
  • Physical Interpretation: Some anomalies that were perturbative in the original theory become non-perturbative (torsion) in the modified theory, and vice versa. The "incomplete" cancellation of anomalies in the modified theory suggests a mechanism where the full anomaly is reduced to a discrete remnant.

C. Multiple Constraints

The paper analyzes imposing multiple constraints simultaneously (e.g., both $m c_1 = 0$ and $n c_1 = 0$).

• Commutativity: The order of imposing constraints does not matter; the resulting space is homotopy equivalent to a single fibration with a product fiber.
• Complexity: Simultaneous constraints can lead to complex cohomology structures involving greatest common divisors (e.g., $\mathbb{Z}_{\text{lcm}(m,n)}$) and new torsion factors that were not present in single-constraint scenarios.

4. Significance and Implications

• Generalization of Green-Schwarz Mechanism: The work provides a rigorous topological underpinning for mechanisms like the Green-Schwarz anomaly cancellation, showing that such constraints naturally arise from modifying the classifying space via homotopy fibers.
• Higher-Group Symmetries: The construction explicitly realizes higher-group symmetries where 0-form and higher-form symmetries mix. The fiber of the construction corresponds to the higher-form gauge fields that "eat" the conserved currents of the original theory.
• Swampland and Quantum Gravity: The results connect to the Swampland Cobordism Conjecture. The paper suggests that gauging global symmetries (via these constraints) introduces new conserved charges. In a theory of quantum gravity, these new charges must eventually be violated or gauged away, providing a topological test for consistency.
• Phenomenology: The framework offers tools to construct models with fractional charges, discrete gauge symmetries, and modified axion couplings, which are relevant for axion physics and lattice gauge theory simulations.
• Universality: The approach is dimension-independent and applies to both Abelian and (potentially) non-Abelian theories, offering a unified language for discussing topological sectors and anomalies across different scales of physics.

Conclusion

Dierigl, Minasian, and Novičić establish that modifying the topological sectors of Abelian gauge theories via homotopy fiber constructions is a powerful tool that generically leads to new topological sectors and modified anomaly structures. While the goal may be to restrict certain charges, the procedure inevitably introduces new degrees of freedom (higher-form fields) and new conserved charges, fundamentally altering the global symmetry structure of the theory. This provides a robust mathematical framework for understanding anomaly cancellation, higher-group symmetries, and the constraints imposed by quantum gravity on gauge theories.