Fujita Conjecture

OPENMajorConjectureProposed 1985 · Full conjecture

Canonical statement

Let XX be a smooth projective complex variety of dimension nn, KXK_X its canonical line bundle, and LL an ample line bundle. Then KXL(n+1)K_X\otimes L^{\otimes(n+1)} is globally generated and KXL(n+2)K_X\otimes L^{\otimes(n+2)} is very ample.
View source LaTeX
Let \(X\) be a smooth projective complex variety of dimension \(n\), \(K_X\) its canonical line bundle, and \(L\) an ample line bundle. Then \(K_X\otimes L^{\otimes(n+1)}\) is globally generated and \(K_X\otimes L^{\otimes(n+2)}\) is very ample.

Fujita conjectured in 1985 that adjoint bundles become positive at a uniform, dimension-linear rate: for a smooth projective complex nn-fold XX with ample line bundle LL, the bundle KXL(n+1)K_X\otimes L^{\otimes(n+1)} should be globally generated and KXL(n+2)K_X\otimes L^{\otimes(n+2)} very ample [Fujita1987Polarized]. The proposed thresholds are exactly those attained on projective space with L=O(1)L=\mathcal O(1), where they cannot be improved, so the conjecture asserts that Pn\mathbb P^n is the extremal case.

The conjecture is known in low dimensions and for special classes of XX and LL. In general, effective results give weaker, dimension-dependent bounds: Angehrn and Siu proved global generation of KXLmK_X\otimes L^{\otimes m} once mm grows roughly quadratically in nn [AngehrnSiu1995], and Lazarsfeld's book surveys the effective freeness and very-ampleness theorems in this area [Lazarsfeld2004Positivity].

Both halves of the conjecture remain open for arbitrary XX and LL in higher dimensions; closing the gap between the known dimension-dependent bounds and the conjectured linear ones is the central difficulty.

The boxed statement is the canonical open formulation — not a stronger variant or a related research program. The status reflects the catalog's last review; do your own literature search before investing serious effort.