Hilbert–Kunz density function and asymptotic Hilbert–Kunz multiplicity for projective toric varieties

• DOI: 10.1016/j.jalgebra.2018.10.038
• Publication Date: 2018-11-28T04:41:17Z
• Authors: Mandira Mondal; V. Trivedi
• Keywords: Mathematics - Algebraic Geometry; 13D40, 13H15, 14M25, 52B20, 52C22; FOS: Mathematics; 0101 mathematics; Mathematics - Commutative Algebra; Commutative Algebra (math.AC); Algebraic Geometry (math.AG); 01 natural sciences

For a toric pair $(X, D)$, where $X$ is a projective toric variety of dimension $d-1\geq 1$ and $D$ is a very ample $T$-Cartier divisor, we show that the Hilbert-Kunz density function $HKd(X, D)(��)$ is the $d-1$ dimensional volume of ${\overline {\mathcal P}}_D \cap \{z= ��\}$, where ${\overline {\mathcal P}}_D\subset {\mathbb R}^d$ is a compact $d$-dimensional set (which is a finite union of convex polytopes). We also show that, for $k\geq 1$, the function $HKd(X, kD)$ can be replaced by another compactly supported continuous function $��_{kD}$ which is `linear in $k$'. This gives the formula for the associated coordinate ring $(R, {\bf m})$: $$\lim_{k\to \infty}\frac{e_{HK}(R, {\bf m}^k) - e_0(R, {\bf m}^k)/d!}{k^{d-1}} = \frac{e_0(R, {\bf m})}{(d-1)!}\int_0^\infty��_D(��)d��, $$ where $��_D$ (see Proposition~1.2) is solely determined by the shape of the polytope $P_D$, associated to the toric pair $(X, D)$. Moreover $��_D$ is a multiplicative function for Segre products. This yields explicit computation of $��_D$ (and hence the limit), for smooth Fano toric surfaces with respect to anticanonical divisor. In general, due to this formulation in terms of the polytope $P_D$, one can explicitly compute the limit for two dimensional toric pairs and their Segre products. We further show that (Theorem~6.3) the renormailzed limit takes the minimum value if and only if the polytope $P_D$ tiles the space $M_{\mathbb R} = {\mathbb R}^{d-1}$ (with the lattice $M = {\mathbb Z}^{d-1}$). As a consequence, one gets an algebraic formulation of the tiling property of any rational convex polytope.<br/>25 pages, 7 figures<br/>