Representation theory of $L_k\left (\mathfrak {osp}(1 \vert 2)\right )$ from vertex tensor categories and Jacobi forms
HTML articles powered by AMS MathViewer
- by Thomas Creutzig, Jesse Frohlich and Shashank Kanade PDF
- Proc. Amer. Math. Soc. 146 (2018), 4571-4589 Request permission
Abstract:
The purpose of this work is to illustrate in a family of interesting examples how to study the representation theory of vertex operator superalgebras by combining the theory of vertex algebra extensions and modular forms.
Let $L_k\left (\mathfrak {osp}(1 | 2)\right )$ be the simple affine vertex operator superalgebra of $\mathfrak {osp}(1|2)$ at an admissible level $k$. We use a Jacobi form decomposition to see that this is a vertex operator superalgebra extension of $L_k(\mathfrak {sl}_2)\otimes \text {Vir}(p, (p+p’)/2)$ where $k+3/2=p/(2p’)$ and $\text {Vir}(u, v)$ denotes the regular Virasoro vertex operator algebra of central charge $c=1-6(u-v)^2/(uv)$. Especially, for a positive integer $k$, we get a regular vertex operator superalgebra, and this case is studied further.
The interplay of the theory of vertex algebra extensions and modular data of the vertex operator subalgebra allows us to classify all simple local (untwisted) and Ramond twisted $L_k\left (\mathfrak {osp}(1 | 2)\right )$-modules and to obtain their super fusion rules. The latter are obtained in a second way from Verlinde’s formula for vertex operator superalgebras. Finally, using again the theory of vertex algebra extensions, we find all simple modules and their fusion rules of the parafermionic coset $C_k = \text {Com}\left (V_L, L_k\left (\mathfrak {osp}(1 | 2)\right )\right )$, where $V_L$ is the lattice vertex operator algebra of the lattice $L=\sqrt {2k}\mathbb {Z}$.
References
- Tomoyuki Arakawa, Thomas Creutzig, and Andrew R. Linshaw, Cosets of Bershadsky-Polyakov algebras and rational $\mathcal W$-algebras of type $A$, Selecta Math. (N.S.) 23 (2017), no. 4, 2369–2395. MR 3703456, DOI 10.1007/s00029-017-0340-8
- Tomoyuki Arakawa, Ching Hung Lam, and Hiromichi Yamada, Zhu’s algebra, $C_2$-algebra and $C_2$-cofiniteness of parafermion vertex operator algebras, Adv. Math. 264 (2014), 261–295. MR 3250285, DOI 10.1016/j.aim.2014.07.021
- Bojko Bakalov and Alexander Kirillov Jr., Lectures on tensor categories and modular functors, University Lecture Series, vol. 21, American Mathematical Society, Providence, RI, 2001. MR 1797619, DOI 10.1090/ulect/021
- S. Carnahan and M. Miyamoto, Regularity of fixed-point vertex operator algebras, arXiv:1603.05645.
- T. Creutzig, S. Kanade, and A. Linshaw, Simple current extensions beyond semi-simplicity, arXiv:1511.08754.
- T. Creutzig, S. Kanade, A. Linshaw, and D. Ridout, Schur-Weyl duality for Heisenberg cosets, to appear in Transformation Groups. arXiv:1611.00305.
- T. Creutzig, R. McRae, and S. Kanade, Tensor categories for vertex operator superalgebra extensions, arXiv:1705.05017.
- T. Creutzig and A. Linshaw, Cosets of affine vertex algebras inside larger structures, arXiv:1407.8512v3.
- Thomas Creutzig and David Ridout, Modular data and Verlinde formulae for fractional level WZW models I, Nuclear Phys. B 865 (2012), no. 1, 83–114. MR 2968504, DOI 10.1016/j.nuclphysb.2012.07.018
- Thomas Creutzig and David Ridout, Modular data and Verlinde formulae for fractional level WZW models II, Nuclear Phys. B 875 (2013), no. 2, 423–458. MR 3093193, DOI 10.1016/j.nuclphysb.2013.07.008
- J. M. Camino, A. V. Ramallo, and J. M. Sánchez de Santos, Graded parafermions, Nuclear Phys. B 530 (1998), no. 3, 715–741. MR 1653496, DOI 10.1016/S0550-3213(98)00505-7
- Chongying Dong and Jianzhi Han, Some finite properties for vertex operator superalgebras, Pacific J. Math. 258 (2012), no. 2, 269–290. MR 2981954, DOI 10.2140/pjm.2012.258.269
- Chongying Dong, Haisheng Li, and Geoffrey Mason, Compact automorphism groups of vertex operator algebras, Internat. Math. Res. Notices 18 (1996), 913–921. MR 1420556, DOI 10.1155/S1073792896000566
- Chongying Dong, Xiangyu Jiao, and Feng Xu, Quantum dimensions and quantum Galois theory, Trans. Amer. Math. Soc. 365 (2013), no. 12, 6441–6469. MR 3105758, DOI 10.1090/S0002-9947-2013-05863-1
- Chongying Dong, Ching Hung Lam, and Hiromichi Yamada, $W$-algebras related to parafermion algebras, J. Algebra 322 (2009), no. 7, 2366–2403. MR 2553685, DOI 10.1016/j.jalgebra.2009.03.034
- Chongying Dong and Li Ren, Representations of the parafermion vertex operator algebras, Adv. Math. 315 (2017), 88–101. MR 3667581, DOI 10.1016/j.aim.2017.05.016
- Chongying Dong and Qing Wang, On $C_2$-cofiniteness of parafermion vertex operator algebras, J. Algebra 328 (2011), 420–431. MR 2745574, DOI 10.1016/j.jalgebra.2010.10.015
- Alexei Davydov, Michael Müger, Dmitri Nikshych, and Victor Ostrik, The Witt group of non-degenerate braided fusion categories, J. Reine Angew. Math. 677 (2013), 135–177. MR 3039775, DOI 10.1515/crelle.2012.014
- Pavel Etingof, Shlomo Gelaki, Dmitri Nikshych, and Victor Ostrik, Tensor categories, Mathematical Surveys and Monographs, vol. 205, American Mathematical Society, Providence, RI, 2015. MR 3242743, DOI 10.1090/surv/205
- Pavel Etingof, Dmitri Nikshych, and Viktor Ostrik, On fusion categories, Ann. of Math. (2) 162 (2005), no. 2, 581–642. MR 2183279, DOI 10.4007/annals.2005.162.581
- I. P. Ennes, A. V. Ramallo, and J. M. Sanchez de Santos, $\textrm {osp}(1|2)$ conformal field theory, Trends in theoretical physics (La Plata, 1997) AIP Conf. Proc., vol. 419, Amer. Inst. Phys., Woodbury, NY, 1998, pp. 138–150. MR 1655049
- Edward Frenkel and David Ben-Zvi, Vertex algebras and algebraic curves, 2nd ed., Mathematical Surveys and Monographs, vol. 88, American Mathematical Society, Providence, RI, 2004. MR 2082709, DOI 10.1090/surv/088
- Jean-François Fortin, Pierre Mathieu, and S. Ole Warnaar, Characters of graded parafermion conformal field theory, Adv. Theor. Math. Phys. 11 (2007), no. 6, 945–989. MR 2368940
- Igor B. Frenkel and Yongchang Zhu, Vertex operator algebras associated to representations of affine and Virasoro algebras, Duke Math. J. 66 (1992), no. 1, 123–168. MR 1159433, DOI 10.1215/S0012-7094-92-06604-X
- Yi-Zhi Huang, Vertex operator algebras and the Verlinde conjecture, Commun. Contemp. Math. 10 (2008), no. 1, 103–154. MR 2387861, DOI 10.1142/S0219199708002727
- Yi-Zhi Huang, Rigidity and modularity of vertex tensor categories, Commun. Contemp. Math. 10 (2008), no. suppl. 1, 871–911. MR 2468370, DOI 10.1142/S0219199708003083
- Yi-Zhi Huang, Cofiniteness conditions, projective covers and the logarithmic tensor product theory, J. Pure Appl. Algebra 213 (2009), no. 4, 458–475. MR 2483831, DOI 10.1016/j.jpaa.2008.07.016
- Yi-Zhi Huang, Alexander Kirillov Jr., and James Lepowsky, Braided tensor categories and extensions of vertex operator algebras, Comm. Math. Phys. 337 (2015), no. 3, 1143–1159. MR 3339173, DOI 10.1007/s00220-015-2292-1
- Yi-Zhi Huang and James Lepowsky, Tensor products of modules for a vertex operator algebra and vertex tensor categories, Lie theory and geometry, Progr. Math., vol. 123, Birkhäuser Boston, Boston, MA, 1994, pp. 349–383. MR 1327541, DOI 10.1007/978-1-4612-0261-5_{1}3
- Yi-Zhi Huang and James Lepowsky, Tensor categories and the mathematics of rational and logarithmic conformal field theory, J. Phys. A 46 (2013), no. 49, 494009, 21. MR 3146015, DOI 10.1088/1751-8113/46/49/494009
- Yi-Zhi Huang, James Lepowsky, and Lin Zhang, Logarithmic tensor category theory for generalized modules for a conformal vertex algebra, I: introduction and strongly graded algebras and their generalized modules, Conformal field theories and tensor categories, Math. Lect. Peking Univ., Springer, Heidelberg, 2014, pp. 169–248. MR 3585368
- Kenji Iohara and Yoshiyuki Koga, Representation theory of the Virasoro algebra, Springer Monographs in Mathematics, Springer-Verlag London, Ltd., London, 2011. MR 2744610, DOI 10.1007/978-0-85729-160-8
- Kenji Iohara and Yoshiyuki Koga, Fusion algebras for $N=1$ superconformal field theories through coinvariants. I. $\widehat \textrm {osp}(1|2)$-symmetry, J. Reine Angew. Math. 531 (2001), 1–34. MR 1810114, DOI 10.1515/crll.2001.007
- Alexander Kirillov Jr. and Viktor Ostrik, On a $q$-analogue of the McKay correspondence and the ADE classification of $\mathfrak {sl}_2$ conformal field theories, Adv. Math. 171 (2002), no. 2, 183–227. MR 1936496, DOI 10.1006/aima.2002.2072
- Victor G. Kac and Minoru Wakimoto, Modular invariant representations of infinite-dimensional Lie algebras and superalgebras, Proc. Nat. Acad. Sci. U.S.A. 85 (1988), no. 14, 4956–4960. MR 949675, DOI 10.1073/pnas.85.14.4956
- Victor Ostrik and Michael Sun, Level-rank duality via tensor categories, Comm. Math. Phys. 326 (2014), no. 1, 49–61. MR 3162483, DOI 10.1007/s00220-013-1869-9
- A. Rocha-Caridi, Vacuum vector representations of the Virasoro algebra, Vertex operators in mathematics and physics (Berkeley, Calif., 1983) Math. Sci. Res. Inst. Publ., vol. 3, Springer, New York, 1985, pp. 451–473. MR 781391, DOI 10.1007/978-1-4613-9550-8_{2}2
- D. Ridout, J. Snadden, and S. Wood, An admissible level $\widehat {\mathfrak {osp}}(1|2)$-model: Modular transformations and the Verlinde formula, arXiv:1705.04006.
- Weiqiang Wang, Rationality of Virasoro vertex operator algebras, Internat. Math. Res. Notices 7 (1993), 197–211. MR 1230296, DOI 10.1155/S1073792893000212
Additional Information
- Thomas Creutzig
- Affiliation: Department of Mathematical and Statistical Sciences, University of Alberta, Edmonton, Alberta T6G 2G1, Canada
- MR Author ID: 832147
- ORCID: 0000-0002-7004-6472
- Email: creutzig@ualberta.ca
- Jesse Frohlich
- Affiliation: Department of Mathematical and Statistical Sciences, University of Alberta, Edmonton, Alberta T6G 2G1, Canada
- Address at time of publication: Department of Mathematics, University of Toronto, Toronto, Ontario, Canada M5S 2E4
- Email: frohlich@math.utoronto.ca
- Shashank Kanade
- Affiliation: Department of Mathematical and Statistical Sciences, University of Alberta, Edmonton, Alberta T6G 2G1, Canada
- Address at time of publication: Department of Mathematics, University of Denver, Denver, Colorado 80208
- MR Author ID: 1120726
- Email: kanade@ualberta.ca, shashank.kanade@du.edu
- Received by editor(s): June 13, 2017
- Received by editor(s) in revised form: December 27, 2017
- Published electronically: August 10, 2018
- Additional Notes: The first author was supported by the Natural Sciences and Engineering Research Council of Canada (RES0020460).
The second author was supported in part by a PIMS postdoctoral fellowship and by Endeavour Research Fellowship (2017) awarded by the Department of Education and Training, Australian government.
The authors thank Robert McRae and David Ridout for illuminating discussions. - Communicated by: Kailash Misra
- © Copyright 2018 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 146 (2018), 4571-4589
- MSC (2010): Primary 17B69, 81R10, 18D10
- DOI: https://doi.org/10.1090/proc/14066
- MathSciNet review: 3856129