Big arithmetic divisors on the projective spaces over Z

From MaRDI portal
Publication:640822



Abstract: This paper is an enhancement of the previous note "Explicit computations of Zariski decompositions on P_Z^1". In this paper, we observe several properties of a certain kind of an arithmetic divisor D on the n-dimensional projective space over Z and give the exact form of the Zariski decomposition of D on the projective line over Z. Further, we show that, if n>=2 and D is big and non-nef, then, for any birational morphism f: X --> P^n_Z of projective, generically smooth and normal arithmetic varieties, we can not expect a suitable Zariski decomposition of f^*(D). We also give a concrete construction of Fujita's approximation of D.


Let \(\mathbb{P}_{\mathbb{Z}}^n=\text{Proj}(\mathbb{Z}[T_0,T_1,\ldots,T_n])\), \(H_i=\{T_i=0\}\), and \(z_i=T_i/{T_0}\) for \(i=0,1,\ldots,n\). Let \(\mathbf{a}=(a_0,a_1,\ldots,a_n)\) be a sequence of positive numbers, the author defines an \(H_0\)-Green function \(g_{\mathbf{a}}\) of \((C^\infty\cap\text{PSH})\)-type on \(\mathbb{P}^n(\mathbb{C})\) and an arithmetic divisor \(\overline{D}_\mathbf{a}\) of \((C^\infty\cap\text{PSH})\)-type on \(\mathbb{P}_{\mathbb{Z}}^n\) to be \[ g_{\mathbf{a}}:=\log(a_0+a_1\mid z_1\mid^2+\cdots+a_n\mid z_n\mid^2)\qquad \text{and} \qquad \overline{D}_\mathbf{a}:=(H_0,g_{\mathbf{a}}). \] In the paper under review, the author establishes several properties of this special divisor \(\overline{D}_\mathbf{a}\) and he gives the exact form of the Zariski decomposition of \(\overline{D}_\mathbf{a}\) on \(\mathbb{P}_{\mathbb{Z}}^1\). Moreover, he proves that if \(n\geq2\) and \(\overline{D}_\mathbf{a}\) is big and not nef, then for any birational morphism \(f: X\to \mathbb{P}_{\mathbb{Z}}^n\) of projective, generically smooth, and normal arithmetic varieties, one can not expect a suitable Zariski decomposition of \(f^*(\overline{D}_{\mathbf{a}})\). The author also gives a concrete construction of Fujita's approximation of \(\overline{D}_\mathbf{a}\).











This page was built for publication: Big arithmetic divisors on the projective spaces over \(\mathbb{Z}\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q640822)