Abelian varieties and a Minkowski-Hlawka theorem (Q5965190)

The abstract given by the author is: ``A classical theorem of Minkowski and Hlawka states that there exists a lattice in \(\mathbb R^n\) with \textit{packing density} at least \(2^{1-n}\). \textit{P. Buser} and \textit{P. Sarnak} [Invent. Math. 117, No. 1, 27--56 (1994; Zbl 0814.14033)] proved the analogue of this result in the context of \textit{complex abelian varieties}. Here the author gives an analogue improvement of this, showing a conjecture of \textit{B. Muetzel} [Int. J. Number Theory 8, No. 4, 1067--1080 (2012; Zbl 1246.11130)]''. Let \((A; L)\) be a complex principally polarized abelian variety of dimension \(g \geq 1\). Let \(T_A = \Gamma(A;\Omega_{A/C})^\vee\) and denote by \(\Gamma_A\) the lattice of periods of \(A\) (thus with an isomorphism of analytic groups \(A(\mathbb C) \cong T_A/\Gamma_A\)). The polarisation \(L\) induces a Riemann form \(\langle ; \rangle\) on \(T_A\), i.e., an Hermitian scalar product on \(T_A\) such that \(\mathrm{Im}(\langle \gamma_1; \gamma_2\rangle)\in\mathbb Z\) for all \( (\gamma_1; \gamma_2) \in\Gamma_A^2\). Definition. The \textit{injectivity volume} \( V (A; L) \) of \((A; L) \) is the packing density of the lattice \(\Gamma_A\) in the euclidean space \((T_A; \mathrm{Re} (\langle ; \rangle))\). Equivalently, \(V (A; L)\) is the largest volume of an open ball of \(T_A\) which is injected in \(A\) (the volume is normalized in such way that \(\Gamma_A\) be of co-volume \(1\)). Let \(g\) be an integer \(g\geq 1\). Let us denote \(\mathcal A_g \) be the modules space of the principally polarized abelian schemes of relative dimension \( g\). Here the author seeks to minorate \(V_g = \sup\{V(A; L) ; (A; L) \in\mathcal A_g(\mathbb C)\}\). Buser and Sarnak [loc. cit.] have shown the equivalent of \textit{Minkowski-Hlawka} in this context: \textit{For all integer \(g\geq 1\), we have} \(V_g\geq \frac{1}{2^{2g-1}}\). In this article the author improves this result for certain values of \(g\): {Theorem.} Let \(m\geq 3\) be an integer. Let \(g=\phi(m)\) where \(\phi(\cdot)\) is the Euler indicator. We have the minoration \(V_g\geq \frac{m}{4^g}\). {Corollary.} Let \(g\geq 2\) be an integer which is a \(2\)-th power. We have \(4^g V_g\geq 3g\). Let \(g\) be an integer of the form \(g=\phi(n)\) for an integer \(n\geq 3\). We have \(4^g V_g\geq 2g+2\). The author suggests the following question in relation with a minoration of \textit{C. A. Rogers} [Ann. Math. (2) 48, 994--1002 (1947; Zbl 0036.02701)] : if \(g\geq 2\) is an integer, do we have \(4^gV_g\geq 2g+2\)?