Relative local Fujita freeness conjecture for higher direct images

About 26 years old · traced to

Let f:Y→Xf:Y\to X be a surjective morphism from a smooth projective variety to a smooth projective variety of dimension nn, and suppose that ff is smooth over X0=X∖BX_0=X\setminus B for a normal crossing divisor BB on XX. Let LL be a nef and big invertible sheaf on XX, and let x∈Xx\in X be a point. Assume that Ln>nnL^n>n^n and LdZ≥ndL^dZ\ge n^d for every irreducible subvariety ZZ of XX of dimension dd containing xx. Relative local Fujita freeness conjecture. For any q≥0q\ge0, the natural homomorphism

H0(X,Rqf∗ωY⊗L)⟶Rqf∗ωY⊗L⊗κ(x)H^0(X,R^qf_*\omega_Y\otimes L)\longrightarrow R^qf_*\omega_Y\otimes L\otimes\kappa(x)

is surjective. This is the stronger local relative version of the preceding conjecture; the supplied text gives no evidence that it has been resolved.

References

Primary source

Yujiro Kawamata, “On a Relative Version of Fujita's Freeness Conjecture”, arXiv:math/0011219 (2000).

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.