Doplicher–Roberts Compact-Gauge Reconstruction

The Doplicher–Roberts theorem recovers compact internal gauge symmetry from the observable superselection structure. Its input is not an arbitrary fusion category: it is a symmetric rigid C*-tensor category of finite-statistics DHR endomorphisms, concretely localized in the observable net, with simple unit, subobjects, and direct sums. Its output is a compact group $G$ and a field algebra $\mathfrak F$ carrying a faithful $G$ action whose fixed points are the observables. Braided categories, incomplete sector lists, and long-range charges fall outside this theorem.

Required background. Superselection Sectors and DHR Reconstruction supplies the selected category; Endomorphisms, Intertwiners, and Tensor Products supplies its concrete tensor action; Conjugates, Statistics Operators, and Statistical Dimension supplies rigidity and finite dimension.

Helpful background. Compact Lie Groups, Roots, Weights, and Weyl Structure reviews compact-group representations; Large Gauge Transformations and Topological Sectors distinguishes this internal reconstruction from topological and global-form data.

The reconstruction theorem

Let $\Delta_f$ be the full category of transportable double-cone-localized DHR endomorphisms with finite statistics for a Haag-dual vacuum net in spacetime dimension at least $2+1$. Assume its tensor unit is irreducible and that it is closed under finite direct sums, subobjects, and conjugates. Locality supplies a symmetric unitary braiding. The Doplicher–Roberts duality theorem gives a faithful symmetric tensor functor

$$E:\Delta_f\longrightarrow\mathrm{Hilb}_{\mathrm{fd}}$$

and a compact group of its unitary tensor automorphisms,

$$G=\operatorname{Aut}_\otimes(E), \qquad \Delta_f\simeq\operatorname{Rep}_{\mathrm{fd}}(G).$$

The field algebra is generated algebraically by triples $(A,\rho,\psi)$, where $A\in\mathfrak A$, $\rho\in\Delta_f$, and $\psi\in E(\rho)$, modulo the arrow relations. Multiplication combines the observable action of $\rho$ with tensor product in $E$; completion gives $\mathfrak F$. The group acts on the finite-dimensional component, $g(A,\rho,\psi)=(A,\rho,g_\rho\psi)$, and $\mathfrak F^G=\mathfrak A$. Charged fields map the vacuum sector into the sector $\rho$ and obey normal commutation or anticommutation at spacelike separation according to the central Bose/Fermi grading.

The existence, compactness, fixed-point property, and uniqueness of the normal field system are proved in Doplicher and Roberts 1990, §§2–5, pp. 55–94. The categorical embedding and subsequent algebraic, complete, covariant, and unique field-net stages are separated in Halvorson and Müger 2006, §§10.1–10.5, pp. 93–115.

Why the hypotheses do real work

Symmetry, not braiding alone, permits the category to be equivalent to ordinary finite-dimensional group representations. Conjugates provide evaluation maps and ensure finite-dimensional charge multiplets. Subobjects and sums let all finite representation-theoretic decompositions appear. The simple unit expresses a unique vacuum sector. Concrete localization supplies spacelike commutation and identifies the fixed-point algebra locally; an abstract category without its action on $\mathfrak A$ cannot do so.

The theorem reconstructs an internal compact gauge group, not a gauge potential, a Lagrangian, or the global form of a microscopic gauge theory by fiat. The faithfully acting group is fixed by the realized charged spectrum: central elements acting trivially on all reconstructed fields are already quotiented out. This is the precise connection with Global Form, Matter Representations, and the Faithful Gauge Group.

Recovering U(1) from integer sectors

For the massive complex scalar observable net, the simple sectors are $\rho_n$, $n\in\mathbb Z$, with

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

Choose $E(\rho_n)=\mathbb C e_n$. A unitary tensor automorphism is determined by phases $g_n$ obeying $g_{m+n}=g_mg_n$ and $g_0=1$. Hence $g_n=z^n$ for a unique $z\in U(1)$, so $\operatorname{Aut}_\otimes(E)\cong U(1)$. The reconstructed field $\psi_n$ transforms as $\psi_n\mapsto z^n\psi_n$; the neutral fixed-point algebra is the original observable algebra. This computes the group from tensor compatibility rather than guessing it from the label set.

Exact conclusion and excluded converses

Under the full symmetric rigid DHR hypotheses, the theorem licenses existence and the appropriate uniqueness of a compact $G$ and complete normal field system realizing precisely the finite-statistics DHR sectors. It does not assert that $\mathfrak F$ is the only possible extension after one relaxes normal commutation relations, admits braided fields, or includes sectors outside $\Delta_f$. It does not prove the selected list is complete among all physical representations.

Two converses fail. A compact group action with fixed points does not ensure that every observable sector is generated by that field algebra; completeness must be checked. And equivalence of abstract representation categories need not identify groups if the symmetric structure or fiber functor is forgotten. Fusion rings alone are much weaker than symmetric tensor categories.

Adversarial failure: a modular braided category

Take a nontrivial modular tensor category from a rational chiral net. Its double braiding is nondegenerate, so there are objects $\rho,\sigma$ with $\varepsilon(\sigma,\rho)\varepsilon(\rho,\sigma)\ne1$. No symmetric tensor equivalence can carry this structure to $\operatorname{Rep}(G)$ with its ordinary flip. Feeding only its fusion rules into compact-group reconstruction discards the monodromy and can return a spurious group. The failed hypothesis is symmetry; the correct reconstruction problem involves braided extensions or quantum symmetries.

Independent checks

Verify that the proposed exchange satisfies the symmetric relation, not merely the Yang–Baxter equation. Confirm closure under conjugates, sums, and subobjects. Compute $G$ as tensor automorphisms of a fiber functor and check that its action is faithful. Finally verify locally, region by region, both inclusions $\mathfrak A(O)\subseteq\mathfrak F(O)^G$ and $\mathfrak F(O)^G\subseteq\mathfrak A(O)$.

Exercises

1. Tensor automorphisms. Derive $G\cong U(1)$ from the integer-sector example.

Solution

A tensor automorphism acts on each one-dimensional $E(\rho_n)$ by $g_n\in U(1)$. Compatibility gives $g_n=g_1^n$. Setting $z=g_1$ identifies the automorphism with $z\in U(1)$, and every $z$ defines one.

2. Fixed fields. If $F=\sum_{n=-N}^N F_n$ and $g(F_n)=z^nF_n$, show that $F$ is $U(1)$-invariant exactly when $F_n=0$ for $n\ne0$.

Solution

Fourier orthogonality gives $F_n=(2\pi)^{-1}\int_0^{2\pi}e^{-in\theta}\alpha_{e^{i\theta}}(F)d\theta$. If $F$ is invariant, all nonzero Fourier components vanish; the converse is immediate.

3. Symmetry obstruction. Explain why a braided equivalence preserving a monodromy $M\ne1$ cannot land in ordinary $\operatorname{Rep}(G)$.

Solution

In ordinary $\operatorname{Rep}(G)$ the flip satisfies $c_{W,V}c_{V,W}=1$. A braided equivalence preserves this composite. It therefore cannot send a pair with $M\ne1$ to ordinary group representations.

References

• Doplicher, Sergio, and John E. Roberts. “A New Duality Theory for Compact Groups.” Inventiones Mathematicae 98 (1989): 157–218. 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.