## Classification of two-dimensional local conformal nets with c < 1 and 2-cohomology vanishing for tensor categories (2004)

Venue: | Commun. Math. Phys |

Citations: | 17 - 9 self |

### BibTeX

@ARTICLE{Kawahigashi04classificationof,

author = {Yasuyuki Kawahigashi and Roberto Longo},

title = {Classification of two-dimensional local conformal nets with c < 1 and 2-cohomology vanishing for tensor categories},

journal = {Commun. Math. Phys},

year = {2004},

volume = {244},

pages = {63--97}

}

### OpenURL

### Abstract

We classify two-dimensional local conformal nets with parity symmetry and central charge less than 1, up to isomorphism. The maximal ones are in a bijective correspondence with the pairs of A-D-E Dynkin diagrams with the difference of their Coxeter numbers equal to 1. In our previous classification of one-dimensional local conformal nets, Dynkin diagrams D2n+1 and E7 do not appear, but now they do appear in this classification of two-dimensional local conformal nets. Such nets are also characterized as two-dimensional local conformal nets with µ-index equal to 1 and central charge less than 1. Our main tool, in addition to our previous classification results for one-dimensional nets, is 2-cohomology vanishing for certain tensor categories related to the Virasoro tensor categories with central charge less than 1.

### Citations

490 |
Conformal Field Theory
- Francesco, Mathieu, et al.
- 1997
(Show Context)
Citation Context ...onformal Quantum Field Theory is particularly interesting in two spacetime dimensions and has indeed been intensively studied in the last two decades with important motivations from Physics (see e.g. =-=[11]-=-) and Mathematics (see e.g. [14]). Basically the richness of structure is due to the fact that conformal group (with respect to the Minkowskian metric) is infinite dimensional in 1 + 1 dimensions. Alr... |

420 |
Infinite conformal symmetry in two-dimensional quantum field theory. Nuclear Phys
- Belavin, Polyakov, et al.
- 1984
(Show Context)
Citation Context ...in this direction were obtained, in particular the central charge c>0, an intrinsic quantum label associated with each model, was shown to split in a discrete range c<1 and a continuos one c ≥ 1, see =-=[2, 17, 19]-=- refs in [19]. The main purpose of this paper is to achieve a complete classification of the twodimensional conformal models in the discrete series. In order to formulate such a statement in a precise... |

337 |
Local Quantum
- Haag
- 1996
(Show Context)
Citation Context ...ormulate such a statement in a precise manner, we need to explain our setting. The essential, intrinsic structure of a given model is described by a net A on the two-dimensional Minkowski spacetime M =-=[22]-=-. With each double cone O (an open region which is the intersection of the past of one point and the future of a second point) one associates the von Neumann algebra A(O) generated by the observables ... |

240 |
Introduction to subfactors
- Jones, Sunder
- 1997
(Show Context)
Citation Context ...[42], [30], [14, Section 11.5], and they are non-zero and Condition 3 holds. The multiplication rule by the generator σ is described with the usual Bratteli diagram for the principal graph Ak+1 as in =-=[28]-=-, [14, Chapter 9], so we see that Condition 4 holds. Case 1 (b). The irreducible objects of the tensor category are labeled with the even vertices of the Dynkin diagram D2n. (So we also use the name D... |

172 |
Temperley-Lieb Recoupling Theory and Invariants of 3-Manifolds
- Kauffman, Lins
- 1994
(Show Context)
Citation Context ...e connection value is given by the connection W (4, 6, 4, 6) for SU(2) even 4n−4 with respect to the generator 2. This value is given as a single term of 6j-symbols of SU(2)4n−4 and it is non-zero by =-=[29]-=-. The general case is dealt with in the same method. i � � j � � k l Figure 6: A connection value for D even 2n Thus, we consider the remaining case where all the four vertices of the connection value... |

115 | Superselection sectors with braid group statistics and exchange - Fredenhagen, Rehren, et al. - 1989 |

114 | Index of subfactors and statistics of quantum fields - Longo - 1989 |

104 |
Roberts: A new duality theory for compact groups
- Doplicher, E
- 1989
(Show Context)
Citation Context ...-tensor category and then apply it to the tensor categories related to the Virasoro algebra. We consider a strict C ∗ -tensor category T (with conjugates, subobjects, and direct sums) in the sense of =-=[13, 39]-=- and we assume that we have only finitely many equivalence classes of irreducible objects in T and that each object has a decomposition into a finite direct sum of irreducible objects. Such a tensor c... |

104 | Quantized groups, string algebras and Galois theory for algebras. Operator algebras and applications - Ocneanu - 1988 |

97 | Local observables and particle statistics I - Doplicher, Haag, et al. - 1971 |

92 | Unitary representations of the Virasoro and super-Virasoro algebras - Goddard, Kent, et al. - 1986 |

83 |
Quantum symmetries on operator algebras
- Evans, Kawahigashi
- 1998
(Show Context)
Citation Context ... particularly interesting in two spacetime dimensions and has indeed been intensively studied in the last two decades with important motivations from Physics (see e.g. [11]) and Mathematics (see e.g. =-=[14]-=-). Basically the richness of structure is due to the fact that conformal group (with respect to the Minkowskian metric) is infinite dimensional in 1 + 1 dimensions. Already at the early stage of inves... |

80 | D.E.: Modular invariants, graphs and α-induction for nets of subfactors
- Böckenhauer, Evans
- 1998
(Show Context)
Citation Context ... other hand. We first prove that the correspondence A ↦→ Z is surjective. Indeed, by our previous work [31], Z can be realized by α-induction as in [5] for extensions of the 3 (1)sVirasoro nets. (See =-=[38, 52, 3, 6, 7, 4]-=- for more on α-induction.) Then Rehren’s results in [48] imply that θ defined as above (1) is the canonical endomorphism associated with a natural Q-system, and we have a corresponding local extension... |

74 |
Quantum Invariants of Knots and 3-Manifolds, Walter de Gruyter
- Turaev
- 1994
(Show Context)
Citation Context ...ual to one, that is Haag duality for disconnected union of finitely many double cones. It is clear at this point that our methods mainly concern Operator Algebras, in particular Subfactor Theory, see =-=[50]-=-. Indeed this was already the case in our previous one-dimensional classification [31]. The use of von Neumann algebras not only provides a clear formulation of the problem, but also suggests the path... |

69 |
A duality for Hopf algebras and for subfactors
- Longo
- 1994
(Show Context)
Citation Context ... I, the map π is trivial, so the dual canonical endomorphism has the same form of the Longo-Rehren endomorphism [38]. Thus the classification is reduced to classification of Q-systems in the sense of =-=[36]-=- having the canonical endomorphism of the form given by eq. (1). This type of classification of Q-systems, up to unitary equivalences, was studied by Izumi-Kosaki [27] as a subfactor analogue of 2-coh... |

66 | New braided endomorphisms from conformal inclusions
- Xu
- 1998
(Show Context)
Citation Context ... other hand. We first prove that the correspondence A ↦→ Z is surjective. Indeed, by our previous work [31], Z can be realized by α-induction as in [5] for extensions of the 3 (1)sVirasoro nets. (See =-=[38, 52, 3, 6, 7, 4]-=- for more on α-induction.) Then Rehren’s results in [48] imply that θ defined as above (1) is the canonical endomorphism associated with a natural Q-system, and we have a corresponding local extension... |

64 | The conformal spin and statistics theorem
- Guido, Longo
(Show Context)
Citation Context ... R) factors through a representation of G. The above proposition holds as a consequence of spacelike locality, it is a particular case of the conformal spin-statistics theorem and can be proved as in =-=[20]-=-. Because of the above Prop. 2.1, A does extend to a local G-covariant net on the Einstein cylinder E = R × S 1 , the cover of the 2-torus obtained by lifting the time coordinate from S 1 to R. Explic... |

63 | Multi-interval subfactors and modularity of representations in conformal field theory
- Kawahigashi, Longo, et al.
(Show Context)
Citation Context ...celike separated. Then the Jones index [A(E ′ ) ′ : A(E)] is finite. This index is denoted by µA, the µ-index of A. 9 (5) (6) (7)sThe notion of complete rationality has been introduced and studied in =-=[32]-=- for a local net C on R. If C is conformal, the definition of complete rationality strictly parallels the above one in the two-dimensional case. In general, the above (onedimensional version) of the a... |

61 |
A theory of dimension, K-theory 11
- Longo, Roberts
- 1997
(Show Context)
Citation Context ...e following properties. V ∈ Hom(id,θ), (9) W ∈ Hom(θ, θ 2 ), (10) V ∗ V = 1, (11) W ∗ W = 1, (12) V ∗ W = θ(V ∗ )W ∈ R+, (13) W 2 = θ(W )W, (14) θ(W ∗ )W = WW ∗ . (15) Actually, it has been proved in =-=[39]-=- that Condition (15) is redundant. (It has been also proved in [27] that Condition (14) is redundant if (15) is assumed.) In this case, θ is a canonical endomorphism of a certain subfactor of the orig... |

59 |
Braid group statistics and their superselection rules. In: The algebraic theory of superselection sectors. Introduction and recent results, Singapore: World Scientific
- Rehren
- 1990
(Show Context)
Citation Context ...ems of irreducible DHR endomorphisms of AL and AR, respectively. The matrix Z =(Zij) is called a coupling matrix. The two nets AL and AR define S- and T -matrices, SL, TL, SR, TR, respectively, as in =-=[46]-=-. We are interested in the case where the S-matrices are invertible. (By the results in [32], this invertibility, which is called non-degeneracy of the braiding, holds if the nets are completely ratio... |

54 | Modular structure and duality in conformal quantum field theory
- Brunetti, Guido, et al.
- 1993
(Show Context)
Citation Context ... bounded intervals; we denote by K the set of double cones. The Möbius group PSL(2, R) acts on R∪{∞} by linear fractional transformations, hence this action restricts to a local action on R (see e.g. =-=[8]-=-), in particular if F ⊂ R has compact closure there exists a connected neighborhood U of the identity in PSL(2, R) such that gF ⊂ R for all g ∈U. It is convenient to regard this as a local action on R... |

48 | Chiral structure of modular invariants for subfactors
- Böckenhauer, Evans, et al.
(Show Context)
Citation Context ... other hand. We first prove that the correspondence A ↦→ Z is surjective. Indeed, by our previous work [31], Z can be realized by α-induction as in [5] for extensions of the 3 (1)sVirasoro nets. (See =-=[38, 52, 3, 6, 7, 4]-=- for more on α-induction.) Then Rehren’s results in [48] imply that θ defined as above (1) is the canonical endomorphism associated with a natural Q-system, and we have a corresponding local extension... |

46 | On q-analog of McKay correspondence and ADE classification of sl (2) conformal field theories - Ostrik |

44 |
Application of fusion rules to classification of subfactors, Publ
- Izumi
(Show Context)
Citation Context ...t verify Condition 3. We label four irreducible objects as in Figure 4. (If n = 3, we set λ1 = id.) Note that the connection with respect to the generator σ has a principal graph as in Figure 5. (See =-=[24]-=-, for example, for the fusion rules of a subfactor with principal graph D2n.) 24s� � � � � ❅ � ❅ � ❅❅� � � � �❅ ❅� � � �❅ � ❅ � ❅❅� � id σ ··· Figure 3: The principal graph for the subfactor D2n � � �... |

38 |
Quantum symmetry, differential geometry of finite graphs, and classification of subfactors, Univ
- Ocneanu
- 1991
(Show Context)
Citation Context ...µm/(ωλ1 ···ωλn). Note that if a 2-cocycle is trivial, then it is scalar-valued, in particular. We now recall the definition of the Longo-Rehren subfactor [38, Proposition 4.10] as follows. (See [40], =-=[43]-=-, [44] for related or more general definitions.) Let ∆ = {λk | k =0, 1,...,n} be a finite system of endomorphisms of a type III factor M where λ0 = id. We choose a system {Vk | k =0, 1,...,n} of isome... |

37 | The structure of sectors associated with the Longo-Rehren inclusions II - Izumi |

37 | Classification of subfactors and their endomorphisms - Popa - 1995 |

35 | Modular invariants from subfactors: Type I coupling matrices and intermediate subfactors
- Böckenhauer, Evans
(Show Context)
Citation Context |

32 | On flatness of Ocneanu’s connections on the Dynkin diagrams and classification of subfactors
- Kawahigashi
- 1995
(Show Context)
Citation Context ...ry SU(2)k has a Z/2Zgrading and this generator 1 is odd, Condition 2 (b) also holds. Now the connection values with respect to this σ are the usual connection values of the paragroup Ak+1 as in [42], =-=[30]-=-, [14, Section 11.5], and they are non-zero and Condition 3 holds. The multiplication rule by the generator σ is described with the usual Bratteli diagram for the principal graph Ak+1 as in [28], [14,... |

31 | Algebraic coset conformal field theories - Xu - 2000 |

29 |
Conformal Haag-Kastler nets, pointlike localized fields and the existence of operator product expansion, DESY preprint
- Fredenhagen, Jörß
- 1994
(Show Context)
Citation Context ... automorphism of G associated with space and time reflection [8]. (iv) � Additivity. Let O be a double cone and {Oi} a family of open sets such that i Oi contains the axis of O. Then A(O) ⊂ � i A(Oi) =-=[15]-=-. (v) Equivalence between rreducibility and uniqueness of the vacuum. A is irreducible on M (that is �� O∈K A(O)� ′′ = B(H)), iff A is irreducible on E, iffΩ is the unique U-invariant vector (up to a ... |

27 | Classification of local conformal nets. Case c < 1
- Kawahigashi, Longo
(Show Context)
Citation Context ...1 with c < 1. (b) The classification of irreducible local extensions with finite Jones index of the two-dimensional Virasoro net Virc ⊗ Virc. Point (a) has been completely achieved in our recent work =-=[31]-=-. The Virasoro nets on S 1 with central charge less than one are in bijective correspondence with the pairs of A-D2n-E6,8 Dynkin diagrams such that the difference of their Coxeter numbers is equal to ... |

25 | Conformal subnets and intermediate subfactors - Longo - 2003 |

25 |
Subalgebras of infinite C ∗ -algebras with finite Watatani indices II: Cuntz-Krieger algebras
- Izumi
- 1998
(Show Context)
Citation Context ...ectively. These two maps are equal in End(Hom(λµ, νσ)). In the above decomposition (20), we set λ = σ = id and µ = ν, then we have τ = ¯µ and π = µ in the summations. With Frobenius reciprocity as in =-=[25]-=- and the above identity of two maps in End(Hom(λµ, νσ)), we obtain the identity C id µ¯µ Cid ¯µµ = 1. (21) We next apply identity (12) to (16) and obtain the following equality ∑ λ,µ∈∆ dλdµK ν λµ = wd... |

24 |
The ADE classification of minimal and A (1) conformal invariant theories
- Cappelli, Itzykson, et al.
- 1987
(Show Context)
Citation Context ...in [32], that the matrix Z is a modular invariant for the tensor category of representations of the Virasoro net Virc [41], and such modular invariants have been classified by Cappelli-Itzykson-Zuber =-=[9]-=-. We shall show that this map A ↦→ Z sets up a bijective correspondence between the the set of isomorphism classes of two-dimensional maximal local conformal nets with parity and central charge less t... |

23 | Longo-Rehren subfactors arising from α-induction
- Böckenhauer, Evans, et al.
(Show Context)
Citation Context |

22 |
Details of the nonunitarity proof for highest weight representations of the Virasoro algebra
- Friedan, Qiu, et al.
- 1986
(Show Context)
Citation Context ...in this direction were obtained, in particular the central charge c>0, an intrinsic quantum label associated with each model, was shown to split in a discrete range c<1 and a continuos one c ≥ 1, see =-=[2, 17, 19]-=- refs in [19]. The main purpose of this paper is to achieve a complete classification of the twodimensional conformal models in the discrete series. In order to formulate such a statement in a precise... |

21 |
An analogue of Longo’s canonical endomorphism for bimodule theory and its application to asymptotic inclusions
- Masuda
- 1997
(Show Context)
Citation Context ...1 ···ωµm/(ωλ1 ···ωλn). Note that if a 2-cocycle is trivial, then it is scalar-valued, in particular. We now recall the definition of the Longo-Rehren subfactor [38, Proposition 4.10] as follows. (See =-=[40]-=-, [43], [44] for related or more general definitions.) Let ∆ = {λk | k =0, 1,...,n} be a finite system of endomorphisms of a type III factor M where λ0 = id. We choose a system {Vk | k =0, 1,...,n} of... |

21 | Canonical tensor product subfactors
- Rehren
(Show Context)
Citation Context .... Indeed, by our previous work [31], Z can be realized by α-induction as in [5] for extensions of the 3 (1)sVirasoro nets. (See [38, 52, 3, 6, 7, 4] for more on α-induction.) Then Rehren’s results in =-=[48]-=- imply that θ defined as above (1) is the canonical endomorphism associated with a natural Q-system, and we have a corresponding local extension A of Virc⊗Virc and this produces the matrix Z in the ab... |

20 |
Algebraic and modular structure of von Neumann algebras of
- Longo
- 1982
(Show Context)
Citation Context ... denote by ΛO the one-parameter subgroup of G defined as follows: ΛO = gΛW g −1 if W is a wedge, ΛW is the boost one-parameter group associated with W , and gO = W with g ∈ PSL(2, R) × PSL(2, R), see =-=[23]-=-. We collect in the next proposition a few basic properties of a local Möbius covariant net. The proof is either in the references or can be immediately obtained from those. All the statements also ho... |

18 | Operatoralgebraic Methods in Quantum Field Theory - Baumgärtel - 1995 |

18 |
On α-induction, chiral projectors and modular invariants for subfactors
- Böckenhauer, Evans, et al.
- 1999
(Show Context)
Citation Context ...t of CappelliItzykson-Zuber modular invariant on the other hand. We first prove that the correspondence A ↦→ Z is surjective. Indeed, by our previous work [31], Z can be realized by α-induction as in =-=[5]-=- for extensions of the 3 (1)sVirasoro nets. (See [38, 52, 3, 6, 7, 4] for more on α-induction.) Then Rehren’s results in [48] imply that θ defined as above (1) is the canonical endomorphism associated... |

15 | Theory of Operator Algebras”, vol - Takesaki - 2003 |

14 |
Kosaki: On a subfactor analogue of the second cohomology. Dedicated to Professor Huzihiro Araki on the occasion of his 70th birthday
- Izumi, H
(Show Context)
Citation Context ...ion of Q-systems in the sense of [36] having the canonical endomorphism of the form given by eq. (1). This type of classification of Q-systems, up to unitary equivalences, was studied by Izumi-Kosaki =-=[27]-=- as a subfactor analogue of 2-cohomology of (finite) groups. In our setting, we now have a 2-cohomology group of a tensor category, while the 2-cohomology of Izumi-Kosaki does not have a group structu... |

12 | Chiral observables and modular invariants
- Rehren
- 2000
(Show Context)
Citation Context ...d we have a corresponding local extension A of Virc⊗Virc and this produces the matrix Z in the above correspondence. To show the injectivity of the correspondence note that, due to the work of Rehren =-=[47]-=-, we have an inclusion Virc(I+) ⊗ Virc(I−) ⊂A+(I+) ⊗A−(I−) ⊂A(O) where A+ ⊗A− is the maximal chiral subnet. By assumption, A+ and A− are isomorphic with central charge c<1, thus they are in the discre... |

11 |
Symmetric enveloping algebras, amenability and AFD properties for subfactors
- Popa
- 1994
(Show Context)
Citation Context ...1 ···ωλn). Note that if a 2-cocycle is trivial, then it is scalar-valued, in particular. We now recall the definition of the Longo-Rehren subfactor [38, Proposition 4.10] as follows. (See [40], [43], =-=[44]-=- for related or more general definitions.) Let ∆ = {λk | k =0, 1,...,n} be a finite system of endomorphisms of a type III factor M where λ0 = id. We choose a system {Vk | k =0, 1,...,n} of isometries ... |

10 |
Subalgebras of infinite C∗-algebras with finite Watatani indices. II. Cuntz-Krieger algebras, preprint
- Izumi
(Show Context)
Citation Context ...pectively. These two maps are equal in End(Hom(λµ, νσ)). In the above decomposition (20), we set λ = σ = id and µ = ν, then we have τ =¯µ and π = µ in the summations. With Frobenius reciprocity as in =-=[25]-=- and the above identity of two maps in End(Hom(λµ, νσ)), we obtain the identity C id µ¯µC id ¯µµ =1. (21) We next apply identity (12) to (16) and obtain the following equality � dλdµK λ,µ∈∆ ν λµ = wdν... |

10 |
Locality and modular invariance
- Rehren
(Show Context)
Citation Context ...iant arising from a decomposition of a two-dimensional net and its µ-index. Müger has then solved the problem affirmatively in [41]. We recall some notions and results necessary for our work here. In =-=[47, 48, 49]-=-, Rehren studied 2-dimensional local conformal quantum field theory B(O) which irreducible extends a given pair of chiral theories A = AL ⊗AR. That is, the mathematical structure studied there is an i... |

9 |
Classification of local conformal nets. Case c<1
- Kawahigashi, Longo
- 201
(Show Context)
Citation Context ...S 1 with c<1. (b) The classification of irreducible local extensions with finite Jones index of the two-dimensional Virasoro net Virc ⊗ Virc. Point (a) has been completely achieved in our recent work =-=[31]-=-. The Virasoro nets on S 1 with central charge less than one are in bijective correspondence with the pairs of A-D2n-E6,8 Dynkin diagrams such that the difference of their Coxeter numbers is equal to ... |

8 | Local nature of coset models
- Köster
- 2003
(Show Context)
Citation Context ...her important aspects of this classification, we mention here the occurrence of nets that are not realized as coset models, in contrast to a long standing expectation. (See Remarks after Theorem 7 of =-=[34]-=- on tihs point. Also, Carpi and Xu recently made a progress on classification for the case c = 1 in [10], [54], respectively.) The aim of this paper is to pursue point (b). We shall obtain a complete ... |