Height zeta functions of toric varieties (Q1356322)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Height zeta functions of toric varieties
scientific article

    Statements

    Height zeta functions of toric varieties (English)
    0 references
    6 November 1997
    0 references
    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. \]
    0 references
    toric varieties
    0 references
    number of rational points of bounded height
    0 references
    effective divisors
    0 references
    height zeta function
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references