Approximating Zariski decomposition of big line bundles (Q1330232)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Approximating Zariski decomposition of big line bundles
scientific article

    Statements

    Approximating Zariski decomposition of big line bundles (English)
    0 references
    20 June 1995
    0 references
    A Zariski decomposition of a \(\mathbb{Q}\)-divisor \(D\) is a decomposition \(D {\overset {\textstyle\sim} \approx b} N + E\) where \(N\) is a nef \(\mathbb{Q}\)-divisor and \(E\) is an effective \(\mathbb{Q}\)-divisor with negative definite intersection matrix such that \(N.E_ i = 0\) for all components \(E_ i\), of \(E\). Existence of a Zariski decomposition is not known in general (except for surfaces). The author proves the following theorem which may be regarded as an approximate Zariski decomposition. Let \(L\) be a line bundle on a variety \(V\) of dimension \(n\). Suppose that \[ h^ \circ (V,tL) \geq dt^ n/n! + \varphi(t) \] for infinitely many positive integers \(t\), \(\varphi(t) = \) a function such that \(\varphi(t)/t^ n \to 0\) as \(n \to \infty\) and \(d\) is a positive real number. Then for any \(\varepsilon > 0\), there exists a birational morphism \(f : M \to V\), together with an effective \(\mathbb{Q}\)-divisor \(E\) on \(M\) such that \(f^* L = H + E\), \(H\) a semiample \(\mathbb{Q}\)-bundle with \(H^ n > d - \varepsilon\). Note that if \(H^ \circ(tf^*L) = H^ \circ(tH)\) for all \(t> 0\) such that \(tE\) is a \(\mathbb{Z}\)-divisor, then \(f^*L = H + E\) is a Zariski decomposition of \(L\) and one has \(H^ \circ(V,tL) = dt^ n/n! + \) (lower order terms), \(d = H^ n\). The theorem (coupled with other techniques) has applications to inequalities on intersection numbers of line bundles, no applications are discussed here.
    0 references
    effective divisor
    0 references
    nef divisor
    0 references
    Zariski decomposition of a \(\mathbb{Q}\)- divisor
    0 references
    line bundle
    0 references
    0 references

    Identifiers