{"title":"Groups of Lie type, vertex algebras, and modular moonshine","authors":"R. Griess, C. Lam","doi":"10.3934/ERA.2014.21.167","DOIUrl":null,"url":null,"abstract":"We use recent work on integral forms in vertex operator algebras to construct vertex algebras over general commutative rings and Chevalley groups acting on them as vertex algebra automorphisms. \nIn this way, we get series of vertex algebras over fields whose automorphism groups are essentially those Chevalley groups (actually, an exact statement depends on the field and involves upwards extensions of these groups by outer diagonal and graph automorphisms). In particular, given a prime power $q$, we realize each finite simple group which is a Chevalley or Steinberg variations over $\\mathbb{F}_q$ as \"most of'' the full automorphism group of a vertex algebra over $\\mathbb{F}_q$. \nThese finite simple groups are \n\\[ A_n(q), B_n(q), C_n(q), D_n(q), E_6(q), E_7(q), E_8(q), F_4(q), G_2(q) \\] \n\\[ \\text{and } ^{2}A_n(q), ^{2}D_n(q), ^{3}D_4(q), ^{2}E_6(q), \\] \nwhere $q$ is a prime power. \n \nAlso, we define certain reduced VAs. In characteristics 2 and 3, \nthere are exceptionally large automorphism groups. A covering algebra idea of Frohardt and Griess for Lie algebras is applied to \nthe vertex algebra situation. \n \nWe use integral form and covering procedures for vertex algebras to complete the modular moonshine program of Borcherds and \nRyba for proving an embedding of the sporadic group $F_3$ of order $2^{15}3^{10}5^3 7^2 13{\\cdot }19{\\cdot} 31$ in $E_8(3)$.","PeriodicalId":53151,"journal":{"name":"Electronic Research Announcements in Mathematical Sciences","volume":"21 1","pages":"167-176"},"PeriodicalIF":0.0000,"publicationDate":"2014-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"12","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Electronic Research Announcements in Mathematical Sciences","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.3934/ERA.2014.21.167","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"Mathematics","Score":null,"Total":0}
引用次数: 12
Abstract
We use recent work on integral forms in vertex operator algebras to construct vertex algebras over general commutative rings and Chevalley groups acting on them as vertex algebra automorphisms.
In this way, we get series of vertex algebras over fields whose automorphism groups are essentially those Chevalley groups (actually, an exact statement depends on the field and involves upwards extensions of these groups by outer diagonal and graph automorphisms). In particular, given a prime power $q$, we realize each finite simple group which is a Chevalley or Steinberg variations over $\mathbb{F}_q$ as "most of'' the full automorphism group of a vertex algebra over $\mathbb{F}_q$.
These finite simple groups are
\[ A_n(q), B_n(q), C_n(q), D_n(q), E_6(q), E_7(q), E_8(q), F_4(q), G_2(q) \]
\[ \text{and } ^{2}A_n(q), ^{2}D_n(q), ^{3}D_4(q), ^{2}E_6(q), \]
where $q$ is a prime power.
Also, we define certain reduced VAs. In characteristics 2 and 3,
there are exceptionally large automorphism groups. A covering algebra idea of Frohardt and Griess for Lie algebras is applied to
the vertex algebra situation.
We use integral form and covering procedures for vertex algebras to complete the modular moonshine program of Borcherds and
Ryba for proving an embedding of the sporadic group $F_3$ of order $2^{15}3^{10}5^3 7^2 13{\cdot }19{\cdot} 31$ in $E_8(3)$.
期刊介绍:
Electronic Research Archive (ERA), formerly known as Electronic Research Announcements in Mathematical Sciences, rapidly publishes original and expository full-length articles of significant advances in all branches of mathematics. All articles should be designed to communicate their contents to a broad mathematical audience and must meet high standards for mathematical content and clarity. After review and acceptance, articles enter production for immediate publication.
ERA is the continuation of Electronic Research Announcements of the AMS published by the American Mathematical Society, 1995—2007