Fujita Conjecture
Canonical statement
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.Notes
Fujita conjectured in 1985 that adjoint bundles become positive at a uniform, dimension-linear rate: for a smooth projective complex -fold with ample line bundle , the bundle should be globally generated and very ample [Fujita1987Polarized]. The proposed thresholds are exactly those attained on projective space with , where they cannot be improved, so the conjecture asserts that is the extremal case.
The conjecture is known in low dimensions and for special classes of and . In general, effective results give weaker, dimension-dependent bounds: Angehrn and Siu proved global generation of once grows roughly quadratically in [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 and in higher dimensions; closing the gap between the known dimension-dependent bounds and the conjectured linear ones is the central difficulty.
References (3)
- [Fujita1987Polarized]
On polarized manifolds whose adjoint bundles are not semipositive
Open ↗Takao Fujita · 1987 · misc
- [AngehrnSiu1995]
Effective freeness and point separation for adjoint bundles
Open ↗Urban Angehrn and Yum-Tong Siu · 1995 · misc
- [Lazarsfeld2004Positivity]
Positivity in Algebraic Geometry I
Open ↗Robert Lazarsfeld · 2004 · misc
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.