Generalised Symmetries and Manifest Duality I: Flat Spacetime

This paper introduces a novel, manifestly Lorentz-invariant action for duality-symmetric gauge theories featuring a new $h$-gauge symmetry, which unifies potential and flux descriptions, enables straightforward minimal coupling to matter and supersymmetrisation, and provides a proof of charge quantisation applicable to both the new and Sen's formalisms.

The Gist

The Big Picture: The "Two-Face" Problem

Imagine you are trying to describe a special kind of light (or energy field) that has a very tricky property: it looks exactly the same whether you view it as "electric" or "magnetic." In physics, this is called duality.

For a long time, physicists have struggled to write a single, perfect rulebook (an "action") for this kind of light that satisfies three strict conditions:

1. It must look the same to everyone (Lorentz invariance).
2. It must be local (things only affect their immediate neighbors, not distant ones instantly).
3. It must be easy to calculate with (polynomial and quantisable).

Previous attempts failed at least one of these. The only successful rulebook so far was created by a physicist named Sen. However, Sen's rulebook was weird. It described the light using only "flux" (the flow of energy) and completely ignored "potentials" (the underlying fields that usually generate the flow). This made it very hard to connect the theory to ordinary matter, like electrons.

The New Solution: A "Universal Translator"

The authors of this paper propose a new rulebook that acts like a "Universal Translator" between the old, weird way (Sen's) and the familiar, easy way (using potentials).

Think of their new theory as a master blueprint that contains two different rooms:

1. The "Shadow" Room: This is a hidden room that doesn't actually affect the real world. It's like a ghost in the machine.
2. The "Physical" Room: This is where the real action happens.

The magic of this new blueprint is that you can choose how to look at the building:

• Option A (Sen's View): You can lock the door to the Physical Room and only look at the Shadow Room. This gives you Sen's original, weird rulebook.
• Option B (The New View): You can lock the door to the Shadow Room and only look at the Physical Room. This gives you a rulebook that looks just like the familiar "Maxwell's equations" (the standard rules for electricity and magnetism) that everyone knows.

The "H-Gauge" Symmetry: The Master Switch

How do they switch between these two views? They use a new kind of symmetry they call "h-gauge symmetry."

Imagine the blueprint has a master switch (the symmetry).

• If you flip the switch one way, the "Shadow" room disappears, and you are left with the standard, easy-to-use equations involving potentials (like the voltage in a battery). This is great because it lets you easily attach "matter" (like electrons) to the theory using standard, familiar methods.
• If you flip the switch the other way, the "Potential" room disappears, and you are left with Sen's original flux-based description.

The authors prove that no matter which way you flip the switch, the physics remains exactly the same. The "Shadow" room is just a mathematical trick that ensures the theory stays consistent and Lorentz-invariant, but it doesn't add any new, real particles to the universe.

Why This Matters: The "Witten Effect" and Matter

The biggest win of this new approach is simplicity with matter.

In Sen's original theory, because it didn't use potentials, it was incredibly difficult to describe how electrically charged particles (like electrons) interact with the field. It was like trying to describe how a car drives on a road without ever mentioning the road, only the wind pushing the car.

In this new theory, because they can choose to work with potentials, they can use the standard, "minimal coupling" method. This is like finally being able to say, "The car drives on the road."

• They show that this new method correctly predicts the Witten effect (a phenomenon where magnetic monopoles acquire an electric charge in the presence of a specific field).
• They prove that charge quantization (the rule that electric charge comes in specific, discrete packets) works perfectly in their new system, just as it does in Sen's.

The "Shadow" Decoupling

The authors perform a rigorous mathematical check (called a Hamiltonian analysis) to prove that the "Shadow" room is truly empty.

• Imagine a car with two engines: one is the real engine (Physical), and one is a dummy engine (Shadow).
• They prove that the dummy engine runs on its own, never touches the wheels, and never affects the car's speed. It is completely decoupled.
• This means you can safely ignore the Shadow room when doing calculations in flat space (like our everyday universe), making the math much easier.

Summary

The authors have built a bridge.

• On one side is Sen's formalism: mathematically robust, string-theory friendly, but hard to use with ordinary matter.
• On the other side is Standard Electrodynamics: easy to use, familiar, but usually fails to handle "duality" correctly without breaking rules.

Their new action is the bridge. It allows physicists to start with the robust, string-theory-friendly foundation, but then "gauge fix" (switch) to the familiar, easy-to-use potential-based equations. This allows them to calculate how particles interact with these dual fields without getting lost in the complexity of the "Shadow" sector, while still maintaining all the rigorous mathematical properties required by modern physics.

In short: They found a way to make the "weird" rules of dual-symmetric fields look like the "normal" rules of electricity and magnetism, proving they are two sides of the same coin, and making it much easier to study how these fields interact with the matter around us.

Technical Summary

Technical Summary: Generalised Symmetries and Manifest Duality I: Flat Spacetime

1. Problem Statement
The paper addresses the long-standing difficulty in constructing a local, polynomial, and manifestly Lorentz-invariant action for duality-symmetric gauge theories, particularly those involving self-dual field strengths. Standard Maxwell-like actions fail in this context because they inherently privilege either electric or magnetic descriptions, breaking duality symmetry, or they require non-local formulations and the introduction of Dirac strings. While Sen's formalism [1, 2] successfully provides a manifestly Lorentz-invariant and local action for self-dual fields, it relies on treating fluxes as fundamental dynamical variables rather than gauge potentials. This flux-based approach presents significant challenges:

• It lacks a straightforward prescription for minimal coupling to matter using standard currents.
• It obscures the derivation of classic results such as the Witten effect.
• It requires a "shadow" sector (extra fields) that decouples from the physical Hamiltonian but complicates the formulation of interactions with dynamical gravity.
• It necessitates non-local field redefinitions in momentum space to demonstrate the decoupling of the shadow sector.

2. Methodology
The authors propose a novel action that generalizes Sen's formalism by reintroducing gauge potentials while maintaining manifest duality and Lorentz invariance. The methodology involves:

• Field Content: Introducing a pair of gauge potentials ($A$ and its dual $\check{A}$ in general dimensions, or a single potential in the self-dual case) alongside the "shadow" fields ($B$ and $\check{B}$) and a self-dual flux variable ($\Sigma$).
• Novel Symmetry: Defining a new higher-form gauge symmetry, termed h-gauge symmetry, which acts on the potentials and the flux variable. This symmetry ensures that the physical degrees of freedom correspond strictly to a self-dual field strength, eliminating any propagating anti-self-dual modes.
• Gauge Fixing: Demonstrating that the action can be gauge-fixed in two distinct ways:
  1. Fixing the potential part to zero recovers Sen's original flux-based action.
  2. Fixing the flux-like variable ($\Sigma$) to zero yields a potential-based action.
• Hamiltonian Analysis: Performing a rigorous Dirac constraint analysis to prove that the shadow sector decouples completely from the physical sector at the level of the Hamiltonian, even in the presence of interactions.
• Harmonic Symmetry: Identifying a residual global symmetry (harmonic higher-form symmetry) in the gauge-fixed potential-based action that uniquely fixes the definition of the field strength to be the self-dual combination ($F = dA + \star dA$), rather than the standard curvature.

3. Key Contributions and Results

• A New Action for Duality-Symmetric Theories: The authors present an action $S[B, A, \Sigma, \phi]$ that is local, polynomial, and manifestly Lorentz invariant. It treats the self-dual flux $F$ as a combination of a potential $A$ and a flux variable $\Sigma$, constrained by h-gauge symmetry.
• Decoupling of the Shadow Sector: Through Hamiltonian analysis, the paper proves that the extra fields (shadow sector) generate a free, decoupled Hamiltonian with negative energy (in mostly-plus signature) that does not interact with the physical sector. This decoupling is demonstrated explicitly in coordinate space, removing the need for the non-local momentum-space redefinitions required in Sen's formalism.
• Restoration of Gauge Potentials and Minimal Coupling: By gauge-fixing to the potential-based formulation, the authors recover a formalism where matter couples via standard minimal coupling to gauge potentials ($A \wedge \star J$). This allows for the direct incorporation of dynamical matter fields, which was difficult in the purely flux-based Sen formalism.
• Charge Quantisation: The paper provides a proof of Dirac's charge quantisation condition ($qp = 2\pi n$) that applies equally to both the new potential-based formalism and Sen's flux-based formalism. The proof relies on the topological properties of the source terms and the single-valuedness of the path integral.
• The Witten Effect: The formalism successfully reproduces the Witten effect, where magnetic monopoles acquire electric charge in the presence of a CP-violating $\theta$-term. This is achieved naturally through the coupling of the axion field to the gauge potentials, a result that is difficult to derive in flux-only formalisms.
• Supersymmetrisation: The authors demonstrate that the potential-based action admits a straightforward supersymmetrisation. Unlike Sen's formalism, where supersymmetrisation is complex, the new action allows for the construction of supersymmetric actions at the level of the action itself, using standard superfield techniques.
• Equivalence to Sen's Formalism: The paper establishes that the new action is a parent theory from which Sen's action can be derived via a specific gauge fixing. Consequently, all perturbative quantum checks (such as current-current scattering) performed in Sen's formalism are automatically subsumed within the new framework.
• General Dimensions: The formalism is extended to Abelian $p$-form theories in general dimensions $d$, accommodating electric-magnetic duality for arbitrary $p$ and $d$.

4. Significance and Claims
The paper claims that this new formalism resolves the tension between the requirements of string theory (which naturally favors flux-based descriptions and shadow sectors) and the practical necessities of quantum field theory (which favors gauge potentials for minimal coupling and standard quantization).

• Unification: It unifies the flux-based approach of Sen with the potential-based approach of standard electrodynamics, showing they are different gauge choices of a single underlying theory.
• Practicality: It offers a "pragmatic prescription" for working with duality-symmetric theories in flat spacetime: one can work with familiar Maxwell-like actions involving potentials, provided one respects the specific definition of the field strength dictated by the harmonic higher-form symmetry.
• Consistency: The authors assert that the new formalism passes all non-trivial consistency checks, including the Witten effect, charge quantisation, and the correct reproduction of Feynman rules and scattering amplitudes (specifically charge renormalisation in QEMD) that match those derived from Sen's formalism.
• Future Work: The paper notes that while the shadow sector can be ignored in flat spacetime, its role becomes essential when coupling to dynamical gravity, a topic reserved for a follow-up paper [17].

In summary, the paper presents a robust, gauge-invariant framework that retains the desirable features of Sen's formalism (Lorentz invariance, locality, duality) while overcoming its primary limitations regarding matter coupling and the derivation of physical effects like the Witten effect.