Continuous families of divisors, paracanonical systems and a new inequality for varieties of maximal Albanese dimension (Q1954330)

Let \(X\) be a smooth complex projective variety \(X\) and \(L\) a line bundle on \(X\). The vector \(v\in H^1(\mathcal O_X)\) is \(k\)-transversal to \(L\) if the complex given by cup product \[ H^{k-1}(L) \mathrel{\mathop{\longrightarrow}\limits^{\smile v}} H^k(L) \mathrel{\mathop{\longrightarrow}\limits^{\smile v}} H^{k+1}(L) \] is exact. In the paper under review, the authors prove that if \(v\) is \(1\)-transversal to \(L \) and \(s\in H^0(L)\) satisfies \(s\smile v=0\), then the first order deformation \((s_v,L_v)\) of the pair \((s,L)\) in the direction \(v\) extends to an analytic deformation. Using this result, the author improve known results on the paracanonical system of a variety of maximal Albanese dimension. In particular, they prove: i) the inequality \(p_g(X)\geq\chi(K_X)+q(X)-1\) for a variety \(X\) of maximal Albanese dimension without irregular fibrations of Albanese general type. ii) Let \(X\) be a smooth projective \(n\)-dimensional variety with irregularity \(q\geq n+1\) that has no Albanese general type fibration and irreducible paracanonical system. Then \(X\) is either a curve, or a surface with \(q\) odd, or a variety of dimension \(n\geq 3\) with \(p_g(X)=\chi(K_X)+q(X)-1\) and \(q=n+1\).