Doubly covering an even lattice - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T01:24:31Z http://mathoverflow.net/feeds/question/91220 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/91220/doubly-covering-an-even-lattice Doubly covering an even lattice DavidLHarden 2012-03-14T21:00:56Z 2012-03-15T01:11:53Z <p>I have read that there is a way to construct a group which is a double cover of an even lattice. The very tantalizing thing about this is that if the even lattice is chosen to be the Leech lattice, the resulting double cover is supposed to admit a natural action of the Monster group. </p> <p>(i) What is a good place to read about how to construct this double cover?<br> (ii) What is a good place to read about how to define the Monstrous action on the double cover of the Leech lattice?</p> http://mathoverflow.net/questions/91220/doubly-covering-an-even-lattice/91222#91222 Answer by Giuseppe for Doubly covering an even lattice Giuseppe 2012-03-14T21:14:30Z 2012-03-14T21:14:30Z <p>Try to take a look to the references in: Yongchang Zhu "Modular invariance of characters of vertex operator algebras" J. Amer. Math. Soc. 9 (1996), 237-302. </p> http://mathoverflow.net/questions/91220/doubly-covering-an-even-lattice/91239#91239 Answer by S. Carnahan for Doubly covering an even lattice S. Carnahan 2012-03-15T01:11:53Z 2012-03-15T01:11:53Z <p>There is a brief description of the double cover of an even lattice on page 2 of Borcherds's paper <a href="http://math.berkeley.edu/~reb/papers/" rel="nofollow"><em>Vertex algebras, Kac-Moody algebras and the monster</em></a> (number 4 on the page). It is introduced there as a set of properties that uniquely define it up to isomorphism, but without a construction. For a detailed construction, see Chapters 5 and 7 of <em>Vertex Operator Algebras and the Monster</em> by Frenkel, Lepowky, and Meurman.</p> <p>The automorphism group of the double cover of an even lattice $L$ is an extension of $\operatorname{Aut}(L)$ by $(\mathbb{Z}/2\mathbb{Z})^{\text{rank}(L)}$, and it is usually non-split. For the Leech lattice, you do not get the monster, but you get something closely related to a large subgroup. In more detail, the automorphism group of the double cover of Leech naturally acts on the Leech lattice vertex algebra, and this vertex algebra in turn can be used to construct the monster vertex algebra using a "twisted module". The automorphism groups then yield a diagram of the following form: $$2^{24}.Co_0 \to 2^{24}.Co_1 \leftarrow 2^{1+24}.Co_1 \hookrightarrow \text{Monster}.$$ The leftmost group is the automorphism group of the double cover of Leech, the second group is the image of its action on a fixed point subalgebra of the Leech lattice vertex algebra under an involution, the third group is a central extension that acts on a fixed point submodule of the twisted module, and it is the centralizer of an element of order 2 in the monster. Frenkel, Lepowsky, and Meurman constructed the monster action by extracting extra symmetry from the direct sum of the fixed point subalgebra and the fixed point submodule - this required a large fraction of a book.</p>