Superselection Sectors and DHR Reconstruction

DHR theory turns transportable double-cone-localized representations into algebraic charge carriers and, under additional hypotheses, reconstructs charged fields. The core result is conditional: compact localization plus Haag duality produces localized endomorphisms; finite statistics and conjugates lead to a rigid symmetric C*-tensor category in spacetime dimension at least $2+1$; a further Doplicher–Roberts theorem then recovers a compact gauge group and field algebra. Neither mass gap alone nor the existence of a global conserved charge supplies these conclusions.

Required background. Isotony, Additivity, Duality, and Primitive Causality supplies duality and causal complements; Sector Selection, Localization, and Transportability supplies the DHR selection criterion.

Helpful background. Split Inclusions, Type-I Interpolation, and Statistical Independence explains a phase-space condition relevant to well-behaved sectors; Monoidal, Rigid, and Braided Language supplies categorical vocabulary; Multiplets, Invariants, and Selection Rules and Superselection Rules and Accessible Entanglement give physical and operational interpretations.

The DHR category and its domain

Fix a vacuum net $O\mapsto\mathfrak A(O)\subset B(\mathcal H_0)$ on Minkowski space, with quasilocal C*-algebra $\mathfrak A$, irreducible vacuum representation, locality, Haag duality, and enough properly infinite local algebras to form subobjects. Let $\Delta$ contain transportable endomorphisms $\rho:\mathfrak A\to\mathfrak A$ satisfying

$$\rho(A)=A\quad\text{for every }A\in\mathfrak A(O')$$

for some double cone $O$. Arrows are bounded intertwiners

$$(\rho,\sigma)=\{T\in\mathfrak A:T\rho(A)=\sigma(A)T \text{ for all }A\in\mathfrak A\}.$$

Composition of endomorphisms is the tensor product on objects. For arrows $S\in(\rho,\rho')$ and $T\in(\sigma,\sigma')$, the tensor product is

$$S\otimes T=S\rho(T)=\rho'(T)S \in(\rho\sigma,\rho'\sigma').$$

The identity endomorphism is the tensor unit. Adjoints make every arrow space a Banach space with the C*-identity; direct sums and subobjects require the stated local-algebra hypothesis. These constructions and their dependence on duality are given in Halvorson and Müger 2006, §§8.1–8.3, pp. 68–79.

When two localized morphisms are transported to spacelike-separated double cones, locality supplies a unitary exchange operator $\varepsilon(\rho,\sigma)\in(\rho\sigma,\sigma\rho)$. In at least two spatial dimensions, the relevant exchange paths yield the symmetric relation $\varepsilon(\sigma,\rho)\varepsilon(\rho,\sigma)=1$. In one spatial dimension, left and right exchanges cannot generally be deformed into one another, so the same input produces braiding rather than symmetry.

What reconstruction means here

There are two reconstructions that should not be conflated.

1. Representation-to-endomorphism reconstruction. Exterior vacuum equivalence and Haag duality encode each selected representation by a localized endomorphism of $\mathfrak A$.
2. Observable-to-field reconstruction. After restricting to the full subcategory of transportable DHR endomorphisms with finite statistics and conjugates, and assuming the appropriate symmetric C*-tensor structure, one reconstructs a compact group $G$, a field algebra $\mathfrak F$, and a faithful action of $G$ such that $\mathfrak A=\mathfrak F^G$ in the vacuum representation.

The first statement organizes selected representations. The second adds charged field operators that transform in finite-dimensional representations of $G$. Uniqueness is up to the natural equivalence of field systems, not equality of a preferred set of field coordinates. The compact-group theorem and its field-system hypotheses are established in Doplicher and Roberts 1990, §§2–4, pp. 55–81; a structured exposition of the embedding and field-net stages appears in Halvorson and Müger 2006, §§10.1–10.5, pp. 93–115.

Integer charge in the massive complex scalar theory

For the $U(1)$-fixed observable subnet of a massive free complex scalar field, let $\rho_n$ denote the sector of integer charge $n$. It is represented by an endomorphism localized wherever a charged field creating that charge is localized. Transportability lets the chosen double cone vary. Composition obeys

$$\rho_m\rho_n\simeq\rho_{m+n},\qquad \overline{\rho_n}\simeq\rho_{-n},\qquad d(\rho_n)=1.$$

Thus the irreducible sector category has the same tensor and conjugation data as finite-dimensional representations of $U(1)$: simple objects are characters $z\mapsto z^n$. Reconstructing a field algebra restores operators with nonzero integer charge, while their $U(1)$-fixed part is the original observable net. The relation between this internal gauge action and physical symmetry is developed in What Is a Symmetry of a QFT?.

This example is deliberately massive. An electrically charged QED representation carries a flux detectable on arbitrarily large spheres and therefore fails double-cone localization even though electric charge is conserved.

Hypotheses, conclusion, and nonconverse

The DHR categorical conclusion requires a vacuum net, a specified class of locally normal representations, compact exterior equivalence, transportability, and duality. Rigidity requires conjugates, normally obtained only for finite-statistics sectors. Symmetric exchange requires sufficient spacelike dimension. Compact-gauge reconstruction additionally needs the full symmetric rigid C*-tensor category with irreducible tensor unit and the standard closure properties.

The conclusion is therefore: within the selected finite-statistics DHR class, charges compose, admit intertwiners and statistics, and determine a compact gauge symmetry and a field system. The excluded converse is important. A compact global group acting on some field presentation does not prove that all physical sectors of the observable net are DHR or finite-statistical. Nor does a tensor category abstractly equivalent to $\operatorname{Rep}(G)$ identify a unique spacetime net; localization data and the category’s concrete action on $\mathfrak A$ are additional information.

Adversarial failure: electric charge in QED

Suppose an electron sector were localized in a double cone $O$. It would agree with the vacuum on $\mathfrak A(O')$. But Gauss’s law equates electric charge with flux through a sufficiently large sphere surrounding $O$. Flux observables can be approximated outside every bounded $O$ and distinguish the charged state from the vacuum. Hence the exterior representations cannot be equivalent. Applying DHR reconstruction anyway would erase the very long-range field that carries the charge. This is a failure of the selection hypothesis, not a failure of charge conservation or of QED.

Independent checks

• Exterior check: exhibit the unitary equivalence on the full causal-complement algebra, not only equality of a few correlators.
• Transport check: construct charge transporters between arbitrary double cones and verify that their products are intertwiners.
• Dimension check: if a conjugate is claimed, solve the conjugate equations and confirm that the resulting statistical dimension is finite.
• Topology check: verify that exchanging two localization regions has only the permutation class assumed by the symmetry theorem.

Exercises

1. Tensor unit. Show that the identity endomorphism $\iota$ is a strict tensor unit for the object and arrow products above.

Solution

Object composition gives $\iota\rho=\rho\iota=\rho$. For $T\in(\rho,\sigma)$, $1_\iota\otimes T=\iota(T)=T$ and $T\otimes1_\iota=T\rho(1)=T$. No unit isomorphism is needed, so the category is strict in this realization.

2. Charge addition. In the complex-scalar example, use the character law $z^m z^n=z^{m+n}$ to derive the fusion and conjugate formulas for $\rho_n$.

Solution

Products of fields of charges $m$ and $n$ transform as $z^{m+n}$, so composition lies in $\rho_{m+n}$. The inverse character is $z^{-n}$; consequently $\rho_{-n}$ is conjugate to $\rho_n$, and their product contains the neutral sector $\rho_0=\iota$.

3. Locate the QED contradiction. If $Q_R=\int_{S_R^2}\mathbf E\cdot d\mathbf S$ is localized in a thickened sphere spacelike to $O$, what do the vacuum and electron sectors predict as $R\to\infty$?

Solution

The vacuum has asymptotic flux zero, whereas a unit electron sector has flux equal to its electric charge. Since the thickened sphere lies in $O'$ for large $R$, DHR exterior equivalence would require the same representation there. The different flux limits contradict that requirement.

References

• Doplicher, Sergio, Rudolf Haag, and John E. Roberts. “Local Observables and Particle Statistics I.” Communications in Mathematical Physics 23 (1971): 199–230. DOI.
• Doplicher, Sergio, and John E. Roberts. “Why There Is a Field Algebra with a Compact Gauge Group Describing the Superselection Structure in Particle Physics.” Communications in Mathematical Physics 131 (1990): 51–107. DOI.
• Halvorson, Hans, and Michael Müger. “Algebraic Quantum Field Theory.” In Handbook of the Philosophy of Science, Vol. 2: Philosophy of Physics, edited by Jeremy Butterfield and John Earman, 731–922. Amsterdam: Elsevier, 2007. Open PDF, 2006 preprint.