On the integrality of Seshadri constants of abelian surfaces

From MaRDI portal
Publication:2663783



Abstract: In this paper we consider the question of when Seshadri constants on abelian surfaces are integers. Our first result concerns self-products EimesE of elliptic curves: If E has complex multiplication in or in or if E has no complex multiplication at all, then it is known that for every ample line bundle L on EimesE, the Seshadri constant eps(L) is an integer. We show that, contrary to what one might expect, these are in fact the only elliptic curves for which this integrality statement holds. Our second result answers the question how -- on any abelian surface~-- integrality of Seshadri constants is related to elliptic curves.


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.\]











This page was built for publication: On the integrality of Seshadri constants of abelian surfaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2663783)