-
$C^\ast$-categorical prefactorization algebras for superselection sectors and topological order
Authors:
Marco Benini,
Victor Carmona,
Pieter Naaijkens,
Alexander Schenkel
Abstract:
This paper presents a conceptual and efficient geometric framework to encode the algebraic structures on the category of superselection sectors of an algebraic quantum field theory on the $n$-dimensional lattice $\mathbb{Z}^n$. It is shown that, under certain assumptions which are implied by Haag duality, the monoidal $C^\ast$-categories of localized superselection sectors carry the structure of a…
▽ More
This paper presents a conceptual and efficient geometric framework to encode the algebraic structures on the category of superselection sectors of an algebraic quantum field theory on the $n$-dimensional lattice $\mathbb{Z}^n$. It is shown that, under certain assumptions which are implied by Haag duality, the monoidal $C^\ast$-categories of localized superselection sectors carry the structure of a locally constant prefactorization algebra over the category of cone-shaped subsets of $\mathbb{Z}^n$. Employing techniques from higher algebra, one extracts from this datum an underlying locally constant prefactorization algebra defined on open disks in the cylinder $\mathbb{R}^1\times\mathbb{S}^{n-1}$. While the sphere $\mathbb{S}^{n-1}$ arises geometrically as the angular coordinates of cones, the origin of the line $\mathbb{R}^1$ is analytic and rooted in Haag duality. The usual braided (for $n=2$) or symmetric (for $n\geq 3$) monoidal $C^\ast$-categories of superselection sectors are recovered by removing a point of the sphere $\mathbb{R}^1\times(\mathbb{S}^{n-1}\setminus\mathrm{pt}) \cong\mathbb{R}^n$ and using the equivalence between $\mathbb{E}_n$-algebras and locally constant prefactorization algebras defined on open disks in $\mathbb{R}^n$. The non-trivial homotopy groups of spheres induce additional algebraic structures on these $\mathbb{E}_n$-monoidal $C^\ast$-categories, which in the case of $\mathbb{Z}^2$ is given by a braided monoidal self-equivalence arising geometrically as a kind of `holonomy' around the circle $\mathbb{S}^1$. The locally constant prefactorization algebra structures discovered in this work generalize, under some mild geometric conditions, to other discrete spaces and thereby provide a clear link between the geometry of the localization regions and the algebraic structures on the category of superselection sectors.
△ Less
Submitted 4 June, 2025; v1 submitted 12 May, 2025;
originally announced May 2025.
-
On the equivalence of AQFTs and prefactorization algebras
Authors:
Marco Benini,
Victor Carmona,
Alastair Grant-Stuart,
Alexander Schenkel
Abstract:
This paper revisits the equivalence problem between algebraic quantum field theories and prefactorization algebras defined over globally hyperbolic Lorentzian manifolds. We develop a radically new approach whose main innovative features are 1.) a structural implementation of the additivity property used in earlier approaches and 2.) a reduction of the global equivalence problem to a family of simp…
▽ More
This paper revisits the equivalence problem between algebraic quantum field theories and prefactorization algebras defined over globally hyperbolic Lorentzian manifolds. We develop a radically new approach whose main innovative features are 1.) a structural implementation of the additivity property used in earlier approaches and 2.) a reduction of the global equivalence problem to a family of simpler spacetime-wise problems. When applied to the case where the target category is a symmetric monoidal $1$-category, this yields a generalization of the equivalence theorem from [Commun. Math. Phys. 377, 971 (2019)]. In the case where the target is the symmetric monoidal $\infty$-category of cochain complexes, we obtain a reduction of the global $\infty$-categorical equivalence problem to simpler, but still challenging, spacetime-wise problems. The latter would be solved by showing that certain functors between $1$-categories exhibit $\infty$-localizations, however the available detection criteria are inconclusive in our case.
△ Less
Submitted 10 December, 2024;
originally announced December 2024.
-
Algebras over not too little discs
Authors:
Damien Calaque,
Victor Carmona
Abstract:
By the introduction of locally constant prefactorization algebras at a fixed scale, we show a mathematical incarnation of the fact that observables at a given scale of a topological field theory propagate to every scale over euclidean spaces. The key is that these prefactorization algebras over $\mathbb{R}^n$ are equivalent to algebras over the little $n$-disc operad. For topological field theorie…
▽ More
By the introduction of locally constant prefactorization algebras at a fixed scale, we show a mathematical incarnation of the fact that observables at a given scale of a topological field theory propagate to every scale over euclidean spaces. The key is that these prefactorization algebras over $\mathbb{R}^n$ are equivalent to algebras over the little $n$-disc operad. For topological field theories with defects, we get analogous results by replacing $\mathbb{R}^n$ with the spaces modelling corners $\mathbb{R}^p\times\mathbb{R}^{q}_{\geq 0}$. As a toy example in $1d$, we quantize, once more, constant Poisson structures.
△ Less
Submitted 30 January, 2025; v1 submitted 25 July, 2024;
originally announced July 2024.
-
Strictification theorems for the homotopy time-slice axiom
Authors:
Marco Benini,
Victor Carmona,
Alexander Schenkel
Abstract:
It is proven that the homotopy time-slice axiom for many types of algebraic quantum field theories (AQFTs) taking values in chain complexes can be strictified. This includes the cases of Haag-Kastler-type AQFTs on a fixed globally hyperbolic Lorentzian manifold (with or without time-like boundary), locally covariant conformal AQFTs in two spacetime dimensions, locally covariant AQFTs in one spacet…
▽ More
It is proven that the homotopy time-slice axiom for many types of algebraic quantum field theories (AQFTs) taking values in chain complexes can be strictified. This includes the cases of Haag-Kastler-type AQFTs on a fixed globally hyperbolic Lorentzian manifold (with or without time-like boundary), locally covariant conformal AQFTs in two spacetime dimensions, locally covariant AQFTs in one spacetime dimension, and the relative Cauchy evolution. The strictification theorems established in this paper prove that, under suitable hypotheses that hold true for the examples listed above, there exists a Quillen equivalence between the model category of AQFTs satisfying the homotopy time-slice axiom and the model category of AQFTs satisfying the usual strict time-slice axiom.
△ Less
Submitted 13 February, 2023; v1 submitted 8 August, 2022;
originally announced August 2022.
-
New model structures for Algebraic Quantum Field Theory
Authors:
Victor Carmona
Abstract:
In this paper we define and compare several new Quillen model structures which present the homotopy theory of algebraic quantum field theories. In this way, we expand foundational work of Benini et al. by providing a richer framework to detect and treat homotopical phenomena in quantum field theory. Our main technical tool is a new extension model structure on operadic algebras which is constructe…
▽ More
In this paper we define and compare several new Quillen model structures which present the homotopy theory of algebraic quantum field theories. In this way, we expand foundational work of Benini et al. by providing a richer framework to detect and treat homotopical phenomena in quantum field theory. Our main technical tool is a new extension model structure on operadic algebras which is constructed via (right) Bousfield localization. We expect that this tool is useful in other contexts.
△ Less
Submitted 15 February, 2023; v1 submitted 29 July, 2021;
originally announced July 2021.
