FLM-like construction of VOA for other simple groups - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T18:08:51Z http://mathoverflow.net/feeds/question/57093 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/57093/flm-like-construction-of-voa-for-other-simple-groups FLM-like construction of VOA for other simple groups Yuji Tachikawa 2011-03-02T09:15:59Z 2011-03-03T08:18:42Z <p>Frenkel, Lepowsky, Meurman constructed the vertex operator algebra (VOA) $V^\natural$ as a chiral orbifold CFT whose target space is $\mathbb{R}^{24}/\Lambda/\mathbb{Z}_2$. (Here the last $\mathbb{Z}_2$ is a group of order two which acts by sending $\vec x\to -\vec x$, and not the ring of 2-adic integers. Sorry for using physics notation.)</p> <p>This construction makes (almost) manifest that the said VOA has <code>$2^{1+24}_{+}\cdot Co1$</code> as part of its symmetry group. In addition, there is an operation $\sigma$ which mixes the twisted sector and the untwisted sector. Then, adding $\sigma$ to <code>$2^{1+24}_+\cdot Co1$</code> gives rise to the monster simple group $M$. Then $M$ has another involution $z$ (possibly conjugate to $\sigma$) such that <code>$2^{1+24}_+\cdot Co1$</code> is the centralizer of $z$, $C_G(z)$. (Honestly I don't really understand the construction, but that's the story I've heard.) </p> <p>Now, there are many other simple groups $G$ which has a similar structure, i.e. there is an involution $z\in G$ such that the centralizer $C_G(z)$ has the structure $2^{1+n}.H$. </p> <p>Then my question is: is it always the case that there is a lattice $L$ of rank $n$ whose symmetry is $H$ (and $-1$) such that the VOA based on $\mathbb{R}^{n}/L/\mathbb{Z}_2$ has the symmetry $G$, given by adjoining an operation $\sigma$ mixing the twisted and the untwisted sector, to the part $2^{1+n}.H$ which exists almost by construction?</p> <p>Update:</p> <p>I realized now that Jeff Harvey already asked almost the same question a few months ago, see <a href="http://mathoverflow.net/questions/44439/m24-moonshine-for-k3" rel="nofollow">this MO question</a>. I even made a comment in that thread; I completely forgot about that. You see, I'm only slowly digesting the interesting problem Jeff raised... </p> <p>But of course the moderators can close my question as an exact duplicate. Sorry about that.</p> http://mathoverflow.net/questions/57093/flm-like-construction-of-voa-for-other-simple-groups/57097#57097 Answer by José Figueroa-O'Farrill for FLM-like construction of VOA for other simple groups José Figueroa-O'Farrill 2011-03-02T10:16:09Z 2011-03-02T10:16:09Z <p>The work of Nils Scheithauer comes to mind, in particular the following papers:</p> <ul> <li><p><a href="http://www.ams.org/mathscinet-getitem?mr=2221135" rel="nofollow">On the classification of automorphic products and generalized Kac-Moody algebras</a></p></li> <li><p><a href="http://www.ams.org/mathscinet-getitem?mr=2041900" rel="nofollow">Generalized Kac-Moody algebras, automorphic forms and Conway's group. I</a></p></li> <li><p><a href="http://www.ams.org/mathscinet-getitem?mr=2482218" rel="nofollow">Generalized Kac-Moody algebras, automorphic forms and Conway's group. II</a></p></li> </ul> http://mathoverflow.net/questions/57093/flm-like-construction-of-voa-for-other-simple-groups/57116#57116 Answer by S. Carnahan for FLM-like construction of VOA for other simple groups S. Carnahan 2011-03-02T15:14:53Z 2011-03-02T15:14:53Z <p>I have not studied FLM in complete detail, but don't think the involution $\sigma$ is sufficiently natural to make the generation of $G$ an automatic process. That is to say, even if it does always exist as an automorphism of the VOA, it may be difficult to find without explicit combinatorial information about the lattice.</p> <p>Perhaps the best place to look for similar constructions is <a href="http://arxiv.org/abs/math/0502267" rel="nofollow">John Duncan's paper on the Conway group</a>, where he gives an explicit construction of a $N=1$ vertex superalgebra with a sporadic automorphism group.</p> <p>Slightly off-topic: There is an alternative construction of the monster VOA as a $\mathbb{Z}/3$ orbifold outlined in a 1994 conference proceedings paper by Dong and Mason (<em>The construction of the moonshine module as a $\mathbb{Z}/p$-orbifold</em>), and there is an analysis of the orbifold theory with no claims about the automorphism group given in a <a href="http://arxiv.org/abs/hep-th/9502138" rel="nofollow">paper by Montague</a>. The Dong-Mason paper promises the full details of proving that the automorphism group is in fact the monster simple group in a forthcoming paper that has yet to appear. I believe it also uses an involution but the calculations are apparently even more complicated than the order 2 case.</p>