Adelic Cartier divisors with base conditions and the Bonnesen-Diskant-type inequalities (Q2075399)

Let \(X\) be a normal projective variety, geometrically irreducible over a number field \(K\). Let \(\bar{D}\) be an adelic \(\mathbb {R}\)-Cartier divisor on \(X\) and Rat(\(X\)) be the field of the rational functions on \(X\). In this paper they introduce a notion of pairs of adelic \(\mathbb {R}\)-Cartier divisors and \(\mathbb {R}\)-base conditions, to define the arithmetic volumes of such pairs, and to establish fundamental positivity properties of such pairs. Let \(\mathfrak{B} (Rat(X))\) be the set of all nontrivial normalized discrete valuations on Rat(\(X\)). \(\mathbb {R}\)-base conditions on \(X\) is given as a finite formal sum with coefficients in \(\mathbb {R}\): \[ \mathcal{V}:=\sum_{\nu \in \mathfrak{B} (\mathrm{Rat} (X))} \nu(\mathcal{V})[\nu] \] To each pair \((\bar{D}, \mathcal{V})\) is assigned a finite set of all strictly small sections of \(\bar{D}\) vanishing along the positive part of \(\mathcal{V}\). \[ \widehat\Gamma^{SS}(\bar{D};\mathcal{V}):=\left\{ \phi\in \mathrm{Rat}(X)^{\times }:\bar{D} + \widehat {(\phi)}> 0, \nu^{C}(D + (\phi))\ge \nu(\mathcal{V})\right\}\cup \left\{ 0 \right\} \] There are three main theorems proved in this paper, namely Theorem A, B and C. In the first two theorems they show that the arithmetic volume of a pair \((\bar{D}, \mathcal{V})\), defined as \[ \widehat{\mathrm{vol}}(\bar{D};\mathcal{V}):=\lim_{m\in Z_{x>0}, m\to \infty } \sup \frac{\log\#\widehat{\Gamma}^{SS}(m\bar{D};m\mathcal{V})}{m^{\dim X+1}/(\dim X + 1)!} \] has the Fujita approximation property and that the Gáteaux derivatives of the arithmetic volume function at a big pair along the directions of adelic \(\mathbb {R}\)-Cartier divisors are given by suitable arithmetic positive intersection numbers. Theorem A. Let \(X\) be a normal projective variety over a number field, \(\widehat {B\mathbb{D}iv}_{\mathbb{R},\mathbb{R}} (X)\) be the \(\mathbb{R}\)-vector space of all the pairs of adelic \(\mathbb{R}\)-Cartier divisors and \(\mathbb{R}\)-base conditions and \[ (\bar {D}; \mathcal {V}) \in {\widehat{B\mathbb{D}iv_{\mathrm{R},\mathrm{R}}} (X)}. \] If \((\bar {D}; \mathcal {V})\) is big then \[ \widehat {\mathrm{vol}} (\bar{D};\mathcal{V}) = \left\langle (\bar{D};\mathcal{V})^{\dim X + 1} \right \rangle \] Theorem B. Let \(X\) be a normal projective variety over a number field, \(\widehat {B\mathbb{D}iv}_{\mathbb{R},\mathbb{R}} (X)\) be the \(\mathbb{R}\)-vector space of all the pairs of adelic \(\mathbb{R}\)-Cartier divisors and \(\mathbb{R}\)-base conditions and \[ (\bar {D}; \mathcal {V}) \in {\widehat{B\mathbb{D}iv_{\mathrm{R},\mathrm{R}}} (X)}. \] and let \(\bar{D}'\) be an adelic \(\mathbb {R}\)-Cartier divisor on \(X\). If \((\bar {D}; \mathcal {V})\) is big then the Gáteaux derivative of the arithmetic volume function at \(\bar {D}; \mathcal {V}\) along \(\bar{D}'\) is given by the formula: \[ \lim_{r \to 0} \frac{\widehat{\mathrm{vol}}(\bar{D}+r\bar{D}';\mathcal{V})-\widehat{\mathrm{vol}}(\bar{D};\mathcal{V})}{r} = (\dim X + 1)\cdot \left\langle (\bar{D};\mathcal{V})^{\cdot \dim X} \right\rangle \cdot \bar{D}' \] In Theorem C they obtain the Bonnesen-Diskant-type inequalities for pairs in convex geometry, as a consequence of Theorem B.