SearcharxivSearch

arXiv subjects

Luca Giorgetti

Publications and source records attributed to Luca Giorgetti.

At least 19 recordsLinked to original sources

Algebra objects in direct limit completions of compact Lie group duals and the classification of $c=1$ vertex operator algebras

Let $G$ be a complex reductive affine algebraic group with its symmetric tensor category $\mathcal{C}_G$ of finite-dimensional rational representations. We prove that every simple commutative algebra object with at most countable dimension in the direct limit completion $\operatorname{Ind}(\mathcal{C}_G)$ of $\mathcal{C}_G$ is isomorphic to the algebra $\mathcal{O}(G/H)$ of regular functions on the homogeneous space $G/H$, for some reductive algebraic subgroup $H$ of $G$. Then we apply this result to the theory of vertex operator algebra extensions. In particular, assuming the strong rationality of the $ \operatorname{A}_5$-orbifold of the vertex operator algebra $V_{\mathcal{L}_2}$ associated with the rank-one root lattice $\mathcal{L}_2:= \sqrt{2}\mathbb{Z}$, we classify all the not necessarily rational simple CFT type preunitary vertex operator algebra extensions of the simple unitary Virasoro vertex operator algebra $L(1,0)$ with central charge $c=1$ satisfying a certain spectrum condition. This result is the vertex operator algebra analogue of a conformal net result by Feng Xu. Every strongly rational preunitary vertex operator algebra extension of $L(1,0)$ satisfies the above spectrum condition because of the congruence subgroup modularity property of its characters. As a consequence, we get a complete classification result for strongly rational $c=1$ vertex operator algebras, up to the strong rationality of $V_{\mathcal{L}_2}^{\operatorname{A}_5}$.

math.QA

Representations of conformal nets associated with infinite-dimensional groups

We study the relation between representations of certain infinite-dimensional Lie groups and those of the associated conformal nets. For a chiral conformal net extending the net generated by the vacuum representation of a loop group or diffeomorphism group of the circle, we show that any conformal net representation induces a positive-energy representation of the corresponding group. Consequently, we prove that any representation of such a conformal net is automatically diffeomorphism covariant. Moreover, we show that the covariance cocycles of conformal net representations satisfy naturality with respect to the action of diffeomorphisms, i.e. the diffeomorphisms act equivariantly on the category of conformal net representations.

math.RT

Rational and non-rational two-dimensional conformal field theories arising from lattices

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.

math-ph

Separable algebras in multitensor C$^*$-categories are unitarizable

Recently, S. Carpi et al. (Comm. Math. Phys., 402:169-212, 2023) proved that every connected (i.e. haploid) Frobenius algebra in a tensor C$^*$-category is unitarizable (i.e. isomorphic to a special C$^*$-Frobenius algebra). Building on this result, we extend it to the non-connected case by showing that an algebra in a multitensor C$^*$-category is unitarizable if and only if it is separable.

math.OA

Crossing symmetry and the crossing map

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.

math.OA

Wightman fields for two-dimensional conformal field theories with pointed representation category

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.

math-ph

Haploid algebras in $C^*$-tensor categories and the Schellekens list

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.

math.QA

Quantum Operations on Conformal Nets

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].

math.OA

Quantum Operations in Algebraic QFT

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.

math.OA

Bayesian inversion and the Tomita-Takesaki modular group

We show that conditional expectations, optimal hypotheses, disintegrations, and adjoints of unital completely positive maps, are all instances of Bayesian inverses. We study the existence of the latter by means of the Tomita-Takesaki modular group and we provide extensions of a theorem of Takesaki as well as a theorem of Accardi and Cecchini to the setting of not necessarily faithful states on finite-dimensional $C^*$-algebras.

math.OA

Galois Correspondence and Fourier Analysis on Local Discrete Subfactors

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.

math.OA

Compact Hypergroups from Discrete Subfactors

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.

math.OA

A planar algebraic description of conditional expectations

Let $\mathcal{N}\subset\mathcal{M}$ be a unital inclusion of arbitrary von Neumann algebras. We give a 2-{$C^*$}-categorical/planar algebraic description of normal faithful conditional expectations $E:\mathcal{M}\to\mathcal{N}\subset\mathcal{M}$ with finite index and their duals $E':\mathcal{N}'\to\mathcal{M}'\subset\mathcal{N}'$ by means of the solutions of the conjugate equations for the inclusion morphism $ι:\mathcal{N}\to\mathcal{M}$ and its conjugate morphism $\overlineι:\mathcal{M}\to\mathcal{N}$. In particular, the theory of index for conditional expectations admits a 2-{$C^*$}-categorical formulation in full generality. Moreover, we show that a pair $(\mathcal{N}\subset\mathcal{M}, E)$ as above can be described by a Q-system, and vice versa. These results are due to Longo in the subfactor/simple tensor unit case [Lon90, Thm.\ 5.2], [Lon94, Thm.\ 5.1].

math.OA

A skeletal model for 2d conformal AQFTs

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.

math-ph

Ergodic properties of the Anzai skew-product for the noncommutative torus

We provide a systematic study of a noncommutative extension of the classical Anzai skew-product for the cartesian product of two copies of the unit circle to the noncommutative 2-tori. In particular, some relevant ergodic properties are proved for these quantum dynamical systems, extending the corresponding ones enjoyed by the classical Anzai skew-product. As an application, for a uniquely ergodic Anzai skew-product $\F$ on the noncommutative $2$-torus $\ba_\a$, $\a\in\br$, we investigate the pointwise limit, $\lim_{n\to+\infty}\frac1{n}\sum_{k=0}^{n-1}ł^{-k}\F^k(x)$, for $x\in\ba_\a$ and $ł$ a point in the unit circle, and show that there exist examples for which the limit does not exist even in the weak topology.

math.OA

Distortion for multifactor bimodules and representations of multifusion categories

We call a von Neumann algebra with finite dimensional center a multifactor. We introduce an invariant of bimodules over $\rm II_1$ multifactors that we call modular distortion, and use it to formulate two classification results. We first classify finite depth finite index connected hyperfinite $\rm II_1$ multifactor inclusions $A\subset B$ in terms of the standard invariant (a unitary planar algebra), together with the restriction to $A$ of the unique Markov trace on $B$. The latter determines the modular distortion of the associated bimodule. Three crucial ingredients are Popa's uniqueness theorem for such inclusions which are also homogeneous, for which the standard invariant is a complete invariant, a generalized version of the Ocneanu Compactness Theorem, and the notion of Morita equivalence for inclusions. Second, we classify fully faithful representations of unitary multifusion categories into bimodules over hyperfinite $\rm II_1$ multifactors in terms of the modular distortion. Every possible distortion arises from a representation, and we characterize the proper subset of distortions that arise from connected $\rm II_1$ multifactor inclusions.

math.OA

Minimal index and dimension for inclusions of von Neumann algebras with finite-dimensional centers

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.

math.OA