Given an irreducible local conformal net A of von Neumann algebras on the circle and a finite-index conformal subnet B of A, we show that A is completely rational iff B is completely rational. In particular this extends a result of F. Xu for the orbifold construction. By applying previous results of Xu, many coset models turn out to be completely rational and the structure results in [KLM] hold. Our proofs are based on an analysis of the net inclusion B in A; among other things we show that, for a fixed interval I, every von Neumann algebra R intermediate between B(I) and A(I) comes from an intermediate conformal net L between B and A with L(I)=R. We make use of a theorem of Watatani (type II case) and Teruya and Watatani (type III case) on the finiteness of the set I(N,M) of intermediate subfactors in an irreducible inclusion of factors N in M with finite Jones index [M:N]. We provide a unified proof of this result that gives in particular an explicit bound for the cardinality of I(N,M) which depends only on [M:N].
Conformal field theory (CFT) in two dimensions provide a rich source of subfactors. The fact that there are so many subfactors coming from CFT have led people to conjecture that perhaps all finite depth subfactors are related to CFT. In this paper we examine classes of subfactors from known CFT. In particular we identify the so called $3^{\Z_2\times \Z_2}$ subfactor with an intermediate subfactor from conformal inclusion, and construct new subfactors from recent work on holomorphic CFT with central charge $24$.
We give a precise definition for when a subfactor arises from a conformal net which can be motivated by classification of defects. We show that a subfactor $N \subset M$ arises from a conformal net if there is a conformal net whose representation category is the quantum double of $N\subset M$.
Surprisingly Richard Thompson's groups have recently appeared in Jones' subfactor theory. Vaughan Jones is famous for linking theories that are a priori completely disconnected; for instance, his celebrated polynomial for links emanating from subfactor theory. This note is about a new beautiful story in mathematics which results from a fortunate accident in the land of quantum field theory.
Braided subfactors of von Neumann algebras provide a framework for studying two dimensional conformal field theories and their modular invariants. We review this in the context of SU(3) conformal field theories through corresponding SU(3) braided subfactors and various subfactor invariants including spectral measures for the nimrep graphs, A_2-planar algebras and almost Calabi-Yau algebras.
In these lectures we explain the intimate relationship between modular invariants in conformal field theory and braided subfactors in operator algebras. A subfactor with a braiding determines a matrix $Z$ which is obtained as a coupling matrix comparing two kinds of braided sector induction ("alpha-induction"). It has non-negative integer entries, is normalized and commutes with the S- and T-matrices arising from the braiding. Thus it is a physical modular invariant in the usual sense of rational conformal field theory. The algebraic treatment of conformal field theory models, e.g. $SU(n)_k$ m…
Motivated by our subfactor generalization of Wall's conjecture, in this paper we determine all intermediate subfactors for conformal subnets corresponding to four infinite series of conformal inclusions, and as a consequence we verify that these series of subfactors verify our conjecture. Our results can be stated in the framework of Vertex Operator Algebras. We also verify our conjecture for Jones-Wassermann subfactors from representations of Loop groups extending our earlier results.
We describe the structure of the inclusions of factors A(E) contained in A(E')' associated with multi-intervals E of R for a local irreducible net A of von Neumann algebras on the real line satisfying the split property and Haag duality. In particular, if the net is conformal and the subfactor has finite index, the inclusion associated with two separated intervals is isomorphic to the Longo-Rehren inclusion, which provides a quantum double construction of the tensor category of superselection sectors of A. As a consequence, the index of A(E) in A(E')' coincides with the global index associated…
In this lecture we explain the intimate relationship between modular invariants in conformal field theory and braided subfactors in operator algebras. Our analysis is based on an approach to modular invariants using braided sector induction ("$α$-induction") arising from the treatment of conformal field theory in the Doplicher-Haag-Roberts framework. Many properties of modular invariants which have so far been noticed empirically and considered mysterious can be rigorously derived in a very general setting in the subfactor context. For example, the connection between modular invariants and gra…
We provide a complete classification of unitary subalgebras of even rank-one lattice vertex operator algebras. As a consequence of the correspondence between vertex operator algebras and conformal nets, we also obtain a complete classification of conformal subnets of even rank-one lattice conformal nets.
It is well-known that the quantum double $D(N\subset M)$ of a finite depth subfactor $N\subset M$, or equivalently the Drinfeld center of the even part fusion category, is a unitary modular tensor category. Thus should arise in conformal field theory. We show that for every subfactor $N\subset M$ with index $[M:N]<4$ the quantum double $D(N\subset M)$ is realized as the representation category of a completely rational conformal net. In particular, the quantum double of $E_6$ can be realized as a $\mathbb Z_2$-simple current extension of $\mathrm{SU}(2)_{10}\times \mathrm{Spin}(11)_1$ and thus …
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…
We show that in a four dimensional conformal Haag-Kastler net, its massless particle spectrum is generated by a free field subnet. If the massless particle spectrum is scalar, then the free field subnet decouples as a tensor product component.
We consider the smallest values taken by the Jones index for an inclusion of local conformal nets of von Neumann algebras on S^1 and show that these values are quite more restricted than for an arbitrary inclusion of factors. Below 4, the only non-integer admissible value is 4\cos^2 π/10, which is known to be attained by a certain coset model. Then no index value is possible in the interval between 4 and 3 +\sqrt{3}. The proof of this result based on α-induction arguments. In the case of values below 4 we also give a second proof of the result. In the course of the latter proof we classify all…
We consider a type III subfactor $N\subset M$ of finite index with a finite system of braided $N$-$N$ morphisms which includes the irreducible constituents of the dual canonical endomorphism. We apply $α$-induction and, developing further some ideas of Ocneanu, we define chiral generators for the double triangle algebra. Using a new concept of intertwining braiding fusion relations, we show that the chiral generators can be naturally identified with the $α$-induced sectors. A matrix $Z$ is defined and shown to commute with the S- and T-matrices arising from the braiding. If the braiding is non…
We show that all isomorphism classes of even rank Tambara-Yamagami categories arise as $\mathbb{Z}_2$-twisted representations of conformal nets. As a consequence, we show that their Drinfel'd centers are realized by (generalized) orbifolds of conformal nets associated with (self-dual) lattices. The quantum double subfactors of even rank Tambara-Yamagami categories are Bisch-Haagerup subfactors and we describe their (dual) principal graphs. For every abelian group of odd order the Drinfel'd centers of the associated Tambara-Yamagami categories give a fusion ring generalizing the Verlinde ring $…
Let $\mathcal{A}$ be a completely rational local Möbius covariant net on $S^1$, which describes a set of chiral observables. We show that local Möbius covariant nets $\mathcal{B}_2$ on 2D Minkowski space which contains $\mathcal{A}$ as chiral left-right symmetry are in one-to-one correspondence with Morita equivalence classes of Q-systems in the unitary modular tensor category $\mathrm{DHR}(\mathcal{A})$. The Möbius covariant boundary conditions with symmetry $\mathcal{A}$ of such a net $\mathcal{B}_2$ are given by the Q-systems in the Morita equivalence class or by simple objects in the modul…
We completely classify diffeomorphism covariant local nets of von Neumann algebras on the circle with central charge c less than 1. The irreducible ones are in bijective correspondence with the pairs of A-D_{2n}-E_{6,8} Dynkin diagrams such that the difference of their Coxeter numbers is equal to 1. We first identify the nets generated by irreducible representations of the Virasoro algebra for c<1 with certain coset nets. Then, by using the classification of modular invariants for the minimal models by Cappelli-Itzykson-Zuber and the method of alpha-induction in subfactor theory, we classify a…
Given a conformal QFT local net of von Neumann algebras B_2 on the two-dimensional Minkowski spacetime with irreducible subnet A\otimes\A, where A is a completely rational net on the left/right light-ray, we show how to consistently add a boundary to B_2: we provide a procedure to construct a Boundary CFT net B of von Neumann algebras on the half-plane x>0, associated with A, and locally isomorphic to B_2. All such locally isomorphic Boundary CFT nets arise in this way. There are only finitely many locally isomorphic Boundary CFT nets and we get them all together. In essence, we show how to di…
Given a local quantum field theory net A on the de Sitter spacetime dS^d, where geodesic observers are thermalized at Gibbons-Hawking temperature, we look for observers that feel to be in a ground state, i.e. particle evolutions with positive generator, providing a sort of converse to the Hawking-Unruh effect. Such positive energy evolutions always exist as noncommutative flows, but have only a partial geometric meaning, yet they map localized observables into localized observables. We characterize the local conformal nets on dS^d. Only in this case our positive energy evolutions have a comple…
Let A be a local conformal net of factors on the circle with the split property. We provide a topological construction of soliton representations of the tensor product of n copies of A, that restrict to true representations of subnet inviant under cyclic permutations (cyclic orbifold). We prove a quantum index theorem for our sectors relating the Jones index to a topological degree. Then A is not completely rational iff the the cyclic orbifold has an irreducible representation with infinite index. This implies the following dichotomy: if all irreducible sectors of A have a conjugate sector the…
We consider unitary simple vertex operator algebras whose vertex operators satisfy certain energy bounds and a strong form of locality and call them strongly local. We present a general procedure which associates to every strongly local vertex operator algebra V a conformal net A_V acting on the Hilbert space completion of V and prove that the isomorphism class of A_V does not depend on the choice of the scalar product on V. We show that the class of strongly local vertex operator algebras is closed under taking tensor products and unitary subalgebras and that, for every strongly local vertex …
Let $\mathcal{B}$ be a conformal net. We give the notion of a proper action of a finite hypergroup acting by vacuum preserving unital completely positive (so-called stochastic) maps, which generalizes the proper actions of finite groups. Taking fixed points under such an action gives a finite index subnet $\mathcal{B}^K$ of $\mathcal{B}$, which generalizes the $G$-orbifold. Conversely, we show that if $\mathcal{A}\subset \mathcal{B}$ is a finite inclusion of conformal nets, then $\mathcal{A}$ is a generalized orbifold $\mathcal{A}=\mathcal{B}^K$ of the conformal net $\mathcal{B}$ by a unique f…
