Approximating Zariski decomposition of big line bundles (Q1330232): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q4027238 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A numerical criterion for very ample line bundles / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Remarks on quasi-polarized varieties / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Analytic Zariski decomposition / rank | |||
Normal rank |
Latest revision as of 16:55, 22 May 2024
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