Electromagnetic duality and central charge from first order formulation

This paper proposes that dual magnetic charges in $p$-form theories arise as non-trivial charges associated with the zero-modes of reducible translational gauge symmetries in a first-order BF theory formulation, thereby providing a new criterion for their existence and explaining the origin of their centrally-extended current algebra.

The Gist

Here is an explanation of the paper "Electromagnetic duality and central charge from first order formulation," translated into simple language with creative analogies.

The Big Picture: Finding Hidden Treasure

Imagine you are an explorer looking at a map of a mysterious island (the universe). You know about the "Electric" treasures hidden there. But for a long time, physicists suspected there were also "Magnetic" treasures, but they were hard to find because they seemed to require a different kind of map.

This paper is about a new way of drawing that map. The authors, Marc Geiller and his team, argue that if you look at the island through a specific "lens" (a First Order Formulation), the Magnetic treasures aren't just hidden; they are actually the leftover footprints of a different, more fundamental type of terrain that was there all along.

The Two Ways to Draw a Map

To understand their idea, we need to look at two ways physicists describe the world:

1. The Standard Map (Second Order): This is the usual way we describe electricity and magnetism (Maxwell's equations). It's like looking at a finished sculpture. You see the shape, but you don't see the clay or the tools used to make it. In this view, Electric charges are obvious, but Magnetic charges feel like they need to be "invented" or added on separately.
2. The Blueprint Map (First Order/BF Theory): This is a deeper, more fundamental view. Imagine looking at the sculpture not as a finished object, but as a set of instructions involving two different materials interacting. In physics, this is called BF Theory. It's a "topological" theory, meaning it's like a game played on a rubber sheet where the rules are about how things are connected, not about the specific shape.

The Analogy: Think of the Standard Map as a finished cake. You see the frosting (Electricity) and you know there's cake inside. The Blueprint Map is the recipe and the mixing bowl. It shows you the flour and the eggs interacting.

The "Ghost" Symmetry

In the "Blueprint" (BF Theory), there are two types of rules (symmetries) that keep the system balanced:

• Gauge Symmetry: Like changing the color of the frosting without changing the cake. This creates Electric Charges.
• Translational Symmetry: Like shifting the whole cake slightly on the table. In the pure "Blueprint" world, this shift creates Magnetic Charges.

Here is the catch: When you bake the cake (move from the Blueprint to the Standard Second Order theory), the "Translational Symmetry" usually breaks. The cake is solid; you can't just shift it without it looking different. So, the Magnetic charges seem to vanish.

The "Zero-Mode" Trick

The authors' big "Aha!" moment is realizing that in certain dimensions (like our 4D universe), this symmetry doesn't just break completely. It gets reducible.

The Analogy: Imagine a giant, flexible net (the symmetry). If you try to pull it, it usually snaps. But in 4D space, there are specific "knots" or "loops" in the net that don't move when you pull. These are called Zero-Modes.

The paper argues:

1. In the fundamental "Blueprint" (BF Theory), the "Translational Symmetry" has these special, unmovable knots (Zero-Modes).
2. When we "bake the cake" (move to standard Maxwell theory), the rest of the symmetry breaks, but these knots survive.
3. These surviving knots turn out to be exactly the Magnetic Charges we were looking for!

So, Magnetic charges aren't new things we have to invent. They are the ghosts of the broken symmetry that managed to hide in the corners of the math.

Why Does Dimension Matter? (The 3D vs. 4D Puzzle)

The paper explains why this works in our 4D world but not in a 3D world.

• In 4D (Our World): The math allows for those "knots" (Zero-Modes) to exist. Therefore, we have both Electric and Magnetic charges, and they dance together in a special algebraic relationship (a "Centrally Extended Algebra"). It's like a duet where the two singers have a special harmony.
• In 3D: The math is too tight. There are no "knots" to hold onto. The symmetry breaks completely. Therefore, in 3D, you can have Electric charges, but you cannot have Magnetic charges (unless you do something very weird to the theory).

This explains a long-standing mystery: Why does 4D electromagnetism have a magnetic twin, but 3D electromagnetism doesn't? The answer lies in the geometry of the "knots" in the underlying blueprint.

The Scalar Field Surprise

The authors also apply this to Scalar Fields (like the Higgs field or simple waves).

• Usually, we think of these as having no "charge" because they aren't like electricity.
• However, using their "Blueprint" method, they show that Scalar fields actually have "Soft Charges" (a type of gentle, low-energy charge).
• They prove that these "Soft Charges" are actually just the Magnetic charges of a dual theory. It's like realizing that the "wind" (Scalar) is actually just the "magnetic field" of a hidden "electric" world.

The Takeaway

This paper offers a new perspective on the universe:

1. Don't just look at the finished product. Look at the fundamental "Blueprint" (First Order formulation).
2. Magnetic charges are not magic. They are the surviving "zero-modes" (knots) of a deeper, topological symmetry that exists in the background.
3. The Universe is connected. The electric and magnetic charges are two sides of the same coin, linked by a deep mathematical structure (the BF theory) that only reveals itself when you look at the right level of detail.

In short: The authors found that the "missing" magnetic charges are actually the footprints left behind when a deeper, more fundamental symmetry of the universe gets broken. They are the ghosts in the machine, and now we know exactly where to look for them.

Technical Summary

Here is a detailed technical summary of the paper "Electromagnetic duality and central charge from first order formulation" by Geiller et al.

1. Problem Statement

The paper addresses the theoretical origin and existence criteria of dual magnetic charges in $p$-form gauge theories (specifically Maxwell theory) and their associated centrally-extended current algebra with electric charges.

• Context: Recent developments in the "infrared triangle" have linked soft theorems, asymptotic symmetries, and memory effects. This has revitalized the study of electromagnetic (EM) duality, particularly the existence of magnetic charges and their algebraic structure (Kac-Moody algebras with central extensions).
• The Gap: While electric charges arise naturally as Noether charges from gauge symmetries, magnetic charges do not appear as Noether charges in the standard second-order formulation of Maxwell theory. Previous approaches to derive them involve introducing "duality-symmetric" formulations with extra bulk fields or extending the phase space with edge modes.
• The Question: Can magnetic charges and their central extension be derived naturally from a first-order formulation of the theory without ad-hoc extensions, and what is the precise mechanism allowing their existence?

2. Methodology

The authors propose a novel viewpoint based on the first-order formulation of $p$-form theories, treating them as topological BF theories supplemented by a potential term.

• BF Theory Framework: They start with an Abelian BF theory in $d$-dimensions involving a $(p-1)$-form connection $A$ and a $(d-p)$-form field $B$. The Lagrangian is $L_{BF} = F \wedge B$.
  • This theory possesses two independent gauge symmetries: standard gauge transformations ($A \to A + d\alpha$) and "translational" (or shift) symmetries ($B \to B + d\phi$).
  • These symmetries generate electric and magnetic charges that form a centrally-extended Kac-Moody algebra.
• Reduction to Dynamical Theory: They introduce a quadratic potential term to break the topological nature, obtaining the first-order Lagrangian for a dynamical $p$-form theory:
  $$L[A, B] = F \wedge B + \frac{1}{2} \ast B \wedge B$$
  Integrating out $B$ yields the standard second-order Maxwell equations ($d \ast F = 0$).
• Analysis of Reducibility: The core of the methodology involves analyzing how the translational symmetry of the parent BF theory behaves upon reduction to the dynamical theory.
  • In the dynamical theory, the full translational symmetry is broken.
  • However, the authors argue that if the translational symmetry is reducible (i.e., admits zero-modes), a subset of these symmetries survives as a physical symmetry of the reduced theory.
  • They identify these surviving zero-modes with the magnetic gauge parameters of the $p$-form theory.

3. Key Contributions

A. Existence Criterion for Dual Charges

The paper establishes a precise geometric condition for the existence of magnetic charges in a $d$-dimensional $p$-form theory:
$$d - p > 1$$

• Mechanism: This condition ensures that the translational symmetry of the underlying BF theory is reducible. Specifically, the transformation parameter $\phi$ (a $(d-p-1)$-form) can be written as an exact form $\phi = d\tilde{\alpha}$ (where $\tilde{\alpha}$ is a $(d-p-2)$-form) everywhere except at poles (singularities).
• Zero-Modes: These reducible transformations correspond to zero-modes of the translation symmetry. While they represent trivial symmetries in the first-order Lagrangian (leaving the action invariant trivially), they carry non-trivial charges in the reduced theory.

B. Derivation of Magnetic Charges

The authors demonstrate that the magnetic charge $Q(M)$ in the $p$-form theory is inherited directly from the translational charge of the BF theory:

• The BF translational charge is $H(t)[\phi] = \int_{\partial \Sigma} A \wedge \phi$.
• Upon imposing the reducibility condition $\phi = d\tilde{\alpha}$, this becomes the magnetic charge:
  $$Q(M)[\tilde{\alpha}] = \int_{\partial \Sigma \setminus \{poles\}} F \wedge \tilde{\alpha} - \sum_{C} \oint_C A \wedge \tilde{\alpha}$$
• This derivation reproduces the results obtained via duality-symmetric formulations or extended phase spaces (e.g., [86, 92]) but derives them from the topological structure of the BF parent theory.

C. Central Extension of the Charge Algebra

The paper shows that the centrally-extended current algebra of electric and magnetic charges in the $p$-form theory is a direct descendant of the BF theory algebra.

• The mixed bracket between the electric charge $Q(E)$ (from gauge symmetry) and the magnetic charge $Q(M)$ (from reducible translational symmetry) yields a central term:
  $$\{Q(E)[\alpha], Q(M)[\tilde{\alpha}]\} = -\sum_{C} \oint_C d\alpha \wedge \tilde{\alpha}$$
• This confirms that the Kac-Moody structure with a central extension is intrinsic to the first-order formulation.

4. Results and Examples

• 4D Maxwell Theory ($d=4, p=2$):
  • Condition $d-p = 2 > 1$ holds.
  • Translational symmetry is reducible.
  • Result: Magnetic charges exist, and the electric-magnetic charge algebra is centrally extended.
• 3D Maxwell Theory ($d=3, p=2$):
  • Condition $d-p = 1$. The reducibility condition implies $\phi = \text{const}$.
  • Result: No local zero-modes exist (only a global charge). Consequently, no magnetic current algebra or central extension exists. This is consistent with the fact that 3D Maxwell theory is dual to a scalar field theory, which lacks local magnetic charges.
• Scalar Field Theory ($d$ dimensions):
  • A massless scalar field is dual to a $(d-1)$-form gauge theory.
  • The "soft charges" of the scalar field are identified as the magnetic charges of the dual gauge theory (or electric charges of the dual).
  • The first-order BF analysis correctly predicts the existence of these charges only when the dual gauge theory satisfies the $d-p > 1$ condition.

5. Significance

• Unification of Dualities: The paper provides a unified framework where electromagnetic duality and the existence of magnetic charges are not ad-hoc additions but natural consequences of the reducibility of gauge symmetries in a first-order topological formulation.
• Existence Criterion: It offers a clear, calculable criterion ($d-p > 1$) to determine whether a given $p$-form theory admits dual charges, resolving ambiguities in lower-dimensional cases.
• Topological Origin: It suggests that "hidden" dual charges in dynamical theories are remnants of the topological structure (BF theory) from which they can be derived. This supports the broader conjecture (also seen in gravity) that a complete description of asymptotic charges requires a first-order formulation.
• Future Directions: The authors note that this approach could be extended to non-Abelian theories (though reducibility becomes more complex with covariant derivatives) and to asymptotic boundaries, potentially deepening the understanding of the infrared triangle in quantum gravity and gauge theories.