Showing 1–42 of 42 results for author: Evans, D E

Quantum symmetries of noncommutative tori

Authors: David E. Evans, Corey Jones

Abstract: We consider the problem of building non-invertible quantum symmetries (as characterized by actions of unitary fusion categories) on noncommutative tori. We introduce a general method to construct actions of fusion categories on inductive limit C*-algberas using finite dimenionsal data, and then apply it to obtain AT-actions of arbitrary Haagerup-Izumi categories on noncommutative 2-tori, of the ev… ▽ More We consider the problem of building non-invertible quantum symmetries (as characterized by actions of unitary fusion categories) on noncommutative tori. We introduce a general method to construct actions of fusion categories on inductive limit C*-algberas using finite dimenionsal data, and then apply it to obtain AT-actions of arbitrary Haagerup-Izumi categories on noncommutative 2-tori, of the even part of the $E_{8}$ subfactor on a noncommutative 3-torus, and of $\text{PSU}(2)_{15}$ on a noncommutative 4-torus. △ Less

Submitted 8 January, 2025; v1 submitted 22 April, 2024; originally announced April 2024.

Spectral Sequence Computation of Higher Twisted $K$-Groups of $ SU(n)$

Authors: David E. Evans, Ulrich Pennig

Abstract: Motivated by the Freed-Hopkins-Teleman theorem we study graded equivariant higher twists of $K$-theory for the groups $G = SU(n)$ induced by exponential functors. We compute the rationalisation of these groups for all $n$ and all non-trivial functors. Classical twists use the determinant functor and yield equivariant bundles of compact operators that are classified by Dixmier-Douady theory. Their… ▽ More Motivated by the Freed-Hopkins-Teleman theorem we study graded equivariant higher twists of $K$-theory for the groups $G = SU(n)$ induced by exponential functors. We compute the rationalisation of these groups for all $n$ and all non-trivial functors. Classical twists use the determinant functor and yield equivariant bundles of compact operators that are classified by Dixmier-Douady theory. Their equivariant $K$-theory reproduces the Verlinde ring of conformal field theory. Higher twists give equivariant bundles of stable UHF algebras, which can be classified using stable homotopy theory. Rationally, only the $K$-theory in degree $\dim(G)$ is again non-trivial. The non-vanishing group is a quotient of a localisation of the representation ring $R(G) \otimes \mathbb{Q}$ by a higher fusion ideal $J_{F,\mathbb{Q}}$. We give generators for this ideal and prove that these can be obtained as derivatives of a potential. For the exterior algebra functor, which is exponential, we show that the determinant bundle over $LSU(n)$ has a non-commutative counterpart where the fibre is the unitary group of the UHF algebra. △ Less

Submitted 2 June, 2025; v1 submitted 1 July, 2023; originally announced July 2023.

Comments: 50 pages, one figure, section 4.2 added (higher determinant bundles and links to CFT), section 2.2.1 added (comparison with classical twists), relation to classical generators clarified, abstract amended

MSC Class: 19L50; 19L47; 46L80

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

Journal ref: Bull. Amer. Math. Soc. 60 (2023), 459-482

Equivariant higher Dixmier-Douady Theory for circle actions on UHF-algebras

Authors: David E. Evans, Ulrich Pennig

Abstract: We develop an equivariant Dixmier-Douady theory for locally trivial bundles of $C^*$-algebras with fibre $D \otimes \mathbb{K}$ equipped with a fibrewise $\mathbb{T}$-action, where $\mathbb{T}$ denotes the circle group and $D = \operatorname{End}\left(V\right)^{\otimes \infty}$ for a $\mathbb{T}$-representation $V$. In particular, we show that the group of $\mathbb{T}$-equivariant $*$-automorphism… ▽ More We develop an equivariant Dixmier-Douady theory for locally trivial bundles of $C^*$-algebras with fibre $D \otimes \mathbb{K}$ equipped with a fibrewise $\mathbb{T}$-action, where $\mathbb{T}$ denotes the circle group and $D = \operatorname{End}\left(V\right)^{\otimes \infty}$ for a $\mathbb{T}$-representation $V$. In particular, we show that the group of $\mathbb{T}$-equivariant $*$-automorphisms $\operatorname{Aut}_{\mathbb{T}}(D \otimes \mathbb{K})$ is an infinite loop space giving rise to a cohomology theory $E^*_{D,\mathbb{T}}(X)$. Isomorphism classes of equivariant bundles then form a group with respect to the fibrewise tensor product that is isomorphic to $E^1_{D,\mathbb{T}}(X) \cong [X, B\operatorname{Aut}_{\mathbb{T}}(D \otimes \mathbb{K})]$. We compute this group for tori and compare the case $D = \mathbb{C}$ to the equivariant Brauer group for trivial actions on the base space. △ Less

Submitted 23 November, 2023; v1 submitted 31 January, 2022; originally announced January 2022.

Comments: 37 pages, published version (except for a typo in the description of the order structure on page 19 and the proof of Lemma 3.5, which was fixed after publication, and did not change the main result)

MSC Class: 46L35; 46M20; 55N20

Journal ref: Adv. Math., Vol. 410 (2022), 108745

Tambara-Yamagami, loop groups, bundles and KK-theory

Authors: David E Evans, Terry Gannon

Abstract: This paper is part of a sequence interpreting quantities of conformal field theories K-theoretically. Here we give geometric constructions of the associated module categories (modular invariants, nimreps, etc). In particular, we give a KK-theory interpretation of all modular invariants for the loop groups of tori, as well as most known modular invariants of loop groups. In addition, we find unexpe… ▽ More This paper is part of a sequence interpreting quantities of conformal field theories K-theoretically. Here we give geometric constructions of the associated module categories (modular invariants, nimreps, etc). In particular, we give a KK-theory interpretation of all modular invariants for the loop groups of tori, as well as most known modular invariants of loop groups. In addition, we find unexpectedly that the Tambara-Yamagami fusion category has an elegant description as bundles over a groupoid, and use that to interpret its module categories as KK-elements. We establish reconstruction for the doubles of all Tambara-Yamagami categories, generalizing work of Bischoff to even-order groups. We conclude by relating the modular group representations coming from finite groups and loop groups to the Chern character and to the Fourier-Mukai transform △ Less

Submitted 21 March, 2020; originally announced March 2020.

Comments: 60 pages

Realizing the braided Temperley-Lieb-Jones C*-tensor categories as Hilbert C*-modules

Authors: Andreas Næs Aaserud, David E. Evans

Abstract: We associate to each Temperley-Lieb-Jones C*-tensor category $\mathcal{T}\!\mathcal{L}\mathcal{J}(δ)$ with parameter $δ$ in the discrete range $\{2\cos(π/(k+2))\,:\,k=1,2,\ldots\}\cup\{2\}$ a certain C*-algebra $\mathcal{B}$ of compact operators. We use the unitary braiding on $\mathcal{T}\!\mathcal{L}\mathcal{J}(δ)$ to equip the category $\mathrm{Mod}_{\mathcal{B}}$ of (right) Hilbert… ▽ More We associate to each Temperley-Lieb-Jones C*-tensor category $\mathcal{T}\!\mathcal{L}\mathcal{J}(δ)$ with parameter $δ$ in the discrete range $\{2\cos(π/(k+2))\,:\,k=1,2,\ldots\}\cup\{2\}$ a certain C*-algebra $\mathcal{B}$ of compact operators. We use the unitary braiding on $\mathcal{T}\!\mathcal{L}\mathcal{J}(δ)$ to equip the category $\mathrm{Mod}_{\mathcal{B}}$ of (right) Hilbert $\mathcal{B}$-modules with the structure of a braided C*-tensor category. We show that $\mathcal{T}\!\mathcal{L}\mathcal{J}(δ)$ is equivalent, as a braided C*-tensor category, to the full subcategory $\mathrm{Mod}_{\mathcal{B}}^f$ of $\mathrm{Mod}_{\mathcal{B}}$ whose objects are those modules which admit a finite orthonormal basis. Finally, we indicate how these considerations generalize to arbitrary finitely generated rigid braided C*-tensor categories. △ Less

Submitted 29 May, 2020; v1 submitted 7 August, 2019; originally announced August 2019.

Comments: In the latest version, we corrected a couple of typos and reformatted the bibliography. The paper will appear in essentially this form in Communications in Mathematical Physics (2020)

MSC Class: 18D10; 46L08

Equivariant higher twisted K-theory of SU(n) for exponential functor twists

Authors: David E. Evans, Ulrich Pennig

Abstract: We prove that each exponential functor on the category of finite-dimensional complex inner product spaces and isomorphisms gives rise to an equivariant higher (ie. non-classical) twist of $K$-theory over $G=SU(n)$. This twist is represented by a Fell bundle $\mathcal{E} \to \mathcal{G}$, which reduces to the basic gerbe for the top exterior power functor. The groupoid $\mathcal{G}$ comes equipped… ▽ More We prove that each exponential functor on the category of finite-dimensional complex inner product spaces and isomorphisms gives rise to an equivariant higher (ie. non-classical) twist of $K$-theory over $G=SU(n)$. This twist is represented by a Fell bundle $\mathcal{E} \to \mathcal{G}$, which reduces to the basic gerbe for the top exterior power functor. The groupoid $\mathcal{G}$ comes equipped with a $G$-action and an augmentation map $\mathcal{G} \to G$, that is an equivariant equivalence. The $C^*$-algebra $C^*(\mathcal{E})$ associated to $\mathcal{E}$ is stably isomorphic to the section algebra of a locally trivial bundle with stabilised strongly self-absorbing fibres. Using a version of the Mayer-Vietoris spectral sequence we compute the equivariant higher twisted $K$-groups $K^G_*(C^*(\mathcal{E}))$ for arbitrary exponential functor twists over $SU(2)$, and also over $SU(3)$ after rationalisation. △ Less

Submitted 27 June, 2022; v1 submitted 19 June, 2019; originally announced June 2019.

Comments: 54 pages, 6 figures

MSC Class: 19L50; 19L47; 46L80

Journal ref: Journal of Topology, 15 (2022), pp. 896-949

Ola Bratteli and his diagrams

Authors: Tone Bratteli, Trond Digernes, George Elliott, David E. Evans, Palle E. Jorgensen, Aki Kishimoto, Magnus B. Landstad, Derek Robinson, Erling Størmer

Abstract: This article discusses the life and work of Professor Ola Bratteli (1946--2015). Family, fellow students, his advisor, colleagues and coworkers review aspects of his life and his outstanding mathematical accomplishments. This article discusses the life and work of Professor Ola Bratteli (1946--2015). Family, fellow students, his advisor, colleagues and coworkers review aspects of his life and his outstanding mathematical accomplishments. △ Less

Submitted 4 March, 2019; originally announced March 2019.

Comments: 18 pages, 15 figures

Journal ref: Notices Amer. Math. Soc. 67 (2020), no. 5, 665-675

Reconstruction and Local Extensions for Twisted Group Doubles, and Permutation Orbifolds

Authors: David E. Evans, Terry Gannon

Abstract: We prove the first nontrivial reconstruction theorem for modular tensor categories: the category associated to any twisted Drinfeld double of any finite group, can be realised as the representation category of a completely rational conformal net. We also show that any twisted double of a solvable group is the category of modules of a completely rational vertex operator algebra. In the process of d… ▽ More We prove the first nontrivial reconstruction theorem for modular tensor categories: the category associated to any twisted Drinfeld double of any finite group, can be realised as the representation category of a completely rational conformal net. We also show that any twisted double of a solvable group is the category of modules of a completely rational vertex operator algebra. In the process of doing this, we identify the 3-cocycle twist for permutation orbifolds of holomorphic conformal nets: unexpectedly, it can be nontrivial, and depends on the value of the central charge modulo 24. In addition, we determine the branching coefficients of all possible local (conformal) extensions of any finite group orbifold of holomorphic conformal nets, and identify their modular tensor categories. All statements also apply to vertex operator algebras, provided the conjecture holds that finite group orbifolds of holomorphic VOAs are rational, with a category of modules given by a twisted group double. △ Less

Submitted 30 April, 2018; originally announced April 2018.

Comments: 39 pages

MSC Class: 18D10 (primary); 17B69; 81T40 (secondary)

Classification of Module Categories for $SO(3)_{2m}$

Authors: David E. Evans, Mathew Pugh

Abstract: The main goal of this paper is to classify $\ast$-module categories for the $SO(3)_{2m}$ modular tensor category. This is done by classifying $SO(3)_{2m}$ nimrep graphs and cell systems, and in the process we also classify the $SO(3)$ modular invariants. There are module categories of type $\mathcal{A}$, $\mathcal{E}$ and their conjugates, but there are no orbifold (or type $\mathcal{D}$) module c… ▽ More The main goal of this paper is to classify $\ast$-module categories for the $SO(3)_{2m}$ modular tensor category. This is done by classifying $SO(3)_{2m}$ nimrep graphs and cell systems, and in the process we also classify the $SO(3)$ modular invariants. There are module categories of type $\mathcal{A}$, $\mathcal{E}$ and their conjugates, but there are no orbifold (or type $\mathcal{D}$) module categories. We present a construction of a subfactor with principal graph given by the fusion rules of the fundamental generator of the $SO(3)_{2m}$ modular category. We also introduce a Frobenius algebra $A$ which is an $SO(3)$ generalisation of (higher) preprojective algebras, and derive a finite resolution of $A$ as a left $A$-module along with its Hilbert series. △ Less

Submitted 19 June, 2020; v1 submitted 20 April, 2018; originally announced April 2018.

Comments: 56 pages, many figures; corrected error at the end of Section 4 about $\mathcal{E}_8$ nimrep, and corrected computational error in Theorem 5.10 about $\mathcal{E}_8^c$. The main theorem, Theorem 5.12, has been modified to reflect these corrections

$K$-theory of AF-algebras from braided C*-tensor categories

Authors: Andreas Aaserud, David E. Evans

Abstract: Renault, Wassermann, Handelman and Rossmann (early 1980s) and Evans and Gould (1994) explicitly described the $K$-theory of certain unital AF-algebras $A$ as (quotients of) polynomial rings. In this paper, we show that in each case the multiplication in the polynomial ring (quotient) is induced by a $*$-homomorphism $A\otimes A\to A$ arising from a unitary braiding on a C*-tensor category and esse… ▽ More Renault, Wassermann, Handelman and Rossmann (early 1980s) and Evans and Gould (1994) explicitly described the $K$-theory of certain unital AF-algebras $A$ as (quotients of) polynomial rings. In this paper, we show that in each case the multiplication in the polynomial ring (quotient) is induced by a $*$-homomorphism $A\otimes A\to A$ arising from a unitary braiding on a C*-tensor category and essentially defined by Erlijman and Wenzl (2007). We also present some new explicit calculations based on the work of Gepner, Fuchs and others. Specifically, we perform computations for the rank two compact Lie groups SU(3), Sp(4) and G$_2$ that are analogous to the Evans-Gould computation for the rank one compact Lie group SU(2). The Verlinde rings are the fusion rings of Wess-Zumino-Witten models in conformal field theory or, equivalently, of certain related C*-tensor categories. Freed, Hopkins and Teleman (early 2000s) realized these rings via twisted equivariant $K$-theory. Inspired by this, our long-term goal is to realize these rings in a simpler $K$-theoretical manner, avoiding the technicalities of loop group analysis. As a step in this direction, we note that the Verlinde rings can be recovered as above in certain special cases. △ Less

Submitted 19 March, 2020; v1 submitted 8 March, 2018; originally announced March 2018.

Comments: Fixed a couple of typos and changed formatting slightly. The paper will appear in essentially this form in Reviews in Mathematical Physics, Vol. 32 (2020)

MSC Class: 46L80; 18D10; 81T40

Non-unitary fusion categories and their doubles via endomorphisms

Authors: David E. Evans, Terry Gannon

Abstract: We realise non-unitary fusion categories using subfactor-like methods, and compute their quantum doubles and modular data. For concreteness we focus on generalising the Haagerup-Izumi family of Q-systems. For example, we construct endomorphism realisations of the (non-unitary) Yang-Lee model, and non-unitary analogues of one of the even subsystems of the Haagerup subfactor and of the Grossman-Snyd… ▽ More We realise non-unitary fusion categories using subfactor-like methods, and compute their quantum doubles and modular data. For concreteness we focus on generalising the Haagerup-Izumi family of Q-systems. For example, we construct endomorphism realisations of the (non-unitary) Yang-Lee model, and non-unitary analogues of one of the even subsystems of the Haagerup subfactor and of the Grossman-Snyder system. We supplement Izumi's equations for identifying the half-braidings, which were incomplete even in his Q-system setting. We conjecture a remarkably simple form for the modular S and T matrices of the doubles of these fusion categories. We would expect all of these doubles to be realised as the category of modules of a rational VOA and conformal net of factors. We expect our approach will also suffice to realise the non-semisimple tensor categories arising in logarithmic conformal field theories. △ Less

Submitted 11 June, 2015; originally announced June 2015.

Comments: 40 pages

MSC Class: 18D10; 46L37; 81T40

Spectral Measures for $Sp(2)$

Authors: David E. Evans, Mathew Pugh

Abstract: Spectral measures provide invariants for braided subfactors via fusion modules. In this paper we study joint spectral measures associated to the compact connected rank two Lie group $SO(5)$ and its double cover the compact connected, simply-connected rank two Lie group $Sp(2)$, including the McKay graphs for the irreducible representations of $Sp(2)$ and $SO(5)$ and their maximal tori, and fusion… ▽ More Spectral measures provide invariants for braided subfactors via fusion modules. In this paper we study joint spectral measures associated to the compact connected rank two Lie group $SO(5)$ and its double cover the compact connected, simply-connected rank two Lie group $Sp(2)$, including the McKay graphs for the irreducible representations of $Sp(2)$ and $SO(5)$ and their maximal tori, and fusion modules associated to the $Sp(2)$ modular invariants. △ Less

Submitted 13 February, 2015; v1 submitted 7 April, 2014; originally announced April 2014.

Comments: 41 pages, 45 figures. Title changed and notation corrected. arXiv admin note: substantial text overlap with arXiv:1404.1863

Spectral measures associated to rank two Lie groups and finite subgroups of $GL(2,\mathbb{Z})$

Authors: David E. Evans, Mathew Pugh

Abstract: Spectral measures for fundamental representations of the rank two Lie groups $SU(3)$, $Sp(2)$ and $G_2$ have been studied. Since these groups have rank two, these spectral measures can be defined as measures over their maximal torus $\mathbb{T}^2$ and are invariant under an action of the corresponding Weyl group, which is a subgroup of $GL(2,\mathbb{Z})$. Here we consider spectral measures invaria… ▽ More Spectral measures for fundamental representations of the rank two Lie groups $SU(3)$, $Sp(2)$ and $G_2$ have been studied. Since these groups have rank two, these spectral measures can be defined as measures over their maximal torus $\mathbb{T}^2$ and are invariant under an action of the corresponding Weyl group, which is a subgroup of $GL(2,\mathbb{Z})$. Here we consider spectral measures invariant under an action of the other finite subgroups of $GL(2,\mathbb{Z})$. These spectral measures are all associated with fundamental representations of other rank two Lie groups, namely $\mathbb{T}^2=U(1) \times U(1)$, $U(1) \times SU(2)$, $U(2)$, $SU(2) \times SU(2)$, $SO(4)$ and $PSU(3)$. △ Less

Submitted 23 February, 2015; v1 submitted 7 April, 2014; originally announced April 2014.

Comments: 39 pages, 46 figures; new results added in Section 9, new Section 3.2, minor improvements to exposition throughout

Journal ref: Communications in Mathematical Physics 343 (2016), 811-850

Spectral Measures for $G_2$ II: finite subgroups

Authors: David E. Evans, Mathew Pugh

Abstract: Joint spectral measures associated to the rank two Lie group $G_2$, including the representation graphs for the irreducible representations of $G_2$ and its maximal torus, nimrep graphs associated to the $G_2$ modular invariants have been studied. In this paper we study the joint spectral measures for the McKay graphs (or representation graphs) of finite subgroups of $G_2$. Using character theoret… ▽ More Joint spectral measures associated to the rank two Lie group $G_2$, including the representation graphs for the irreducible representations of $G_2$ and its maximal torus, nimrep graphs associated to the $G_2$ modular invariants have been studied. In this paper we study the joint spectral measures for the McKay graphs (or representation graphs) of finite subgroups of $G_2$. Using character theoretic methods we classify all non-conjugate embeddings of each subgroup into the fundamental representation of $G_2$ and present their McKay graphs, some of which are new. △ Less

Submitted 5 February, 2020; v1 submitted 7 April, 2014; originally announced April 2014.

Comments: 33 pages, 20 figures; minor improvements to exposition. Accepted for publication in Reviews in Mathematical Physics

Spectral Measures for $G_2$

Authors: David E. Evans, Mathew Pugh

Abstract: Spectral measures provide invariants for braided subfactors via fusion modules. In this paper we study joint spectral measures associated to the rank two Lie group $G_2$, including the McKay graphs for the irreducible representations of $G_2$ and its maximal torus, and fusion modules associated to all known $G_2$ modular invariants. Spectral measures provide invariants for braided subfactors via fusion modules. In this paper we study joint spectral measures associated to the rank two Lie group $G_2$, including the McKay graphs for the irreducible representations of $G_2$ and its maximal torus, and fusion modules associated to all known $G_2$ modular invariants. △ Less

Submitted 22 April, 2014; v1 submitted 7 April, 2014; originally announced April 2014.

Comments: 36 pages, 40 figures; correction to Sections 5.4 and 5.5, minor improvements to exposition

Near-group fusion categories and their doubles

Authors: David E. Evans, Terry Gannon

Abstract: A near-group fusion category is a fusion category C where all but 1 simple objects are invertible. Examples of these include the Tambara-Yamagami categories and the even sectors of the E6 and affine-D5 subfactors, though there are infinitely many others. We classify the near-group fusion categories, and compute their doubles and the modular data relevant to conformal field theory. Among other thin… ▽ More A near-group fusion category is a fusion category C where all but 1 simple objects are invertible. Examples of these include the Tambara-Yamagami categories and the even sectors of the E6 and affine-D5 subfactors, though there are infinitely many others. We classify the near-group fusion categories, and compute their doubles and the modular data relevant to conformal field theory. Among other things, we explicitly construct over 40 new finite depth subfactors, with Jones index ranging from around 6.85 to around 14.93. We expect all of these doubles to be realised by rational conformal field theories. △ Less

Submitted 7 August, 2012; originally announced August 2012.

Comments: 51 pages, 4 figures

MSC Class: 46L37; 18D10; 81T40

On the homology of almost Calabi-Yau algebras associated to SU(3) modular invariants

Authors: David E. Evans, Mathew Pugh

Abstract: We compute the Hochschild homology and cohomology, and cyclic homology, of almost Calabi-Yau algebras for SU(3) ADE graphs. These almost Calabi-Yau algebras are a higher rank analogue of the pre-projective algebras for Dynkin diagrams, which are SU(2)-related constructions. The Hochschild (co)homology and cyclic homology of A can be regarded as invariants for the braided subfactors associated to t… ▽ More We compute the Hochschild homology and cohomology, and cyclic homology, of almost Calabi-Yau algebras for SU(3) ADE graphs. These almost Calabi-Yau algebras are a higher rank analogue of the pre-projective algebras for Dynkin diagrams, which are SU(2)-related constructions. The Hochschild (co)homology and cyclic homology of A can be regarded as invariants for the braided subfactors associated to the SU(3) modular invariants. △ Less

Submitted 15 November, 2011; originally announced November 2011.

Comments: 36 pages, 8 figures

Braided Subfactors, Spectral Measures, Planar algebras and Calabi-Yau algebras associated to SU(3) modular invariants

Authors: David E. Evans, Mathew Pugh

Abstract: 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. 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. △ Less

Submitted 4 June, 2013; v1 submitted 20 October, 2011; originally announced October 2011.

Comments: 45 pages, 25 figures. v3: minor correction to Figure 14; v2: figures of 0-1 parts of graphs included, some minor corrections

Modular Invariants and Twisted Equivariant K-theory II: Dynkin diagram symmetries

Authors: David E. Evans, Terry Gannon

Abstract: The most basic structure of chiral conformal field theory (CFT) is the Verlinde ring. Freed-Hopkins-Teleman have expressed the Verlinde ring for the CFT's associated to loop groups, as twisted equivariant K-theory. We build on their work to express K-theoretically the structures of full CFT. In particular, the modular invariant partition functions (which essentially parametrise the possible full C… ▽ More The most basic structure of chiral conformal field theory (CFT) is the Verlinde ring. Freed-Hopkins-Teleman have expressed the Verlinde ring for the CFT's associated to loop groups, as twisted equivariant K-theory. We build on their work to express K-theoretically the structures of full CFT. In particular, the modular invariant partition functions (which essentially parametrise the possible full CFTs) have a rich interpretation within von Neumann algebras (subfactors), which has led to the developments of structures of full CFT such as the full system (fusion ring of defect lines), nimrep (cylindrical partition function), alpha-induction etc. Modular categorical interpretations for these have followed. For the generic families of modular invariants (i.e. those associated to Dynkin diagram symmetries), we provide a K-theoretic framework for these other CFT structures, and show how they relate to D-brane charges and charge-groups. We also study conformal embeddings and the E7 modular invariant of SU(2), as well as some families of finite group doubles. This new K-theoretic framework allows us to simplify and extend the less transparent, more ad hoc descriptions of these structures obtained previously within CFT. △ Less

Submitted 15 March, 2013; v1 submitted 7 December, 2010; originally announced December 2010.

Comments: 49 pages; more explanatory material added; minor corrections

MSC Class: 81T40; 19L50

The Nakayama automorphism of the almost Calabi-Yau algebras associated to SU(3) modular invariants

Authors: David E. Evans, Mathew Pugh

Abstract: We determine the Nakayama automorphism of the almost Calabi-Yau algebra A associated to the braided subfactors or nimrep graphs associated to each SU(3) modular invariant. We use this to determine a resolution of A as an A-A bimodule, which will yield a projective resolution of A. We determine the Nakayama automorphism of the almost Calabi-Yau algebra A associated to the braided subfactors or nimrep graphs associated to each SU(3) modular invariant. We use this to determine a resolution of A as an A-A bimodule, which will yield a projective resolution of A. △ Less

Submitted 2 May, 2012; v1 submitted 5 August, 2010; originally announced August 2010.

Comments: 46 pages which constitutes the published version, plus an Appendix detailing some long calculations. arXiv admin note: text overlap with arXiv:1110.4547

Journal ref: Comm. Math. Phys. 312 (2012), 179-222

The exoticness and realisability of twisted Haagerup-Izumi modular data

Authors: David E. Evans, Terry Gannon

Abstract: The quantum double of the Haagerup subfactor, the first irreducible finite depth subfactor with index above 4, is the most obvious candidate for exotic modular data. We show that its modular data DHg fits into a family $D^ωHg_{2n+1}$, where $n\ge 0$ and $ω\in \bbZ_{2n+1}$. We show $D^0 Hg_{2n+1}$ is related to the subfactors Izumi hypothetically associates to the cyclic groups $Z_{2n+1}$. Their mo… ▽ More The quantum double of the Haagerup subfactor, the first irreducible finite depth subfactor with index above 4, is the most obvious candidate for exotic modular data. We show that its modular data DHg fits into a family $D^ωHg_{2n+1}$, where $n\ge 0$ and $ω\in \bbZ_{2n+1}$. We show $D^0 Hg_{2n+1}$ is related to the subfactors Izumi hypothetically associates to the cyclic groups $Z_{2n+1}$. Their modular data comes equipped with canonical and dual canonical modular invariants; we compute the corresponding alpha-inductions etc. In addition, we show there are (respectively) 1, 2, 0 subfactors of Izumi type $Z_7$, $Z_9$ and $Z_3^2$, and find numerical evidence for 2, 1, 1, 1, 2 subfactors of Izumi type $Z_{11},Z_{13},Z_{15},Z_{17},Z_{19}$ (previously, Izumi had shown uniqueness for $Z_3$ and $Z_5$), and we identify their modular data. We explain how DHg (more generally $D^ωHg_{2n+1}$) is a graft of the quantum double DSym(3) (resp. the twisted double $D^ωD_{2n+1}$) by affine so(13) (resp. so(4n^2+4n+5)) at level 2. We discuss the vertex operator algebra (or conformal field theory) realisation of the modular data $D^ωHg_{2n+1}$. For example we show there are exactly 2 possible character vectors (giving graded dimensions of all modules) for the Haagerup VOA at central charge c=8. It seems unlikely that any of this twisted Haagerup-Izumi modular data can be regarded as exotic, in any reasonable sense. △ Less

Submitted 7 June, 2010; originally announced June 2010.

Comments: 52 pages, 4 figures

MSC Class: 46L37; 17B69; 81T40

Spectral Measures and Generating Series for Nimrep Graphs in Subfactor Theory II: SU(3)

Authors: David E. Evans, Mathew Pugh

Abstract: We complete the computation of spectral measures for SU(3) nimrep graphs arising in subfactor theory, namely the SU(3) ADE graphs associated with SU(3) modular invariants and the McKay graphs of finite subgroups of SU(3). For the SU(2) graphs the spectral measures distill onto very special subsets of the semicircle/circle, whilst for the SU(3) graphs the spectral measures distill onto very speci… ▽ More We complete the computation of spectral measures for SU(3) nimrep graphs arising in subfactor theory, namely the SU(3) ADE graphs associated with SU(3) modular invariants and the McKay graphs of finite subgroups of SU(3). For the SU(2) graphs the spectral measures distill onto very special subsets of the semicircle/circle, whilst for the SU(3) graphs the spectral measures distill onto very special subsets of the discoid/torus. The theory of nimreps allows us to compute these measures precisely. We have previously determined spectral measures for some nimrep graphs arising in subfactor theory, particularly those associated with all SU(2) modular invariants, all subgroups of SU(2), the torus, SU(3), and some SU(3) graphs. △ Less

Submitted 11 February, 2010; originally announced February 2010.

Comments: 38 pages, 21 figures

Spectral Measures and Generating Series for Nimrep Graphs in Subfactor Theory

Authors: David E. Evans, Mathew Pugh

Abstract: We determine spectral measures for some nimrep graphs arising in subfactor theory, particularly those associated with SU(3) modular invariants and subgroups of SU(3). Our methods also give an alternative approach to deriving the results of Banica and Bisch for ADE graphs and subgroups of SU(2) and explain the connection between their results for affine ADE graphs and the Kostant polynomials. We… ▽ More We determine spectral measures for some nimrep graphs arising in subfactor theory, particularly those associated with SU(3) modular invariants and subgroups of SU(3). Our methods also give an alternative approach to deriving the results of Banica and Bisch for ADE graphs and subgroups of SU(2) and explain the connection between their results for affine ADE graphs and the Kostant polynomials. We also look at the Hilbert generating series of associated pre-projective algebras. △ Less

Submitted 7 October, 2009; v1 submitted 23 June, 2009; originally announced June 2009.

Comments: 54 pages, 15 figures, result on page 50 corrected, to appear in Communications in Mathematical Physics

Journal ref: Commun.Math.Phys.295:363-413,2010

A2-Planar Algebras II: Planar Modules

Authors: David E. Evans, Mathew Pugh

Abstract: Generalizing Jones's notion of a planar algebra, we have previously introduced an A_2-planar algebra capturing the structure contained in the double complex pertaining to the subfactor for a finite SU(3) ADE graph with a flat cell system. We now introduce the notion of modules over an A_2-planar algebra, and describe certain irreducible Hilbert A_2-TL-modules. We construct an A_2-graph planar alge… ▽ More Generalizing Jones's notion of a planar algebra, we have previously introduced an A_2-planar algebra capturing the structure contained in the double complex pertaining to the subfactor for a finite SU(3) ADE graph with a flat cell system. We now introduce the notion of modules over an A_2-planar algebra, and describe certain irreducible Hilbert A_2-TL-modules. We construct an A_2-graph planar algebra associated to each pair (G,W) given by an SU(3) ADE graph G and a cell system W on G. A partial modular decomposition of these A_2-graph planar algebras is achieved. △ Less

Submitted 27 May, 2011; v1 submitted 23 June, 2009; originally announced June 2009.

Comments: 33 pages, 19 figures; revised definition of A_2-planar modules, improvements to exposition and introduction

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

Ocneanu Cells and Boltzmann Weights for the SU(3) ADE Graphs

Authors: David E. Evans, Mathew Pugh

Abstract: We determine the cells, whose existence has been announced by Ocneanu, on all the candidate nimrep graphs except $\mathcal{E}_4^{(12)}$ proposed by di Francesco and Zuber for the SU(3) modular invariants classified by Gannon. This enables the Boltzmann weights to be computed for the corresponding integrable statistical mechanical models and provide the framework for studying corresponding braide… ▽ More We determine the cells, whose existence has been announced by Ocneanu, on all the candidate nimrep graphs except $\mathcal{E}_4^{(12)}$ proposed by di Francesco and Zuber for the SU(3) modular invariants classified by Gannon. This enables the Boltzmann weights to be computed for the corresponding integrable statistical mechanical models and provide the framework for studying corresponding braided subfactors to realise all the SU(3) modular invariants as well as a framework for a new SU(3) planar algebra theory. △ Less

Submitted 2 September, 2009; v1 submitted 23 June, 2009; originally announced June 2009.

Comments: 46 pages, minor changes, to appear in Munster Journal of Mathematics

Journal ref: Munster J.Math.2:95-142,2009

SU(3)-Goodman-de la Harpe-Jones subfactors and the realisation of SU(3) modular invariants

Authors: David E. Evans, Mathew Pugh

Abstract: We complete the realisation by braided subfactors, announced by Ocneanu, of all SU(3)-modular invariant partition functions previously classified by Gannon. We complete the realisation by braided subfactors, announced by Ocneanu, of all SU(3)-modular invariant partition functions previously classified by Gannon. △ Less

Submitted 2 September, 2009; v1 submitted 23 June, 2009; originally announced June 2009.

Comments: 47 pages, minor changes, to appear in Reviews in Mathematical Physics

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

Journal ref: Rev.Math.Phys.21:877-928,2009

A2-Planar Algebras I

Authors: David E. Evans, Mathew Pugh

Abstract: We give a diagrammatic presentation of the A_2-Temperley-Lieb algebra. Generalizing Jones' notion of a planar algebra, we formulate an A_2-planar algebra motivated by Kuperberg's A_2-spider. This A_2-planar algebra contains a subfamily of vector spaces which will capture the double complex structure pertaining to the subfactor for a finite SU(3) ADE graph with a flat cell system, including both th… ▽ More We give a diagrammatic presentation of the A_2-Temperley-Lieb algebra. Generalizing Jones' notion of a planar algebra, we formulate an A_2-planar algebra motivated by Kuperberg's A_2-spider. This A_2-planar algebra contains a subfamily of vector spaces which will capture the double complex structure pertaining to the subfactor for a finite SU(3) ADE graph with a flat cell system, including both the periodicity three coming from the A_2-Temperley-Lieb algebra as well as the periodicity two coming from the subfactor basic construction. We use an A_2-planar algebra to obtain a description of the (Jones) planar algebra for the Wenzl subfactor in terms of generators and relations. △ Less

Submitted 14 April, 2011; v1 submitted 23 June, 2009; originally announced June 2009.

Comments: 53 pages; minor corrections to published version in Section 2, pages 3-4 (pages 323-324 of published version)

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

Journal ref: Quantum Topol.1:321-377,2010

Modular Invariants and Twisted Equivariant K-theory

Authors: David E. Evans, Terry Gannon

Abstract: Freed-Hopkins-Teleman expressed the Verlinde algebra as twisted equivariant K-theory. We study how to recover the full system (fusion algebra of defect lines), nimrep (cylindrical partition function), etc of modular invariant partition functions of conformal field theories associated to loop groups. We work out several examples corresponding to conformal embeddings and orbifolds. We identify a n… ▽ More Freed-Hopkins-Teleman expressed the Verlinde algebra as twisted equivariant K-theory. We study how to recover the full system (fusion algebra of defect lines), nimrep (cylindrical partition function), etc of modular invariant partition functions of conformal field theories associated to loop groups. We work out several examples corresponding to conformal embeddings and orbifolds. We identify a new aspect of the A-D-E pattern of SU(2) modular invariants. △ Less

Submitted 23 July, 2008; originally announced July 2008.

Comments: 69 pages, 9 figures

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

Modular invariants and their fusion rules

Authors: David E Evans, Paulo R Pinto

Abstract: The subfactor approach to modular invariants gives insight into the fusion rule structure of the modular invariants. The subfactor approach to modular invariants gives insight into the fusion rule structure of the modular invariants. △ Less

Submitted 10 September, 2003; originally announced September 2003.

Subfactor realisation of modular invariants

Authors: David E Evans, Paulo R Pinto

Abstract: We study the problem of realising modular invariants by braided subfactors and the related problem of classifying nimreps. We develop the fusion rule structure of these modular invariants. This structure is useful tool in the analysis of modular data from quantum double subfactors, particularly those of the double of cyclic groups, the symmetric group on 3 letters and the double of the subfactor… ▽ More We study the problem of realising modular invariants by braided subfactors and the related problem of classifying nimreps. We develop the fusion rule structure of these modular invariants. This structure is useful tool in the analysis of modular data from quantum double subfactors, particularly those of the double of cyclic groups, the symmetric group on 3 letters and the double of the subfactors with principal graph the extended Dynkin diagram D_5^(1). In particular for the double of S_3, 14 of the 48 modular modular invariants are nimless, and only 28 of the remaining 34 nimble invariants can be realised by subfactors. △ Less

Submitted 10 September, 2003; originally announced September 2003.

Critical Phenomena, modular invariants and operator algebras

Authors: David E Evans

Abstract: We review the framework subfactors provide for understanding modular invariants. We discuss the structure of a generalized Longo-Rehren subfactor and the relationship between the coupling matrices of such subfactors, modular invariance and local extensions. We relate results of Kostant, in the context of the McKay correspondence for finite subgroups of SU(2), to subfactors. A direct proof of how… ▽ More We review the framework subfactors provide for understanding modular invariants. We discuss the structure of a generalized Longo-Rehren subfactor and the relationship between the coupling matrices of such subfactors, modular invariance and local extensions. We relate results of Kostant, in the context of the McKay correspondence for finite subgroups of SU(2), to subfactors. A direct proof of how alpha-induction produces modular invariants is presented. △ Less

Submitted 23 April, 2002; originally announced April 2002.

Comments: 27 pages

Fusion rules of modular invariants

Authors: David E Evans

Abstract: Modular invariants satisfy remarkable fusion rules. Let $Z$ be a modular invariant associated to a braided subfactor $N\subset M$. The decomposition of the non-normalized modular invariants $Z Z^{*}$ and $Z^{*}Z$ into sums of normalized modular invariants is related to the decomposition of the full induced $M-M$ system of sectors. Modular invariants satisfy remarkable fusion rules. Let $Z$ be a modular invariant associated to a braided subfactor $N\subset M$. The decomposition of the non-normalized modular invariants $Z Z^{*}$ and $Z^{*}Z$ into sums of normalized modular invariants is related to the decomposition of the full induced $M-M$ system of sectors. △ Less

Submitted 23 April, 2002; originally announced April 2002.

Comments: 23 pages

Journal ref: Rev.Math.Phys. 14 (2002) 709-732

Modular invariants and subfactors

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

Abstract: 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 h… ▽ More 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 graphs (cf. the A-D-E classification for $SU(2)_k$) finds a natural explanation and interpretation. We try to give an overview on the current state of affairs concerning the expected equivalence between the classifications of braided subfactors and modular invariant two-dimensional conformal field theories. △ Less

Submitted 7 August, 2000; originally announced August 2000.

Comments: 25 pages, AMS LaTeX, epic, eepic, doc-class fic-1.cls

MSC Class: 81T40 (Primary) 46L37; 46L60; 81T05; 81R10; 22E67; 82B23; 18D10 (Secondary)

Modular invariants from subfactors

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

Abstract: 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-mat… ▽ More 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$ models, produces subfactors which realize their known modular invariants. Several properties of modular invariants have so far been noticed empirically and considered mysterious such as their intimate relationship to graphs, as for example the A-D-E classification for $SU(2)_k$. In the subfactor context these properties can be rigorously derived in a very general setting. Moreover the fusion rule isomorphism for maximally extended chiral algebras due to Moore-Seiberg, Dijkgraaf-Verlinde finds a clear and very general proof and interpretation through intermediate subfactors, not even referring to modularity of $S$ and $T$. Finally we give an overview on the current state of affairs concerning the relations between the classifications of braided subfactors and two-dimensional conformal field theories. We demonstrate in particular how to realize twisted (type II) descendant modular invariants of conformal inclusions from subfactors and illustrate the method by new examples. △ Less

Submitted 10 July, 2000; v1 submitted 16 June, 2000; originally announced June 2000.

Comments: Typos corrected and a few minor changes, 37 pages, AMS LaTeX, epic, eepic, doc-class conm-p-l.cls

MSC Class: 81T40 (Primary) 46L37; 46L60; 81T05; 81R10; 22E67; 82B23; 18D10 (Secondary)

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)

Compactly supported wavelets and representations of the Cuntz relations

Authors: Ola Bratteli, David E. Evans, Palle E. T. Jorgensen

Abstract: We study the harmonic analysis of the quadrature mirror filters coming from multiresolution wavelet analysis of compactly supported wavelets. It is known that those of these wavelets that come from third order polynomials are parametrized by the circle, and we compute that the corresponding filters generate irreducible mutually disjoint representations of of the Cuntz algebra $ O_{2} $ except at… ▽ More We study the harmonic analysis of the quadrature mirror filters coming from multiresolution wavelet analysis of compactly supported wavelets. It is known that those of these wavelets that come from third order polynomials are parametrized by the circle, and we compute that the corresponding filters generate irreducible mutually disjoint representations of of the Cuntz algebra $ O_{2} $ except at two points on the circle. One of the two exceptional points corresponds to the Haar wavelet and the other is the unique point on the circle where the father function defines a tight frame which is not an orthonormal basis. At these two points the representation decomposes into two and three mutually disjoint irreducible representations, respectively, and the two representations at the Haar point are each unitarily equivalent to one of the three representations at the other singular point. △ Less

Submitted 15 December, 1999; originally announced December 1999.

Comments: AMS-LaTeX; 29 pages, 6 figures incorporating 23 EPS diagrams and 1 LaTeX picture

MSC Class: 46L60; 47D25; 42A16; 43A65 (Primary) 46L45; 42A65; 41A15 (Secondary)

Journal ref: Applied and Computational Harmonic Analysis 8 (2000), 166--196.

Modular Invariants from Subfactors: Type I Coupling Matrices and Intermediate Subfactors

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

Abstract: A braided subfactor determines a coupling matrix Z which commutes with the S- and T-matrices arising from the braiding. Such a coupling matrix is not necessarily of "type I", i.e. in general it does not have a block-diagonal structure which can be reinterpreted as the diagonal coupling matrix with respect to a suitable extension. We show that there are always two intermediate subfactors which co… ▽ More A braided subfactor determines a coupling matrix Z which commutes with the S- and T-matrices arising from the braiding. Such a coupling matrix is not necessarily of "type I", i.e. in general it does not have a block-diagonal structure which can be reinterpreted as the diagonal coupling matrix with respect to a suitable extension. We show that there are always two intermediate subfactors which correspond to left and right maximal extensions and which determine "parent" coupling matrices Z^\pm of type I. Moreover it is shown that if the intermediate subfactors coincide, so that Z^+=Z^-, then Z is related to Z^+ by an automorphism of the extended fusion rules. The intertwining relations of chiral branching coefficients between original and extended S- and T-matrices are also clarified. None of our results depends on non-degeneracy of the braiding, i.e. the S- and T-matrices need not be modular. Examples from SO(n) current algebra models illustrate that the parents can be different, Z^+\neq Z^-, and that Z need not be related to a type I invariant by such an automorphism. △ Less

Submitted 17 February, 2000; v1 submitted 30 November, 1999; originally announced November 1999.

Comments: 25 pages, latex, a new Lemma 6.2 added to complete an argument in the proof of the following lemma, minor changes otherwise

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, 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… ▽ 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, 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-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

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

Trace-scaling automorphisms of certain stable AF algebras

Authors: D. E. Evans, A. Kishimoto

Abstract: Trace scaling automorphisms of stable AF algebras with dimension group totally ordered are outer conjugate if the scaling factors are the same (not equal to one). This is an adaptation of a similar result for the AFD type II_infty factor by Connes and extends the previous result for stable UHF algebras. Trace scaling automorphisms of stable AF algebras with dimension group totally ordered are outer conjugate if the scaling factors are the same (not equal to one). This is an adaptation of a similar result for the AFD type II_infty factor by Connes and extends the previous result for stable UHF algebras. △ Less

Submitted 27 February, 1996; originally announced February 1996.

Comments: 12 pages, latex