Showing 1–40 of 40 results for author: Kawahigashi, Y

Subfactors and Mathematical Physics

Authors: David E. Evans, Yasuyuki Kawahigashi

Abstract: This paper surveys the long-standing connections and impact between Vaughan Jones's theory of subfactors and various topics in mathematical physics, namely statistical mechanics,quantum field theory,quantum information and two-dimensional conformal field theory. This paper surveys the long-standing connections and impact between Vaughan Jones's theory of subfactors and various topics in mathematical physics, namely statistical mechanics,quantum field theory,quantum information and two-dimensional conformal field theory. △ Less

Submitted 8 March, 2023; originally announced March 2023.

Comments: 22 pages, 1 figure. To appear in an issue of the Bulletin of the AMS, dedicated to the mathematical legacy of Vaughan Jones

MSC Class: 46L37; 17B69; 18D10; 81R10; 81T05; 81T40; 82B20; 82B23

$α$-induction for bi-unitary connections

Authors: Yasuyuki Kawahigashi

Abstract: The tensor functor called $α$-induction arises from a Frobenius algebra object, or a Q-system, in a braided unitary fusion category. In the operator algebraic language, it gives extensions of endomorphism of $N$ to $M$ arising from a subfactor $N\subset M$ of finite index and finite depth giving a braided fusion category of endomorpshisms of $N$. It is also understood in terms of Ocneanu's graphic… ▽ More The tensor functor called $α$-induction arises from a Frobenius algebra object, or a Q-system, in a braided unitary fusion category. In the operator algebraic language, it gives extensions of endomorphism of $N$ to $M$ arising from a subfactor $N\subset M$ of finite index and finite depth giving a braided fusion category of endomorpshisms of $N$. It is also understood in terms of Ocneanu's graphical calculus. We study this $α$-induction for bi-unitary connections, which give a characterization of finite-dimensional nondegenerate commuting squares and gives certain 4-tensors appearing in recent studies of 2-dimensional topological order. We show that the resulting $α$-induced bi-unitary connections are flat if we have a commutative Frobenius algebra, or a local Q-system. Examples related to chiral conformal field theory and the Dynkin diagrams are presented. △ Less

Submitted 30 November, 2023; v1 submitted 10 February, 2023; originally announced February 2023.

Comments: 32 pages, more explanations have been added

MSC Class: 46L37 18M15 18M20 81T40

A characterization of a finite-dimensional commuting square producing a subfactor of finite depth

Authors: Yasuyuki Kawahigashi

Abstract: We give a characterization of a finite-dimensional commuting square of C*-algebras with a normalized trace that produces a hyperfinite type II_1 subfactor of finite index and finite depth in terms of Morita equivalent unitary fusion categories. This type of commuting squares were studied by N. Sato, and we show that a slight generalization of his construction covers the fully general case of such… ▽ More We give a characterization of a finite-dimensional commuting square of C*-algebras with a normalized trace that produces a hyperfinite type II_1 subfactor of finite index and finite depth in terms of Morita equivalent unitary fusion categories. This type of commuting squares were studied by N. Sato, and we show that a slight generalization of his construction covers the fully general case of such commuting squares. We also give a characterization of such a commuting square that produces a given hyperfinite type II_1 subfactor of finite index and finite depth. These results also give a characterization of certain 4-tensors that appear in recent studies of matrix product operators in 2-dimensional topological order. △ Less

Submitted 6 April, 2022; v1 submitted 29 November, 2021; originally announced November 2021.

Comments: 14 pages, more explantions added

MSC Class: 46L37

Journal ref: Internat. Math. Res. Notices 2023 (2023), 8419-8433

Two-dimensional topological order and operator algebras

Authors: Yasuyuki Kawahigashi

Abstract: We review recent interactions between mathematical theory of two-dimensional topological order and operator algebras, particularly the Jones theory of subfactors. The role of representation theory in terms of tensor categories is emphasized. Connections to 2-dimensional conformal field theory are also presented. In particular, we discuss anyon condensation, gapped domain walls and matrix product o… ▽ More We review recent interactions between mathematical theory of two-dimensional topological order and operator algebras, particularly the Jones theory of subfactors. The role of representation theory in terms of tensor categories is emphasized. Connections to 2-dimensional conformal field theory are also presented. In particular, we discuss anyon condensation, gapped domain walls and matrix product operators in terms of operator algebras. △ Less

Submitted 22 February, 2021; originally announced February 2021.

Comments: review paper, 18 pages

Journal ref: Internat. J. Modern Phys. B 35 (2021), 2130003 (16 pages)

Projector Matrix Product Operators, Anyons and Higher Relative Commutants of Subfactors

Authors: Yasuyuki Kawahigashi

Abstract: A bi-unitary connection in subfactor theory of Jones producing a subfactor of finite depth gives a 4-tensor appearing in a recent work of Bultinck-Mariena-Williamson-Sahinoglu-Haegemana-Verstraete on 2-dimensional topological order and anyons. In their work, they have a special projection called a projector matrix product operator. We prove that the range of this projection of length k is naturall… ▽ More A bi-unitary connection in subfactor theory of Jones producing a subfactor of finite depth gives a 4-tensor appearing in a recent work of Bultinck-Mariena-Williamson-Sahinoglu-Haegemana-Verstraete on 2-dimensional topological order and anyons. In their work, they have a special projection called a projector matrix product operator. We prove that the range of this projection of length k is naturally identified with the k-th higher relative commutant of the subfactor arising from the bi-unitary connection. This gives a further connection between 2-dimensional topological order and subfactor theory. △ Less

Submitted 19 August, 2021; v1 submitted 8 February, 2021; originally announced February 2021.

Comments: 17 pages, improved exposition

MSC Class: 46L37; 81P40; 81R10; 81R15

A remark on matrix product operator algebras, anyons and subfactors

Authors: Yasuyuki Kawahigashi

Abstract: We show that the mathematical structures in a recent work of Bultinck-Mariena-Williamson-Sahinoglu-Haegemana-Verstraete are the same as those of flat symmetric bi-unitary connections and the tube algebra in subfactor theory. More specifically, a system of flat symmetric bi-unitary connections arising from a subfactor with finite index and finite depth satisfies all their requirements for tensors a… ▽ More We show that the mathematical structures in a recent work of Bultinck-Mariena-Williamson-Sahinoglu-Haegemana-Verstraete are the same as those of flat symmetric bi-unitary connections and the tube algebra in subfactor theory. More specifically, a system of flat symmetric bi-unitary connections arising from a subfactor with finite index and finite depth satisfies all their requirements for tensors and the tube algebra for such a subfactor and the anyon algebra for such tensors are isomorphic up to the normalization constants. Furthermore, the matrix product operator algebras arising from tensors corresponding to possibly non-flat symmetric bi-unitary connections are isomorphic to those arising from flat symmetric bi-unitary connections for subfactors. △ Less

Submitted 22 January, 2020; v1 submitted 28 July, 2019; originally announced July 2019.

Comments: three explanatory paragraphs added

Journal ref: Lett. Math. Phys. 110,1113-1122 (2020)

Conformal Field Theory, Vertex Operator Algebras and Operator Algebras

Authors: Yasuyuki Kawahigashi

Abstract: We present recent progress in theory of local conformal nets which is an operator algebraic approach to study chiral conformal field theory. We emphasize representation theoretic aspects and relations to theory of vertex operator algebras which gives a different and algebraic formulation of chiral conformal field theory. We present recent progress in theory of local conformal nets which is an operator algebraic approach to study chiral conformal field theory. We emphasize representation theoretic aspects and relations to theory of vertex operator algebras which gives a different and algebraic formulation of chiral conformal field theory. △ Less

Submitted 30 November, 2017; originally announced November 2017.

Comments: 20 pages, for the Proceedings of ICM 2018

MSC Class: 81T40 17B69 18D10 46L37 81T05

Journal ref: Proceedings of ICM 2018, Vol. III, 2597-2616

The relative Drinfeld commutant of a fusion category and $α$-induction

Authors: Yasuyuki Kawahigashi

Abstract: We establish a correspondence among simple objects of the relative commutant of a full fusion subcategory in a larger fusion category in the sense of Drinfeld, irreducible half-braidings of objects in the larger fusion category with respect to the fusion subcategory, and minimal central projections in the relative tube algebra. Based on this, we explicitly compute certain relative Drinfeld commuta… ▽ More We establish a correspondence among simple objects of the relative commutant of a full fusion subcategory in a larger fusion category in the sense of Drinfeld, irreducible half-braidings of objects in the larger fusion category with respect to the fusion subcategory, and minimal central projections in the relative tube algebra. Based on this, we explicitly compute certain relative Drinfeld commutants of fusion categories arising from $α$-induction for braided subfactors. We present examples arising from chiral conformal field theory. △ Less

Submitted 30 November, 2017; v1 submitted 21 June, 2017; originally announced June 2017.

Comments: 12 pages, typos fixed

Journal ref: Internat. Math. Res. Notices 2019 (2019), 6304-6316

A relative tensor product of subfactors over a modular tensor category

Authors: Yasuyuki Kawahigashi

Abstract: We define and study a certain relative tensor product of subfactors over a modular tensor category. This gives a relative tensor product of two completely rational heterotic full local conformal nets with trivial superselection structures over a common chiral representation category. In particular, we have a new realization of fusion rules of modular invariants. This also gives a mathematical defi… ▽ More We define and study a certain relative tensor product of subfactors over a modular tensor category. This gives a relative tensor product of two completely rational heterotic full local conformal nets with trivial superselection structures over a common chiral representation category. In particular, we have a new realization of fusion rules of modular invariants. This also gives a mathematical definition of a composition of two gapped domain walls between topological phases. △ Less

Submitted 15 May, 2017; v1 submitted 12 December, 2016; originally announced December 2016.

Comments: 9 pages

Journal ref: Lett. Math. Phys. 107 (2017), 1963-1970

A remark on gapped domain walls between topological phases

Authors: Yasuyuki Kawahigashi

Abstract: We give a mathematical definition of a gapped domain wall between topological phases and a gapped boundary of a topological phase. We then provide answers to some recent questions studied by Lan, Wang and Wen in condensed matter physics based on works of Davydov, Müger, Nikshych and Ostrik. In particular, we identify their tunneling matrix and a coupling matrix of Rehren, and show that their conje… ▽ More We give a mathematical definition of a gapped domain wall between topological phases and a gapped boundary of a topological phase. We then provide answers to some recent questions studied by Lan, Wang and Wen in condensed matter physics based on works of Davydov, Müger, Nikshych and Ostrik. In particular, we identify their tunneling matrix and a coupling matrix of Rehren, and show that their conjecture does not hold. △ Less

Submitted 7 May, 2015; v1 submitted 5 April, 2015; originally announced April 2015.

Comments: 7 pages, minor fixes, references added

Journal ref: Lett. Math. Phys. 105 (2015), 893-899

Conformal Field Theory, Tensor Categories and Operator Algebras

Authors: Yasuyuki Kawahigashi

Abstract: This is a set of lecture notes on the operator algebraic approach to 2-dimensional conformal field theory. Representation theoretic aspects and connections to vertex operator algebras are emphasized. No knowledge on operator algebras or quantum field theory is assumed. This is a set of lecture notes on the operator algebraic approach to 2-dimensional conformal field theory. Representation theoretic aspects and connections to vertex operator algebras are emphasized. No knowledge on operator algebras or quantum field theory is assumed. △ Less

Submitted 23 April, 2018; v1 submitted 19 March, 2015; originally announced March 2015.

Comments: Lectures notes, 66 pages: references and explanations added, typos fixed

Journal ref: J. Phys. A 48 (2015), 303001

From vertex operator algebras to conformal nets and back

Authors: Sebastiano Carpi, Yasuyuki Kawahigashi, Roberto Longo, Mihály Weiner

Abstract: 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… ▽ More 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 operator algebra V, the map W\mapsto A_W gives a one-to-one correspondence between the unitary subalgebras W of V and the covariant subnets of A_V. Many known examples of vertex operator algebras such as the unitary Virasoro vertex operator algebras, the unitary affine Lie algebras vertex operator algebras, the known c=1 unitary vertex operator algebras, the moonshine vertex operator algebra, together with their coset and orbifold subalgebras, turn out to be strongly local. We give various applications of our results. In particular we show that the even shorter Moonshine vertex operator algebra is strongly local and that the automorphism group of the corresponding conformal net is the Baby Monster group. We prove that a construction of Fredenhagen and Jörss gives back the strongly local vertex operator algebra V from the conformal net A_V and give conditions on a conformal net A implying that A= A_V for some strongly local vertex operator algebra V. △ Less

Submitted 8 October, 2018; v1 submitted 4 March, 2015; originally announced March 2015.

Comments: Minor corrections

MSC Class: 46L60; 17B69; 81T05; 81T40

Journal ref: Memoirs of the American Mathematical Society 254 (2018), no. 1213, vi + 85

Characterization of 2D rational local conformal nets and its boundary conditions: the maximal case

Authors: Marcel Bischoff, Yasuyuki Kawahigashi, Roberto Longo

Abstract: 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… ▽ More 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 module category modulo automorphisms of the dual category. We generalize to reducible boundary conditions. To establish this result we define the notion of Morita equivalence for Q-systems (special symmetric $\ast$-Frobenius algebra objects) and non-degenerately braided subfactors. We prove a conjecture by Kong and Runkel, namely that Rehren's construction (generalized Longo-Rehren construction, $α$-induction construction) coincides with the categorical full center. This gives a new view and new results for the study of braided subfactors. △ Less

Submitted 25 October, 2015; v1 submitted 31 October, 2014; originally announced October 2014.

Comments: 44 pages, many tikz figures. Some improvements. Some typos fixed

Journal ref: Doc. Math. 20 (2015), 1137-1184

Tensor categories and endomorphisms of von Neumann algebras (with applications to Quantum Field Theory)

Authors: Marcel Bischoff, Roberto Longo, Yasuyuki Kawahigashi, Karl-Henning Rehren

Abstract: Q-systems describe "extensions" of an infinite von Neumann factor $N$, i.e., finite-index unital inclusions of $N$ into another von Neumann algebra $M$. They are (special cases of) Frobenius algebras in the C* tensor category of endomorphisms of $N$. We review the relation between Q-systems, their modules and bimodules as structures in a category on one side, and homomorphisms between von Neumann… ▽ More Q-systems describe "extensions" of an infinite von Neumann factor $N$, i.e., finite-index unital inclusions of $N$ into another von Neumann algebra $M$. They are (special cases of) Frobenius algebras in the C* tensor category of endomorphisms of $N$. We review the relation between Q-systems, their modules and bimodules as structures in a category on one side, and homomorphisms between von Neumann algebras on the other side. We then elaborate basic operations with Q-systems (various decompositions in the general case, and the centre, the full centre, and the braided product in braided categories), and illuminate their meaning in the von Neumann algebra setting. The main applications are in local quantum field theory, where Q-systems in the subcategory of DHR endomorphisms of a local algebra encode extensions $A(O)\subset B(O)$ of local nets. These applications, notably in conformal quantum field theories with boundaries, are briefly exposed, and are discussed in more detail in two separate papers [arXiv:1405.7863, 1410.8848]. △ Less

Submitted 28 January, 2015; v1 submitted 17 July, 2014; originally announced July 2014.

Comments: v1: 54 pages. v2: 90 pages. Title changed by request of editor, numerous material added, especially an overview of applications in Quantum Field Theory; some corrections. v3: minor corrections to match the published version; Springer Briefs in Mathematical Physics, vol. 3, 2015

MSC Class: 47L90; 81T05; 81T40

Journal ref: Briefs in Mathematical Physics 3, 2015, pp 1-94 (Springer)

Phase boundaries in algebraic conformal QFT

Authors: Marcel Bischoff, Yasuyuki Kawahigashi, Roberto Longo, Karl-Henning Rehren

Abstract: We study the structure of local algebras in relativistic conformal quantum field theory with phase boundaries. Phase boundaries are instances of a more general notion of boundaries that give rise to a variety of algebraic structures. These can be formulated in a common framework originating in Algebraic QFT, with the principle of Einstein Causality playing a prominent role.We classify the phase bo… ▽ More We study the structure of local algebras in relativistic conformal quantum field theory with phase boundaries. Phase boundaries are instances of a more general notion of boundaries that give rise to a variety of algebraic structures. These can be formulated in a common framework originating in Algebraic QFT, with the principle of Einstein Causality playing a prominent role.We classify the phase boundary conditions by the centre of a certain universal construction, which produces a reducible representation in which all possible boundary conditions are realized. For a large class of models, the classification reproduces results obtained in a different approach by Fuchs et al. before. △ Less

Submitted 31 January, 2016; v1 submitted 30 May, 2014; originally announced May 2014.

Comments: 40 pages, v3: several corrections, matches published version

MSC Class: 47L90; 81T05; 81T40

Journal ref: Commun. Math. Phys. 342 (2016) 1-45

Normal states of type III factors

Authors: Yasuyuki Kawahigashi, Yoshiko Ogata, Erling Størmer

Abstract: Let M be a factor of type III with separable predual and with normal states phi_1,...,phi_k, omega with omega faithful. Let A be a finite dimensional C*-subalgebra of M. Then it is shown that there is a unitary operator u in M such that phi_i Ad u =omega on A for i=1,...,k. This follows from an embedding result of a finite dimensional C*-algebra with a faithful state into M with finitely many give… ▽ More Let M be a factor of type III with separable predual and with normal states phi_1,...,phi_k, omega with omega faithful. Let A be a finite dimensional C*-subalgebra of M. Then it is shown that there is a unitary operator u in M such that phi_i Ad u =omega on A for i=1,...,k. This follows from an embedding result of a finite dimensional C*-algebra with a faithful state into M with finitely many given states. We also give similar embedding results of C*-algebras and von Neumann algebras with faithful states into M. Another similar result for a factor of type II_1 instead of type III holds. △ Less

Submitted 7 June, 2013; v1 submitted 24 January, 2013; originally announced January 2013.

Comments: 9 pages; LaTeX; some proofs further shortened and applications added

MSC Class: 46L30

Journal ref: Pacific J. Math. 267 (2014), 131-139

Construction of holomorphic local conformal framed nets

Authors: Yasuyuki Kawahigashi, Noppakhun Suthichitranont

Abstract: We construct holomorphic local conformal framed nets extended from a tensor power of the Virasoro net with c=1/2 with a pair of binary codes (C,D) satisfying the conditions given by Lam and Yamauchi for holomorphic framed vertex operator algebras. Our result is an operator algebraic counterpart of theirs, but our proof is entirely different. We apply the alpha-induction in order to identify the re… ▽ More We construct holomorphic local conformal framed nets extended from a tensor power of the Virasoro net with c=1/2 with a pair of binary codes (C,D) satisfying the conditions given by Lam and Yamauchi for holomorphic framed vertex operator algebras. Our result is an operator algebraic counterpart of theirs, but our proof is entirely different. We apply the alpha-induction in order to identify the representation theory of "code local conformal net" and this gives rise to the existence of the desired local conformal net. △ Less

Submitted 16 December, 2012; originally announced December 2012.

MSC Class: 46L60; 81T40; 81T05; 46L37

Journal ref: Internat. Math. Res. Notices 2014 (2014), 2924-2943

N=2 superconformal nets

Authors: Sebastiano Carpi, Robin Hillier, Yasuyuki Kawahigashi, Roberto Longo, Feng Xu

Abstract: We provide an Operator Algebraic approach to N=2 chiral Conformal Field Theory and set up the Noncommutative Geometric framework. Compared to the N=1 case, the structure here is much richer. There are naturally associated nets of spectral triples and the JLO cocycles separate the Ramond sectors. We construct the N=2 superconformal nets of von Neumann algebras in general, classify them in the discr… ▽ More We provide an Operator Algebraic approach to N=2 chiral Conformal Field Theory and set up the Noncommutative Geometric framework. Compared to the N=1 case, the structure here is much richer. There are naturally associated nets of spectral triples and the JLO cocycles separate the Ramond sectors. We construct the N=2 superconformal nets of von Neumann algebras in general, classify them in the discrete series c<3, and we define and study an operator algebraic version of the N=2 spectral flow. We prove the coset identification for the N=2 super-Virasoro nets with c<3, a key result whose equivalent in the vertex algebra context has seemingly not been completely proved so far. Finally, the chiral ring is discussed in terms of net representations. △ Less

Submitted 21 November, 2014; v1 submitted 10 July, 2012; originally announced July 2012.

Comments: 42 pages. Final version to be published in Communications in Mathematical Physics

MSC Class: 46L60 (Primary); 46N50; 81T05; 81T75 (Secondary)

Journal ref: Communications in Mathematical Physics 336 (2015), no. 3, 1285-1328

How to add a boundary condition

Authors: Sebastiano Carpi, Yasuyuki Kawahigashi, Roberto Longo

Abstract: 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 isomorphi… ▽ More 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 directly redefine the C* representation of the restriction of B_2 to the half-plane by means of subfactors and local conformal nets of von Neumann algebras on S^1. △ Less

Submitted 4 December, 2012; v1 submitted 17 May, 2012; originally announced May 2012.

Comments: 20 pages

MSC Class: 46L60; 81T40; 81T05; 46L37

Journal ref: Communications in Mathematical Physics 322 (2013), no. 1, 149-166

From Operator Algebras to Superconformal Field Theory

Authors: Yasuyuki Kawahigashi

Abstract: We make a review on the recent progress in the operator algebraic approach to (super)conformal field theory. We discuss representation theory, classification results, full and boundary conformal field theories, relations to supervertex operator algebras and Moonshine, connections to subfactor theory and noncommutative geometry. We make a review on the recent progress in the operator algebraic approach to (super)conformal field theory. We discuss representation theory, classification results, full and boundary conformal field theories, relations to supervertex operator algebras and Moonshine, connections to subfactor theory and noncommutative geometry. △ Less

Submitted 15 March, 2010; originally announced March 2010.

Journal ref: J.Math.Phys.51:015209,2010

On the Jones index values for conformal subnets

Authors: Sebastiano Carpi, Yasuyuki Kawahigashi, Roberto Longo

Abstract: 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 betw… ▽ More 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 possible unitary braiding symmetries on the A D E tensor categories, namely the ones associated with the even vertices of the A_n, D_{2n}, E_6, E_8 Dynkin diagrams. △ Less

Submitted 19 February, 2010; originally announced February 2010.

Comments: 11 pages

MSC Class: 81T05; 46L37; 81T40; 46L60

Journal ref: Lett. Math. Phys. 92 (2010) 99-108

Spectral triples and the super-Virasoro algebra

Authors: Sebastiano Carpi, Robin Hillier, Yasuyuki Kawahigashi, Roberto Longo

Abstract: We construct infinite dimensional spectral triples associated with representations of the super-Virasoro algebra. In particular the irreducible, unitary positive energy representation of the Ramond algebra with central charge c and minimal lowest weight h=c/24 is graded and gives rise to a net of even theta-summable spectral triples with non-zero Fredholm index. The irreducible unitary positive… ▽ More We construct infinite dimensional spectral triples associated with representations of the super-Virasoro algebra. In particular the irreducible, unitary positive energy representation of the Ramond algebra with central charge c and minimal lowest weight h=c/24 is graded and gives rise to a net of even theta-summable spectral triples with non-zero Fredholm index. The irreducible unitary positive energy representations of the Neveu-Schwarz algebra give rise to nets of even theta-summable generalised spectral triples where there is no Dirac operator but only a superderivation. △ Less

Submitted 25 May, 2009; v1 submitted 25 November, 2008; originally announced November 2008.

Comments: 27 pages; v2: a comment concerning the difficulty in defining cyclic cocycles in the NS case have been added

MSC Class: 81T05; 81T40; 46L87; 17B68

Journal ref: Commun.Math.Phys.295:71-97,2010

Structure and Classification of Superconformal Nets

Authors: Sebastiano Carpi, Yasuyuki Kawahigashi, Roberto Longo

Abstract: We study the general structure of Fermi conformal nets of von Neumann algebras on the circle, consider a class of topological representations, the general representations, that we characterize as Neveu-Schwarz or Ramond representations, in particular a Jones index can be associated with each of them. We then consider a supersymmetric general representation associated with a Fermi modular net and… ▽ More We study the general structure of Fermi conformal nets of von Neumann algebras on the circle, consider a class of topological representations, the general representations, that we characterize as Neveu-Schwarz or Ramond representations, in particular a Jones index can be associated with each of them. We then consider a supersymmetric general representation associated with a Fermi modular net and give a formula involving the Fredholm index of the supercharge operator and the Jones index. We then consider the net associated with the super-Virasoro algebra and discuss its structure. If the central charge c belongs to the discrete series, this net is modular by the work of F. Xu and we get an example where our setting is verified by considering the Ramond irreducible representation with lowest weight c/24. We classify all the irreducible Fermi extensions of any super-Virasoro net in the discrete series, thus providing a classification of all superconformal nets with central charge less than 3/2. △ Less

Submitted 3 March, 2008; v1 submitted 24 May, 2007; originally announced May 2007.

Comments: 49 pages. Section 8 has been removed. More details concerning the diffeomorphism covariance are given

MSC Class: 81T40; 46L37; 17B68 (Primary); 81T08; 46L60; 22E67; 81R10 (Secondary)

Journal ref: Annales Henri Poincare 9:1069-1121,2008

Conformal Field Theory and Operator Algebras

Authors: Yasuyuki Kawahigashi

Abstract: We review recent progress in operator algebraic approach to conformal quantum field theory. Our emphasis is on use of representation theory in classification theory. This is based on a series of joint works with R. Longo. We review recent progress in operator algebraic approach to conformal quantum field theory. Our emphasis is on use of representation theory in classification theory. This is based on a series of joint works with R. Longo. △ Less

Submitted 1 April, 2007; originally announced April 2007.

Comments: For the Proceedings of ICMP (Rio de Janeiro, 2006).

The classification of non-local chiral CFT with c<1

Authors: Y. Kawahigashi, R. Longo, U. Pennig, K. -H. Rehren

Abstract: All non-local but relatively local irreducible extensions of Virasoro chiral CFTs with c<1 are classified. The classification, which is a prerequisite for the classification of local c<1 boundary CFTs on a two-dimensional half-space, turns out to be 1 to 1 with certain pairs of A-D-E graphs with distinguished vertices. All non-local but relatively local irreducible extensions of Virasoro chiral CFTs with c<1 are classified. The classification, which is a prerequisite for the classification of local c<1 boundary CFTs on a two-dimensional half-space, turns out to be 1 to 1 with certain pairs of A-D-E graphs with distinguished vertices. △ Less

Submitted 31 July, 2006; v1 submitted 8 May, 2005; originally announced May 2005.

Comments: 13 pages. v3: additional material (concerning the Hilbert spaces) added

MSC Class: 81R15; 81T05; 81T40

Journal ref: Commun.Math.Phys.271:375-385,2007

Local conformal nets arising from framed vertex operator algebras

Authors: Yasuyuki Kawahigashi, Roberto Longo

Abstract: We apply an idea of framed vertex operator algebras to a construction of local conformal nets of (injective type III_1) factors on the circle corresponding to various lattice vertex operator algebras and their twisted orbifolds. In particular, we give a local conformal net corresponding to the moonshine vertex operator algebras of Frenkel-Lepowsky-Meurman. Its central charge is 24, it has a triv… ▽ More We apply an idea of framed vertex operator algebras to a construction of local conformal nets of (injective type III_1) factors on the circle corresponding to various lattice vertex operator algebras and their twisted orbifolds. In particular, we give a local conformal net corresponding to the moonshine vertex operator algebras of Frenkel-Lepowsky-Meurman. Its central charge is 24, it has a trivial representation theory in the sense that the vacuum sector is the only irreducible DHR sector, its vacuum character is the modular invariant J-function and its automorphism group (the gauge group) is the Monster group. We use our previous tools such as alpha-induction and complete rationality to study extensions of local conformal nets. △ Less

Submitted 7 April, 2005; v1 submitted 14 July, 2004; originally announced July 2004.

Comments: 24 pages; The automorphism group of the moonshine net is now identified with the monster group

MSC Class: 81R15; 81T05; 81T40; 46L37; 17B69; 20D08

Journal ref: Adv. Math. 206 (2006), 729-751.

Problems on invariants of knots and 3-manifolds

Authors: J. E. Andersen, N. Askitas, D. Bar-Natan, S. Baseilhac, R. Benedetti, S. Bigelow, M. Boileau, R. Bott, J. S. Carter, F. Deloup, N. Dunfield, R. Fenn, E. Ferrand, S. Garoufalidis, M. Goussarov, E. Guadagnini, H. Habiro, S. K. Hansen, T. Harikae, A. Haviv, M. -J. Jeong, V. Jones, R. Kashaev, Y. Kawahigashi, T. Kerler , et al. (35 additional authors not shown)

Abstract: This is a list of open problems on invariants of knots and 3-manifolds with expositions of their history, background, significance, or importance. This list was made by editing open problems given in problem sessions in the workshop and seminars on `Invariants of Knots and 3-Manifolds' held at Kyoto in 2001. This is a list of open problems on invariants of knots and 3-manifolds with expositions of their history, background, significance, or importance. This list was made by editing open problems given in problem sessions in the workshop and seminars on `Invariants of Knots and 3-Manifolds' held at Kyoto in 2001. △ Less

Submitted 9 June, 2004; originally announced June 2004.

Comments: Edited by T. Ohtsuki. Published by Geometry and Topology Monographs at http://www.maths.warwick.ac.uk/gt/GTMon4/paper24.abs.html

MSC Class: 20F36; 57M25; 57M27; 57R56; 13B25; 17B10; 17B37; 18D10; 20C08; 20G42; 22E99; 41A60; 46L37; 57M05; 57M50; 57N10; 57Q10; 81T18; 81T45

Journal ref: Geom. Topol. Monogr. 4 (2002) 377-572

Noncommutative Spectral Invariants and Black Hole Entropy

Authors: Yasuyuki Kawahigashi, Roberto Longo

Abstract: We consider an intrinsic entropy associated with a local conformal net A by the coefficients in the expansion of the logarithm of the trace of the ``heat kernel'' semigroup. In analogy with Weyl theorem on the asymptotic density distribution of the Laplacian eigenvalues, passing to a quantum system with infinitely many degrees of freedom, we regard these coefficients as noncommutative geometric… ▽ More We consider an intrinsic entropy associated with a local conformal net A by the coefficients in the expansion of the logarithm of the trace of the ``heat kernel'' semigroup. In analogy with Weyl theorem on the asymptotic density distribution of the Laplacian eigenvalues, passing to a quantum system with infinitely many degrees of freedom, we regard these coefficients as noncommutative geometric invariants. Under a natural modularity assumption, the leading term of the entropy (noncommutative area) is proportional to the central charge c, the first order correction (noncommutative Euler characteristic) is proportional to logμ_A, where μ_A is the global index of A, and the second spectral invariant is again proportional to c. We give a further general method to define a mean entropy by considering conformal symmetries that preserve a discretization of S^1 and we get the same value proportional to c. We then make the corresponding analysis with the proper Hamiltonian associated to an interval. We find here, in complete generality, a proper mean entropy proportional to logμ_A with a first order correction defined by means of the relative entropy associated with canonical states. By considering a class of black holes with an associated conformal quantum field theory on the horizon, and relying on arguments in the literature, we indicate a possible way to link the noncommutative area with the Bekenstein-Hawking classical area description of entropy. △ Less

Submitted 16 November, 2004; v1 submitted 12 May, 2004; originally announced May 2004.

Comments: 38 pages. Minor style improvements

MSC Class: 81T40; 83C57; 46L90 (primary); 81T70; 46L37; 46L87 (secondary)

Journal ref: Commun.Math.Phys.257:193-225,2005

Classification of operator algebraic conformal field theories in dimensions one and two

Authors: Yasuyuki Kawahigashi

Abstract: We formulate conformal field theory in the setting of algebraic quantum field theory as Haag-Kastler nets of local observable algebras with diffeomorphism covariance on the two-dimensional Minkowski space. We then obtain a decomposition of a two-dimensional theory into two chiral theories. We give the first classification result of such chiral theories with representation theoretic invariants. T… ▽ More We formulate conformal field theory in the setting of algebraic quantum field theory as Haag-Kastler nets of local observable algebras with diffeomorphism covariance on the two-dimensional Minkowski space. We then obtain a decomposition of a two-dimensional theory into two chiral theories. We give the first classification result of such chiral theories with representation theoretic invariants. That is, we use the central charge as the first invariant, and if it is less than 1, we obtain a complete classification. Our classification list contains a new net which does not seem to arise from the known constructions such as the coset or orbifold constructions. We also present a classification of full two-dimensional conformal theories. These are joint works with Roberto Longo. △ Less

Submitted 25 August, 2003; originally announced August 2003.

Comments: For the proceedings of XIV International Congress on Mathematical Physics at Lisbon in 2003

MSC Class: 81T40; 81T05; 81R15; 46L37; 46L60

Topological Quantum Field Theories and Operator Algebras

Authors: Yasuyuki Kawahigashi

Abstract: We review "quantum" invariants of closed oriented 3-dimensional manifolds arising from operator algebras. We review "quantum" invariants of closed oriented 3-dimensional manifolds arising from operator algebras. △ Less

Submitted 9 July, 2003; v1 submitted 5 June, 2003; originally announced June 2003.

Comments: For proceedings of "International Workshop on Quantum Field Theory and Noncommutative Geometry", Sendai, November 2002

MSC Class: 46L37 ; 57M27; 81R15; 81T40

Journal ref: Lect.Notes Phys. 662 (2005) 241-253

Classification of Two-dimensional Local Conformal Nets with c<1 and 2-cohomology Vanishing for Tensor Categories

Authors: Yasuyuki Kawahigashi, Roberto Longo

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 D_{2n+1} and E_7 do not appear, but now t… ▽ More 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 D_{2n+1} and E_7 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 mu-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. △ Less

Submitted 14 April, 2003; originally announced April 2003.

Comments: 40 pages, LaTeX 2e

MSC Class: 81T05; 81T40; 46L60; 18D10

Journal ref: Commun.Math.Phys.244:63-97,2004

Classification of operator algebraic conformal field theories

Authors: Yasuyuki Kawahigashi

Abstract: We give an exposition on the current status of classification of operator algebraic conformal field theories. We explain roles of complete rationality and alpha-induction for nets of subfactors in such a classification and present the current classification result, a joint work with R. Longo, for the case with central charge less than 1, where we have a complete classification list consisting of… ▽ More We give an exposition on the current status of classification of operator algebraic conformal field theories. We explain roles of complete rationality and alpha-induction for nets of subfactors in such a classification and present the current classification result, a joint work with R. Longo, for the case with central charge less than 1, where we have a complete classification list consisting of the Virasoro nets, their simple current extensions of index 2, and four exceptionals. Two of the four exceptionals appear to be new. △ Less

Submitted 16 April, 2003; v1 submitted 7 November, 2002; originally announced November 2002.

Comments: LaTeX 2e, 14 pages, more explanations added

MSC Class: 46L37; 81T05; 81T40

(2+1)-dimensional topological quantum field theory from subfactors and Dehn surgery formula for 3-manifold invariants

Authors: Yasuyuki Kawahigashi, Nobuya Sato, Michihisa Wakui

Abstract: In this paper, we establish the general theory of (2+1)-dimensional topological quantum field theory (in short, TQFT) with a Verlinde basis. It is a consequence that we have a Dehn surgery formula for 3-manifold invariants for this kind of TQFT's. We will show that Turaev-Viro-Ocneanu unitary TQFT's obtained from subfactors satisfy the axioms of TQFT's with Verlinde bases. Hence, in a Turaev-Vir… ▽ More In this paper, we establish the general theory of (2+1)-dimensional topological quantum field theory (in short, TQFT) with a Verlinde basis. It is a consequence that we have a Dehn surgery formula for 3-manifold invariants for this kind of TQFT's. We will show that Turaev-Viro-Ocneanu unitary TQFT's obtained from subfactors satisfy the axioms of TQFT's with Verlinde bases. Hence, in a Turaev-Viro-Ocneanu TQFT, we have a Dehn surgery formula for 3-manifolds. It turns out that this Dehn surgery formula is nothing but the formula of the Reshetikhin-Turaev invariant constructed from a tube system, which is a modular category corresponding to the quantum double construction of a C^*-tensor category. In the forthcoming paper, we will exbit computations of Turaev-Viro-Ocneanu invariants for several ``basic 3-manifolds ''. In Appendix, we discuss the relationship between the system of M_{infinity}-M_{infinity} bimodules arising from the asymptotic inclusion M V M^{op} subset M_{infinity} constructed from N subset M and the tube system obtained from a subfactor N subset M. △ Less

Submitted 30 August, 2002; originally announced August 2002.

Comments: 37 pages, 36 figures

MSC Class: 46L37;57N10

Classification of Local Conformal Nets. Case c < 1

Authors: Yasuyuki Kawahigashi, Roberto Longo

Abstract: 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… ▽ More 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 all local irreducible extensions of the Virasoro nets for c<1 and infer our main classification result. As an application, we identify in our classification list certain concrete coset nets studied in the literature. △ Less

Submitted 2 April, 2003; v1 submitted 8 January, 2002; originally announced January 2002.

Comments: 30 pages, LaTeX2e

MSC Class: 81T40; 46L37; 17B68 (Primary); 81T08; 46L60; 22E67; 81R10 (Secondary)

Journal ref: Annals of Mathematics 160 (2004), 493-522

Generalized Longo-Rehren subfactors and alpha-induction

Authors: Yasuyuki Kawahigashi

Abstract: We study the recent construction of subfactors by Rehren which generalizes the Longo-Rehren subfactors. We prove that if we apply this construction to a non-degenerately braided subfactor N subset M and alpha-induction, then the resulting subfactor is dual to the Longo-Rehren subfactor M tensor M^opp subset R arising from the entire system of irreducible endomorphisms of M resulting from alpha-i… ▽ More We study the recent construction of subfactors by Rehren which generalizes the Longo-Rehren subfactors. We prove that if we apply this construction to a non-degenerately braided subfactor N subset M and alpha-induction, then the resulting subfactor is dual to the Longo-Rehren subfactor M tensor M^opp subset R arising from the entire system of irreducible endomorphisms of M resulting from alpha-induction. As a corollary, we solve a problem on existence of braiding raised by Rehren negatively. Furthermore, we generalize our previous study with Longo and Muger on multi-interval subfactors arising from a completely rational conformal net of factors on S^1 to a net of subfactors and show that the (generalized) Longo-Rehren subfactors and alpha-induction naturally appear in this context. △ Less

Submitted 18 July, 2001; originally announced July 2001.

MSC Class: 46L37

Journal ref: Commun. Math. Phys. 226 (2002) 269-287

Longo-Rehren subfactors arising from $α$-induction

Authors: J. Böckenhauer, D. E. Evans, Y. Kawahigashi

Abstract: We study (dual) Longo-Rehren subfactors $M\otimes M^{opp} \subset R$ arising from various systems of endomorphisms of M obtained from alpha-induction for some braided subfactor $N\subset M$. Our analysis provides useful tools to determine the systems of R-R morphisms associated with such Longo-Rehren subfactors, which constitute the ``quantum double'' systems in an appropriate sense. The key to… ▽ More We study (dual) Longo-Rehren subfactors $M\otimes M^{opp} \subset R$ arising from various systems of endomorphisms of M obtained from alpha-induction for some braided subfactor $N\subset M$. Our analysis provides useful tools to determine the systems of R-R morphisms associated with such Longo-Rehren subfactors, which constitute the ``quantum double'' systems in an appropriate sense. The key to our analysis is that alpha-induction produces half-braidings in the sense of Izumi, so that his general theory can be applied. Nevertheless, alpha-induced systems are in general not braided, and thus our results allow to compute the quantum doubles of (certain) systems without braiding. We illustrate our general results by several examples, including the computation of the quantum double systems for the asymptotic inclusion of the E_8 subfactor as well as its three analogues arising from conformal inclusions of SU(3)_k. △ Less

Submitted 18 February, 2000; originally announced February 2000.

Comments: 31 pages, latex

MSC Class: 46L37 (Primary) 81T40; 81T05 (Secondary)

Chiral structure of modular invariants for subfactors

Authors: J. Böckenhauer, D. E. Evans, Y. Kawahigashi

Abstract: In this paper we further analyze modular invariants for subfactors, in particular the structure of the chiral induced systems of M-M morphisms. The relative braiding between the chiral systems restricts to a proper braiding on their ``ambichiral'' intersection, and we show that the ambichiral braiding is non-degenerate if the original braiding of the N-N morphisms is. Moreover, in this case the… ▽ More In this paper we further analyze modular invariants for subfactors, in particular the structure of the chiral induced systems of M-M morphisms. The relative braiding between the chiral systems restricts to a proper braiding on their ``ambichiral'' intersection, and we show that the ambichiral braiding is non-degenerate if the original braiding of the N-N morphisms is. Moreover, in this case the dimensions of the irreducible representations of the chiral fusion rule algebras are given by the chiral branching coefficients which describe the ambichiral contribution in the irreducible decomposition of alpha-induced sectors. We show that modular invariants come along naturally with several non-negative integer valued matrix representations of the original N-N Verlinde fusion rule algebra, and we completely determine their decomposition into its characters. Finally the theory is illustrated by various examples, including the treatment of all SU(2)_k modular invariants, some SU(3) conformal inclusions and the chiral conformal Ising model. △ Less

Submitted 23 July, 1999; originally announced July 1999.

Comments: 62 pages, latex, epic, eepic

Journal ref: Commun.Math.Phys. 210 (2000) 733-784

On $α$-induction, chiral generators and modular invariants for subfactors

Authors: J. Böckenhauer, D. E. Evans, Y. Kawahigashi

Abstract: 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, develo** 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… ▽ More 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, develo** 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-degenerate, then $Z$ is a ``modular invariant mass matrix'' in the usual sense of conformal field theory. We show that in that case the fusion rule algebra of the dual system of $M$-$M$ morphisms is generated by the images of both kinds of $α$-induction, and that the structural information about its irreducible representations is encoded in the mass matrix $Z$. Our analysis sheds further light on the connection between (the classifications of) modular invariants and subfactors, and we will construct and analyze modular invariants from $SU(n)_k$ loop group subfactors in a forthcoming publication, including the treatment of all $SU(2)_k$ modular invariants. △ Less

Submitted 28 October, 1999; v1 submitted 21 April, 1999; originally announced April 1999.

Comments: 66 pages, latex, epic, eepic; minor changes, typos fixed, references added

Report number: UTMS 99-19

Journal ref: Commun.Math.Phys. 208 (1999) 429-487

Multi-interval Subfactors and Modularity of Representations in Conformal Field Theory

Authors: Yasuyuki Kawahigashi, Roberto Longo, Michael Mueger

Abstract: 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-Rehr… ▽ More 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 with all irreducible sectors, the braiding symmetry associated with all sectors is non-degenerate, namely the representations of A form a modular tensor category, and every sector is a direct sum of sectors with finite dimension. The superselection structure is generated by local data. The same results hold true if conformal invariance is replaced by strong additivity and there exists a modular PCT symmetry. △ Less

Submitted 15 January, 2001; v1 submitted 17 March, 1999; originally announced March 1999.

Comments: 45 pages, AMSLatex 2e. Improvements concerning the exposition. Appendices have been expanded with more details. To appear in Commun. Math. Phys

MSC Class: 46L37 (Primary) 81T05; 46M05 (Secondary)

Journal ref: Commun.Math.Phys.219:631-669,2001

Orbifold subfactors from Hecke algebras II --- Quantum doubles and braiding ---

Authors: David E. Evans, Yasuyuki Kawahigashi

Abstract: A. Ocneanu has observed that a mysterious orbifold phenomenon occurs in the system of the M_infinity-M_infinity bimodules of the asymptotic inclusion, a subfactor analogue of the quantum double, of the Jones subfactor of type A_2n+1. We show that this is a general phenomenon and identify some of his orbifolds with the ones in our sense as subfactors given as simultaneous fixed point algebras by… ▽ More A. Ocneanu has observed that a mysterious orbifold phenomenon occurs in the system of the M_infinity-M_infinity bimodules of the asymptotic inclusion, a subfactor analogue of the quantum double, of the Jones subfactor of type A_2n+1. We show that this is a general phenomenon and identify some of his orbifolds with the ones in our sense as subfactors given as simultaneous fixed point algebras by working on the Hecke algebra subfactors of type A of Wenzl. That is, we work on their asymptotic inclusions and show that the M_infinity-M_infinity bimodules are described by certain orbifolds (with ghosts) for SU(3)_3k. We actually compute several examples of the (dual) principal graphs of the asymptotic inclusions. As a corollary of the identification of Ocneanu's orbifolds with ours, we show that a non-degenerate braiding exists on the even vertices of D_2n, n>2. △ Less

Submitted 23 February, 1997; originally announced February 1997.

Comments: 37 pages, LateX

Journal ref: Comm. Math. Phys. 196 (1998), 331-361