Jones index theory by Hilbert C${}^{*}$-bimodules and K-theory
HTML articles powered by AMS MathViewer
- by Tsuyoshi Kajiwara and Yasuo Watatani PDF
- Trans. Amer. Math. Soc. 352 (2000), 3429-3472 Request permission
Abstract:
In this paper we introduce the notion of Hilbert ${\mathrm {C}}^{*}$-bimodules, replacing the associativity condition of two-sided inner products in Rieffel’s imprimitivity bimodules by a Pimsner-Popa type inequality. We prove Schur’s Lemma and Frobenius reciprocity in this setting. We define minimality of Hilbert ${\mathrm {C}}^{*}$-bimodules and show that tensor products of minimal bimodules are also minimal. For an $A$-$A$ bimodule which is compatible with a trace on a unital ${\mathrm {C}}^{*}$-algebra $A$, its dimension (square root of Jones index) depends only on its $KK$-class. Finally, we show that the dimension map transforms the Kasparov products in $KK(A,A)$ to the product of positive real numbers, and determine the subring of $KK(A,A)$ generated by the Hilbert ${\mathrm {C}}^{*}$-bimodules for a ${\mathrm {C}}^{*}$-algebra generated by Jones projections.References
- Bruce Blackadar, $K$-theory for operator algebras, Mathematical Sciences Research Institute Publications, vol. 5, Springer-Verlag, New York, 1986. MR 859867, DOI 10.1007/978-1-4613-9572-0
- Lawrence G. Brown, Philip Green, and Marc A. Rieffel, Stable isomorphism and strong Morita equivalence of $C^*$-algebras, Pacific J. Math. 71 (1977), no. 2, 349–363. MR 463928
- Lawrence G. Brown, James A. Mingo, and Nien-Tsu Shen, Quasi-multipliers and embeddings of Hilbert $C^\ast$-bimodules, Canad. J. Math. 46 (1994), no. 6, 1150–1174. MR 1304338, DOI 10.4153/CJM-1994-065-5
- Marie Choda and Hideki Kosaki, Strongly outer actions for an inclusion of factors, J. Funct. Anal. 122 (1994), no. 2, 315–332. MR 1276161, DOI 10.1006/jfan.1994.1071
- Alain Connes, Noncommutative geometry, Academic Press, Inc., San Diego, CA, 1994. MR 1303779
- V.Deaconu, $C^*$-Algebras associated with Branched Coverings, preprint.
- Valentin Deaconu, A path model for circle algebras, J. Operator Theory 34 (1995), no. 1, 57–89. MR 1361567
- Yves Denizeau and Jean-François Havet, Correspondances d’indice fini. I. Indice d’un vecteur, J. Operator Theory 32 (1994), no. 1, 111–156 (French, with English summary). MR 1332446
- Yves Denizeau and Jean-François Havet, Correspondances d’indice fini. II. Indice d’une correspondance, Topics in operator theory, operator algebras and applications (Timişoara, 1994) Rom. Acad., Bucharest, 1995, pp. 49–79 (French, with English summary). MR 1421117
- Sergio Doplicher, Rudolf Haag, and John E. Roberts, Local observables and particle statistics. I, Comm. Math. Phys. 23 (1971), 199–230. MR 297259
- Sergio Doplicher, Rudolf Haag, and John E. Roberts, Local observables and particle statistics. II, Comm. Math. Phys. 35 (1974), 49–85. MR 334742
- Sergio Doplicher and John E. Roberts, A new duality theory for compact groups, Invent. Math. 98 (1989), no. 1, 157–218. MR 1010160, DOI 10.1007/BF01388849
- Masatoshi Enomoto, Hiroaki Takehana, and Yasuo Watatani, Automorphisms on Cuntz algebras, Math. Japon. 24 (1979/80), no. 2, 231–234. MR 550001
- David E. Evans and Yasuyuki Kawahigashi, On Ocneanu’s theory of asymptotic inclusions for subfactors, topological quantum field theories and quantum doubles, Internat. J. Math. 6 (1995), no. 2, 205–228. MR 1316301, DOI 10.1142/S0129167X95000468
- Ruy Exel, A Fredholm operator approach to Morita equivalence, $K$-Theory 7 (1993), no. 3, 285–308. MR 1244004, DOI 10.1007/BF00961067
- Frederick M. Goodman, Pierre de la Harpe, and Vaughan F. R. Jones, Coxeter graphs and towers of algebras, Mathematical Sciences Research Institute Publications, vol. 14, Springer-Verlag, New York, 1989. MR 999799, DOI 10.1007/978-1-4613-9641-3
- P. Ghez, R. Lima, and J. E. Roberts, $W^\ast$-categories, Pacific J. Math. 120 (1985), no. 1, 79–109. MR 808930
- Jean-François Havet, Espérance conditionnelle minimale, J. Operator Theory 24 (1990), no. 1, 33–55 (French). MR 1086543
- Fumio Hiai, Minimizing indices of conditional expectations onto a subfactor, Publ. Res. Inst. Math. Sci. 24 (1988), no. 4, 673–678. MR 976765, DOI 10.2977/prims/1195174872
- Masaki Izumi, Application of fusion rules to classification of subfactors, Publ. Res. Inst. Math. Sci. 27 (1991), no. 6, 953–994. MR 1145672, DOI 10.2977/prims/1195169007
- Masaki Izumi, Goldman’s type theorem for index $3$, Publ. Res. Inst. Math. Sci. 28 (1992), no. 5, 833–843. MR 1196002, DOI 10.2977/prims/1195167939
- Masaki Izumi, Subalgebras of infinite $C^*$-algebras with finite Watatani indices. I. Cuntz algebras, Comm. Math. Phys. 155 (1993), no. 1, 157–182. MR 1228532
- V. F. R. Jones, Index for subfactors, Invent. Math. 72 (1983), no. 1, 1–25. MR 696688, DOI 10.1007/BF01389127
- Lars Kadison, On split, separable subalgebras with counitality condition, Hokkaido Math. J. 24 (1995), no. 3, 527–549. MR 1357029, DOI 10.14492/hokmj/1380892607
- Christian Kassel, Quantum groups, Graduate Texts in Mathematics, vol. 155, Springer-Verlag, New York, 1995. MR 1321145, DOI 10.1007/978-1-4612-0783-2
- G. G. Kasparov, Hilbert $C^{\ast }$-modules: theorems of Stinespring and Voiculescu, J. Operator Theory 4 (1980), no. 1, 133–150. MR 587371
- G. G. Kasparov, The operator $K$-functor and extensions of $C^{\ast }$-algebras, Izv. Akad. Nauk SSSR Ser. Mat. 44 (1980), no. 3, 571–636, 719 (Russian). MR 582160
- Satoshi Kawakami and Yasuo Watatani, The multiplicativity of the minimal index of simple $C^\ast$-algebras, Proc. Amer. Math. Soc. 123 (1995), no. 9, 2809–2813. MR 1264818, DOI 10.1090/S0002-9939-1995-1264818-6
- Mahmood Khoshkam, Hilbert $C^*$-modules and conditional expectations on crossed products, J. Austral. Math. Soc. Ser. A 61 (1996), no. 1, 106–118. MR 1402116
- Kazunori Kodaka, Endomorphisms of certain irrational rotation $C^*$-algebras, Illinois J. Math. 36 (1992), no. 4, 643–658. MR 1215799
- Hideki Kosaki, Automorphisms in the irreducible decomposition of sectors, Quantum and non-commutative analysis (Kyoto, 1992) Math. Phys. Stud., vol. 16, Kluwer Acad. Publ., Dordrecht, 1993, pp. 305–316. MR 1276299
- Hideki Kosaki and Roberto Longo, A remark on the minimal index of subfactors, J. Funct. Anal. 107 (1992), no. 2, 458–470. MR 1172035, DOI 10.1016/0022-1236(92)90118-3
- Hideki Kosaki and Shigeru Yamagami, Irreducible bimodules associated with crossed product algebras, Internat. J. Math. 3 (1992), no. 5, 661–676. MR 1189679, DOI 10.1142/S0129167X9200031X
- Roberto Longo, Index of subfactors and statistics of quantum fields. I, Comm. Math. Phys. 126 (1989), no. 2, 217–247. MR 1027496
- Roberto Longo, Index of subfactors and statistics of quantum fields. II. Correspondences, braid group statistics and Jones polynomial, Comm. Math. Phys. 130 (1990), no. 2, 285–309. MR 1059320
- Roberto Longo, Minimal index and braided subfactors, J. Funct. Anal. 109 (1992), no. 1, 98–112. MR 1183606, DOI 10.1016/0022-1236(92)90013-9
- Adrian Ocneanu, Quantized groups, string algebras and Galois theory for algebras, Operator algebras and applications, Vol. 2, London Math. Soc. Lecture Note Ser., vol. 136, Cambridge Univ. Press, Cambridge, 1988, pp. 119–172. MR 996454
- A.Ocneanu, Quantized symmetry, differential geometry of finite graphs and classification of subfactors (Note recorded by Y.Kawahigashi), University of Tokyo Seminor Notes 45 (1991).
- William L. Paschke, Inner product modules over $B^{\ast }$-algebras, Trans. Amer. Math. Soc. 182 (1973), 443–468. MR 355613, DOI 10.1090/S0002-9947-1973-0355613-0
- W. Szymański and C. Peligrad, Saturated actions of finite-dimensional Hopf $*$-algebras on $C^*$-algebras, Math. Scand. 75 (1994), no. 2, 217–239. MR 1319732, DOI 10.7146/math.scand.a-12516
- Mihai Pimsner and Sorin Popa, Entropy and index for subfactors, Ann. Sci. École Norm. Sup. (4) 19 (1986), no. 1, 57–106. MR 860811
- S.Popa, Correspondences, preprint.
- Marc A. Rieffel, Induced representations of $C^{\ast }$-algebras, Advances in Math. 13 (1974), 176–257. MR 353003, DOI 10.1016/0001-8708(74)90068-1
- Marc A. Rieffel, Morita equivalence for $C^{\ast }$-algebras and $W^{\ast }$-algebras, J. Pure Appl. Algebra 5 (1974), 51–96. MR 367670, DOI 10.1016/0022-4049(74)90003-6
- Marc A. Rieffel, Morita equivalence for operator algebras, Operator algebras and applications, Part 1 (Kingston, Ont., 1980) Proc. Sympos. Pure Math., vol. 38, Amer. Math. Soc., Providence, R.I., 1982, pp. 285–298. MR 679708
- V. S. Sunder, $\textrm {II}_1$ factors, their bimodules and hypergroups, Trans. Amer. Math. Soc. 330 (1992), no. 1, 227–256. MR 1049618, DOI 10.1090/S0002-9947-1992-1049618-6
- Yasuo Watatani, Index for $C^*$-subalgebras, Mem. Amer. Math. Soc. 83 (1990), no. 424, vi+117. MR 996807, DOI 10.1090/memo/0424
- Shigeru Yamagami, A note on Ocneanu’s approach to Jones’ index theory, Internat. J. Math. 4 (1993), no. 5, 859–871. MR 1245354, DOI 10.1142/S0129167X9300039X
- Shigeru Yamagami, On unitary representation theories of compact quantum groups, Comm. Math. Phys. 167 (1995), no. 3, 509–529. MR 1316758
- S.Yamagami, Frobenius reciprocity in tensor categories, preprint (1993).
- Shigeru Yamagami, Modular theory for bimodules, J. Funct. Anal. 125 (1994), no. 2, 327–357. MR 1297671, DOI 10.1006/jfan.1994.1127
Additional Information
- Tsuyoshi Kajiwara
- Affiliation: Department of Environmental and Mathematical Sciences, Okayama Unniversity, Tsushima, Okayama 700, Japan
- Email: kajiwara@math.ems.okayama-u.ac.jp
- Yasuo Watatani
- Affiliation: Graduate School of Mathematics, Kyushu University, Ropponmatsu, Fukuoka, 810 Japan
- Email: watatani@math.kyushu-u.ac.jp
- Received by editor(s): April 28, 1995
- Received by editor(s) in revised form: March 18, 1998
- Published electronically: April 14, 2000
- Additional Notes: Partially supported by the Grants–in–aid for Scientific Research, The Ministery of Education
- © Copyright 2000 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 352 (2000), 3429-3472
- MSC (2000): Primary 46L08, 46L80
- DOI: https://doi.org/10.1090/S0002-9947-00-02392-8
- MathSciNet review: 1624182
Dedicated: Dedicated to the 60th birthday of Professor Takeshi Hirai