Abstract
In this paper, we study McKay’s E 6-observation on the largest Fischer 3-transposition group Fi24. We investigate a vertex operator algebra \({VF^{\natural}}\) of central charge \({23\frac{1}{5}}\) on which the Fischer group Fi24 naturally acts. We show that there is a natural correspondence between dihedral subgroups of Fi24 and certain vertex operator subalgebras constructed by the nodes of the affine E 6 diagram by investigating so-called derived Virasoro vectors of central charge 6/7. This allows us to reinterpret McKay’s E 6-observation via the theory of vertex operator algebras.
It is also shown that the product of two non-commuting Miyamoto involutions of σ-type associated to derived c = 6/7 Virasoro vectors is an element of order 3, under certain general hypotheses on the vertex operator algebra. For the case of \({VF^{\natural}}\) , we identify these involutions with the 3-transpositions of the Fischer group Fi24.
Similar content being viewed by others
References
Conway J.H., Curtis R.T., Norton S.P., Parker R.A., Wilson R.A.: ATLAS of finite groups. Clarendon Press, Oxford (1985)
Aschbacher, M.: 3-transposition groups. Cambridge Tracts in Mathematics 124. Cambridge: Cambridge University Press, 1997
Borcherds R.E.: Vertex algebras, Kac-Moody algebras and the Monster. Proc. Nat. Acad. Sci. USA 83, 3068–3071 (1986)
Conway J.H.: A simple construction for the Fischer-Griess Monster group. Invent. Math. 79, 513–540 (1985)
Conway J.H., Sloane N.J.A.: Sphere packings, lattices and groups. 3edn. Springer, New York (1999)
Cuypers H., Hall J.I.: 3-transposition groups of orthogonal type. J. Algebra 152, 342–373 (1990)
Cuypers H., Hall J.I.: The 3-transposition groups with trivial center. J. Algebra 178, 149–193 (1995)
Dong, C., Li, H., Mason, G., Norton, S.P.: Associative subalgebras of Griess algebra and related topics. In: Proc. of the Conference on the Monster and Lie algebra at the Ohio State University, May 1996, ed. by J. Ferrar, K. Harada, Berlin-New York: Walter de Gruyter, 1998
Dong, C., Mason, G.: The construction of the moonshine module as a Z p -orbifold. In: Mathematical aspects of conformal and topological field theories and quantum groups (South Hadley, MA, 1992), Contemp. Math. 175, Providence, RI: Amer. Math. Soc., 1994, pp. 37–52
Dong, C., Mason, G., Zhu, Y.: Discrete series of the Virasoro algebra and the moonshine module. Proc. Symp. Pure. Math. 56 II, Providence, RI: Amer. Math. Soc. 1994, pp. 295–316
Dong, C., Nagatomo, K.: Automorphism groups and twisted modules for lattice vertex operator algebras. In: Recent developments in quantum affine algebras and related topics (Raleigh, NC, 1998), Contemp. Math. 248, Providence, RI: Amer. Math. Soc., 1999, pp. 117–133
Dong C., Yamskulna G.: Vertex operator algebras, generalized doubles and dual pairs. Math. Z. 241, 397–423 (2002)
Fischer B.: Finite groups generated by 3-transpositions. I. Invent. Math. 13, 232–246 (1971)
Frenkel I.B., Lepowsky J., Meurman A.: Vertex Operator Algebras and the Monster. Academic Press, New York (1988)
Frenkel I.B., Zhu Y.: Vertex operator algebras associated to representation of affine and Virasoro algebras. Duke Math. J. 66, 123–168 (1992)
Griess R.L.: The friendly giant. Invent. Math. 69, 1–102 (1982)
Griess R.L.: Twelve Sporadic Groups. Springer Verlag, Berlin-Heidelberg-New York (1998)
Griess, R.L.: A vertex operator algebra related to E 8 with automorphism group O+(10, 2). In: The Monster and Lie algebras (Columbus, OH, 1996), Ohio State Univ. Math. Res. Inst. Publ. 7, Berlin: de Gruyter, 1998, pp. 43–58
Griess R.L.: Pieces of eight: semiselfdual lattices and a new foundation for the theory of Conway and Mathieu groups. Adv. Math. 148(1), 75–104 (1999)
Griess R.L., Lam C.H.: EE 8 lattices and dihedral groups. Pure and Applied Math Quarterly (special issue for Jacques Tits) 7(3), 621–743 (2011)
Griess R.L., Lam C.H.: Diagonal lattices and rootless EE 8 pairs. J. Pure Appl. Alge 216(1), 154–169 (2012)
Griess R.L., Lam C.H.: A moonshine path from to the Monster. J. Pure and Appl. Algebra 215, 927–948 (2011)
Höhn, G.: The group of symmetries of the shorter moonshine module. Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg 80, 275–283 (2010)
Höhn, G., Lam, C.H., Yamauchi, H.: McKay’s E 7 observation on the Baby Monster. Internat. Math. Res. Notices (2011), doi:10.1093/imrn/rnr009 Feb. 2011
Kitazume M., Lam C., Yamada H.: 3-state Potts model, Moonshine vertex operator algebra, and 3A-elements of the Monster group. Internat. Math. Res. Notices 23, 1269–1303 (2003)
Kitazume, M., Miyamoto, M.: 3-transposition automorphism groups of VOA. In: Groups and combinatorics–in memory of Michio Suzuki, Adv. Stud. Pure Math. 32, Tokyo: Math. Soc. Japan, 2001, pp. 315–324
Kitazume M., Miyamoto M., Yamada H.: Ternary codes and vertex operator algebras. J. Algebra 223, 379–395 (2000)
Lam C.H.: Representations of ternary code vertex operator algebras. Comm. Algebra 29(3), 951–971 (2001)
Lam, C.H., Miyamoto, M.: Niemeier lattices, Coxeter elements, and McKay’s E 8-observation on the Monster simple group. Internat. Math. Res. Notices Article ID 35967 (2006), 1–27
Lam C.H., Lam N., Yamauchi H.: Extension of unitary Virasoro vertex operator algebra by a simple module. Internat. Math. Res. Notices 11, 577–611 (2003)
Lam C.H., Sakuma S., Yamauchi H.: Ising vectors and automorphism groups of commutant subalgebras related to root systems. Math. Z. 255(3), 597–626 (2007)
Lam, C.H., Shimakura, H.: Ising vectors in the vertex operator algebra \({V_{\Lambda}^+}\) associated with the Leech lattice Λ. Internat. Math. Res. Notices 2007 Art. ID rnm132, 21 pp
Lam C.H., Yamada H., Yamauchi H.: Vertex operator algebras, extended E 8-diagram, and McKay’s observation on the Monster simple group. Trans. Amer. Math. Soc. 359, 4107–4123 (2007)
Lam C.H., Yamada H., Yamauchi H.: McKay’s observation and vertex operator algebras generated by two conformal vectors of central charge 1/2. Internat. Math. Res. Papers 3, 117–181 (2005)
Lam C., Yamada H.: Tricritical 3-state Potts model and vertex operator algebras constructed from ternary codes. Comm. Algebra 32, 4197–4219 (2004)
Matsuo A.: Norton’s trace formulae for the Griess algebra of a vertex operator algebra with larger symmetry. Commun. Math. Phys. 224, 565–591 (2001)
Matsuo A.: 3-transposition groups of symplectic type and vertex operator algebras. J. Math. Soc. Japan 57(3), 639–649 (2005)
McKay, J.: Graphs, singularities, and finite groups. Proc. Symp. Pure Math., Vol. 37, Providence, RI: Amer. Math. Soc., 1980, pp. 183–186
Meyer W., Neutsch W.: Associative subalgebras of the Griess algebra. J. Algebra 158, 1–17 (1993)
Miyamoto M.: Griess algebras and conformal vectors in vertex operator algebras. J. Algebra 179, 528–548 (1996)
Miyamoto M.: 3-state Potts model and automorphisms of vertex operator algebras of order 3. J. Algebra 239, 56–76 (2001)
Miyamoto M.: VOAs generated by two conformal vectors whose τ-involutions generate S 3. J. Algebra 268, 653–671 (2003)
Miyamoto M.: A new construction of the moonshine vertex operator algebra over the real number field. Ann. of Math. 159, 535–596 (2004)
Sakuma, S.: 6-transposition property of τ-involutions of vertex operator algebras. Internat. Math. Res. Notices 2007, no. 9, Art. ID rnm 030, 19 pp
Sakuma S., Yamauchi H.: Vertex operator algebra with two Miyamoto involutions generating S 3. J. Algebra 267, 272–297 (2003)
Wang W.: Rationality of Virasoro vertex operator algebras. Internat. Math. Res. Notices 71, 197–211 (1993)
Wilson R.: The odd-local subgroup of the Monster. J. Austral. Math. Soc. (Series A) 44, 1–16 (1988)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Y. Kawahigashi
Partially supported by Kansas NSF EPSCoR grant NSF32239KAN32240.
Partially supported by NSC grant 97-2115-M-006-015-MY3 and National Center for Theoretical Sciences, Taiwan.
Partially supported by JSPS Grant-in-Aid for Young Scientists (Start-up) No. 19840025 and (B) No. 21740011.
Rights and permissions
About this article
Cite this article
Höhn, G., Lam, C.H. & Yamauchi, H. McKay’s E 6 Observation on the Largest Fischer Group. Commun. Math. Phys. 310, 329–365 (2012). https://doi.org/10.1007/s00220-011-1413-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00220-011-1413-8