# Doubly covering an even lattice

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.

(i) What is a good place to read about how to construct this double cover?
(ii) What is a good place to read about how to define the Monstrous action on the double cover of the Leech lattice?

-

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.