Popa's conjecture on cohomological support loci and variation

Let f ⁣:XAf\colon X\to A be a fibration from a smooth projective variety XX to an abelian variety AA. For a coherent sheaf F\mathcal{F} on AA, write

V0(A,F)={αPic0(A)H0(A,Fα)0}.V^0(A,\mathcal{F})=\{\alpha\in\operatorname{Pic}^0(A)\mid H^0(A,\mathcal{F}\otimes\alpha)\neq0\}.

Let Var(f)\operatorname{Var}(f) denote the variation of the fibration ff. Popa's conjecture. For every integer m>1m>1 such that fωXm0f_*\omega_X^{\otimes m}\neq0,

dimV0(A,fωXm)Var(f).\dim V^0(A,f_*\omega_X^{\otimes m})\ge\operatorname{Var}(f).

In the case when κ(X)=0\kappa(X)=0 and ff is the Albanese morphism of XX, this conjecture is essentially equivalent to Ueno's Conjecture K, which predicts that, up to birational equivalence, ff becomes a projection onto a factor after an étale base change. The general conjecture is presented as a proposal by Mihnea Popa; no resolution is supplied in the source.

Sources & referencesView supporting material

Primary source

Fanjun Meng, “Estimates on the Kodaira dimension for fibrations over abelian varieties”, arXiv:2207.08359 (2022).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.