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

About 7 years old · traced to

Let f:X→Yf: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 m≥1m\geq 1, consider the sheaf f∗ωX/Ym⊗ωYf_*\omega_{X/Y}^m\otimes\omega_Y. Fujino's conjecture. For each m≥1m\geq 1, the sheaf

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

is generated by its global sections for l≥n+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.

References

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.