Big arithmetic divisors on the projective spaces over \(\mathbb{Z}\) (Q640822)

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}\).