A generalization of Voronoi's theorem to algebraic lattices (Q719147): Difference between revisions

Let \(K\) be an algebraic number field of degree \(n\) and \({\mathfrak O}_K\) the ring of integers of \(K\). The purpose of this paper is to generalize Voronoï's theorem to the Hermite function defined on the set of \({\mathfrak O}_K\)-lattices and to prove the finiteness of the number of similar isometry classes of perfect \({\mathfrak O}_K\)-lattices. Let \(K_{\mathbb R}=K \otimes_{\mathbb Q}\mathbb R\) and \(K_{\mathbb R}^m=K^m\otimes _{\mathbb Q}\mathbb R\). An element of \(K_{\mathbb R}^m\) is denoted as a column vector with entries in \(K_{\mathbb R}\). As an \(\mathbb R\)-vector space, \(K_{\mathbb R}^m\) is equipped with the inner product \(<,>\) defined by \(<x,y>=\text{Tr}_{K_{\mathbb R}}(^t\bar xx)\) for \(x,y\in K_{\mathbb R}^m\), where \(\text{Tr}_{K_{\mathbb R}}\) stands for the trace of the étale algebra \(K_{\mathbb R}\) over \(\mathbb R\) and \(\bar x\) stands for the conjugate of \(x\). An \({\mathfrak O}_K\)-submodule \(\Lambda\) in \(K_{\mathbb R}^m\) is called an \({\mathfrak O}_K\)-lattice if \(\Lambda\) is discrete and \(\Lambda\otimes _{\mathbb Z}\mathbb R=K_{\mathbb R}^m\). The set of all \({\mathfrak O}_K\)-lattices in \(K_{\mathbb R}^m\) is denoted by \({\mathfrak L}\). For \(\Lambda\in {\mathfrak L}\), the minimum \(Q(\Lambda)\) and the determinant \(\det(\Lambda)\) of \(\Lambda\) are defined by \[ Q(\Lambda)=\min_{x\in\Lambda\backslash\{0\}} <x,x> \text{\;and\;} \det(\Lambda)=\det\Big (\frac{\omega(K_{\mathbb R}^m/\Lambda)}{\omega(K_{\mathbb R}^m/{\mathfrak O}_K^m)}\Big)^2, \] where \(\omega\) denotes an invariant measure on \(K_{\mathbb R}^m\). The Hermite function \(\gamma_K^\dag: {\mathfrak L}\rightarrow \mathbb R_{>0}\) is defined to be \(\gamma_K^\dag(\Lambda)=\frac{Q(\Lambda)}{\det(\Lambda)^{1/mn}}\). Let us denote the set of \textit{shortest } vectors in \(\Lambda\) by \(S(\Lambda)=\{x\in\Lambda\;|\;Q(x)=Q(\Lambda)\}\). An \({\mathfrak O}_K\)-lattice \(\Lambda\in{\mathfrak L}\) is said to be \textit{extreme} if \(\gamma_K^\dag\) attains a local maximum on \(\Lambda\) up to multiplication by an element of \(\mathbb R^{\times}\). In the case of \(K=\mathbb Q\), Voronoï's theorem says that \(\Lambda\) is extreme if and only if \(\Lambda\) is \textit{perfect} and \textit{eutactic} (see [\textit{R. Coulangeon}, ``Voronoï Theory over Algebraic Number Fields'', Monogr. Enseign. Math. 37, 147--162 (2001; Zbl 1139.11321)]). In the general case of a number field \(K\), the authors at first modify the eutaxy definition given by \textit{A. Leibak} in [``On additive generalization of Voronoï's theory to algebraic number fields'', Proc. Est. Acad. Sci., Phys. Math. 54, No. 4, 195--211 (2005; Zbl 1095.11022)] and recall the definition of perfectness given by \textit{M. Koecher} [``Beiträge zu einer Reduktionstheorie in Positivitätsbereichen. II'', Math. Ann. 144, 175--182 (1961; Zbl 0099.01701)]. Then they extend Voronoï's theorem for the number field \(K\). More precisely they prove: 1) A perfect \({\mathfrak O}_K\)-lattice \(\Lambda\) in \(K_{\mathbb R}^m\) is determined up to isometry by the set of minimum vectors \(S(\Lambda)\) and the minimum \(\mathbb Q(\Lambda)\). 2) Let \(\Lambda\in {\mathfrak L}\) be an \({\mathfrak O}_K\)-module. Then \(\Lambda\) is extreme if and only if \(\Lambda\) is perfect and eutactic. 3) The number of similar isometry classes of perfect \({\mathfrak O}_K\)-lattices in \(K_{\mathbb R}^m\) is finite.