On the classification of even unimodular lattices with a complex structure (Q2890251)

The authors study unimodular positive definite Hermitian lattices \(L\) over the ring of integers \({\mathcal O}_K\) in the imaginary quadratic number field \(K={\mathbb Q}(\sqrt{-d})\) where \(d\) is a squarefree positive integer. Such a lattice \(L\) is a finitely generated projective \({\mathcal O}_K\)-submodule of a \(K\)-vector space \(V\) of, say, dimension \(r\) with basis \(e_1,\dots, e_r\) equipped with the Hermitian form \(h\) with \(h(e_i,e_j)=\delta_{ij}\) such that \(L\) contains a basis of \(V\) and \(h(L,L)\subseteq {\mathcal O}_K\). \(L\) being unimodular means that \(L=\{ x\in V\mid h(x,L)\subseteq {\mathcal O}_K\}\). One has \(h(x,x)\in {\mathbb Z}\) for all \(x\in L\), and \(L\) is called even if \(h(x,x)\in 2{\mathbb Z}\) for all \(x\in L\), odd otherwise.NEWLINENEWLINEIn this paper, one assumes throughout \(r\equiv 0\bmod 4\). When \(d\equiv 3\bmod 4\), then there is only one genus \({\mathcal N}_r\) of unimodular such lattices that are necessarily odd, namely that of the standard lattice \(\bigoplus_{i=1}^r {\mathcal O}_Ke_i\). If \(d\not\equiv 3\bmod 4\), then there is in addition a genus of even unimodular such lattices denoted by \({\mathcal M}_r\). The mass \(\mu\) of a genus \({\mathcal G}\) of lattices is defined to be \(\mu ({\mathcal G})=\sum |\Aut(M)|^{-1}\) where \(M\) ranges over a system of representatives of the isometry classes of lattices within the genus \({\mathcal G}\). A formula for \(\mu({\mathcal N}_r)\) has been determined by \textit{K. Hashimoto} and \textit{H. Koseki} [Tôhoku Math. J., II. Ser. 41, No. 1, 1--30 (1989; Zbl 0668.10029)].NEWLINENEWLINEThe authors first derive a formula for \(\mu({\mathcal M}_r)\) in terms of \(\mu({\mathcal N}_r)\). Using the trace \(\mathrm{Tr}\) of the extension \(K/{\mathbb Q}\), a Hermitian \({\mathcal O}_K\)-lattice \((L,h)\) can be made into a quadratic \({\mathbb Z}\)-lattice \((L,F_h)\) of rank \(2r\), where \(F_h=\mathrm{Tr}\circ h\) if \(d\equiv 3\bmod 4\) and \(F_h=\frac{1}{2}\mathrm{Tr}\circ h\) if \(d\not\equiv 3\bmod 4\). An \({\mathcal O}_K\)-lattice \((L,h)\) is called a theta lattice if \((L,F_h)\) is even unimodular. The authors derive a formula for the mass of the genus of theta lattices. They explicitly compute the values for the masses and the numbers of isometry classes of theta lattices in the cases where \(K\) has class number one and \(r=4, 8, 12\). The paper finishes with some results on the Hermitian theta series of theta lattices.