Moving Seshadri constants, and coverings of varieties of maximal Albanese dimension (Q2664840)

The authors consider the moving Seshadri constants and prove that for a big line bundle these constants on a smooth projective complex variety of maximal Albanese dimension are arbitrarily large on suitable abelian étale coverings. The Seshadri constant of an integral nef divisor \(F\) at a point \(x\in X\) is \(\varepsilon(F ; x) := \max \{ \, \varepsilon\geq 0 \big| \mu^*F - \varepsilon E \, \mbox{ is nef} \, \},\) where \(\mu \colon \widetilde X \to X\) is the blow-up at \(x\) with exceptional divisor \(E\). The definition extends to \(\mathbb{Q}\)-divisors. Let \(D\) be a \(\mathbb{Q}\)-divisor. The moving Seshadri constant of \(D\) at \(x\in X\), denoted \(\varepsilon_{\mathrm{mov}}(D ; x)\), is defined as \( \sup_{ f^*D = A + E } \varepsilon(A ; x)\) if \( x \notin \text{B}_+ (D) \) and \(0\) if \(x \in \text{B}_+ (D)\); where \(\text{B}_+ (D)\) is the augumented base locus of \(D\), see eg. [\textit{L. Ein} et al., Ann. Inst. Fourier 56, No. 6, 1701--1734 (2006; Zbl 1127.14010)]. The supremum is taken over all projective morphisms \(f \colon \widetilde X \rightarrow X\) with \(\widetilde X\) smooth such that \(f\) is an isomorphism near \(x\), and all decompositions \(f^* D = A + E\) where \(A\) and \(E\) are, respectively, an ample and effective \(\mathbb{Q}\)-divisors on \(\widetilde X\) such that \(f^{-1}(x)\) is not contained in the support of \(E\). The main result of the authors is as follows: Let \(X\) be a smooth projective variety such that the Albanese map \(\alpha \colon X \to \text{Alb}(X)\) is generically finite onto its image, and let \(L\) be a big line bundle on \(X\). Then for any integer \(N>0\), there exists an isogeny of abelian varieties \(a\colon A' \to \text{Alb}(X)\) of finite degree, and a the following maps creating a commutative diagram: \( \alpha': X' \to A', \) \(a: A' \to \text{Alb}(X),\) \( \alpha: X \to \text{Alb}(X), \) \( p: X'\to X, \) such that \(\varepsilon_{\mathrm{mov}}(p^*L ; x) \, \geq \, N \) for any \(x\) outside the inverse image by \(p\) of the augumented base locus of \(L\) and outside the exceptional locus of \(\alpha'\). Then, using the connection of Seshadri constants with the separation of jets the authors prove that for \(X\), \(L\) as above there exists an étale cover \(p\colon X' \to X\) (as above) such that for every \(P\in \text{Pic}^0(X')\) the linear series \(\big|K_{X'} + p^*L + P \big|\) is very ample away from \(p^{-1}(\text{B}_+(L))\cup \text{Exc}(\alpha')\); and also for any integer \(k\geq 0\), there exists an étale cover \(p \colon X' \to X\), such that for every \(P\in \text{Pic}^0(X')\) the linear series \(\big| K_{X'} + p^*L + P \big|\) separates \(k\)-jets at any point \(x\) outside \( p^{-1}(\text{B}_+(L)) \cup \text{Exc}(\alpha')\). In the special case of varieties of general type the authors get the following corollary. Let \(X\) be a smooth projective variety of general type such that the Albanese map \(\alpha \colon X \to \text{Alb}(X)\) is generically finite onto its image. Then there exists an étale cover \(p\colon X' \to X\), such that for every \(P\in \text{Pic}^0(X')\) the linear series \(\big|2K_{X'} + P \big|\) is very ample away from \(\text{Exc}(\alpha')\); moreover for any \(k\geq 0\), there exists an étale cover \(p \colon X' \to X\), such that for every \(P\in \text{Pic}^0(X')\) the linear series \(\big|2K_{X'} + P \big|\) separates \(k\)-jets at any point \(x\) away from \(\text{Exc}(\alpha')\).