Advanced Search

Query:

Fill in the form and click »Search«...

Format:

Display: entries per page entries

Zbl 1246.11094
Hentschel, Michael; Krieg, Aloys; Nebe, Gabriele
On the classification of even unimodular lattices with a complex structure. (English)
[J] Int. J. Number Theory 8, No. 4, 983-992 (2012). ISSN 1793-0421

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. \par In 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 {\it K. Hashimoto} and {\it H. Koseki} [Tôhoku Math. J., II. Ser. 41, No. 1, 1--30 (1989; Zbl 0668.10029)]. \par The 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.
[Detlev Hoffmann (Dortmund)]

MSC 2000:: *11E41 Class numbers of quadratic and Hermitian forms
11E39 Bilinear and Hermitian forms
11F03 Modular and automorphic functions
11F27 Theta series; Weil representation
11H06 Lattices and convex bodies (number theoretic results)

Keywords: Hermitian lattice; unimodular lattice; even lattice; theta lattice; genus; mass formula; Hermitian theta series

Citations: Zbl 0668.10029

Comment on this Item PDF MathML XML ASCII DVI PS BibTeX Online Ordering Article Journal

	Scientific prize winners of the ICM 2010
	Overhang
	Lie groups, physics and geometry. An introduction for physicists, engineers and chemists.

Advanced Search

Zentralblatt MATH Berlin [Germany]