Fujino's relative Fujita-type conjecture for direct images of relative pluricanonical bundles

Let f:XYf:X\to Y be a surjective morphism of smooth projective varieties over an algebraically closed field of characteristic zero, with YY of dimension nn, and let L\mathcal L be an ample line bundle on YY. For an integer m1m\geq 1, consider the sheaf fωX/YmωYf_*\omega_{X/Y}^m\otimes\omega_Y. Fujino's conjecture. For each m1m\geq 1, the sheaf

fωX/YmωYLlf_*\omega_{X/Y}^m\otimes\omega_Y\otimes\mathcal L^l

is generated by its global sections for ln+1l\geq n+1. This is a generalization of Fujita's freeness conjecture. The source presents it as a proposed conjecture and does not give evidence that it is resolved in the stated generality.

Sources & referencesView supporting material

Primary source

Sho Ejiri, “Direct images of pluricanonical bundles and Frobenius stable canonical rings of fibers”, arXiv:1909.07000 (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.