Height zeta functions of toric varieties (Q1356322): Difference between revisions

Let \(X\) be a \(d\)-dimensional algebraic variety defined over a number field \(F\). Denote by \({\mathcal L}=(L,\{\| \cdot\|_v\})\) a metrized line bundle on \(X\), i.e., a line bundle \(L\) together with a family of \(v\)-adic metrics, when \(v\) runs over the set \(\text{Val}(F)\) of all valuations of \(F\). For any locally closed algebraic subset \(Y\subset X\) we denote by \(Y(F)\) the set of \(F\)-rational points in \(Y\). A metrized line bundle \({\mathcal L}\) defines a height function \(H_{\mathcal L}: X(F)\to \mathbb{R}_{>0}\). Assume that a subset \(Y\subset X\) and a bundle \(L\) are chosen in such a way that \(N(Y,{\mathcal L},B):= \#\{x\in Y(F) \mid H_{\mathcal L} (x)\leq B\}<\infty\) for all \(B\in\mathbb{R}_{>0}\) (e.g., this holds for any \(Y\subset X\) if \(L\) is ample). Then the asymptotic behavior of the counting function \(N(Y,{\mathcal L},B)\) as \(B\to\infty\) is determined by analytic properties of the height zeta function \(Z(Y,{\mathcal L},s)\) defined by the series \(Z(Y,{\mathcal L},s): =\sum_{x\in Y(F)}H_{\mathcal L}(x)^{-s}\) which converges for \(\text{Re}(s)\gg 0\). Definition 1.2. Let \(NS(X)\) be the Néron-Severi group of \(X\), \(NS(X)_\mathbb{R}=NS(X) \otimes\mathbb{R}\). The cone of effective divisors of \(X\) is the closed cone \(\Lambda_{\text{eff}}(X) \subset NS(X)_\mathbb{R}\) generated by the classes of effective divisors. Let \([L]\in NS(X)\) be the first Chern class of \(L\). Denote by \({\mathcal K}_X=(K_X, \{\|\cdot \|_v\})\) the metrized canonical line bundle on \(X\). Definition 1.3. Let \(L\) be a line bundle on \(X\). Define \(a(L):=\inf\{a\in\mathbb{R}| a[L]+ [K_X]\in \Lambda_{ \text{eff}}(X)\}\). One of our main results in this paper is the following theorem: Let \(T\) be a \(d\)-dimensional algebraic torus over a number field \(F\), \(X\) a smooth projective toric variety containing \(T\) as a Zariski open subset, and \({\mathcal L}\) a metrized line bundle on \(X\) (with the metrization introduced by \textit{V. V. Batyrev} and \textit{Y. Tschinkel} [Int. Math. Res. Not. 1995, No. 12, 591-635 (1995; Zbl 0890.14008)]. Assume that the class \([L]\) is contained in the interior of the cone of effective divisors. Then the height zeta function has the following representation: \[ Z(T,{\mathcal L},s) ={g(s)\over\bigl(s-a(L) \bigr)^{b(L)}}+h(s), \] where \(g(s)\) and \(h(s)\) are functions holomorphic in the domain \(\text{Re}(s)\geq a(L)\), \(g(a(L))\neq 0\), and \(b(L)\) is the codimension of the minimal face of \(\Lambda_{\text{eff}}(X)\) which contains the class \(a(L)[L]+ [K_X]\). Corollary. We have the following asymptotic formula: \[ N(T,{\mathcal L}, B)= {g\bigl(a(L)\bigr) \over a(L)\bigl(b(L)-1 \bigr)!}B^{a(L)}(\log B)^{b(L)-1} \bigl(1+o(1) \bigr)\text{ for }B\to\infty. \]