Vertex operator algebras, extended $E_8$ diagram, and McKay’s observation on the Monster simple group
HTML articles powered by AMS MathViewer
- by Ching Hung Lam, Hiromichi Yamada and Hiroshi Yamauchi PDF
- Trans. Amer. Math. Soc. 359 (2007), 4107-4123 Request permission
Abstract:
We study McKay’s observation on the Monster simple group, which relates the $2A$-involutions of the Monster simple group to the extended $E_8$ diagram, using the theory of vertex operator algebras (VOAs). We first consider the sublattices $L$ of the $E_8$ lattice obtained by removing one node from the extended $E_8$ diagram at each time. We then construct a certain coset (or commutant) subalgebra $U$ associated with $L$ in the lattice VOA $V_{\sqrt {2}E_8}$. There are two natural conformal vectors of central charge $1/2$ in $U$ such that their inner product is exactly the value predicted by Conway (1985). The Griess algebra of $U$ coincides with the algebra described in his Table 3. There is a canonical automorphism of $U$ of order $|E_8/L|$. Such an automorphism can be extended to the Leech lattice VOA $V_\Lambda$, and it is in fact a product of two Miyamoto involutions. In the sequel (2005) to this article, the properties of $U$ will be discussed in detail. It is expected that if $U$ is actually contained in the Moonshine VOA $V^\natural$, the product of two Miyamoto involutions is in the desired conjugacy class of the Monster simple group.References
- J. H. Conway, A simple construction for the Fischer-Griess monster group, Invent. Math. 79 (1985), no. 3, 513–540. MR 782233, DOI 10.1007/BF01388521
- J. H. Conway, R. T. Curtis, S. P. Norton, R. A. Parker, and R. A. Wilson, $\Bbb {ATLAS}$ of finite groups, Oxford University Press, Eynsham, 1985. Maximal subgroups and ordinary characters for simple groups; With computational assistance from J. G. Thackray. MR 827219
- J. H. Conway and N. J. A. Sloane, Sphere packings, lattices and groups, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 290, Springer-Verlag, New York, 1988. With contributions by E. Bannai, J. Leech, S. P. Norton, A. M. Odlyzko, R. A. Parker, L. Queen and B. B. Venkov. MR 920369, DOI 10.1007/978-1-4757-2016-7
- Chongying Dong, Vertex algebras associated with even lattices, J. Algebra 161 (1993), no. 1, 245–265. MR 1245855, DOI 10.1006/jabr.1993.1217
- C. Dong, H. Li, G. Mason, and S. P. Norton, Associative subalgebras of the Griess algebra and related topics, The Monster and Lie algebras (Columbus, OH, 1996) Ohio State Univ. Math. Res. Inst. Publ., vol. 7, de Gruyter, Berlin, 1998, pp. 27–42. MR 1650629
- Igor B. Frenkel, Yi-Zhi Huang, and James Lepowsky, On axiomatic approaches to vertex operator algebras and modules, Mem. Amer. Math. Soc. 104 (1993), no. 494, viii+64. MR 1142494, DOI 10.1090/memo/0494
- Igor Frenkel, James Lepowsky, and Arne Meurman, Vertex operator algebras and the Monster, Pure and Applied Mathematics, vol. 134, Academic Press, Inc., Boston, MA, 1988. MR 996026
- George Glauberman and Simon P. Norton, On McKay’s connection between the affine $E_8$ diagram and the Monster, Proceedings on Moonshine and related topics (Montréal, QC, 1999) CRM Proc. Lecture Notes, vol. 30, Amer. Math. Soc., Providence, RI, 2001, pp. 37–42. MR 1877755, DOI 10.1090/crmp/030/04
- Robert L. Griess Jr., The friendly giant, Invent. Math. 69 (1982), no. 1, 1–102. MR 671653, DOI 10.1007/BF01389186
- Masaaki Harada and Masaaki Kitazume, $Z_4$-code constructions for the Niemeier lattices and their embeddings in the Leech lattice, European J. Combin. 21 (2000), no. 4, 473–485. MR 1756153, DOI 10.1006/eujc.1999.0360
- Ching Hung Lam and Hiromichi Yamada, Decomposition of the lattice vertex operator algebra $V_{\sqrt {2}A_l}$, J. Algebra 272 (2004), no. 2, 614–624. MR 2028073, DOI 10.1016/S0021-8693(03)00507-6
- Ching Hung Lam, Hiromichi Yamada, and Hiroshi Yamauchi, McKay’s observation and vertex operator algebras generated by two conformal vectors of central charge 1/2, IMRP Int. Math. Res. Pap. 3 (2005), 117–181. MR 2160172
- James Lepowsky and Arne Meurman, An $E_{8}$-approach to the Leech lattice and the Conway group, J. Algebra 77 (1982), no. 2, 484–504. MR 673130, DOI 10.1016/0021-8693(82)90268-X
- James Lepowsky and Haisheng Li, Introduction to vertex operator algebras and their representations, Progress in Mathematics, vol. 227, Birkhäuser Boston, Inc., Boston, MA, 2004. MR 2023933, DOI 10.1007/978-0-8176-8186-9
- John McKay, Graphs, singularities, and finite groups, The Santa Cruz Conference on Finite Groups (Univ. California, Santa Cruz, Calif., 1979) Proc. Sympos. Pure Math., vol. 37, Amer. Math. Soc., Providence, R.I., 1980, pp. 183–186. MR 604577
- Masahiko Miyamoto, Griess algebras and conformal vectors in vertex operator algebras, J. Algebra 179 (1996), no. 2, 523–548. MR 1367861, DOI 10.1006/jabr.1996.0023
- Masahiko Miyamoto, Binary codes and vertex operator (super)algebras, J. Algebra 181 (1996), no. 1, 207–222. MR 1382033, DOI 10.1006/jabr.1996.0116
- Masahiko Miyamoto, A new construction of the Moonshine vertex operator algebra over the real number field, Ann. of Math. (2) 159 (2004), no. 2, 535–596. MR 2081435, DOI 10.4007/annals.2004.159.535
- A. B. Zamolodchikov and V. A. Fateev, Nonlocal (parafermion) currents in two-dimensional conformal quantum field theory and self-dual critical points in $Z_N$-symmetric statistical systems, Zh. Èksper. Teoret. Fiz. 89 (1985), no. 2, 380–399 (Russian); English transl., Soviet Phys. JETP 62 (1985), no. 2, 215–225 (1986). MR 830910
Additional Information
- Ching Hung Lam
- Affiliation: Department of Mathematics, National Cheng Kung University, Tainan, Taiwan 701
- MR Author ID: 363106
- Email: chlam@mail.ncku.edu.tw
- Hiromichi Yamada
- Affiliation: Department of Mathematics, Hitotsubashi University, Kunitachi, Tokyo 186-8601, Japan
- MR Author ID: 232024
- Email: yamada@math.hit-u.ac.jp
- Hiroshi Yamauchi
- Affiliation: Graduate School of Mathematical Sciences, The University of Tokyo, Tokyo, 153-8914, Japan
- Email: yamauchi@ms.u-tokyo.ac.jp
- Received by editor(s): April 4, 2004
- Received by editor(s) in revised form: March 4, 2005
- Published electronically: April 6, 2007
- Additional Notes: The first author was partially supported by NSC grant 91-2115-M-006-014 of Taiwan, R.O.C
The second author was partially supported by JSPS Grant-in-Aid for Scientific Research No. 15540015 - © Copyright 2007 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 359 (2007), 4107-4123
- MSC (2000): Primary 17B68, 17B69, 20D08
- DOI: https://doi.org/10.1090/S0002-9947-07-04002-0
- MathSciNet review: 2309178