-
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 of order four acting on operators on the tensor square of a given Hilbert space inspired by the crossing property of quantum field theory. This map turns out to be closely connected to Tomita-Takesaki modular theory; in particular its fixed points define endomorphisms of standard subspaces. We also explain how the crossing property is re…
▽ More
We introduce and study the crossing map, a closed linear map of order four acting on operators on the tensor square of a given Hilbert space inspired by the crossing property of quantum field theory. This map turns out to be closely connected to Tomita-Takesaki modular theory; in particular its fixed points define endomorphisms of standard subspaces. We also explain how the crossing property is related to finite index subfactor planar algebras/Q-systems. In the latter case, the crossing map turns out to be a special case of the (unshaded) subfactor theoretical Fourier transform.
△ Less
Submitted 24 February, 2024;
originally announced February 2024.
-
Separable algebras in multitensor C$^*$-categories are unitarizable
Authors:
Luca Giorgetti,
Wei Yuan,
XuRui Zhao
Abstract:
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.
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.
△ Less
Submitted 27 March, 2024; v1 submitted 19 December, 2023;
originally announced December 2023.
-
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.
-
Bayesian inversion and the Tomita-Takesaki modular group
Authors:
Luca Giorgetti,
Arthur J. Parzygnat,
Alessio Ranallo,
Benjamin P. Russo
Abstract:
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 fin…
▽ More
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.
△ Less
Submitted 23 January, 2023; v1 submitted 6 December, 2021;
originally announced December 2021.
-
A planar algebraic description of conditional expectations
Authors:
Luca Giorgetti
Abstract:
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 inclusi…
▽ More
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].
△ Less
Submitted 31 October, 2022; v1 submitted 8 November, 2021;
originally announced November 2021.
-
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.
-
Realization of rigid C*-bicategories as bimodules over type II$_1$ von Neumann algebras
Authors:
Luca Giorgetti,
Wei Yuan
Abstract:
We prove that every rigid C*-bicategory with finite-dimensional centers (finitely decomposable horizontal units) can be realized as Connes' bimodules over finite direct sums of II$_1$ factors. In particular, we realize every multitensor C*-category as bimodules over a finite direct sum of II$_1$ factors.
We prove that every rigid C*-bicategory with finite-dimensional centers (finitely decomposable horizontal units) can be realized as Connes' bimodules over finite direct sums of II$_1$ factors. In particular, we realize every multitensor C*-category as bimodules over a finite direct sum of II$_1$ factors.
△ Less
Submitted 30 August, 2023; v1 submitted 2 October, 2020;
originally announced October 2020.
-
Distortion for multifactor bimodules and representations of multifusion categories
Authors:
Marcel Bischoff,
Ian Charlesworth,
Samuel Evington,
Luca Giorgetti,
David Penneys
Abstract:
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 alg…
▽ More
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.
△ Less
Submitted 2 October, 2020;
originally announced October 2020.
-
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.
-
Ergodic properties of the Anzai skew-product for the noncommutative torus
Authors:
Simone Del Vecchio,
Francesco Fidaleo,
Luca Giorgetti,
Stefano Rossi
Abstract:
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…
▽ More
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.
△ Less
Submitted 3 December, 2021; v1 submitted 25 October, 2019;
originally announced October 2019.
-
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.
-
Realization of rigid C$^*$-tensor categories via Tomita bimodules
Authors:
Luca Giorgetti,
Wei Yuan
Abstract:
Starting from a (small) rigid C$^*$-tensor category $\mathscr{C}$ with simple unit, we construct von Neumann algebras associated to each of its objects. These algebras are factors and can be either semifinite (of type II$_1$ or II$_\infty$, depending on whether the spectrum of the category is finite or infinite) or they can be of type III$_λ$, $λ\in (0,1]$. The choice of type is tuned by the choic…
▽ More
Starting from a (small) rigid C$^*$-tensor category $\mathscr{C}$ with simple unit, we construct von Neumann algebras associated to each of its objects. These algebras are factors and can be either semifinite (of type II$_1$ or II$_\infty$, depending on whether the spectrum of the category is finite or infinite) or they can be of type III$_λ$, $λ\in (0,1]$. The choice of type is tuned by the choice of Tomita structure (defined in the paper) on certain bimodules we use in the construction. Moreover, if the spectrum is infinite we realize the whole tensor category directly as endomorphisms of these algebras, with finite Jones index, by exhibiting a fully faithful unitary tensor functor $F:\mathscr{C} \hookrightarrow End_0(Φ)$ where $Φ$ is a factor (of type II or III).
The construction relies on methods from free probability (full Fock space, amalgamated free products), it does not depend on amenability assumptions, and it can be applied to categories with uncountable spectrum (hence it provides an alternative answer to a conjecture of Yamagami \cite{Y3}). Even in the case of uncountably generated categories, we can refine the previous equivalence to obtain realizations on $σ$-finite factors as endomorphisms (in the type III case) and as bimodules (in the type II case).
In the case of trivial Tomita structure, we recover the same algebra obtained in \cite{PopaS} and \cite{AMD}, namely the (countably generated) free group factor $L(F_\infty)$ if the given category has denumerable spectrum, while we get the free group factor with uncountably many generators if the spectrum is infinite and non-denumerable.
△ Less
Submitted 26 December, 2017;
originally announced December 2017.
-
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.
