arxiv: 2604.24865 · v1 · submitted 2026-04-27 · 🧮 math-ph · math.AT· math.MP· math.QA

Recognition: unknown

Prefactorization algebras of superselection sectors

Alexander Schenkel, Marco Benini, Victor Carmona

Authors on Pith no claims yet

Pith reviewed 2026-05-07 17:49 UTC · model grok-4.3

classification 🧮 math-ph math.ATmath.MPmath.QA

keywords superselection sectorsprefactorization algebrasalgebraic quantum field theoryHaag dualityMinkowski spacetimeC*-categoriesorthogonal categories

0 comments

The pith

Every algebraic quantum field theory over suitable spacetime regions has an associated locally constant prefactorization algebra of its superselection sectors.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper shows that, given Haag duality and a locally faithful vacuum representation plus mild geometric conditions, any algebraic quantum field theory defined on a filtered orthogonal category of spacetime regions comes with a prefactorization algebra whose values on those regions are the C*-categories of superselection sectors. This algebra is locally constant, meaning the sector data varies only in a controlled, locally trivial way with the regions. A reader would care because the construction explains how the different possible particle sectors or charge sectors of the theory are organized by the same geometric and algebraic rules that define the quantum fields themselves. In Minkowski spacetime the result recovers the known higher monoidal structures on the sector category as a combination of duality and Lorentzian geometry. The same mechanism extends to theories with additional discrete symmetries.

Core claim

Under the standard assumptions of Haag duality and a locally faithful vacuum representation, together with mild additional geometric hypotheses, every AQFT defined over a filtered orthogonal category of spacetime regions has an associated locally constant C*-categorical prefactorization algebra of superselection sectors over the same orthogonal category. In the case of double cones in (n ≥ 2)-dimensional Minkowski spacetime this accounts for the E_n-monoidal structure on the C*-category of superselection sectors via Dunn-Lurie additivity as the combination of the E_1-structure from Haag duality and an E_{n-1}-structure from Lorentzian geometry. A refinement of the construction exists for the

What carries the argument

The locally constant C*-categorical prefactorization algebra of superselection sectors associated to the given AQFT over the filtered orthogonal category.

If this is right

The superselection sectors inherit an E_n-monoidal structure in Minkowski spacetime from the combination of duality and geometry.
The same association works for theories invariant under discrete group actions, yielding an equivariant version of the prefactorization algebra.
The construction applies uniformly to any filtered orthogonal category of spacetime regions that meets the geometric hypotheses.
The prefactorization algebra being locally constant means the sector data depends on the regions only through their local geometric relations.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The result suggests a way to organize sector data in curved spacetimes by the same prefactorization rules used in flat space.
It may allow direct transfer of algebraic tools for computing fusion rules or selection rules from the prefactorization algebra to concrete models.
One could ask whether the local constancy property imposes new constraints on possible superselection rules in interacting theories.

Load-bearing premise

The algebraic quantum field theory satisfies Haag duality and admits a locally faithful vacuum representation, together with mild geometric hypotheses on the filtered orthogonal category of spacetime regions.

What would settle it

An explicit algebraic quantum field theory over a filtered orthogonal category that satisfies Haag duality and has a locally faithful vacuum representation, yet whose superselection sectors do not form a locally constant C*-categorical prefactorization algebra over the same category.

read the original abstract

This paper revisits the theory of superselection sectors in algebraic quantum field theory from the modern perspective of prefactorization algebras. Under the standard assumptions of Haag duality and a locally faithful vacuum representation, it is shown that every AQFT defined over a filtered orthogonal category of spacetime regions, satisfying some mild additional geometric hypotheses, has an associated locally constant $C^\ast$-categorical prefactorization algebra of superselection sectors over the same orthogonal category. In the case of double cones in the $(n\geq 2)$-dimensional Minkowski spacetime, our approach provides a conceptual explanation for the well-known $\mathbb{E}_n$-monoidal structure on the $C^\ast$-category of superselection sectors as the combination, through Dunn-Lurie additivity $\mathbb{E}_n\simeq \mathbb{E}_1\otimes \mathbb{E}_{n-1}$, of the familiar $\mathbb{E}_1$-monoidal structure from Haag duality and an $\mathbb{E}_{n-1}$-monoidal structure from Lorentzian geometry. A refinement of our results to equivariant contexts under a discrete group $G$ is also provided.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper constructs prefactorization algebras from AQFT superselection sectors under Haag duality and explains the E_n structure via Dunn-Lurie additivity.

read the letter

This paper constructs prefactorization algebras from AQFT superselection sectors under Haag duality and explains the E_n structure via Dunn-Lurie additivity. Under the usual assumptions of Haag duality plus a locally faithful vacuum representation, every AQFT over a filtered orthogonal category of spacetime regions gets an associated locally constant C*-categorical prefactorization algebra of sectors. For double cones in n-dimensional Minkowski space the work decomposes the known E_n monoidal structure on the sector category as the combination of an E1 piece from duality and an E_{n-1} piece from Lorentzian geometry, using Dunn-Lurie additivity. A discrete-group equivariant version is included as well. The construction and the decomposition are the genuinely new parts. They turn a familiar set of AQFT data into a prefactorization algebra without adding extra structure, and they give a conceptual reason for the monoidal structure that was previously more of a black box. The argument stays within standard hypotheses and does not introduce circular steps or invented objects. The internal logic is consistent with existing results on sectors and on operadic additivity. The only soft spot worth noting is that the “mild additional geometric hypotheses” on the filtered orthogonal category are stated rather than unpacked in detail; a reader who wants to apply the result to a non-Minkowski spacetime will need to verify those conditions explicitly. That is a minor presentational issue rather than a flaw in the claims. The paper is aimed at people who already work with both algebraic QFT and prefactorization algebras or higher operads. Someone comfortable with Haag-Kastler axioms and Lurie-style algebra will see the most value. It is worth sending to a serious referee because the statements are precise, the approach is new, and the potential to organize related structures is real.

Referee Report

1 major / 3 minor

Summary. The manuscript claims that under the standard assumptions of Haag duality and a locally faithful vacuum representation, every AQFT defined over a filtered orthogonal category of spacetime regions with mild additional geometric hypotheses admits an associated locally constant C*-categorical prefactorization algebra of superselection sectors over the same category. In the case of double cones in n-dimensional Minkowski spacetime (n≥2), the E_n-monoidal structure on the C*-category of superselection sectors is explained as the combination, via Dunn-Lurie additivity E_n ≃ E_1 ⊗ E_{n-1}, of the E_1-monoidal structure from Haag duality and an E_{n-1}-monoidal structure from Lorentzian geometry. A refinement to equivariant contexts under a discrete group G is also provided.

Significance. If the central construction holds, the result is significant for unifying the theory of superselection sectors in AQFT with the framework of prefactorization algebras. It provides a conceptual explanation for known monoidal structures without introducing new ad-hoc parameters and extends naturally to equivariant settings, which may facilitate applications in symmetry analysis and categorical QFT. The reliance on standard assumptions like Haag duality strengthens the result's robustness and potential for further development in the field.

major comments (1)

The central claim in the main theorem depends on 'mild additional geometric hypotheses' on the filtered orthogonal category to ensure local constancy of the prefactorization algebra; these hypotheses must be stated explicitly (likely in the preliminaries section) with a verification that they are necessary and sufficient for the construction to go through, as their vagueness in the abstract risks making the result non-falsifiable.

minor comments (3)

The notation for C*-categorical prefactorization algebras and the filtered orthogonal category should be introduced with a brief example or diagram early in the paper to improve readability for readers unfamiliar with the specific conventions.
Include a precise reference and short recall of the Dunn-Lurie additivity theorem when it is invoked to combine the E_1 and E_{n-1} structures, to make the conceptual explanation self-contained.
In the equivariant refinement section, clarify how the discrete group G action interacts with the local constancy property without altering the core construction.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript, positive assessment of its significance, and recommendation for minor revision. We address the major comment below.

read point-by-point responses

Referee: The central claim in the main theorem depends on 'mild additional geometric hypotheses' on the filtered orthogonal category to ensure local constancy of the prefactorization algebra; these hypotheses must be stated explicitly (likely in the preliminaries section) with a verification that they are necessary and sufficient for the construction to go through, as their vagueness in the abstract risks making the result non-falsifiable.

Authors: We agree that greater explicitness is warranted. In the revised manuscript we will add a dedicated subsection (new Section 2.4) in the preliminaries that lists the geometric hypotheses in full formal detail as a numbered list of conditions on the filtered orthogonal category. In the proof of the main theorem we will insert explicit cross-references indicating precisely where each hypothesis is invoked, thereby confirming sufficiency for local constancy. We will also add a short remark after the theorem statement discussing necessity: the listed conditions are the minimal ones guaranteeing the required homotopy colimits and the compatibility with Dunn-Lurie additivity; dropping any one of them allows the construction of filtered orthogonal categories for which the resulting prefactorization algebra fails to be locally constant. While a exhaustive necessity proof would require additional counterexamples, we believe the current hypotheses are standard and already sufficient to make the claim falsifiable. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The derivation constructs a locally constant C*-categorical prefactorization algebra of superselection sectors directly from the standard AQFT inputs (Haag duality plus locally faithful vacuum representation) together with mild geometric hypotheses on the filtered orthogonal category. The E_n-monoidal structure is obtained by combining the E_1 structure from duality with an E_{n-1} structure from Lorentzian geometry via the external Dunn-Lurie additivity theorem; neither step reduces by construction to the paper's own fitted parameters, self-definitions, or unverified self-citations. The result is a genuine construction whose content is independent of the inputs once the listed hypotheses are granted.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

The central claim rests on standard assumptions from algebraic quantum field theory plus unspecified mild geometric hypotheses; no free parameters or invented entities are mentioned.

axioms (3)

domain assumption Haag duality
Invoked as a standard assumption in the abstract for the construction to hold.
domain assumption locally faithful vacuum representation
Invoked as a standard assumption in the abstract for the construction to hold.
ad hoc to paper mild additional geometric hypotheses
Mentioned in the abstract but not specified; required for the result.

pith-pipeline@v0.9.0 · 5497 in / 1399 out tokens · 60169 ms · 2026-05-07T17:49:03.295794+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

25 extracted references · 16 canonical work pages · 2 internal anchors

[1]

Universal Properties of Variations of the Little Cubes Operads

K. Arakawa, ``Universal properties of variations of the little cubes operads,'' M\"unster J.\ Math.\ 18, 1--26 (2025) [arXiv:2406.01084 [math.AT]]

work page internal anchor Pith review Pith/arXiv arXiv 2025
[2]

Benini, V

M. Benini, V. Carmona, P. Naaijkens and A. Schenkel, `` C^ -categorical prefactorization algebras for superselection sectors and topological order,'' Commun.\ Math.\ Phys.\ 407, 20 (2026) [arXiv:2505.07960 [math-ph]]

work page arXiv 2026
[3]

Benini, M

M. Benini, M. Perin, A. Schenkel and L. Woike, ``Categorification of algebraic quantum field theories,'' Lett.\ Math.\ Phys.\ 111, 35 (2021) [arXiv:2003.13713 [math-ph]]

work page arXiv 2021
[4]

Benini, A

M. Benini, A. Schenkel and L. Woike, ``Operads for algebraic quantum field theory,'' Commun.\ Contemp.\ Math.\ 23, 2050007 (2021) [arXiv:1709.08657 [math-ph]]

work page arXiv 2021
[5]

Bhardwaj, T

A. Bhardwaj, T. Brisky, C. Y. Chuah, K. Kawagoe, J. Keslin, D. Penneys and D. Wallick, ``Superselection sectors for posets of von Neumann algebras,'' Commun.\ Math.\ Phys.\ 406, 185 (2025) [arXiv:2410.21454 [math.OA]]

work page arXiv 2025
[6]

Brunetti and G

R. Brunetti and G. Ruzzi, ``Quantum charges and spacetime topology: The emergence of new superselection sectors,'' Commun.\ Math.\ Phys.\ 287, 523--563 (2009) [arXiv:0801.3365 [math-ph]]

work page arXiv 2009
[7]

Carmona, ``New model category structures for algebraic quantum field theory,'' Lett.\ Math.\ Phys.\ 113, 33 (2023) [arXiv:2107.14176 [math-ph]]

V. Carmona, ``New model category structures for algebraic quantum field theory,'' Lett.\ Math.\ Phys.\ 113, 33 (2023) [arXiv:2107.14176 [math-ph]]

work page arXiv 2023
[8]

Carmona and A

V. Carmona and A. S vraka, ``Additivity of constructible factorization algebras over manifolds with corners,'' arXiv:2510.26504 [math.AT]

work page arXiv
[9]

Ciolli, G

F. Ciolli, G. Ruzzi and E. Vasselli, ``Where charged sectors are localizable: A viewpoint from covariant cohomology,'' Commun.\ Math.\ Phys.\ 405, 17 (2024) [arXiv:2306.08449 [math-ph]]

work page arXiv 2024
[10]

Costello and O

K. Costello and O. Gwilliam, Factorization algebras in quantum field theory: Volume 1 , New Mathematical Monographs 31, Cambridge University Press, Cambridge (2017)

2017
[11]

Costello and O

K. Costello and O. Gwilliam, Factorization algebras in quantum field theory: Volume 2 , New Mathematical Monographs 41, Cambridge University Press, Cambridge (2021)

2021
[12]

Dell'Ambrogio, ``The unitary symmetric monoidal model category of small C^ -categories,'' Homology Homotopy Appl.\ 14, 101--127 (2012) [arXiv:1004.1488 [math.CT]]

I. Dell'Ambrogio, ``The unitary symmetric monoidal model category of small C^ -categories,'' Homology Homotopy Appl.\ 14, 101--127 (2012) [arXiv:1004.1488 [math.CT]]

work page arXiv 2012
[13]

Doplicher, R

S. Doplicher, R. Haag and J. E. Roberts, ``Local observables and particle statistics. 1,'' Commun.\ Math.\ Phys.\ 23, 199--230 (1971)

1971
[14]

Causally Disjoint Discs: Another $\mathbb{E}_n$-operad

R. Grady, ``Causally disjoint discs: Another E _n -operad,'' arXiv:2412.20333 [math.QA]

work page internal anchor Pith review arXiv
[15]

Halvorson and M

H. Halvorson and M. M\"uger, ``Algebraic quantum field theory,'' in: J. Butterfield and J. Earman (eds.), Philosophy of physics , 731--922, Elsevier (2006) [arXiv:math-ph/0602036]

work page arXiv 2006
[16]

Harpaz, Little cube algebras and factorization homology , https://www.math.univ-paris13.fr/ harpaz/lecture_notes.pdf

Y. Harpaz, Little cube algebras and factorization homology , https://www.math.univ-paris13.fr/ harpaz/lecture_notes.pdf
[17]

Hataishi, `` C^ -algebraic factorization homology and realization of cyclic representations,'' to appear in Quantum Topology [arXiv:2304.07155 [math.OA]]

L. Hataishi, `` C^ -algebraic factorization homology and realization of cyclic representations,'' to appear in Quantum Topology [arXiv:2304.07155 [math.OA]]

work page arXiv
[18]

Horel, ``Factorization homology and calculus \`a la Kontsevich Soibelman,'' J.\ Noncommut.\ Geom.\ 11, 703--740 (2017) [arXiv:1307.0322 [math.AT]]

G. Horel, ``Factorization homology and calculus \`a la Kontsevich Soibelman,'' J.\ Noncommut.\ Geom.\ 11, 703--740 (2017) [arXiv:1307.0322 [math.AT]]

work page arXiv 2017
[19]

Lurie, Higher algebra , https://www.math.ias.edu/ lurie/papers/HA.pdf

J. Lurie, Higher algebra , https://www.math.ias.edu/ lurie/papers/HA.pdf
[20]

Markl, ``A compactification of the real configuration space as an operadic completion,'' J.\ Algebra 215, 185--204 (1999) [arXiv:hep-th/9608067]

M. Markl, ``A compactification of the real configuration space as an operadic completion,'' J.\ Algebra 215, 185--204 (1999) [arXiv:hep-th/9608067]

work page arXiv 1999
[21]

G. J. Murphy, C^ -algebras and operator theory , Academic Press, Inc., Boston, MA (1990)

1990
[22]

J. E. Roberts, ``Lectures on algebraic quantum field theory,'' in: D. Kastler (ed.), The algebraic theory of superselection sectors , World Scientific Publishing Co., Inc., River Edge, NJ, (1990)

1990
[23]

J. E. Roberts, ``More lectures on algebraic quantum field theory,'' in: S. Doplicher and R. Longo (eds.), Noncommutative geometry: Lectures given at the C.I.M.E.\ Summer School held in Martina Franca, Italy, September 3--9, 2000 , Springer Verlag, Berlin Heidelberg (2004)

2000
[24]

Wahl, Ribbon braids and related operads , Ph.D.\ thesis, University of Oxford (2001)

N. Wahl, Ribbon braids and related operads , Ph.D.\ thesis, University of Oxford (2001). https://ora.ox.ac.uk/objects/uuid:4ae9f906-be3e-4cba-bf3c-a626337d1cf9

2001
[25]

Yau, Homotopical quantum field theory , World Scientific Publishing Company (2020) [arXiv:1802.08101 [math-ph]]

D. Yau, Homotopical quantum field theory , World Scientific Publishing Company (2020) [arXiv:1802.08101 [math-ph]]

work page arXiv 2020