⚛️ high-energy theory

4d Maxwell on the Edge: Global Aspects of Boundary Conditions and Duality

This paper investigates the global aspects of boundary conditions and dualities in 4d Maxwell theory with a boundary, demonstrating how topological interfaces generate an $SL(2,\mathbb{Q})$ action on the bulk coupling and providing a unified SymTFT framework to characterize the resulting boundary symmetries and edge modes.

Original authors: Adrien Arbalestrier, Riccardo Argurio, Giovanni Galati, Elise Paznokas

Published 2026-01-23

📖 5 min read🧠 Deep dive

CC0 1.0

Original authors: Adrien Arbalestrier, Riccardo Argurio, Giovanni Galati, Elise Paznokas

Original paper dedicated to the public domain under CC0 1.0 (http://creativecommons.org/publicdomain/zero/1.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

Imagine you have a vast, invisible ocean of energy called the "Maxwell field." In the world of physics, this is the electromagnetic field that governs electricity and magnetism. Usually, physicists study this ocean as if it were infinite, stretching out forever in all directions. But in the real world, everything has edges. A piece of metal, a wall, or the surface of a planet acts as a boundary where this ocean stops or changes behavior.

This paper is like a detailed map of what happens when you build a fence around this electromagnetic ocean. The authors are asking: What rules must the water follow when it hits the fence? And how does the fence change the nature of the water itself?

Here is a breakdown of their findings using simple analogies:

1. The Rules of the Fence (Boundary Conditions)

When the electromagnetic field hits a boundary, it has to obey specific rules. Think of these rules like the instructions for how a ball bounces off a wall.

The "Hard" Wall (Dirichlet): Imagine the water is forced to be perfectly still right at the fence. Nothing moves.
The "Slippery" Wall (Neumann): Imagine the water can slide along the fence freely, but it can't flow through it.
The "Custom" Wall: The authors show that there isn't just one way to build this fence. You can build a "smart fence" that allows some specific types of waves to pass through while blocking others. They found that these fences can be described by a set of three numbers (like a secret code: P, Q, and r). These numbers dictate exactly which waves get stuck, which waves disappear, and which waves turn into something new.

2. The Magic of "Trick" Lines (Wilson and 't Hooft Lines)

In this quantum world, there are invisible "strings" or "lines" of energy floating around.

Some of these lines are like Wilson lines (electric strings).
Others are 't Hooft lines (magnetic strings).

The paper discovers that when these lines hit the boundary, something magical happens:

Some lines simply vanish (they become "trivial"). It's like a snake hitting a wall and turning into dust.
Other lines don't vanish, but they turn into topological ghosts. They become invisible to the local rules but still exist as a permanent feature of the boundary. These ghosts create a new kind of "symmetry" (a rule of order) that only exists on the surface of the fence.

3. The Shape-Shifting Mirrors (Dualities and Interfaces)

The authors introduce a concept called "Topological Interfaces." Imagine these as magical mirrors or sliding doors placed between two different versions of the electromagnetic ocean.

The S-Mirror: This mirror swaps electricity and magnetism. If you look through it, an electric charge looks like a magnetic one, and vice versa.
The T-Mirror: This mirror twists the rules, changing how the field behaves without swapping the types of charges.
The Rescaling Mirror: This mirror zooms in or out, changing the strength of the interaction (the "coupling").

The paper shows that by combining these mirrors, you can transform the entire system in a very specific, mathematical way (using something called an SL(2, Q) group). It's like having a set of tools that can rearrange the furniture in a room, swap the walls, and change the lighting, all while keeping the house standing.

4. The 5D "Shadow" Theory (SymTFT)

To make sense of all these complex rules, the authors use a clever trick. They imagine that our 4D world (3 dimensions of space + 1 of time) is actually the "shadow" cast by a 5D object.

Think of a 3D cube casting a 2D shadow on a wall. The shadow looks flat, but it contains information about the 3D object.
The authors use a 5D "Symmetry Topological Field Theory" (SymTFT) as the 3D object. By looking at how this 5D object is cut and folded (creating "corners" and "edges"), they can perfectly predict all the rules and behaviors of the 4D boundary.
This 5D view acts like a master blueprint. It explains why the fences behave the way they do and how the mirrors work, all in one unified picture.

5. The "Loose" Edges (Non-Compact Modes)

Finally, the paper briefly touches on a more exotic possibility: what if the fence isn't made of solid material but of "loose" threads that can stretch infinitely?

In standard physics, we usually assume these threads are tied down (compact).
The authors explore what happens if they are untied (non-compact). They warn that this can lead to "pathologies" (glitches in the system), like having an infinite number of states or energy levels that don't make sense. It's like a door that never closes, letting in too much chaos.

Summary

In short, this paper is a comprehensive guide to the "edge cases" of electromagnetism. It tells us that:

Boundaries aren't just simple walls; they are complex filters that can erase, transform, or preserve energy lines.
We can use "mirrors" (dualities) to swap and reshape these boundaries in predictable ways.
A higher-dimensional "shadow" theory (the 5D SymTFT) provides the ultimate explanation for all these behaviors, unifying them into a single, elegant framework.

The authors aren't proposing a new battery or a faster internet connection; they are refining our fundamental understanding of how the universe's forces behave when they hit a limit.

Technical Summary: 4d Maxwell on the Edge: Global Aspects of Boundary Conditions and Duality

Problem Statement
The paper addresses the classification and global properties of boundary conditions in four-dimensional Maxwell theory, a problem that remains challenging even for free theories. While local boundary conditions (constraints on field strengths) are well-understood, the global structure—specifically the behavior of extended operators (Wilson and 't Hooft lines) and the resulting generalized symmetries near the boundary—is less systematically explored. The authors aim to characterize the full space of consistent boundary conditions, distinguishing between "free" conditions (involving only topological edge modes) and "conformal" conditions (coupling to interacting 3d CFTs). A central goal is to understand how bulk dualities (SL(2, Z) and rescalings) act on these boundary conditions, particularly regarding the fate of line operators and the generation of boundary 1-form symmetries.

Methodology
The authors employ a multi-faceted approach combining direct Lagrangian analysis, topological field theory (TQFT) descriptions, and the Symmetry Topological Field Theory (SymTFT) framework:

Topological Edge Mode Description: Free boundary conditions are modeled as 3d Abelian topological field theories coupled to the bulk photon. The boundary action is parameterized by integers $(p, v, k)$ , which determine the local constraints on the field strength and the global constraints on holonomies.
Topological Interfaces: The authors construct explicit 3d topological interfaces that separate bulk Maxwell theories with different couplings. These include:
- Duality Interfaces: Implementing SL(2, Z) transformations by gauging discrete subgroups of the bulk $U(1)_e \times U(1)_m$ 1-form symmetry.
- Rescaling Interfaces: Implementing coupling rescalings ( $e^2 \to \frac{N^2}{M^2}e^2$ ) by gauging $Z_N \times Z_M$ subgroups.
- Condensation Defects: Analyzing the composition of interfaces to understand non-invertible defects and their effect on the spectrum of endable lines.
SymTFT Framework: The results are recovered and unified using a 5d SymTFT defined on a slab manifold with corners. The 5d bulk is a non-compact BF theory ( $b \wedge dc$ ). Physical 4d boundaries and topological 4d boundaries are introduced on the slab faces, with 3d topological interfaces acting as corners. This setup encodes the bulk coupling $\tau$ and the boundary data $(P, Q, \tilde{r})$ geometrically.
Weak Coupling Limit: The behavior of conformal boundary conditions is analyzed in the limit $e \to 0$ , where the bulk decouples, revealing the structure of the resulting local 3d CFTs.

Key Contributions and Results

Classification of Free Boundary Conditions: The authors establish that inequivalent free boundary conditions are characterized by three integers $(P, Q, \tilde{r})$ $(P, Q, \tilde{r})$ with $\gcd(P, Q)=1$ $g cd (P, Q) = 1$ .
- $P$ and $Q$ determine the local boundary condition: $P(\frac{i}{e^2} *F - \frac{\theta}{2\pi}F) + QF = 0$ .
- $\tilde{r}$ determines the global structure: it specifies which dyonic lines $(W_Q H_P)^{\tilde{r}m}$ become trivial on the boundary. Lines that do not become trivial but are uncharged under the trivialized symmetry become topological, generating a $\mathbb{Z}_{\tilde{r}}$ 1-form boundary symmetry.
Action of Topological Interfaces:
- SL(2, Z) Duality: Fusing a duality interface onto a boundary condition transforms the parameters $(P, Q)$ via the standard SL(2, Z) action on the doublet, while leaving $\tilde{r}$ invariant. This confirms that SL(2, Z) duality preserves the global structure of the boundary condition (the set of trivialized lines).
- Rescaling and SL(2, Q): Interfaces implementing coupling rescalings (gauging $Z_N \times Z_M$ ) transform $(P, Q)$ and modify $\tilde{r}$ . The combined action of duality and rescaling interfaces generates an SL(2, $\mathbb{Q}$ ) action on the bulk complexified coupling $\tau$ . Unlike pure SL(2, Z), these operations can change the global structure (the value of $\tilde{r}$ ), effectively changing the set of endable lines.
- Condensation Defects: The composition of rescaling interfaces leads to non-invertible condensation defects. These defects can trivialize or de-trivialize line operators, altering the spectrum of endable lines on the boundary.
Conformal Boundary Conditions: When 3d CFTs are coupled to the bulk, the topological couplings select which subset of boundary charged operators couple to the bulk. In the weak coupling limit ( $e \to 0$ ), the boundary theory reduces to a local 3d CFT modified by topological manipulations (gauging, adding Chern-Simons terms). This provides a refined generalization of the SL(2, Z) action on 3d CFTs, incorporating both topological and non-topological operations.
SymTFT Unification: The 5d SymTFT framework with corners successfully reproduces the $(P, Q, \tilde{r})$ data. The choice of the topological boundary condition $B_{4d', \text{top}}$ determines the bulk coupling $\tau'$ , while the choice of the 3d topological interface (parameterized by an SL(2, $\mathbb{Q}$ ) matrix) determines the specific boundary condition $(P, Q, \tilde{r})$ on the physical side. This offers a geometric derivation of the SL(2, $\mathbb{Q}$ ) action on boundary data.
Non-Compact Edge Modes: The paper briefly discusses boundary conditions involving non-compact $\mathbb{R}$ -valued edge modes. These lead to boundary conditions with irrational coefficients and generally result in the absence of topological line operators (no 1-form symmetry) or continuous spectra, highlighting potential pathologies similar to Friedan boundary conditions in 2d.

Significance
The paper claims to provide a comprehensive and streamlined understanding of the global aspects of Maxwell theory boundaries. By identifying the subset of Wilson-'t Hooft lines that become trivial or topological, the authors clarify the emergence of boundary 1-form symmetries. The unification of duality and rescaling operations into an SL(2, $\mathbb{Q}$ ) action, and the demonstration that this action can be derived from a 5d SymTFT with corners, offers a powerful geometric tool for analyzing boundary conditions. This framework generalizes the known SL(2, Z) action on 3d CFTs to include non-topological manipulations and provides a systematic way to recover the fate of extended operators under duality transformations. The work serves as a paradigmatic example for studying global structures in gauge theories with boundaries, with potential relevance for AdS/CFT and the regularization of flat-space observables.