Variétés abéliennes et théorème de Minkowski-Hlawka

Pascal Autissier
DOI: https://doi.org/10.48550/arXiv.1407.3073
2014-07-11
Abstract:A classical theorem of Minkowski and Hlawka states that there exists a lattice in R^n with packing density at least 2^{1-n}. Buser and Sarnak proved the analogue of this result in the context of complex abelian varieties. Here we give an improvement of this analogue; this shows a conjecture of Muetzel.
Number Theory,Algebraic Geometry
What problem does this paper attempt to address?
The problem that this paper attempts to solve is, in the context of complex abelian varieties, to improve the analogous results of the Minkowski - Hlawka theorem regarding the packing density of lattices. Specifically, the author aims to improve the results of Buser and Sarnak on the lower bound of the packing density in complex abelian varieties and prove a conjecture of Muetzel. ### Background and Problem Description In number theory and geometry, an important problem is to study the maximum packing density of lattices in Euclidean space $\mathbb{R}^n$. For an $n$-dimensional Euclidean space $E$, if $\Gamma$ is a lattice in $E$ and its first minimum is $\lambda_1(\Gamma)$, then the packing density $\Delta(\Gamma)$ of $\Gamma$ is defined as the density of spheres of radius $\frac{\lambda_1(\Gamma)}{2}$ packing at the points of $\Gamma$. The problem lies in estimating $\Delta_n=\sup\{\Delta(\Gamma)\mid\Gamma\text{ is a lattice of }E\}$. The classical Minkowski - Hlawka theorem shows that for any $n\geq1$, there exists a lattice $\Gamma$ such that its packing density is at least $\frac{1}{2^{n - 1}}$. Buser and Sarnak generalized this result to the context of complex abelian varieties and proved that for any $g\geq1$, there exists a complex abelian variety $(A, L)$ such that its volume injectivity $V(A, L)$ is at least $\frac{1}{2^{2g - 1}}$. ### Main Contributions of the Paper The author Pascal Autissier further improved the results of Buser and Sarnak as follows: 1. **Main Theorem**: - For any integer $m\geq3$, let $g = \varphi(m)$ (where $\varphi$ is the Euler function), then there exists a complex abelian variety $(A, L)$ such that its volume injectivity $V(A, L)$ satisfies: \[ V_g\geq\frac{m}{4^g} \] 2. **Corollaries**: - **Corollary 1.2**: - (α) For any integer $g\geq2$ and $g$ is a power of 2, we have $4^gV_g\geq3^g$. - (β) For any integer $g$ of the form $g=\varphi(n)$ (where $n\geq3$), we have $4^gV_g\geq2^g + 2$. - **Corollary 1.3**: - There exists a constant $c$ and infinitely many integers $g$ such that $4^gV_g\geq e^{\gamma}g\ln\ln g - cg$ (where $\gamma$ is the Euler constant). ### Methods and Techniques The author used the classical ideas of the Minkowski - Hlawka method and proved the main theorem by means of the averaging argument. Specifically, lattices with free group actions are considered and complex abelian varieties are constructed using these lattices. By analyzing the properties of these lattices, the author was able to obtain an improved lower bound for the packing density. ### Conclusion This paper improves the results of Buser and Sarnak by...