Proposition 2.10 . [038C] Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Source coverage notes 9 original structured objects have an unresolved mathematical role; their permanent tags identify source occurrences only. Complete original source context Β· Original author HTML
Proposition 2.10 .
Let L L be an ample line bundle on X X , β {\mathscr{L}} an extension to a
model π³ {{\mathscr{X}}} and ΞΈ = c 1 ( L , β₯ β₯ β ) β π΅ 1 , 1 ( X ) \theta={c_{1}(L,{\|\ \|}_{\mathscr{L}})}\in\mathcal{Z}^{1,1}(X) .
For m > 0 m>0 let
(2.3)
π m = Im β ( H 0 β ( π³ , β β m ) β K β β β β m β πͺ π³ ) {\mathfrak{a}}_{m}=\mbox{\rm Im}\,\bigl(H^{0}({{\mathscr{X}}},{\mathscr{L}}^{\otimes m})\otimes_{K^{\circ}}{\mathscr{L}}^{\otimes-m}\to{\mathcal{O}}_{{\mathscr{X}}}\bigr)
be the m m -th base ideal of β {\mathscr{L}} and
Ο m := m β 1 β log β‘ | π m | \varphi_{m}:=m^{-1}\log|{\mathfrak{a}}_{m}| .
Then Ο m β PSH π β ( X , ΞΈ ) \varphi_{m}\in{\rm PSH}_{\mathscr{D}}(X,\theta) and
(2.4)
lim m β β Ο m = sup m β β Ο m = P ΞΈ β ( 0 ) \lim_{m\to\infty}\varphi_{m}=\sup_{m\in\mathbb{N}}\varphi_{m}={P}_{\theta}(0)
pointwise on X an X^{\mathrm{an}} .