English

Linear systems on irregular varieties

Algebraic Geometry 2020-10-28 v5

Abstract

Let XX be a normal complex projective variety, TXT\subseteq X a subvariety, a ⁣:XAa\colon X\rightarrow A a morphism to an abelian variety such that Pic0(A)\rm{Pic}^0(A) injects into Pic0(T)\rm{Pic}^0(T) and let LL be a line bundle on XX. Denote by X(d)XX^{(d)}\to X the connected \'etale cover induced by the dd-th multiplication map of AA, by T(d)X(d)T^{(d)} \subseteq X^{(d)} the preimage of TT and by L(d)L^{(d)} the pull-back of LL to X(d)X^{(d)}. For αPic0(A)\alpha\in \rm{Pic}^0(A) general, we study the restricted linear system L(d)aαT(d)|L^{(d)}\otimes a^*\alpha|_{|T^{(d)}}: if for some dd this gives a generically finite map φ(d)\varphi^{(d)}, we show that f φ(d)\varphi^{(d)} is independent of α\alpha or dd sufficiently large and divisible, and is induced by the {\em eventual map} φ ⁣:TZ\varphi\colon T\to Z such that aTa_{|T} factorizes through φ\varphi. The generic value ha0(XT,L)h^0_a(X_{|T}, L) of h0(XT,Lα)h^0(X_{|T}, L\otimes\alpha) is called the {\em (restricted) continuous rank.} We prove that if MM is the pull back of an ample divisor of AA, then xha0(XT,L+xM)x\mapsto h^0_a(X_{|T}, L+xM) extends to a continuous function of xRx\in\mathbb{R}, which is differentiable except possibly at countably many points; when X=TX=T we compute the left derivative explicitly. In the case when XX and TT are smooth, combining the above results we prove Clifford-Severi type inequalities, i.e., geographical bounds of the form volXT(L)C(m)ha0(XT,L),\rm{vol}_{X|T}(L)\geq C(m) h^0_a(X_{|T},L), where C(m)=O(m!)C(m)={\mathcal O}(m!).

Keywords

Cite

@article{arxiv.1606.03290,
  title  = {Linear systems on irregular varieties},
  author = {Miguel Ángel Barja and Rita Pardini and Lidia Stoppino},
  journal= {arXiv preprint arXiv:1606.03290},
  year   = {2020}
}

Comments

Revised version, 37 pages. The final section has been removed

R2 v1 2026-06-22T14:22:29.056Z