Gauss-Law Infrasectors and Asymptotic Charge Classes
In a theory with massless gauge quanta, a charged state generally differs from the vacuum at arbitrarily large distances. Gauss flux, velocity-dependent fields, and soft photon clouds defeat double-cone and often spacelike-cone localization. The resulting inequivalent representations are called infrasectors. Useful coarser classifications restrict which measurements count—for example to the algebra inside a future light cone—and group many globally disjoint infrared sectors into one charge class. Total electric charge alone is too coarse, while a global superselection sector is often too fine.
Required background. Infraparticles and Velocity Superselection supplies the spectral obstruction; Gauss-Law Charges and Infrared Sectors supplies asymptotic flux; BF Sectors, Spacelike Cones, and Massive Charges supplies the closest massive comparison.
Helpful background. Dressed States and Infrared-Finite Scattering explains coherent dressings; Dressed Charges, Soft Sectors, and Infrared Information explains what asymptotic data can encode.
Infrared representations and asymptotic data
Section titled “Infrared representations and asymptotic data”Let be the electromagnetic observable algebra. In a coherent-state model for the asymptotic photon field, a dressing is specified by a classical displacement on one-photon phase space. Two coherent representations are unitarily equivalent exactly when the displacement difference belongs to the one-photon Hilbert space. Coulombic profiles behave singularly as ; different angular flux or velocity profiles can have a difference outside that Hilbert space and therefore define disjoint representations even when their total flux agrees.
Schematically, an asymptotic electric field determines a function on the sphere with total charge
Equality of does not imply equality of , and neither equality proves unitary equivalence of full photon-cloud representations. The norm of the soft displacement, its angular profile, and the observable algebra retained in the comparison all matter. This explains velocity superselection: distinct asymptotic velocities support different long-range Liénard–Wiechert fields.
Light-cone charge classes
Section titled “Light-cone charge classes”Fix a future light cone and the algebra of observables localized within it. Radiation emitted before the apex and moving outward never enters ; restricting to therefore forgets part of the uncontrollable infrared past. Buchholz and Roberts define charge classes of elemental states by mutual norm approximation under inner automorphisms of the type-III factor generated by . A simple charge class admits morphisms localized in arbitrary hypercones , acts trivially on the causal complement within , and has an appropriate fullness property. These morphisms can be composed after controlled extensions, possess conjugate classes, and, under the paper’s assumptions, yield Bose/Fermi statistics and a compact symmetry group Buchholz and Roberts 2014, §4, preprint pp. 10–21.
The mechanism is operational. Restriction to coalesces globally distinct soft sectors that cannot be distinguished by future-directed measurements. Hypercone localization then recovers enough transportability to define morphisms. This is a classification relative to , not a proof that the global representations became equivalent.
Two electron dressings with equal charge
Section titled “Two electron dressings with equal charge”Compare electron states with the same total charge but angular flux profiles and , each integrating to . If the associated coherent displacement difference is not square integrable in the infrared, the global GNS representations are disjoint. The two states can nevertheless belong to the same light-cone charge class if the radiation distinguishing them escapes the chosen and their restrictions satisfy the norm-closure criterion. They need not do so: equal charge is necessary for this comparison but is not sufficient. The physical long-range-force setting is developed in Charges, Screening, and Long-Range Forces.
Domain, status, and excluded converse
Section titled “Domain, status, and excluded converse”The coherent-state equivalence test is exact for the specified asymptotic Weyl algebra; it is a model of infrared representation theory, not a full nonperturbative classification of four-dimensional QED. The light-cone construction is a theorem for nets satisfying its type, covariance, hypercone, and simplicity assumptions. It classifies simple charge classes within and does not establish that all QED charges are simple or that all relevant classes occur.
No converse from total charge exists: neither forces equal angular flux nor unitary equivalence nor membership in the same charge class. Conversely, membership in one light-cone charge class does not make the corresponding global sectors identical.
Adversarial failure: classification by total charge
Section titled “Adversarial failure: classification by total charge”Take with zero sphere integral but a nonzero angular harmonic and an infrared displacement whose norm diverges logarithmically. Both states have charge , yet their coherent representations are disjoint. A table indexed only by assigns them one sector and loses measurable asymptotic field data. The counterexample also shows why “same global charge” cannot replace a localization or norm-equivalence test.
Independent checks
Section titled “Independent checks”Compute both the sphere integral and the infrared one-particle norm; they test different information. State the observable algebra before declaring equivalence. Verify hypercone transporters within rather than globally. Check conjugation by composing a class with its opposite and testing that the vacuum class occurs.
Exercises
Section titled “Exercises”1. Same charge, different profile. Let on . Show the total charges agree.
Solution
Every nonconstant spherical harmonic integrates to zero, so .
2. Coherent equivalence. If has infinite one-photon norm, can a Fock-space Weyl unitary implement the displacement?
Solution
No. Weyl implementers exist for vectors in the one-photon Hilbert space. An infinite norm places the two coherent states in disjoint representations even if their total charge agrees.
3. Restriction. Explain why equivalence on need not extend to equivalence on .
Solution
The global algebra contains observables outside that can detect radiation omitted by the restriction. An intertwiner for the smaller algebra has no obligation to intertwine those additional observables.