Semipositivity conjecture for relative pluricanonical direct images

Let f:XYf:X\to Y be a surjective morphism between smooth projective varieties with connected fibers. Then there exists a generically finite morphism τ:YY\tau:Y'\to Y from a smooth projective variety YY' with the following property. Let XX' be any resolution of the main component of X×YYX\times_Y Y' sitting in the commutative diagram

\xymatrix{X' \ar[r]\ar[d]_{f'}& X\ar[d]^f\\ Y'\ar[r]_{\tau} &Y. }

Semipositivity conjecture for relative pluricanonical direct images. The sheaf fωX/Ymf'_*\omega^{\otimes m}_{X'/Y'} is nef and locally free for every positive integer mm.

This extends the known semipositivity result for the relative canonical direct image (m=1m=1) to all positive pluricanonical powers; the source does not state whether the conjecture has been resolved.

Sources & referencesView supporting material

Primary source

Osamu Fujino, “On semipositivity, injectivity and vanishing theorems”, arXiv:1503.06503 (2016).

Additional references

2 papers in this index state this conjecture (2014–2015). The statement above is taken from the most recent of them; the others are arXiv:1409.7437.

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.