where n is the complex dimension of M.
Note that for large m the line bundle KM ⊗ L⊗m is very ample by the standard Serre's vanishing theorem (and its complex analytic variant). Fujita conjecture provides an explicit bound on m, which is optimal for projective spaces.
For surfaces the Fujita conjecture follows from Reider's theorem. For three-dimensional algebraic varieties, Ein and Lazarsfeld in 1993 proved the first part of the Fujita conjecture, i.e. that m≥4 implies global generation.
- Ein, Lawrence; Lazarsfeld, Robert (1993), "Global generation of pluricanonical and adjoint linear series on smooth projective threefolds.", J. Amer. Math. Soc., 6: 875–903, MR 1207013.
- Fujita, Takao (1987), "On polarized manifolds whose adjoint bundles are not semipositive", Algebraic geometry, Sendai, 1985, Adv. Stud. Pure Math., 10, North-Holland, Amsterdam, pp. 167–178, MR 0946238.
- Helmke, Stefan (1997), "On Fujita's conjecture", Duke Mathematical Journal, 88 (2): 201–216, doi:10.1215/S0012-7094-97-08807-4, MR 1455517.
- Siu, Yum-Tong (1996), "The Fujita conjecture and the extension theorem of Ohsawa-Takegoshi", Geometric complex analysis (Hayama, 1995), World Sci. Publ., River Edge, NJ, pp. 577–592, MR 1453639.
- Smith, Karen E. (2000), "A tight closure proof of Fujita's freeness conjecture for very ample line bundles" (PDF), Mathematische Annalen, 317 (2): 285–293, doi:10.1007/s002080000094, MR 1764238.