scientific article; zbMATH DE number 1003134
conformal field theoryConnes fusionConnes Sauvageot tensor productHilbert \(B\)-modulehyperfinite factorloop groupsquantum groupoidssubfactors
Loop groups and related constructions, group-theoretic treatment (22E67) Applications of Lie groups to the sciences; explicit representations (22E70) Classifications of (C^*)-algebras (46L35) Subfactors and their classification (46L37) Groups of diffeomorphisms and homeomorphisms as manifolds (58D05) Axiomatic quantum field theory; operator algebras (81T05) Two-dimensional field theories, conformal field theories, etc. in quantum mechanics (81T40)
In his conference, Vaughan Jones explains the importance of the Connes-Sauvageot tensor product [\textit{A. Connes}, ``Non commutative geometry, Academic Press (Zbl 0818.46076) Chap. V. App. B, or \textit{J.-L. Sauvageot}, J. Oper. Theory 9, 237-252 (1983; Zbl 0517.46050)] which is denoted here \(H\otimes_B K\) where \(B\) is a von Neumann algebra and \(H\) (resp. \(K\)) is a right (resp. left) Hilbert \(B\)-module, and which leads to Connes' fusion. As a constructive example he develops \textit{A. J. Wasserman}'s work on loop groups [Invent. Math. 133, No. 3, 467-538 (1998) and Proceedings of the International Congress of Mathematicians, ICM 94, Vol. II (1995; Zbl 0854.46055)]. Let \(G\) be any simply connected compact Lie group, \(I\) any subinterval of the complex circle \(S^1\), one defines \(L_IG=\{f:S^1\to G\mid f\) is \(C^\infty\) and \(f\equiv 1\) on \(I^c=S^1\setminus I\}\), so \(LG=L_{S^1}G\) is a loop group. For any representation \((H,\pi)\) of \(G\) in a certain class (discrete series) the von Neumann algebra \(\pi(L_IG)\) is an hyperfinite factor of type \(\text{III}_1\) and \(H\) is a \(\pi(L_I G)- \pi{(L_{I^c} G)}^{op}\) bimodule so one can make the Connes fusion. The case \(G= SU(N)\) is investigated using vertex operators of \textit{V. G. Khnizhnik} and \textit{A. B. Zamolodchikov} [Nucl. Phys. B 247, No. 1, 83-103 (1984; Zbl 0661.17020)]. In particular the inclusion \(\pi(L_I G)\subset \pi(L_{I^c} G)'\) gives an example of irreducible inclusion of subfactors of finite and computable index, and for instance for every integer \(\ell\) one recovers an inclusion of index \(4\cos^2(\pi/ \ell+2)\). For the entire collection see [Zbl 0851.00039].
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4335089)
