A note on construction of the Leech lattice (Q6177435): Difference between revisions

A lattice \(L \subset \mathbb{R}^n\) (equipped with a positive definite bilinear form \(\langle\cdot , \cdot\rangle\)) is called even, if \(\langle x, x\rangle \in 2\mathbb{Z}\) for all \(x\in L\) and it is called unimodular, if \(L=\{y\in \mathbb{Z}^n : \langle x, y\rangle \in L \quad \forall y\in L\}\). Denote by \(L^-\) the lattice \(L\) equipped with the negative definite bilinear form \(\langle\cdot,\cdot\rangle^- := - \langle\cdot,\cdot\rangle\) (\(L^-\) is called negative-definite lattice). Niemeier proved there are \(24\) non-isomorphic even unimodular lattices of rank \(24\) (Theorem 3.4 in [\textit{W. Ebeling}, Lattices and codes. A course partially based on lectures by Friedrich Hirzebruch. 3rd revised ed. Berlin: Springer (2013; Zbl 1257.11066)]). Furthermore, the Leech lattice \(\Lambda\) is a unique Niemeier lattice which has no roots (i.e elements of squared norm \(2\)). In this paper the author constructed the negative-definite Leech lattice \(\Lambda^-\) from a negative-definite Niemeier lattice \(N^-\) with roots using techniques from algebraic geometry (such as a virtual K3 surface and the corresponding Neron-Severi lattices of signature \((1,25)\)). This construction combines both theoretical as well as computational results (the computational data is not included into the paper).