Seshadri constants in finite subgroups of abelian surfaces (Q2454827)

Let \(X\) be a smooth projective variety of dimension \(n\), let \(L\) be an ample line bundle on \(X\), and let \(x_1,\ldots,x_r\) be distinct points in \(X\). Then the Seshadri constant of \(L\) at \(x_1,\ldots,x_r\) is: \[ \epsilon(L;x_1,\ldots,x_r)=\sup\{\epsilon| \, f^*L-\epsilon \sum_{i=1}^rE_i\text{ is nef }\}, \] where \(f\) is the blowing up of \(X\) at \(x_1,\ldots,x_r\) and \(E_1,\ldots,E_r\) are the exceptional divisors. The upper bound \[ \epsilon(L; r)\leq \sqrt[n]{\frac{L^{n}}{r}} \] holds. However, explicit values are difficult to obtain even when \(r=1\). Now suppose, in addition, that \((X,L)\) is a polarized abelian surface of type \((1,d)\) of Picard rank one. Let \(x\) be a point of \(X\). Let \(G\) be a finite subgroup of \(X\) of order \(g\). Consider the étale quotient: \(q\colon X\to X/G\). Let \(n\) be the smallest natural number such that \(nL=q^*M\) for some line bundle \(M\) on \(X/G\). The paper under review proves that \(\epsilon(L; x+G)=\sqrt{\frac{2d}{g}}\) if \(\sqrt{2d/g}\) is rational, and \[ \epsilon(L; x+G)= \frac{k_0}{l_0}\frac{2dn}{g}=\sqrt{1-\frac{1}{l_0^2}}\sqrt{\frac{L^2}{g}} \] if \(\sqrt{2d/g}\) is irrational, where \((l_0,k_0)\) is the primitive solution of Pell's equation \(l^2-\frac{2n^2d}{g}k^2=1\).