Effective freeness and point separation for adjoint bundles (Q1910214)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Effective freeness and point separation for adjoint bundles
scientific article

    Statements

    Effective freeness and point separation for adjoint bundles (English)
    0 references
    0 references
    0 references
    15 October 1996
    0 references
    Let \(X\) be a compact complex manifold of dimension \(n\) and let \(K_X\) be its canonical bundle. A conjecture of Fujita raised about ten years ago asks whether for an ample line bundle \(L\) on \(X\), the bundle \((n + 1) L + K_X\) is free and \((n + 2) L + K_X\) is very ample. A great deal of effort was put recently to prove these conjectures. So far the answer is known for combinations of the form \(pL + qK_X\) with \(p\) roughly of the order of \(n^n\) and similarly for \(q\) [see \textit{J.-P. Demailly}, J. Differ. Geom. 37, No. 2, 323-374 (1993; Zbl 0783.32013)], \textit{L. Ein}, \textit{R. Lazarsfeld} and \textit{M. Nakamaye}, Zero-estimates, intersection theory, and a theorem of Demailly, preprint (1995), and \textit{J. Kollar}, Math. Ann. 296, No. 4, 595-605 (1993; Zbl 0818.14002)]. Two main applications of the results contained in the paper by authors' state that \(mL + K_X\) is free for \(m \geq {1 \over 2} (n^2 + n + 2)\) and more generally, the global sections of \(mL + K_X\) separate any \(r\) distinct points if \(m \geq {1 \over 2} (n^2 + 2rn - n + 2)\). The innovation in the proofs consists in combining the algebro-geometric (traditional) methods with some new transcendental methods. Quite specifically, starting from fractionar powers of \(L\), the authors construct a singular metric whose (Nadel) multiplier ideal sheaf has a finite and controllable set of zeroes. Then a deformation argument, plus the recent \(L^2\)-estimates of Ohsawa and Takegoshi and an induction argument lead to the bounds of the necessary fractions of \(L\). [See for completeness and comparison: the second author, Effective very ampleness, Invent. Math. 124, No. 1-3, 563-571 (1996)].
    0 references
    0 references
    ample line bundle
    0 references
    \(L^ 2\)-estimates
    0 references
    Nadel multiplier ideal
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references