On the integrality of Seshadri constants of abelian surfaces (Q2663783)

In the paper under review, the authors study the integrality of the Seshadri constants on certain abelian surfaces. Let \(X\) be a smooth projective variety and let \(L\) be an ample line bundle on it, the Seshadri constant of \(L\) at point \(x \in X\) is defined as \[\varepsilon(L;x) = \mathrm{inf} \bigg\{ \frac{L.C}{\mathrm{mult}_{x}(C)} \, : \, C \text{ is an irreducible curve through } x\bigg\}.\] We know that on abelian varieties these constants are independent of the chosen point \(x\). In the present note the authors focus on the case of dimension \(2\), namely abelian surfaces which are the self-products \(E \times E\), where \(E\) is an elliptic curve. The first main result can be formulated as follows. Theorem A. Let \(E\) be an elliptic curve with complex multiplication. Then the following conditions are equivalent: i) For every ample line bundle \(L\) on \(E \times E\), the Seshadri constant \(\varepsilon(L)\) is an integer. ii) Either \(\mathrm{End}(E) = \mathbb{Z}[i]\) or \(\mathrm{End}(E) = \mathbb{Z}[(1+i\sqrt{3})/2]\). In order to prove the above result, the authors establish how the integrality is related to the geometry of elliptic curves. One direction is rather easy, if all Seshadri constants on a given abelian surface are computed by elliptic curves, then certainly those numbers are all integers. It is natural to wonder whether the converse statement holds true. The answer on this question is the content of the next result. Theorem B. Let \(X\) be an abelian surface. The following conditions are equivalent: i) For every ample line bundle \(L\) on \(X\), the Seshadri constant \(\varepsilon(L)\) is an integer. ii) For every ample line bundle \(L\) on \(X\), either \(\varepsilon(L) = \sqrt{L^{2}}\) and \(\sqrt{L^{2}}\) is an integer, or \(\varepsilon(L)\) is computed by an elliptic curve, i.e., there exists an elliptic curve \(E \subset X\) such that \[\varepsilon(L) = L\cdot E.\]