BF Sectors, Spacelike Cones, and Massive Charges

Buchholz–Fredenhagen (BF) sectors describe massive charges that cannot be confined to a bounded double cone but can be localized in a spacelike cone: an unbounded region widening toward spatial infinity. The semi-infinite tail can carry flux or a string while the charge endpoint remains particle-like. Exterior vacuum equivalence and transportability are retained with cones replacing double cones, so fusion and braiding survive in a modified category. The BF criterion is not a license to shrink the string to compact support.

The concrete quantum-double application is developed physically in Anyons as Quasiparticles in Quantum Matter; below, the same excitation tests cone exterior equivalence and string transportability.

Required background. Gauss-Law Charges and Infrared Sectors explains the obstruction to compact localization; Isotony, Additivity, Duality, and Primitive Causality supplies causal complements; Sector Selection, Localization, and Transportability supplies the selection logic.

Helpful background. Non-Abelian Topological Orders and Higher-Form Symmetry from Operators and Linking explain topological charge and linking observables.

The spacelike-cone criterion

In $2+1$ or higher-dimensional Minkowski space, let $C$ be the causal completion of a semi-infinite spatial cone. A representation $\pi$ is BF-localized in $C$ relative to the vacuum $\pi_0$ when

$$\pi|_{\mathcal A(C')}\simeq\pi_0|_{\mathcal A(C')}.$$

It is transportable when equivalent representatives exist in every admissible spacelike cone. Under an appropriate cone-duality assumption, the representation can be realized by an endomorphism $\rho_C$ acting identically on $\mathcal A(C')$. For massive theories satisfying the BF selection assumptions, isolated charges admit particle interpretation, composition, conjugates under finite-statistics conditions, and ordinary or braid statistics according to dimension and cone topology Buchholz and Fredenhagen 1982, §§2–5, pp. 6–39.

The proof mechanism parallels DHR theory but uses a larger auxiliary algebra generated by cone algebras. Exterior equivalence puts the charged representation on the vacuum Hilbert space; cone duality localizes its action; transporters move the tail without moving it through observables; locality proves independence within a fixed homotopy class. Because cone complements can retain winding information, exchange need not reduce to a permutation.

A toric-code magnetic charge

On the infinite square lattice, the toric-code quasilocal algebra is generated by Pauli observables on finite bond sets. Choose a semi-infinite dual-lattice ribbon $\gamma$ contained in a cone $C$. Finite initial segments define string operators $F_{\gamma_n}^Z$; their adjoint action stabilizes on each local observable, defining

$$\rho_m(A)=\lim_{n\to\infty}F_{\gamma_n}^Z A F_{\gamma_n}^Z.$$

If $A$ is localized in $C'$, sufficiently long initial segments are disjoint from it, so $\rho_m(A)=A$. A second path in another cone gives an equivalent endomorphism, with the limit of connecting strings acting as transporter in the cone von Neumann algebra. Electric strings similarly give $\rho_e$, and $\rho_\epsilon=\rho_e\rho_m$. The four irreducible sectors obey

$$e^2=m^2=\epsilon^2=1, \qquad em=\epsilon,$$

and the mutual electric–magnetic monodromy is $-1$ because a direct and dual string crossing contributes one Pauli anticommutation. Naaijkens constructs these endomorphisms in §3, derives fusion and braiding in §4, and proves braided equivalence with finite-dimensional $D(\mathbb Z_2)$ representations in §6 Naaijkens 2011, §§3–4 and 6, pp. 6–18 and 21–25.

Result, boundary, and nonconverse

Cone exterior equivalence, transportability, cone duality, and suitable closure hypotheses license a cone-localized tensor category; finite statistics licenses conjugates and dimensions; topology licenses braiding. They do not imply compact DHR localization, nor do arbitrary infinite strings define finite-energy sectors. A string limit must act consistently on every local observable and its endpoint excitation must obey the selected energy/covariance condition.

Conversely, matching fusion and braid data with $D(G)$ does not prove two models have isomorphic observable nets. It identifies a braided sector category, not local dynamics, Hamiltonians, correlation functions, or completeness of all sectors.

Adversarial failure: shrinking the ribbon

Assume $\rho_m$ were localized in a finite double cone. Take a large electric loop surrounding that double cone. The loop lies in its exterior, so compact localization would force $\rho_m$ to act trivially on it. Yet the electric loop crosses the magnetic ribbon once and changes sign under $\rho_m$. The contradiction persists however large the double cone is. The semi-infinite tail can be deformed inside another cone, but it cannot be removed.

Independent checks

Check stabilization of the infinite-string adjoint action on every local observable. Move the ribbon and construct the intertwiner explicitly. Count crossings to reproduce mutual monodromy, then reverse orientation to invert it. Finally verify fusion both by composing endomorphisms and by multiplying endpoint charges.

Exercises

1. Stabilization. Why does the limit defining $\rho_m(A)$ become constant for local $A$?

Solution

$A$ meets only finitely many bonds. Once $\gamma_n$ contains the entire portion of the infinite ribbon near those bonds, extending its remote endpoint adds Pauli factors commuting with $A$. The adjoint action therefore stops changing.

2. Fusion. Use Pauli squares to show $m^2=1$.

Solution

Composing two identical ribbon automorphisms conjugates by the square of every Pauli factor. Since $(Z_b)^2=1$, the composite acts identically on every local observable.

3. Mutual statistics. Compute the commutator of one electric and one magnetic string crossing once.

Solution

All bond factors commute except at the single crossing, where $XZ=-ZX$. Thus reversing their order multiplies the product by $-1$, yielding electric–magnetic monodromy $-1$.

References

• Buchholz, Detlev, and Klaus Fredenhagen. “Locality and the Structure of Particle States.” Communications in Mathematical Physics 84 (1982): 1–54. DOI.
• Naaijkens, Pieter. “Localized Endomorphisms in Kitaev’s Toric Code on the Plane.” Reviews in Mathematical Physics 23 (2011): 347–373. DOI. Open PDF.