Hyperbolic families of symplectic lattices (Q5947245)

The paper continues the study of the Hermite invariant of symplectic lattices initiated by \textit{P. Buser} and \textit{P. Sarnak} [Invent. Math. 117, 27-56 (1994; Zbl 0814.14033)]. By definition, a symplectic lattice \(\Lambda\) has dimension \(2g\) and possesses a symplectic basis with respect to the imaginary part of a positive definite complex Hermitian structure given on the vector space \(V={\mathbb R} \Lambda\). Symplectic lattices can be parametrized by the Siegel upper half-space \({\mathcal H}_g\): One can assume that \(V={\mathbb C}^g\) with Hermitian form \(h(u,v)= \overline{u}^t (\text{ Im} \tau)^{-1} v\), where \(\tau \in {\mathcal H}_g\), and \(\Lambda={\mathbb Z}^g \oplus \tau {\mathbb Z}^g\). The hyperbolic families considered in this paper then are given by the subsets \({\mathcal H}_1 M = \{zM \mid z \in {\mathcal H}_1\} \subset {\mathcal H}_g\), where \(M\) is a positive definite real symmetric \(g\times g\) matrix. Using hyperbolic geometry the author develops Voronoi-type theorems and algorithms for extremality and perfection in such families. In the course of this study he also obtains numerous new examples of symplectic-extreme lattices that are not extreme in the ordinary sense (previously only one example seems to have been known).