-
Rational and non-rational two-dimensional conformal field theories arising from lattices
Authors:
Maria Stella Adamo,
Luca Giorgetti,
Yoh Tanimoto
Abstract:
For a (finite-dimensional) real Hilbert space $\mathfrak h$ and an orthogonal projection $p$, we consider the associated Heisenberg Lie algebra and the two-dimensional Heisenberg conformal net. Given an even lattice $Q$ in $\mathfrak h$ with respect to the indefinite bilinear form on $\mathfrak h$ defined by $p$, we construct a two-dimensional conformal net ${\mathcal A}_Q$ extending the Heisenber…
▽ More
For a (finite-dimensional) real Hilbert space $\mathfrak h$ and an orthogonal projection $p$, we consider the associated Heisenberg Lie algebra and the two-dimensional Heisenberg conformal net. Given an even lattice $Q$ in $\mathfrak h$ with respect to the indefinite bilinear form on $\mathfrak h$ defined by $p$, we construct a two-dimensional conformal net ${\mathcal A}_Q$ extending the Heisenberg conformal net. Moreover, with a certain discreteness assumption on the spectrum of the extension, we show that any two-dimensional extension of the Heisenberg conformal net is of the form ${\mathcal A}_Q$ up to unitary equivalence.
We consider explicit examples of even lattices where $\mathfrak h$ is two-dimensional and $p$ is one-dimensional, and we show that the extended net may have completely rational or non-completely rational chiral (i.e. one-dimensional lightray) components, depending on the choice of lattice. In the non-rational case, we exhibit the braided equivalence of a certain subcategory of the representation category of the chiral Heisenberg net corresponding to the two-dimensional lattice extension.
Inspired by the charge and braiding structures of these nets, we construct two-dimensional conformal Wightman fields on the same Hilbert spaces. We show that, in some cases, these Wightman fields generate the corresponding extended nets.
△ Less
Submitted 1 June, 2025;
originally announced June 2025.
-
Crossing symmetry and the crossing map
Authors:
Ricardo Correa da Silva,
Luca Giorgetti,
Gandalf Lechner
Abstract:
We introduce and study the crossing map, a closed linear map acting on operators on the tensor square of a given Hilbert space that is inspired by the crossing property of quantum field theory. This map turns out to be closely connected to Tomita--Takesaki modular theory. In particular, crossing symmetric operators, namely those operators that are mapped to their adjoints by the crossing map, defi…
▽ More
We introduce and study the crossing map, a closed linear map acting on operators on the tensor square of a given Hilbert space that is inspired by the crossing property of quantum field theory. This map turns out to be closely connected to Tomita--Takesaki modular theory. In particular, crossing symmetric operators, namely those operators that are mapped to their adjoints by the crossing map, define endomorphisms of standard subspaces. Conversely, such endomorphisms can be integrated to crossing symmetric operators. We also investigate the relation between crossing symmetry and natural compatibility conditions with respect to unitary representations of certain symmetry groups, and furthermore introduce a generalized crossing map defined by a real object in an abstract $C^*$-tensor category, not necessarily consisting of Hilbert spaces and linear maps. This latter crossing map turns out to be closely related to the (unshaded, finite-index) subfactor theoretical Fourier transform. Lastly, we provide families of solutions of the crossing symmetry equation, solving in addition the categorical Yang--Baxter equation, associated with an arbitrary Q-system.
△ Less
Submitted 2 August, 2024; v1 submitted 24 February, 2024;
originally announced February 2024.
-
Quantum Operations in Algebraic QFT
Authors:
Luca Giorgetti
Abstract:
Conformal Quantum Field Theories (CFT) in 1 or 1+1 spacetime dimensions (respectively called chiral and full CFTs) admit several "axiomatic" (mathematically rigorous and model-independent) formulations. In this note, we deal with the von Neumann algebraic formulation due to Haag and Kastler, mainly restricted to the chiral CFT setting. Irrespectively of the chosen formulation, one can ask the ques…
▽ More
Conformal Quantum Field Theories (CFT) in 1 or 1+1 spacetime dimensions (respectively called chiral and full CFTs) admit several "axiomatic" (mathematically rigorous and model-independent) formulations. In this note, we deal with the von Neumann algebraic formulation due to Haag and Kastler, mainly restricted to the chiral CFT setting. Irrespectively of the chosen formulation, one can ask the questions: given a theory $\mathcal{A}$, how many and which are the possible extensions $\mathcal{B} \supset \mathcal{A}$ or subtheories $\mathcal{B} \subset \mathcal{A}$? How to construct and classify them, and study their properties? Extensions are typically described in the language of algebra objects in the braided tensor category of representations of $\mathcal{A}$, while subtheories require different ideas.
In this paper, we review recent structural results on the study of subtheories in the von Neumann algebraic formulation (conformal subnets) of a given chiral CFT (conformal net). Furthermore, building on [BDG23], we provide a "quantum Galois theory" for conformal nets analogous to the one for Vertex Operator Algebras (VOA). We also outline the case of 3+1 dimensional Algebraic Quantum Field Theories (AQFT). The aforementioned results make use of families of (extreme) vacuum state preserving unital completely positive maps acting on the net of von Neumann algebras, hereafter called quantum operations. These are natural generalizations of the ordinary vacuum preserving gauge automorphisms, hence they play the role of "generalized global gauge symmetries". Quantum operations suffice to describe all possible conformal subnets of a given conformal net with the same central charge.
△ Less
Submitted 27 March, 2023;
originally announced March 2023.
-
Wightman fields for two-dimensional conformal field theories with pointed representation category
Authors:
Maria Stella Adamo,
Luca Giorgetti,
Yoh Tanimoto
Abstract:
Two-dimensional full conformal field theories have been studied in various mathematical frameworks, from algebraic, operator-algebraic to categorical. In this work, we focus our attention on theories with chiral components having pointed braided tensor representation subcategories, namely having automorphisms whose equivalence classes necessarily form an abelian group. For such theories, we exhibi…
▽ More
Two-dimensional full conformal field theories have been studied in various mathematical frameworks, from algebraic, operator-algebraic to categorical. In this work, we focus our attention on theories with chiral components having pointed braided tensor representation subcategories, namely having automorphisms whose equivalence classes necessarily form an abelian group. For such theories, we exhibit the explicit Hilbert space structure and construct primary fields as Wightman fields for the two-dimensional full theory. Given a finite collection of chiral components with automorphism categories with trivial total braiding, we also construct a local extension of their tensor product as a chiral component. We clarify the relations with the Longo-Rehren construction, and illustrate these results with concrete examples including the U(1)-current.
△ Less
Submitted 2 December, 2023; v1 submitted 28 January, 2023;
originally announced January 2023.
-
Haploid algebras in $C^*$-tensor categories and the Schellekens list
Authors:
Sebastiano Carpi,
Tiziano Gaudio,
Luca Giorgetti,
Robin Hillier
Abstract:
We prove that a haploid associative algebra in a $C^*$-tensor category $\mathcal{C}$ is equivalent to a Q-system (a special $C^*$-Frobenius algebra) in $\mathcal{C}$ if and only if it is rigid. This allows us to prove the unitarity of all the 70 strongly rational holomorphic vertex operator algebras with central charge $c=24$ and non-zero weight-one subspace, corresponding to entries 1-70 of the s…
▽ More
We prove that a haploid associative algebra in a $C^*$-tensor category $\mathcal{C}$ is equivalent to a Q-system (a special $C^*$-Frobenius algebra) in $\mathcal{C}$ if and only if it is rigid. This allows us to prove the unitarity of all the 70 strongly rational holomorphic vertex operator algebras with central charge $c=24$ and non-zero weight-one subspace, corresponding to entries 1-70 of the so called Schellekens list. Furthermore, using the recent generalized deep hole construction of these vertex operator algebras, we prove that they are also strongly local in the sense of Carpi, Kawahigashi, Longo and Weiner and consequently we obtain some new holomorphic conformal nets associated to the entries of the list. Finally, we completely classify the simple CFT type vertex operator superalgebra extensions of the unitary $N=1$ and $N=2$ super-Virasoro vertex operator superalgebras with central charge $c<\frac{3}{2}$ and $c<3$ respectively, relying on the known classification results for the corresponding superconformal nets.
△ Less
Submitted 13 May, 2023; v1 submitted 23 November, 2022;
originally announced November 2022.
-
Quantum Operations on Conformal Nets
Authors:
Marcel Bischoff,
Simone Del Vecchio,
Luca Giorgetti
Abstract:
On a conformal net $\mathcal{A}$, one can consider collections of unital completely positive maps on each local algebra $\mathcal{A}(I)$, subject to natural compatibility, vacuum preserving and conformal covariance conditions. We call \emph{quantum operations} on $\mathcal{A}$ the subset of extreme such maps. The usual automorphisms of $\mathcal{A}$ (the vacuum preserving invertible unital *-algeb…
▽ More
On a conformal net $\mathcal{A}$, one can consider collections of unital completely positive maps on each local algebra $\mathcal{A}(I)$, subject to natural compatibility, vacuum preserving and conformal covariance conditions. We call \emph{quantum operations} on $\mathcal{A}$ the subset of extreme such maps. The usual automorphisms of $\mathcal{A}$ (the vacuum preserving invertible unital *-algebra morphisms) are examples of quantum operations, and we show that the fixed point subnet of $\mathcal{A}$ under all quantum operations is the Virasoro net generated by the stress-energy tensor of $\mathcal{A}$. Furthermore, we show that every irreducible conformal subnet $\mathcal{B}\subset\mathcal{A}$ is the fixed points under a subset of quantum operations.
When $\mathcal{B}\subset\mathcal{A}$ is discrete (or with finite Jones index), we show that the set of quantum operations on $\mathcal{A}$ that leave $\mathcal{B}$ elementwise fixed has naturally the structure of a compact (or finite) hypergroup, thus extending some results of [Bis17]. Under the same assumptions, we provide a Galois correspondence between intermediate conformal nets and closed subhypergroups. In particular, we show that intermediate conformal nets are in one-to-one correspondence with intermediate subfactors, extending a result of Longo in the finite index/completely rational conformal net setting [Lon03].
△ Less
Submitted 12 May, 2023; v1 submitted 29 April, 2022;
originally announced April 2022.
-
A skeletal model for 2d conformal AQFTs
Authors:
Marco Benini,
Luca Giorgetti,
Alexander Schenkel
Abstract:
A simple model for the localization of the category $\mathbf{CLoc}_2$ of oriented and time-oriented globally hyperbolic conformal Lorentzian $2$-manifolds at all Cauchy morphisms is constructed. This provides an equivalent description of $2$-dimensional conformal algebraic quantum field theories (AQFTs) satisfying the time-slice axiom in terms of only two algebras, one for the $2$-dimensional Mink…
▽ More
A simple model for the localization of the category $\mathbf{CLoc}_2$ of oriented and time-oriented globally hyperbolic conformal Lorentzian $2$-manifolds at all Cauchy morphisms is constructed. This provides an equivalent description of $2$-dimensional conformal algebraic quantum field theories (AQFTs) satisfying the time-slice axiom in terms of only two algebras, one for the $2$-dimensional Minkowski spacetime and one for the flat cylinder, together with a suitable action of two copies of the orientation preserving embeddings of oriented $1$-manifolds. The latter result is used to construct adjunctions between the categories of $2$-dimensional and chiral conformal AQFTs whose right adjoints formalize and generalize Rehren's chiral observables.
△ Less
Submitted 30 June, 2022; v1 submitted 2 November, 2021;
originally announced November 2021.
-
Galois Correspondence and Fourier Analysis on Local Discrete Subfactors
Authors:
Marcel Bischoff,
Simone Del Vecchio,
Luca Giorgetti
Abstract:
Discrete subfactors include a particular class of infinite index subfactors and all finite index ones. A discrete subfactor is called local when it is braided and it fulfills a commutativity condition motivated by the study of inclusion of Quantum Field Theories in the algebraic Haag-Kastler setting. In [BDG21], we proved that every irreducible local discrete subfactor arises as the fixed point su…
▽ More
Discrete subfactors include a particular class of infinite index subfactors and all finite index ones. A discrete subfactor is called local when it is braided and it fulfills a commutativity condition motivated by the study of inclusion of Quantum Field Theories in the algebraic Haag-Kastler setting. In [BDG21], we proved that every irreducible local discrete subfactor arises as the fixed point subfactor under the action of a canonical compact hypergroup. In this work, we prove a Galois correspondence between intermediate von Neumann algebras and closed subhypergroups, and we study the subfactor theoretical Fourier transform in this context. Along the way, we extend the main results concerning $α$-induction and $σ$-restriction for braided subfactors previously known in the finite index case.
△ Less
Submitted 31 October, 2022; v1 submitted 20 July, 2021;
originally announced July 2021.
-
Compact Hypergroups from Discrete Subfactors
Authors:
Marcel Bischoff,
Simone Del Vecchio,
Luca Giorgetti
Abstract:
Conformal inclusions of chiral conformal field theories, or more generally inclusions of quantum field theories, are described in the von Neumann algebraic setting by nets of subfactors, possibly with infinite Jones index if one takes non-rational theories into account. With this situation in mind, we study in a purely subfactor theoretical context a certain class of braided discrete subfactors wi…
▽ More
Conformal inclusions of chiral conformal field theories, or more generally inclusions of quantum field theories, are described in the von Neumann algebraic setting by nets of subfactors, possibly with infinite Jones index if one takes non-rational theories into account. With this situation in mind, we study in a purely subfactor theoretical context a certain class of braided discrete subfactors with an additional commutativity constraint, that we call locality, and which corresponds to the commutation relations between field operators at space-like distance in quantum field theory. Examples of subfactors of this type come from taking a minimal action of a compact group on a factor and considering the fixed point subalgebra. We show that to every irreducible local discrete subfactor $\mathcal{N}\subset\mathcal{M}$ of type ${I\!I\!I}$ there is an associated canonical compact hypergroup (an invariant for the subfactor) which acts on $\mathcal{M}$ by unital completely positive (ucp) maps and which gives $\mathcal{N}$ as fixed points. To show this, we establish a duality pairing between the set of all $\mathcal{N}$-bimodular ucp maps on $\mathcal{M}$ and a certain commutative unital $C^*$-algebra, whose spectrum we identify with the compact hypergroup. If the subfactor has depth 2, the compact hypergroup turns out to be a compact group. This rules out the occurrence of compact \emph{quantum} groups acting as global gauge symmetries in local conformal field theory.
△ Less
Submitted 31 October, 2022; v1 submitted 24 July, 2020;
originally announced July 2020.
-
Minimal index and dimension for inclusions of von Neumann algebras with finite-dimensional centers
Authors:
Luca Giorgetti
Abstract:
The notion of index for inclusions of von Neumann algebras goes back to a seminal work of Jones on subfactors of type ${I\!I}_1$. In the absence of a trace, one can still define the index of a conditional expectation associated to a subfactor and look for expectations that minimize the index. This value is called the minimal index of the subfactor. We report on our analysis, contained in [GL19], o…
▽ More
The notion of index for inclusions of von Neumann algebras goes back to a seminal work of Jones on subfactors of type ${I\!I}_1$. In the absence of a trace, one can still define the index of a conditional expectation associated to a subfactor and look for expectations that minimize the index. This value is called the minimal index of the subfactor. We report on our analysis, contained in [GL19], of the minimal index for inclusions of arbitrary von Neumann algebras (not necessarily finite, nor factorial) with finite-dimensional centers. Our results generalize some aspects of the Jones index for multi-matrix inclusions (finite direct sums of matrix algebras), e.g., the minimal index always equals the squared norm of a matrix, that we call \emph{matrix dimension}, as it is the case for multi-matrices with respect to the Bratteli inclusion matrix. We also mention how the theory of minimal index can be formulated in the purely algebraic context of rigid 2-$C^*$-categories.
△ Less
Submitted 24 August, 2019;
originally announced August 2019.
-
Minimal index and dimension for 2-$C^*$-categories with finite-dimensional centers
Authors:
Luca Giorgetti,
Roberto Longo
Abstract:
In the first part of this paper, we give a new look at inclusions of von Neumann algebras with finite-dimensional centers and finite Jones' index. The minimal conditional expectation is characterized by means of a canonical state on the relative commutant, that we call the spherical state; the minimal index is neither additive nor multiplicative (it is submultiplicative), contrary to the subfactor…
▽ More
In the first part of this paper, we give a new look at inclusions of von Neumann algebras with finite-dimensional centers and finite Jones' index. The minimal conditional expectation is characterized by means of a canonical state on the relative commutant, that we call the spherical state; the minimal index is neither additive nor multiplicative (it is submultiplicative), contrary to the subfactor case. So we introduce a matrix dimension with the good functorial properties: it is always additive and multiplicative. The minimal index turns out to be the square of the norm of the matrix dimension, as was known in the multi-matrix inclusion case. In the second part, we show how our results are valid in a purely 2-$C^*$-categorical context, in particular they can be formulated in the framework of Connes' bimodules over von Neumann algebras.
△ Less
Submitted 23 May, 2018;
originally announced May 2018.
-
Infinite index extensions of local nets and defects
Authors:
Simone Del Vecchio,
Luca Giorgetti
Abstract:
Subfactor theory provides a tool to analyze and construct extensions of Quantum Field Theories, once the latter are formulated as local nets of von Neumann algebras. We generalize some of the results of [LR95] to the case of extensions with infinite Jones index. This case naturally arises in physics, the canonical examples are given by global gauge theories with respect to a compact (non-finite) g…
▽ More
Subfactor theory provides a tool to analyze and construct extensions of Quantum Field Theories, once the latter are formulated as local nets of von Neumann algebras. We generalize some of the results of [LR95] to the case of extensions with infinite Jones index. This case naturally arises in physics, the canonical examples are given by global gauge theories with respect to a compact (non-finite) group of internal symmetries. Building on the works of Izumi, Longo, Popa [ILP98] and Fidaleo, Isola [FI99], we consider generalized Q-systems (of intertwiners) for a semidiscrete inclusion of properly infinite von Neumann algebras, which generalize ordinary Q-systems introduced by Longo [Lon94] to the infinite index case. We characterize inclusions which admit generalized Q-systems of intertwiners and define a braided product among the latter, hence we construct examples of QFTs with defects (phase boundaries) of infinite index, extending the family of boundaries in the grasp of [BKLR16].
△ Less
Submitted 10 March, 2017;
originally announced March 2017.
-
Bantay's trace in Unitary Modular Tensor Categories
Authors:
Luca Giorgetti,
Karl-Henning Rehren
Abstract:
We give a proof of a formula for the trace of self-braidings (in an arbitrary channel) in UMTCs which first appeared in the context of rational conformal field theories (CFTs). The trace is another invariant for UMTCs which depends only on modular data, and contains the expression of the Frobenius-Schur indicator as a special case. Furthermore, we discuss some applications of the trace formula to…
▽ More
We give a proof of a formula for the trace of self-braidings (in an arbitrary channel) in UMTCs which first appeared in the context of rational conformal field theories (CFTs). The trace is another invariant for UMTCs which depends only on modular data, and contains the expression of the Frobenius-Schur indicator as a special case. Furthermore, we discuss some applications of the trace formula to the realizability problem of modular data and to the classification of UMTCs.
△ Less
Submitted 14 June, 2016;
originally announced June 2016.
-
Braided categories of endomorphisms as invariants for local quantum field theories
Authors:
Luca Giorgetti,
Karl-Henning Rehren
Abstract:
We want to establish the "braided action" (defined in the paper) of the DHR category on a universal environment algebra as a complete invariant for completely rational chiral conformal quantum field theories. The environment algebra can either be a single local algebra, or the quasilocal algebra, both of which are model-independent up to isomorphism. The DHR category as an abstract structure is ca…
▽ More
We want to establish the "braided action" (defined in the paper) of the DHR category on a universal environment algebra as a complete invariant for completely rational chiral conformal quantum field theories. The environment algebra can either be a single local algebra, or the quasilocal algebra, both of which are model-independent up to isomorphism. The DHR category as an abstract structure is captured by finitely many data (superselection sectors, fusion, and braiding), whereas its braided action encodes the full dynamical information that distinguishes models with isomorphic DHR categories. We show some geometric properties of the "duality pairing" between local algebras and the DHR category which are valid in general (completely rational) chiral CFTs. Under some additional assumptions whose status remains to be settled, the braided action of its DHR category completely classifies a (prime) CFT. The approach does not refer to the vacuum representation, or the knowledge of the vacuum state.
△ Less
Submitted 7 December, 2015;
originally announced December 2015.
