🔢 mathematics

Global Gauge Symmetry Breaking in the Abelian Higgs Mechanism

This paper resolves the incompatibility between two gauge-invariant accounts of the Abelian Higgs mechanism by demonstrating, through constrained Hamiltonian formalism and $C^*$ -algebraic analysis, that the mechanism involves the spontaneous breaking of physical global $U(1)$ symmetry (which persists under boundary conditions) rather than local gauge symmetry, thereby establishing the Coulomb gauge as the preferred framework for a consistent gauge-invariant description.

Original authors: Silvester G. A. Borsboom, Sebastian De Haro

Published 2026-07-03

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Silvester G. A. Borsboom, Sebastian De Haro

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.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

The Big Problem: A Philosophical Tug-of-War

Imagine the Higgs Mechanism as a famous magic trick in physics. It explains how particles get mass. For decades, the standard story was: "The universe breaks a rule called 'local gauge symmetry' to give particles mass."

However, philosophers of physics have been arguing that this story doesn't make sense. They say: "You can't gain something real (like mass) by breaking a rule that is just a matter of how we describe things (a redundancy). It's like saying you gained weight by changing the units on your scale from pounds to kilograms."

This has led to two camps of thinkers who can't agree:

Camp A (The Breakers): Says the symmetry is broken, but it's a specific kind called Global Symmetry (like a rule that applies to the whole universe at once), not the local kind.
Camp B (The Erasers): Says there is no symmetry breaking at all. They argue we should just rewrite the math to remove the "redundant" parts entirely, leaving only the physical stuff.

This paper argues that both camps are actually right, but they are talking about different parts of the same puzzle. The authors resolve the conflict by using a specific mathematical tool (the "Coulomb gauge") to show exactly where the "real" physics lives.

The Core Concept: The "Redundant" vs. The "Real"

To understand the solution, we need to distinguish between two types of "gauge transformations" (ways of changing our description of a system).

Analogy 1: The Painted Room (Redundant Symmetry)

Imagine you are in a room with a single lightbulb. You can describe the light's brightness in "Lumens" or "Candela." If you change the units, the room doesn't actually get brighter or darker; you just changed the label.

Local Gauge Symmetry is like changing the label on the lightbulb independently in every single corner of the room.
The paper argues this is redundant. It's just "descriptive fluff." It doesn't change the physical reality. If you do this, the laws of physics (determinism) break down because you can't predict what happens next.

Analogy 2: The Galileo Ship (Global Symmetry)

Now, imagine you are on a ship in the middle of the ocean. You can't see the shore. If you rotate the entire ship 90 degrees, the physics inside the ship doesn't change. However, if you compare the ship to the shore (the environment), the relationship has changed.

Global Gauge Symmetry is like rotating the entire system at once.
The paper argues this is physical. It's not just a label change; it represents a real relationship between a system and its boundary (the "shore" or "infinity").

The Solution: The "Coulomb Gauge" Filter

The authors use a mathematical filter called the Coulomb Gauge to separate the "Redundant" from the "Real."

Think of the Coulomb Gauge as a special pair of glasses. When you look at the Higgs mechanism through these glasses:

The Redundant Stuff Disappears: All the "local" changes (the ones that break determinism) are filtered out. They are recognized as just mathematical noise.
The Real Stuff Remains: What is left is the Global Symmetry.

The Resolution:

Camp A was right to say symmetry is broken, but they were right only because they were looking at the Global symmetry.
Camp B was right to say "local" symmetry breaking is nonsense, but they went too far by trying to remove everything.
The Paper's Claim: You should remove the "redundant" local symmetry (using the Coulomb gauge), but you must keep the "physical" global symmetry. The Higgs mechanism is the story of this Global Symmetry breaking.

The Quantum Twist: The "Screened" Charge

The paper also looks at this in the quantum world (Quantum Field Theory). Here, they use a concept called Algebraic Quantum Theory.

Analogy 3: The Invisible Wall
Imagine you have a charged particle.

If the Global Symmetry is NOT broken: The electric charge is "superselected." This means you can tell exactly how much charge a particle has, even if you are infinitely far away. It's like a clear window; you can see the charge from the other side of the universe.
If the Global Symmetry IS broken (The Higgs Mechanism): The universe gets "screened." The Higgs field acts like a thick fog or a wall of water. If you try to measure the charge from far away, the signal gets blocked. The charge is "hidden" or "screened."

The paper proves mathematically that:

If the Global Symmetry is broken, the "fog" appears.
Because of this fog, the force-carrying particles (photons) become massive (they get heavy and can't travel far).
This explains why the Higgs mechanism gives mass to particles: it's the result of the universe "screening" the global symmetry, making the force short-range and the particles heavy.

Summary of the Paper's Claims

Not All Symmetries are Fake: While "local" gauge symmetries are just redundant descriptions, "global" gauge symmetries (those that respect the boundaries of the universe) are real and physical.
The Higgs Mechanism is Real Symmetry Breaking: The Higgs mechanism works by spontaneously breaking this Global symmetry, not the local one.
Two Views, One Truth: The "Global Symmetry Breaking" view and the "Dressing Field" view (which tries to remove symmetry) are compatible. You just have to use the "Dressing Field" method to remove the redundant local parts, leaving the physical global part intact.
Mass Comes from Screening: In the quantum world, breaking this global symmetry causes the electric force to be "screened" (short-ranged), which mathematically forces the particles to have mass.

The Bottom Line: The Higgs mechanism isn't a trick of language; it is a physical event where the universe breaks a global rule, creating a "screen" that gives particles their mass. The authors have finally found the mathematical language to describe this without contradiction.

Technical Summary: Global Gauge Symmetry Breaking in the Abelian Higgs Mechanism

Problem Statement
The paper addresses a conceptual incompatibility between two existing gauge-invariant accounts of the Abelian Higgs mechanism.

Global Symmetry Breaking Account: Following Struyve (2011), this view reformulates the mechanism as the spontaneous breaking of a global (rigid) gauge symmetry, rather than a local one. It utilizes the Coulomb gauge and dressed fields to isolate a residual global $U(1)$ symmetry.
No Symmetry Breaking Account: Advocated by Berghofer et al. (2023) and utilizing the Dressing Field Method (DFM) and Fröhlich-Morchio-Strocchi (FMS) approach, this view argues that the Higgs mechanism involves no symmetry breaking at all. It posits that by dressing fields with the polar decomposition of the Higgs field, one can eliminate the gauge symmetry entirely, interpreting the mechanism merely as the Higgs field sliding down its potential.

The central tension lies in defining what constitutes a "gauge-invariant account." Does it require eliminating all gauge symmetries (including global ones), or only the redundant local ones? Furthermore, the paper notes that while the classical incompatibility is debated, the quantum status of the mechanism remains unresolved, specifically regarding the link between the Higgs mechanism and Spontaneous Symmetry Breaking (SSB) in the algebraic sense (Earman 2003a; Stöltzner 2012).

Methodology
The authors employ the constrained Hamiltonian formalism within symplectic geometry to analyze the physical status of gauge symmetries.

Constrained Hamiltonian Analysis: The paper distinguishes between "formal" gauge transformations (mathematical automorphisms of a principal bundle) and "redundant" gauge transformations (those leading to a breakdown of determinism). Redundant transformations are identified as those generated by the first-class constraints of the theory (specifically the Gauss law constraint).
Boundary Conditions and Asymptotic Symmetries: The analysis incorporates asymptotic boundary conditions on a Cauchy surface. The authors argue that while local gauge transformations vanishing at infinity are redundant, transformations that approach a constant value at infinity (global gauge transformations) are not generated by the constraints and thus possess Direct Empirical Significance (DES).
Coulomb Gauge Derivation: The Coulomb gauge is derived not merely as a gauge-fixing condition but as the natural outcome of decomposing the symplectic form into radiative (transverse) and Coulombic (longitudinal) parts. This gauge eliminates the redundant local symmetries while preserving the physical global symmetry.
Field-Dependent DFM: The authors critique the standard application of the Dressing Field Method (DFM) which attempts to trivialize the entire structure group. Instead, they propose applying the DFM at the level of the infinite-dimensional field space (field-dependent DFM) to remove only the redundant subgroup $G^\infty_0$ , leaving the physical global group intact.
Algebraic Quantum Field Theory (QFT): In the quantum section, the paper utilizes the $C^*$ -algebraic framework (Wightman axioms, GNS representations) to define SSB. It examines the Morchio-Strocchi theorem regarding the relationship between the Gauss law, locality, and the existence of massless vs. massive photons.

Key Contributions and Results

Physical Status of Global Gauge Symmetries:
The paper establishes that in the presence of boundary conditions, global gauge symmetries are physical. They are not generated by the Gauss law constraints and act non-trivially on charged matter fields (specifically, they change the electric flux at infinity). Consequently, they possess Direct Empirical Significance (DES) in relational scenarios (e.g., subsystems relative to an environment).
Resolution of the Classical Incompatibility:
The authors resolve the conflict between the Struyve and Berghofer accounts by refining the application of the DFM.
- They argue that the standard DFM fails because it attempts to remove the entire gauge group, including the physical global symmetries, which is impossible without excluding physically relevant configurations (like the vanishing Higgs field).
- By applying the DFM at the level of infinite-dimensional field space to remove only the redundant local symmetries ( $G^\infty_0$ ), the resulting theory retains the global $U(1)$ symmetry.
- This "corrected" DFM reproduces the Coulomb gauge and the dressed fields used by Struyve. Thus, the two accounts are harmonized: the Higgs mechanism is a gauge-invariant process where the redundant local symmetries are eliminated, and the physical global symmetry is spontaneously broken.
Quantum Global Symmetry Breaking:
Extending the analysis to QED, the paper demonstrates that the Abelian Higgs mechanism can be understood as the spontaneous breaking of global $U(1)$ symmetry in the $C^*$ -algebraic sense.
- The Noether Relation and Locality: The paper highlights a conflict between the Gauss law and strict locality. In local Gupta-Bleuler quantization, the electric charge cannot generate global transformations if fields are strictly local.
- Coulomb Gauge Quantization: By moving to the non-local Coulomb gauge (where the Gauss law is imposed as an operator equation on fields), the Noether relation is restored.
- Morchio-Strocchi Theorem: The paper presents Theorem 5.5, which distinguishes two phases:
  - Unbroken Phase: If global $U(1)$ symmetry is unbroken, the spectral measure of the electromagnetic field contains a massless contribution ( $\delta(m^2)$ ), and electric charge is superselected.
  - Broken Phase: If global $U(1)$ symmetry is spontaneously broken (indicated by an order parameter with non-zero vacuum expectation value), the spectral measure contains no massless contribution. All bosons become massive, and the Noether relation fails in the sense of current charge screening (the current annihilates the vacuum). This provides a rigorous algebraic definition of the Higgs mechanism as SSB of global symmetry.

Significance and Claims
The paper claims to provide a unified, gauge-invariant understanding of the Abelian Higgs mechanism that satisfies both the philosophical requirement of eliminating "descriptive fluff" (redundant local symmetries) and the physical requirement of accounting for symmetry breaking.

It argues that the standard narrative of "local gauge symmetry breaking" is conceptually flawed, but the alternative of "no symmetry breaking" is also incomplete because it discards the physical global symmetry.
The correct interpretation is the spontaneous breaking of the physical global gauge symmetry, which is relationally significant and detectable via asymptotic flux.
The paper asserts that this view aligns with the physics of superconductors (where global symmetry breaking is empirically evident via the Josephson effect) and resolves the tension between Struyve's classical account and the DFM/FMS approaches.
In the quantum domain, it confirms that the Higgs mechanism corresponds to the algebraic definition of SSB, linking the generation of mass to the breaking of global $U(1)$ symmetry and the consequent absence of massless Goldstone modes and photons.

The authors remain modest regarding the non-Abelian case, noting that while the avoidance of Goldstone modes is proven for broken global non-Abelian symmetries, the rigorous proof of massive gauge bosons in that context remains an open problem. They also acknowledge the lack of a causal, dynamical account of how the symmetry breaking occurs in a phase transition, reducing the problem to the general issue of quantum SSB.