Vertex operator algebras, extended diagram, and McKay's observation on the Monster simple group

Authors:
Ching Hung Lam, Hiromichi Yamada and Hiroshi Yamauchi

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

Published electronically:
April 6, 2007

MathSciNet review:
2309178

Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: We study McKay's observation on the Monster simple group, which relates the -involutions of the Monster simple group to the extended diagram, using the theory of vertex operator algebras (VOAs). We first consider the sublattices of the lattice obtained by removing one node from the extended diagram at each time. We then construct a certain coset (or commutant) subalgebra associated with in the lattice VOA . There are two natural conformal vectors of central charge in such that their inner product is exactly the value predicted by Conway (1985). The Griess algebra of coincides with the algebra described in his Table 3. There is a canonical automorphism of of order . Such an automorphism can be extended to the Leech lattice VOA , and it is in fact a product of two Miyamoto involutions. In the sequel (2005) to this article, the properties of will be discussed in detail. It is expected that if is actually contained in the Moonshine VOA , the product of two Miyamoto involutions is in the desired conjugacy class of the Monster simple group.

**1.**J. H. Conway, A simple construction for the Fisher-Griess Monster group,*Invent. Math*.**79**(1985), 513-540. MR**0782233 (86h:20019)****2.**J. H. Conway, R. T. Curtis, S. P. Norton, R. A. Parker and R. A. Wilson,*ATLAS of Finite Groups*, Oxford Univ. Press, 1985. MR**0827219 (88g:20025)****3.**J. H. Conway and N. J. A. Sloane,*Sphere Packings, Lattices and Groups*, Springer-Verlag, Berlin-New York, 1988. MR**0920369 (89a:11067)****4.**Chongying Dong,*Vertex algebras associated with even lattices*, J. Algebra**161**(1993), no. 1, 245–265. MR**1245855**, https://doi.org/10.1006/jabr.1993.1217**5.**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****6.**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**, https://doi.org/10.1090/memo/0494**7.**I. B. Frenkel, J. Lepowsky and A. Meurman,*Vertex Operator Algebras and the Monster*, Pure and Applied Math., Vol.**134**, Academic Press, New York, 1988.MR**0996026 (90h:17026)****8.**George Glauberman and Simon P. Norton,*On McKay’s connection between the affine 𝐸₈ 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****9.**R. Griess, The Friendly Giant,*Invent. Math.***69**(1982), 1-102.MR**0671653 (84m:20024)****10.**Masaaki Harada and Masaaki Kitazume,*𝑍₄-code constructions for the Niemeier lattices and their embeddings in the Leech lattice*, European J. Combin.**21**(2000), no. 4, 473–485. MR**1756153**, https://doi.org/10.1006/eujc.1999.0360**11.**Ching Hung Lam and Hiromichi Yamada,*Decomposition of the lattice vertex operator algebra 𝑉_{√2𝐴_{𝑙}}*, J. Algebra**272**(2004), no. 2, 614–624. MR**2028073**, https://doi.org/10.1016/S0021-8693(03)00507-6**12.**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****13.**J. Lepowsky and A. Meurman, An -approach to the Leech lattice and the Conway group,*J. Algebra***77**(1982), 484-504.MR**0673130 (84a:10033)****14.**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****15.**J. McKay, Graphs, singularities, and finite groups,*Proc. Symp. Pure Math.*, Vol.**37**, Amer. Math. Soc., Providence, RI, 1980, pp. 183-186.MR**0604577 (82e:20014)****16.**Masahiko Miyamoto,*Griess algebras and conformal vectors in vertex operator algebras*, J. Algebra**179**(1996), no. 2, 523–548. MR**1367861**, https://doi.org/10.1006/jabr.1996.0023**17.**Masahiko Miyamoto,*Binary codes and vertex operator (super)algebras*, J. Algebra**181**(1996), no. 1, 207–222. MR**1382033**, https://doi.org/10.1006/jabr.1996.0116**18.**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**, https://doi.org/10.4007/annals.2004.159.535**19.**A. B. Zamolodchikov and V. A. Fateev, Nonlocal (parafermion) currents in two dimensional conformal quantum field theory and self-dual critical points in -symmetric statistical systems,*Sov. Phys. JETP***62**(1985), 215-225. MR**0830910 (87f:82030)**

Retrieve articles in *Transactions of the American Mathematical Society*
with MSC (2000):
17B68,
17B69,
20D08

Retrieve articles in all journals with MSC (2000): 17B68, 17B69, 20D08

Additional Information

**Ching Hung Lam**

Affiliation:
Department of Mathematics, National Cheng Kung University, Tainan, Taiwan 701

Email:
chlam@mail.ncku.edu.tw

**Hiromichi Yamada**

Affiliation:
Department of Mathematics, Hitotsubashi University, Kunitachi, Tokyo 186-8601, Japan

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

DOI:
https://doi.org/10.1090/S0002-9947-07-04002-0

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

Article copyright:
© Copyright 2007
American Mathematical Society