Semipositivity conjecture for relative pluricanonical direct images

About 12 years old · traced to

Let f:X→Yf:X\to Y be a surjective morphism between smooth projective varieties with connected fibers. Then there exists a generically finite morphism τ:Y′→Y\tau:Y'\to Y from a smooth projective variety Y′Y' with the following property. Let X′X' be any resolution of the main component of X×YY′X\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′/Y′⊗mf'_*\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.

References

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.