A criterion for an abelian variety to be simple (Q2481733)

Let \(I \subset O_X\) be an ideal sheaf on a smooth projective variety \(X\) and let \(\sigma: Y \rightarrow X\) be the blow-up of \(X\) along \(I\). There exists an effective cartier divisor \(F\) on \(Y\) such that \( I \cdot O_Y = O_X(-F)\); fixing an ample divisor \(H\) on Y, the \textit{s-invariant} as has been introduced by \textit{S. D. Cutkosky, L. Ein} and \textit{R. Lazarsfeld} [Math. Ann. 321, No. 2, 213--234 (2001; Zbl 1029.14022)] of \(I\) with respect to \(H\) is the positive real number \( s_H( I) = \min \{s \in R | s \cdot \sigma^*H - F \text{ is nef} \}\). A well-known particular case is when \( I\) is the ideal sheaf of a point \(x\) in which case \( 1/s_H(I)\) is the Seshadri constant as introduced by \textit{J.-P. Demailly} [Lect. Notes Math. 1507, 87--104 (1992; Zbl 0784.32024)]. In his main theorem, the author introduces a number \(\sigma(L,D)\) assuming that \((X,L)\) is a polarized abelian variety and \(D\) is an effective divisor for the case that \(L\) and \(O_X(D)\) are not numerically proportional then \(\sigma(L,D)= 1/s_L(I_{D/X})\) and that all such \(s\)-invariants are irrational. The paper is organized as follows. In section one he defines the number \(\sigma(L,M)\) for \(X\) an abelian variety \(L,M\) line bundles.~In proposition 1.1 he gives an algebraic characterization of \(\sigma(L,M)\) when \(L\) is ample; first by fixing \(\varsigma(L,M)\) which is a maximal root of the euler characteristic of \(uL-M\) and secondly expressing the result in terms of \(\varsigma(L,M)\).~In corollary 2.1 assuming that \(M\) is a line bundle such that \(-M\) is not nef he shows that if \(\sigma(L,M)\) is a rational number the numerator must divide \(n\) and the denominator must divide \(M^n\).~Finally, in corollary 2.4 with the same hypothesis as corollary 2.1 the author gives a very explicit lower bound for \(\sigma(L,M)\) in terms of \(L,M\).