Hostname: page-component-586b7cd67f-rcrh6 Total loading time: 0 Render date: 2024-11-26T03:21:34.424Z Has data issue: false hasContentIssue false

GENERALIZED HILBERT–KUNZ FUNCTION IN GRADED DIMENSION 2

Published online by Cambridge University Press:  05 December 2016

HOLGER BRENNER
Affiliation:
Institut für Mathematik, Universität Osnabrück, Albrechtstrasse 28a, 49076 Osnabrück, Germany email [email protected]
ALESSIO CAMINATA
Affiliation:
Institut für Mathematik, Universität Osnabrück, Albrechtstrasse 28a, 49076 Osnabrück, Germany Current address: Institut de Mathématiques, Université de Neuchâtel, Rue Emile-Argand 11, CH-2000 Neuchâtel, Switzerland email [email protected]
Rights & Permissions [Opens in a new window]

Abstract

We prove that the generalized Hilbert–Kunz function of a graded module $M$ over a two-dimensional standard graded normal $K$-domain over an algebraically closed field $K$ of prime characteristic $p$ has the form $gHK(M,q)=e_{gHK}(M)q^{2}+\unicode[STIX]{x1D6FE}(q)$, with rational generalized Hilbert–Kunz multiplicity $e_{gHK}(M)$ and a bounded function $\unicode[STIX]{x1D6FE}(q)$. Moreover, we prove that if $R$ is a $\mathbb{Z}$-algebra, the limit for $p\rightarrow +\infty$ of the generalized Hilbert–Kunz multiplicity $e_{gHK}^{R_{p}}(M_{p})$ over the fibers $R_{p}$ exists, and it is a rational number.

Type
Article
Copyright
© 2016 by The Editorial Board of the Nagoya Mathematical Journal  

Introduction

Let $R$ be a $d$ -dimensional standard graded $K$ -domain over a perfect field $K$ of characteristic $p>0$ that is $F$ -finite. For every finitely generated $R$ -module $M$ and every natural number $e$ , we denote by $F^{e\ast }(M)=M\otimes _{R}\text{}^{e}R$ the  $e\text{th}$ iteration of the Frobenius functor given by base change along the Frobenius homomorphism. In particular, if $I$ is an ideal of $R$ , we have that $F^{e\ast }(R/I)\cong R/I^{[p^{e}]}$ . We denote by $q=p^{e}$ a power of the characteristic. Let $M$ be a graded $R$ -module. The function

$$\begin{eqnarray}gHK(M,q):=l_{R}(H_{R_{+}}^{0}(F^{e\ast }(M)))\end{eqnarray}$$

and the limit

$$\begin{eqnarray}e_{gHK}(M):=\lim _{e\rightarrow +\infty }\frac{l_{R}(H_{R_{+}}^{0}(F^{e\ast }(M)))}{q^{d}}\end{eqnarray}$$

are called the generalized Hilbert–Kunz function and the generalized Hilbert–Kunz multiplicity of $M$ , respectively. If $I$ is an $R_{+}$ -primary ideal, then $gHK(R/I,q)$ and $e_{gHK}(R/I)$ coincide with the classical Hilbert–Kunz function and multiplicity. For a survey on the classical Hilbert–Kunz function and multiplicity, see [Reference Huneke10].

The generalized Hilbert–Kunz function and multiplicity were first introduced, under a different name and notation, by Epstein and Yao in [Reference Epstein and Yao8], and studied in detail by Dao and Smirnov in [Reference Dao and Smirnov6], where they proved the existence of $e_{gHK}(M)$ under some assumptions, for example if $M$ is a module over a Cohen–Macaulay isolated singularity. In the same paper, they studied the behavior of the function $gHK(M,q)$ and compared it with the classical Hilbert–Kunz function. Further study of the generalized Hilbert–Kunz function and multiplicity has been made by Dao and Watanabe in [Reference Dao and Watanabe7], where they computed $e_{gHK}(M)$ if $M$ is a module over a ring of finite Cohen–Macaulay type, or it is an ideal of a normal toric singularity.

In this paper, we study the function $gHK(M,q)$ for a graded module $M$ over a two-dimensional standard graded normal domain over an algebraically closed field. In [Reference Brenner3], Brenner proved that if $I$ is a homogeneous $R_{+}$ -primary ideal, then the Hilbert–Kunz function of $I$ has the following form:

$$\begin{eqnarray}HK(I,q)=e_{HK}(I)q^{2}+\unicode[STIX]{x1D6FE}(q),\end{eqnarray}$$

where $e_{HK}(I)$ is a rational number and $\unicode[STIX]{x1D6FE}(q)$ is a bounded function, which is eventually periodic if $K$ is the algebraic closure of a finite field. In [Reference Dao and Smirnov6, Example 6.2], Dao and Smirnov exhibited numerical evidence that in this setting also the generalized Hilbert–Kunz function has the same form. Using an extension of the methods of Brenner, we are able to prove their claim. In fact, we obtain in Theorem 3.2 that the generalized Hilbert–Kunz function of a graded module $M$ has the form

$$\begin{eqnarray}gHK(M,q)=e_{gHK}(M)q^{2}+\unicode[STIX]{x1D6FE}(q),\end{eqnarray}$$

where $\unicode[STIX]{x1D6FE}(q)$ is a bounded function, which is eventually periodic if $K$ is the algebraic closure of a finite field. Moreover, we give an explicit formula for $e_{gHK}(M)$ in terms of the Hilbert–Kunz slope of certain locally free sheaves on the projective curve $Y=\text{Proj}R$ . As a consequence of this fact, we obtain that the generalized Hilbert–Kunz multiplicity $e_{gHK}(M)$ exists, and it is a rational number.

Furthermore, in the last section of the paper, we consider the following problem. Assume that $R$ is a standard graded $\mathbb{Z}$ -domain of relative dimension 2, and $M$ is a graded $R$ -module. For each prime number $p$ , we may consider the reduction $R_{p}$ of $R$ mod $p$ and the extended module $M_{p}:=M\otimes _{R}R_{p}$ . For this module, we compute the generalized Hilbert–Kunz multiplicity $e_{gHK}^{R_{p}}(M_{p})$ , and we ask whether the limit

$$\begin{eqnarray}\lim _{p\rightarrow +\infty }e_{gHK}^{R_{p}}(M_{p})\end{eqnarray}$$

exists. Using a result of Trivedi [Reference Trivedi12], we are able to prove (Theorem 4.4) that the previous limit exists, and it is in fact a rational number, assuming that the rings $R_{p}$ are normal two-dimensional domains for almost all prime numbers.

After submitting the first version of this paper, the referee and Asgharzadeh pointed us to a recent paper of Vraciu [Reference Vraciu13]. There, she provides another method to prove Theorem 3.2 for ideals by showing that under suitable conditions, which are fulfilled in our situation, the generalized Hilbert–Kunz function of a homogeneous ideal can be expressed as a $\mathbb{Z}$ -linear combination of the classical Hilbert–Kunz function of $R_{+}$ -primary ideals. The relevant condition is called the $(LC)$ property, and was introduced by Hochster and Huneke in [Reference Hochster and Huneke9]. This condition is known to hold in some special cases, but it is an open problem whether it holds in a more general setting (see [Reference Asgharzadeh1]).

1 Reflexive modules

We recall some preliminary facts concerning reflexive modules. Let $R$ be a two-dimensional normal domain with homogeneous maximal ideal $\mathfrak{m}$ , and let $U$ be the punctured spectrum of $R$ ; that is, $U=\text{Spec}R\setminus \{\mathfrak{m}\}$ .

We denote by $(-)^{\ast }$ the functor $\text{Hom}_{R}(-,R)$ . If $M$ is an $R$ -module, then the module $M^{\ast \ast }$ is called the reflexive hull of $M$ . There is a canonical map

$$\begin{eqnarray}\unicode[STIX]{x1D706}:M\rightarrow M^{\ast \ast }.\end{eqnarray}$$

If $\unicode[STIX]{x1D706}$ is injective, $M$ is said to be torsionless; if $\unicode[STIX]{x1D706}$ is an isomorphism, then $M$ is called reflexive. Finitely generated projective modules are reflexive, but the converse does not hold in general. We recall the following geometric characterization of the reflexive hull in the normal situation (cf. [Reference Burban and Drozd5, Proposition 3.10]):

(1) $$\begin{eqnarray}M^{\ast \ast }\cong \unicode[STIX]{x1D6E4}(U,\widetilde{M}),\end{eqnarray}$$

where $\widetilde{M}$ denotes the coherent sheaf associated to the module $M$ . It follows that the restriction of this sheaf to the punctured spectrum $\widetilde{M}|_{U}$ coincides with the sheaf $\widetilde{M^{\ast \ast }}|_{U}$ on $U$ . Moreover, if $M$ is reflexive, the sheaf $\widetilde{M}|_{U}$ is locally free.

The following lemma is a well-known fact (see [Reference Bruns and Herzog4, Proposition 1.4.1]). We give a proof here for the sake of completeness.

Lemma 1.1. Let $R$ be a normal domain of dimension at least $2$ with homogeneous maximal ideal $\mathfrak{m}$ , and let $I$ be a reflexive submodule of $R^{n}$ . Then,

$$\begin{eqnarray}H_{\mathfrak{m}}^{0}(R^{n}/I)=0.\end{eqnarray}$$

Proof. We consider the short exact sequence $0\rightarrow I\rightarrow R^{n}\rightarrow R^{n}/I\rightarrow 0$ , and we apply the local cohomology functor $H_{\mathfrak{m}}^{0}(-)$ . We obtain a long exact sequence

$$\begin{eqnarray}\cdots \rightarrow H_{\mathfrak{m}}^{0}(R^{n})\rightarrow H_{\mathfrak{ m}}^{0}(R^{n}/I)\rightarrow H_{\mathfrak{ m}}^{1}(I)\rightarrow \cdots \,.\end{eqnarray}$$

Since $R^{n}$ and $I$ are reflexive modules over a normal domain, they have depth at least $2$ . It follows that $H_{\mathfrak{m}}^{0}(R^{n})=H_{\mathfrak{m}}^{1}(I)=0$ , hence $H_{\mathfrak{m}}^{0}(R^{n}/I)=0$ too. ◻

We mention also the following result (cf. [Reference Dao and Watanabe7, Proposition 2.2]), concerning the generalized Hilbert–Kunz multiplicity of reflexive ideals.

Proposition 1.2. Let $R$ be a standard graded domain of dimension $2$ , and let $I$ be a homogeneous reflexive ideal of $R$ . Then, $e_{gHK}(R/I)=0$ if and only if $I$ is principal.

The fact that principal reflexive ideals have generalized Hilbert–Kunz multiplicity $0$ holds also in dimension ${\geqslant}2$ , and is a consequence of Lemma 1.1. In fact, if $I$ is a principal ideal, then $I^{[p^{e}]}$ is again principal, and in particular reflexive. It follows that $H_{R_{+}}^{0}(F^{e\ast }(R/I))\cong H_{R_{+}}^{0}(R/I^{[p^{e}]})=0$ , so $e_{gHK}(R/I)=0$ .

Lemma 1.3. Let $R$ be a normal $K$ -domain of dimension $d\geqslant 2$ over an algebraically closed field $K$ of prime characteristic $p$ . Let $I$ be a nonzero homogeneous ideal of $R$ such that $e_{gHK}(R/I)$ exists, and let $f\neq 0$ be a homogeneous element of $R$ . Then,

$$\begin{eqnarray}e_{gHK}(R/fI)=e_{gHK}(R/I).\end{eqnarray}$$

Proof. From the short exact sequence $0\rightarrow I\rightarrow R\rightarrow R/I\rightarrow 0$ and the corresponding long exact sequence of local cohomology modules with support in $\mathfrak{m}:=R_{+}$ , we obtain that $H_{\mathfrak{m}}^{0}(R/I)\cong H_{\mathfrak{m}}^{1}(I)$ . It follows that the generalized Hilbert–Kunz multiplicity can be seen as

$$\begin{eqnarray}e_{gHK}(R/I)=\lim _{e\rightarrow +\infty }\frac{l_{R}\left(H_{\mathfrak{m}}^{1}(I^{[q]})\right)}{q^{d}}.\end{eqnarray}$$

Then, the $R$ -module isomorphism $f^{q}I^{[q]}\cong I^{[q]}$ implies the claim.◻

Remark 1.4. Let $[I]$ be an element of the divisor class group $\text{Cl}(R)$ of $R$ , and let $I$ be a homogeneous reflexive ideal representative of this element. If $R$ is a standard graded normal $K$ -domain of dimension $2$ , with $K$ algebraically closed and of positive characteristic, we obtain a function $e_{gHK}(-):\text{Cl}(R)\rightarrow \mathbb{Q}$ , $[I]\mapsto e_{gHK}(R/I)$ . Thanks to Theorem 3.2 and Lemma 1.3, this function is well defined, and we have $e_{gHK}([R])=0$ . This does not mean that the generalized Hilbert–Kunz multiplicity for all ideals $I$ that are invertible on the punctured spectrum depends only on $[I]$ . For example, the homogeneous maximal ideal $\mathfrak{m}$ and its reflexive hull $\mathfrak{m}^{\ast \ast }=R$ define the same element in the class group, but $e_{gHK}(R/\mathfrak{m})=e_{HK}(\mathfrak{m})\neq 0$ in general, while $e_{gHK}(R/R)=0$ . Moreover, Proposition 1.2 implies that the preimage of $0$ is trivial. This does not mean that the function $e_{gHK}(-)$ is injective, since in general it is not a group homomorphism as in the case of Example 3.6.

Therefore, the following question makes sense.

Question 1.5. Given two homogeneous reflexive ideals $I$ and $J$ , is there a formula for $e_{gHK}([IJ])$ in terms of $e_{gHK}([I])$ and $e_{gHK}([J])$ ?

2 The Hilbert–Kunz slope

Let $Y$ be a smooth projective curve over an algebraically closed field with a very ample invertible sheaf of degree $\deg {\mathcal{O}}_{Y}(1)=\deg Y$ . We recall some classical notions of vector bundles, and some definitions from [Reference Brenner2] and [Reference Brenner3]. We refer to these papers for further details and explanations.

Let ${\mathcal{S}}$ be a locally free sheaf of rank $r$ over $X$ . The degree of ${\mathcal{S}}$ is defined as the degree of the corresponding determinant line bundle $\text{deg}{\mathcal{S}}=\deg \bigwedge ^{r}{\mathcal{S}}$ . The slope of ${\mathcal{S}}$ is $\unicode[STIX]{x1D707}({\mathcal{S}})=\deg {\mathcal{S}}/r$ . The degree is additive on short exact sequences, and moreover $\unicode[STIX]{x1D707}({\mathcal{S}}\otimes {\mathcal{T}})=\unicode[STIX]{x1D707}({\mathcal{S}})+\unicode[STIX]{x1D707}({\mathcal{T}})$ .

The sheaf ${\mathcal{S}}$ is called semistable if for every locally free subsheaf ${\mathcal{T}}\subseteq {\mathcal{S}}$ , the inequality $\unicode[STIX]{x1D707}({\mathcal{T}})\leqslant \unicode[STIX]{x1D707}({\mathcal{S}})$ holds. If the strict inequality $\unicode[STIX]{x1D707}({\mathcal{T}})<\unicode[STIX]{x1D707}({\mathcal{S}})$ holds for every proper subsheaf ${\mathcal{T}}\subset {\mathcal{S}}$ , then ${\mathcal{S}}$ is called stable.

For any locally free sheaf ${\mathcal{S}}$ on $Y$ , there exists a unique filtration, called Harder–Narasimhan filtration ${\mathcal{S}}_{1}\subseteq \cdots \subseteq {\mathcal{S}}_{t}={\mathcal{S}}$ , with the following properties:

  • ${\mathcal{S}}_{k}$ is locally free;

  • ${\mathcal{S}}_{k}/{\mathcal{S}}_{k-1}$ is semistable;

  • $\unicode[STIX]{x1D707}({\mathcal{S}}_{k}/{\mathcal{S}}_{k-1})>\unicode[STIX]{x1D707}({\mathcal{S}}_{k+1}/{\mathcal{S}}_{k})$ .

If the base field has positive characteristic, we can consider the absolute Frobenius morphism $F:Y\rightarrow Y$ on the curve and its iterates $F^{e}$ . In general, the pullback via $F^{e}$ of the Harder–Narasimhan filtration of ${\mathcal{S}}$ is not the Harder–Narasimhan filtration of $F^{e\ast }{\mathcal{S}}$ , since the quotients $F^{e\ast }({\mathcal{S}}_{k})/F^{e\ast }({\mathcal{S}}_{k-1})$ need not be semistable.

In [Reference Langer11], Langer proved that for $q\gg 0$ , there exists the so-called strong Harder–Narasimhan filtration of $F^{e\ast }({\mathcal{S}})$ . In fact, there exists a natural number $e_{0}$ such that the Harder–Narasimhan filtration of $F^{e_{0}\ast }({\mathcal{S}})$ ,

$$\begin{eqnarray}0\subseteq {\mathcal{S}}_{e_{0},1}\subseteq \cdots \subseteq {\mathcal{S}}_{e_{0},t}=F^{e_{0}\ast }({\mathcal{S}}),\end{eqnarray}$$

has the property that the quotients $F^{e\ast }({\mathcal{S}}_{e_{0},k})/F^{e\ast }({\mathcal{S}}_{e_{0},k-1})$ of the pullback along $F^{e}$ are semistable. Thus, for $e\geqslant e_{0}$ , we have $F^{e\ast }({\mathcal{S}})=F^{(e-e_{0})\ast }(F^{e_{0}\ast }({\mathcal{S}}))$ , and the Harder–Narasimhan filtration of $F^{e\ast }({\mathcal{S}})$ is given by

$$\begin{eqnarray}F^{(e-e_{0})\ast }({\mathcal{S}}_{e_{0},1})\subseteq \cdots \subseteq F^{(e-e_{0})\ast }({\mathcal{S}}_{e_{0},t})=F^{e\ast }({\mathcal{S}}).\end{eqnarray}$$

For ease of notation, we put ${\mathcal{S}}_{e,k}:=F^{(e-e_{0})\ast }({\mathcal{S}}_{e_{0},k})$ for every $e\geqslant e_{0}$ and $0\leqslant k\leqslant t$ . The length $t$ of such a sequence and the ranks of the quotients ${\mathcal{S}}_{e,k}/{\mathcal{S}}_{e,k-1}$ are independent of $e$ , while the degrees are not. We define the following rational numbers:

  • $\bar{\unicode[STIX]{x1D707}}_{k}=\bar{\unicode[STIX]{x1D707}}_{k}({\mathcal{S}})=\frac{\unicode[STIX]{x1D707}({\mathcal{S}}_{e,k}/{\mathcal{S}}_{e,k-1})}{p^{e}}$ , where $\unicode[STIX]{x1D707}(-)$ denotes the usual slope of the bundle;

  • $r_{k}=\text{rank}({\mathcal{S}}_{e,k}/{\mathcal{S}}_{e,k-1})$ ;

  • $\unicode[STIX]{x1D708}_{k}=-\frac{\bar{\unicode[STIX]{x1D707}}_{k}}{\text{deg}Y}$ .

Remark 2.1. We point out that the numbers $\bar{\unicode[STIX]{x1D707}}$ , $r_{k}$ and $\unicode[STIX]{x1D708}_{k}$ are rational and independent from $e$ for $e\gg 0$ . In fact, we have that $\sum _{k=1}^{t}r_{k}\unicode[STIX]{x1D707}({\mathcal{S}}_{e,k}/{\mathcal{S}}_{e,k-1})=\deg (F^{e\ast }{\mathcal{S}})=p^{e}\deg {\mathcal{S}}$ , which implies the relation

$$\begin{eqnarray}\mathop{\sum }_{k=1}^{t}r_{k}\bar{\unicode[STIX]{x1D707}}_{k}=\deg {\mathcal{S}}.\end{eqnarray}$$

Definition 2.2. Let ${\mathcal{S}}$ be a locally free sheaf over a projective curve over an algebraically closed field of prime characteristic, and let $\bar{\unicode[STIX]{x1D707}}$ and $r_{k}$ be as above. The Hilbert–Kunz slope of ${\mathcal{S}}$ is the rational number

$$\begin{eqnarray}\unicode[STIX]{x1D707}_{HK}({\mathcal{S}})=\mathop{\sum }_{k=1}^{t}r_{k}\bar{\unicode[STIX]{x1D707}}_{k}^{2}.\end{eqnarray}$$

This notion was introduced by the first author in [Reference Brenner3], where he also proved Theorem 2.5 below.

Example 2.3. Let ${\mathcal{L}}$ be a line bundle, then ${\mathcal{L}}$ is semistable of slope $\unicode[STIX]{x1D707}({\mathcal{L}})=\deg {\mathcal{L}}$ . The pullback along Frobenius is again a line bundle, $F^{e\ast }{\mathcal{L}}={\mathcal{L}}^{q}={\mathcal{L}}^{\otimes q}$ , with $q=p^{e}$ . It follows that $0\subseteq {\mathcal{L}}$ is the strong Harder–Narasimhan filtration of ${\mathcal{L}}$ , and the Hilbert–Kunz slope is just

$$\begin{eqnarray}\unicode[STIX]{x1D707}_{HK}({\mathcal{L}})=(\deg {\mathcal{L}})^{2}.\end{eqnarray}$$

Example 2.4. Let $d_{1}<d_{2}<\cdots <d_{m}$ be nonnegative integers, and let ${\mathcal{T}}:=\bigoplus _{i=1}^{m}{\mathcal{O}}(-d_{i})^{\oplus r_{i}}$ , where ${\mathcal{O}}:={\mathcal{O}}_{Y}$ and $r_{i}\in \mathbb{N}$ . The Harder–Narasimhan filtration of ${\mathcal{T}}$ is

$$\begin{eqnarray}0\subseteq {\mathcal{O}}(-d_{1})^{\oplus r_{1}}\subseteq {\mathcal{O}}(-d_{1})^{\oplus r_{1}}\oplus {\mathcal{O}}(-d_{2})^{\oplus r_{2}}\subseteq \cdots \subseteq \bigoplus _{i=1}^{m}{\mathcal{O}}(-d_{i})^{\oplus r_{i}}.\end{eqnarray}$$

The quotients are direct sums of line bundles of the same degree, so their pullbacks under Frobenius are semistable. Hence, this is also the strong Harder–Narasimhan filtration of ${\mathcal{T}}$ with invariants $r_{k}$ , and $\bar{\unicode[STIX]{x1D707}}_{k}=\deg {\mathcal{O}}(-d_{k})=-d_{k}\deg {\mathcal{O}}_{Y}(1)=-d_{k}\deg Y$ . Then, the Hilbert–Kunz slope of ${\mathcal{T}}$ is

$$\begin{eqnarray}\unicode[STIX]{x1D707}_{HK}({\mathcal{T}})=(\deg Y)^{2}\mathop{\sum }_{k=1}^{m}r_{k}d_{k}^{2}.\end{eqnarray}$$

Theorem 2.5. (Brenner [Reference Brenner3])

Let $Y$ denote a smooth projective curve of genus $g$ over an algebraically closed field of positive characteristic $p$ , and let $q=p^{e}$ for a nonnegative integer $e$ . Let $0\rightarrow {\mathcal{S}}\rightarrow {\mathcal{T}}\rightarrow {\mathcal{Q}}\rightarrow 0$ denote a short exact sequence of locally free sheaves on $Y$ . Then, the following hold.

  1. (1) For every nonnegative integer $e$ , the alternating sum of the dimensions of the global sections is

    $$\begin{eqnarray}\displaystyle & & \displaystyle \mathop{\sum }_{m\in \mathbb{Z}}\left(h^{0}(F^{e\ast }{\mathcal{S}}(m))-h^{0}(F^{e\ast }{\mathcal{T}}(m))+h^{0}(F^{e\ast }{\mathcal{Q}}(m))\right)\nonumber\\ \displaystyle & & \displaystyle \quad =\frac{q^{2}}{2\deg Y}\left(\unicode[STIX]{x1D707}_{HK}({\mathcal{S}})-\unicode[STIX]{x1D707}_{HK}({\mathcal{T}})+\unicode[STIX]{x1D707}_{HK}({\mathcal{Q}})\right)+O(q^{0}).\nonumber\end{eqnarray}$$
  2. (2) If the field is the algebraic closure of a finite field, then the $O(q^{0})$ -term is eventually periodic.

The alternating sum in Theorem 2.5 is, in fact, a finite sum for every  $q$ . For $m\ll 0$ , the locally free sheaves have no global sections, so all of the terms are $0$ , and for $m\gg 0$ , we have $H^{1}(Y,F^{e\ast }{\mathcal{S}}(m))=0$ , and the sum is  $0$ . Moreover, the sum is the dimension of the cokernel

$$\begin{eqnarray}\mathop{\sum }_{m\in \mathbb{Z}}\dim (\unicode[STIX]{x1D6E4}(Y,F^{e\ast }{\mathcal{Q}}(m)))/\text{im}(\unicode[STIX]{x1D6E4}(Y,F^{e\ast }{\mathcal{T}}(m))).\end{eqnarray}$$

In [Reference Brenner3], Brenner uses Theorem 2.5 to prove that the Hilbert–Kunz function of a homogeneous $R_{+}$ -primary ideal $I$ in a normal two-dimensional standard graded $K$ -domain $R$ has the following form:

$$\begin{eqnarray}HK(I,q)=e_{HK}(I)q^{2}+\unicode[STIX]{x1D6FE}(q),\end{eqnarray}$$

where $e_{HK}(I)$ is a rational number and $\unicode[STIX]{x1D6FE}(q)$ is a bounded function, which is eventually periodic if $K$ is the algebraic closure of a finite field. In particular, if $I$ is generated by homogeneous elements $f_{1},\ldots ,f_{n}$ of degrees $d_{1},\ldots ,d_{n}$ , and $r_{k}$ , $\bar{\unicode[STIX]{x1D707}}_{k}$ denote the numerical invariants of the strong Harder–Narasimhan filtration of the locally free sheaf $\text{Syz}(f_{1},\ldots ,f_{n})$ on the curve $Y=\text{Proj}R$ , then the Hilbert–Kunz multiplicity of $I$ is given by

$$\begin{eqnarray}e_{HK}(I)=\frac{1}{2\deg Y}\left(\mathop{\sum }_{k=1}^{t}r_{k}\bar{\unicode[STIX]{x1D707}}_{k}^{2}-(\deg Y)^{2}\mathop{\sum }_{i=1}^{n}d_{i}^{2}\right).\end{eqnarray}$$

In Section 3, we apply this method to deduce a similar result for the generalized Hilbert–Kunz function, and answer a question of Dao and Smirnov [Reference Dao and Smirnov6, Example 6.2].

3 The generalized Hilbert–Kunz function in dimension $2$

Lemma 3.1. Let $R$ be a two-dimensional normal $K$ -domain of positive characteristic $p$ with homogeneous maximal ideal $\mathfrak{m}$ . We denote by $U=\text{Spec}R\setminus \{\mathfrak{m}\}$ the punctured spectrum. Let $M$ be a finitely generated graded $R$ -module with a presentation

(2) $$\begin{eqnarray}0\rightarrow I\rightarrow R^{n}\rightarrow M\rightarrow 0.\end{eqnarray}$$

Let $J=I^{\ast \ast }$ be the reflexive hull of $I$ (considered inside $R^{n}$ ), and let ${\mathcal{L}}$ be the coherent sheaf corresponding to $J$ on $U$ , that is, ${\mathcal{L}}=\widetilde{J}|_{U}$ , then

(3) $$\begin{eqnarray}\displaystyle gHK(M,q) & = & \displaystyle l_{R}\left(\unicode[STIX]{x1D6E4}(U,F^{e\ast }{\mathcal{L}})/\text{im}F^{e\ast }I\right)\nonumber\\ \displaystyle & = & \displaystyle l_{R}\left((F^{e\ast }J)^{\ast \ast }/\text{im}F^{e\ast }I\right),\end{eqnarray}$$

where $q=p^{e}$ , and $\text{im}F^{e\ast }I$ denotes the image of the map $F^{e\ast }I\rightarrow F^{e\ast }R^{n}\cong R^{n}$ .

Before proving the lemma, we explain the right-hand side of the equality (3).

First of all, in virtue of (1), we have $\unicode[STIX]{x1D6E4}(U,F^{e\ast }{\mathcal{L}})=(F^{e\ast }J)^{\ast \ast }$ , so the second equality is clear. Then, the inclusion $I{\hookrightarrow}R^{n}$ factors through the reflexive module $J$ . Applying the Frobenius functor to these maps, we get a commutative diagram

(4)

Since the functor $F^{e\ast }$ is not left exact in general, the maps in (4) are not injective. For this reason, we consider the image $\text{im}F^{e\ast }I\subseteq R^{n}$ .

Since $R$ is normal, $U$ is smooth, and the absolute Frobenius morphism $F^{e}:U\rightarrow U$ is exact on $U$ . Therefore, we pull back along $F^{e}$ the inclusion ${\mathcal{L}}{\hookrightarrow}{\mathcal{O}}_{U}^{n}$ , and we take sections on $U$ , obtaining the inclusion

$$\begin{eqnarray}\unicode[STIX]{x1D6E4}(U,F^{e\ast }{\mathcal{L}}){\hookrightarrow}\unicode[STIX]{x1D6E4}(U,F^{e\ast }{\mathcal{O}}_{U}^{n})\cong \unicode[STIX]{x1D6E4}(U,{\mathcal{O}}_{U}^{n})=R^{n}.\end{eqnarray}$$

Therefore, the quotient $\unicode[STIX]{x1D6E4}(U,F^{e\ast }{\mathcal{L}})/\text{im}F^{e\ast }I$ is a quotient of submodules of  $R^{n}$ .

Proof. We apply the functor $F^{e\ast }$ to the short exact sequence (2), and we get $F^{e\ast }I\rightarrow R^{n}\rightarrow F^{e\ast }M\rightarrow 0$ . Therefore, we have

(5) $$\begin{eqnarray}F^{e\ast }M=R^{n}/\text{im}F^{e\ast }I.\end{eqnarray}$$

Then, we consider the short exact sequence

$$\begin{eqnarray}0\rightarrow \unicode[STIX]{x1D6E4}(U,F^{e\ast }{\mathcal{L}})/\text{im}F^{e\ast }I\rightarrow R^{n}/\text{im}F^{e\ast }I\rightarrow R^{n}/\unicode[STIX]{x1D6E4}(U,F^{e\ast }{\mathcal{L}})\rightarrow 0.\end{eqnarray}$$

Taking local cohomology yields

$$\begin{eqnarray}0\rightarrow H_{\mathfrak{m}}^{0}\left(\unicode[STIX]{x1D6E4}(U,F^{e\ast }{\mathcal{L}})/\text{im}F^{e\ast }I\right)\rightarrow H_{\mathfrak{ m}}^{0}\left(R^{n}/\text{im}F^{e\ast }I\right)\rightarrow H_{\mathfrak{ m}}^{0}\left(R^{n}/\unicode[STIX]{x1D6E4}(U,F^{e\ast }{\mathcal{L}})\right).\end{eqnarray}$$

The module $\unicode[STIX]{x1D6E4}(U,F^{e\ast }{\mathcal{L}})$ is reflexive by (1), then by Lemma 1.1 the last module of the previous sequence is $0$ . Therefore, we get the following isomorphism:

(6) $$\begin{eqnarray}\displaystyle H_{\mathfrak{m}}^{0}\left(R^{n}/\text{im}F^{e\ast }I\right) & \cong & \displaystyle H_{\mathfrak{m}}^{0}\left(\unicode[STIX]{x1D6E4}(U,F^{e\ast }{\mathcal{L}})/\text{im}F^{e\ast }I\right)\nonumber\\ \displaystyle & = & \displaystyle \unicode[STIX]{x1D6E4}(U,F^{e\ast }{\mathcal{L}})/\text{im}F^{e\ast }I.\end{eqnarray}$$

The last equality holds because the module $\unicode[STIX]{x1D6E4}(U,F^{e\ast }{\mathcal{L}})/\text{im}F^{e\ast }I$ has support in $\mathfrak{m}$ , since the sheaves ${\mathcal{L}}$ and $\widetilde{I}$ coincide on $U$ . Then, the desired formula follows from (5) and (6).◻

Theorem 3.2. Let $R$ be a two-dimensional normal standard graded $K$ -domain over an algebraically closed field $K$ of prime characteristic $p$ , and let $M$ be a finitely generated graded $R$ -module. Then, the generalized Hilbert–Kunz function of $M$ has the form

$$\begin{eqnarray}gHK(M,q)=e_{gHK}(M)q^{2}+\unicode[STIX]{x1D6FE}(q),\end{eqnarray}$$

where $e_{gHK}(M)$ is a rational number and $\unicode[STIX]{x1D6FE}(q)$ is a bounded function.

Moreover, if $K$ is the algebraic closure of a finite field, then $\unicode[STIX]{x1D6FE}(q)$ is an eventually periodic function. In particular, given a graded presentation of $M$

$$\begin{eqnarray}\bigoplus _{i=1}^{n}R(-d_{i})\xrightarrow[{}]{\unicode[STIX]{x1D713}}\mathop{\bigoplus }_{j=1}^{m}R(-e_{j})\rightarrow M\rightarrow 0\end{eqnarray}$$

and the corresponding short exact sequence of locally free sheaves on the curve $Y=\text{Proj}R$

(7) $$\begin{eqnarray}0\rightarrow {\mathcal{S}}:=\widetilde{\text{ker}\unicode[STIX]{x1D713}}\rightarrow {\mathcal{T}}:=\bigoplus _{i=1}^{n}{\mathcal{O}}_{Y}(-d_{i})\rightarrow {\mathcal{Q}}:=\widetilde{\text{im}\unicode[STIX]{x1D713}}\rightarrow 0,\end{eqnarray}$$

then the generalized Hilbert–Kunz multiplicity of $M$ is

$$\begin{eqnarray}e_{gHK}(M)=\frac{1}{2\deg Y}\left(\unicode[STIX]{x1D707}_{HK}({\mathcal{S}})-(\deg Y)^{2}\mathop{\sum }_{i=1}^{n}d_{i}^{2}+\unicode[STIX]{x1D707}_{HK}({\mathcal{Q}})\right).\end{eqnarray}$$

Proof. Let $u_{1},\ldots ,u_{m}$ be homogeneous generators of $M$ of degrees $e_{1},\ldots ,e_{m}$ , respectively, and let

$$\begin{eqnarray}0\rightarrow I\rightarrow \bigoplus _{j=1}^{m}R(-e_{j})\xrightarrow[{}]{u_{1},\ldots ,u_{m}}M\rightarrow 0\end{eqnarray}$$

be the corresponding short exact sequence. Let $f_{1},\ldots ,f_{n}$ be homogeneous generators of $I$ of degrees $d_{1},\ldots ,d_{n}$ respectively and let

$$\begin{eqnarray}0\rightarrow N\rightarrow \bigoplus _{i=1}^{n}R(-d_{i})\xrightarrow[{}]{f_{1},\ldots ,f_{n}}I\rightarrow 0\end{eqnarray}$$

be the corresponding graded short exact sequence. This last sequence induces the short exact sequence (7) on $Y$ , and the short exact sequence

(8) $$\begin{eqnarray}0\rightarrow {\mathcal{E}}:=\widetilde{N}|_{U}\rightarrow {\mathcal{F}}:=\bigoplus _{i=1}^{n}{\mathcal{O}}_{U}(-d_{i})\rightarrow \widetilde{I}|_{U}\rightarrow 0\end{eqnarray}$$

on the punctured spectrum $U$ . The modules $N$ and $I$ are submodules of finite free $R$ -modules, so they are torsion-free. It follows that the corresponding sheaves ${\mathcal{E}}$ and $\widetilde{I}|_{U}$ on $U$ are locally free, since $U$ is regular. Moreover, if $J=I^{\ast \ast }$ is the reflexive hull of $I$ , and ${\mathcal{L}}$ is the coherent sheaf corresponding to $J$ on $U$ , we have that ${\mathcal{L}}=\widetilde{I}|_{U}$ as sheaves on $U$ .

From Lemma 3.1, the generalized Hilbert–Kunz function of $M$ is given by

$$\begin{eqnarray}gHK(M,q)=l_{R}\left(\unicode[STIX]{x1D6E4}(U,F^{e\ast }{\mathcal{L}})/\text{im}F^{e}I\right)=\mathop{\sum }_{m\in \mathbb{Z}}l_{R}\left(\left(\unicode[STIX]{x1D6E4}(U,F^{e\ast }{\mathcal{L}})/\text{im}F^{e}I\right)_{m}\right).\end{eqnarray}$$

To compute the last sum, we consider the sequence (7), we pull it back along the $e\text{th}$ absolute Frobenius morphism on $Y$ and we tensor with ${\mathcal{O}}_{Y}(m)$ , for an integer $m$ . We obtain an exact sequence

$$\begin{eqnarray}0\rightarrow F^{e\ast }{\mathcal{S}}(m)\rightarrow F^{e\ast }{\mathcal{T}}(m)\rightarrow F^{e\ast }{\mathcal{Q}}(m)\rightarrow 0.\end{eqnarray}$$

Then, we take global sections $\unicode[STIX]{x1D6E4}(Y,-)$ of the last sequence and we get

$$\begin{eqnarray}0\rightarrow \unicode[STIX]{x1D6E4}(Y,F^{e\ast }{\mathcal{S}}(m))\rightarrow \unicode[STIX]{x1D6E4}(Y,F^{e\ast }{\mathcal{T}}(m))\xrightarrow[{}]{\unicode[STIX]{x1D711}_{m}}\unicode[STIX]{x1D6E4}(Y,F^{e\ast }{\mathcal{Q}}(m))\rightarrow \ldots .\end{eqnarray}$$

We are interested in the cokernel of the map $\unicode[STIX]{x1D711}_{m}$ . Its image is clearly $(\text{im}F^{e}I)_{m}$ . For the evaluation of the sheaf $F^{e\ast }{\mathcal{Q}}(m)$ on $Y$ , we consider the sequences (7) and (8), and we obtain

$$\begin{eqnarray}\unicode[STIX]{x1D6E4}(Y,F^{e\ast }{\mathcal{Q}}(m))\cong \unicode[STIX]{x1D6E4}(U,F^{e\ast }{\mathcal{L}})_{m}.\end{eqnarray}$$

Therefore, we get

$$\begin{eqnarray}\text{Coker}(\unicode[STIX]{x1D711}_{m})=\unicode[STIX]{x1D6E4}(U,F^{e\ast }{\mathcal{L}})_{m}/(\text{im}F^{e}I)_{m}=\left(\unicode[STIX]{x1D6E4}(U,F^{e\ast }{\mathcal{L}})/\text{im}F^{e}I\right)_{m}.\end{eqnarray}$$

It follows that

$$\begin{eqnarray}gHK(M,q)=\mathop{\sum }_{m\in \mathbb{Z}}\text{Coker}(\unicode[STIX]{x1D711}_{m}).\end{eqnarray}$$

We compute the last sum with Theorem 2.5, and we obtain the desired formula for the generalized Hilbert–Kunz function.

For the generalized Hilbert–Kunz multiplicity, it is enough to notice that $\unicode[STIX]{x1D707}_{HK}({\mathcal{T}})=(\deg Y)^{2}\sum _{i=1}^{n}d_{i}^{2}$ , by Example 2.4.◻

Corollary 3.3. Let $I$ be a nonzero ideal generated by homogeneous elements $f_{1},\ldots ,f_{n}$ of degrees $d_{1},\ldots ,d_{n}$ , respectively, and let $d$ be the degree of the ideal sheaf associated to $I$ on $Y=\text{Proj}R$ . Then, the generalized Hilbert–Kunz multiplicity of $R/I$ is given by

$$\begin{eqnarray}e_{gHK}(R/I)=\frac{1}{2\deg Y}\left(\mathop{\sum }_{k=1}^{t}r_{k}\bar{\unicode[STIX]{x1D707}}_{k}^{2}-(\deg Y)^{2}\mathop{\sum }_{i=1}^{n}d_{i}^{2}+d^{2}\right),\end{eqnarray}$$

where $r_{k}$ , $\bar{\unicode[STIX]{x1D707}}_{k}$ and $t$ are the numerical invariants of the strong Harder–Narasimhan filtration of the syzygy bundle $\text{Syz}(f_{1},\ldots ,f_{n})$ .

Proof. In this case, the presenting sequence of $R/I$ is just $0\rightarrow I\rightarrow R\rightarrow R/I\rightarrow 0$ , and the sequence (7) is then

$$\begin{eqnarray}0\rightarrow \text{Syz}(f_{1},\ldots ,f_{n})\rightarrow \bigoplus _{i=1}^{n}{\mathcal{O}}_{Y}(-d_{i})\xrightarrow[{}]{f_{1},\ldots ,f_{n}}{\mathcal{Q}}\rightarrow 0.\end{eqnarray}$$

Therefore, by Theorem 3.2, the generalized Hilbert–Kunz multiplicity of $R/I$ is given by

$$\begin{eqnarray}\frac{1}{2\deg Y}\left(\unicode[STIX]{x1D707}_{HK}(\text{Syz}(f_{1},\ldots ,f_{n}))-(\deg Y)^{2}\mathop{\sum }_{i=1}^{n}d_{i}^{2}+\unicode[STIX]{x1D707}_{HK}({\mathcal{Q}})\right).\end{eqnarray}$$

In this situation, ${\mathcal{Q}}$ is a line bundle, so by Example 2.3, $\unicode[STIX]{x1D707}_{HK}({\mathcal{Q}})=(\deg {\mathcal{Q}})^{2}=d^{2}$ , and by definition, $\unicode[STIX]{x1D707}_{HK}(\text{Syz}(f_{1},\ldots ,f_{n}))=\sum _{k=1}^{t}r_{k}\bar{\unicode[STIX]{x1D707}}_{k}^{2}$ .◻

Example 3.4. Let $h$ be a homogeneous element of degree $a>0$ , and let $I=(h)$ . Then, we have $0\rightarrow {\mathcal{O}}_{Y}(-a)\xrightarrow[{}]{\simeq }{\mathcal{L}}\rightarrow 0$ ; hence, $\text{Syz}(h)=0$ . Since $I$ is principal, the degree of the ideal sheaf associated to $I$ is $a\cdot \deg Y$ . The generalized Hilbert–Kunz multiplicity is then

$$\begin{eqnarray}e_{gHK}(R/I)=\frac{1}{2\deg Y}\left(-(\deg Y)^{2}a^{2}+(\deg Y)^{2}a^{2}\right)=0,\end{eqnarray}$$

in accordance with Proposition 1.2.

Example 3.5. Let $I$ be a prime ideal of height 1 generated by two homogeneous elements $f$ and $g$ of degrees $a$ and $b$ , respectively. Then, the syzygy sequence is

$$\begin{eqnarray}0\rightarrow \text{Syz}(f,g)\rightarrow {\mathcal{O}}_{Y}(-a)\oplus {\mathcal{O}}_{Y}(-b)\rightarrow {\mathcal{Q}}\rightarrow 0,\end{eqnarray}$$

with ${\mathcal{Q}}$ the line bundle of, say, degree $d$ associated to the ideal $I$ . From this sequence, we see that the syzygy bundle has rank 1 and degree $\deg Y(-a-b)-d$ . Therefore, we have

$$\begin{eqnarray}\displaystyle e_{gHK}(R/I) & = & \displaystyle \frac{1}{2\deg Y}\left(\left(\deg Y(-a-b)-d\right)^{2}-(\deg Y)^{2}(a^{2}+b^{2})+d^{2}\right)\nonumber\\ \displaystyle & = & \displaystyle \frac{1}{2\deg Y}\Big(2d^{2}+(\deg Y)^{2}(a^{2}+b^{2})+2ab(\deg Y)^{2}\nonumber\\ \displaystyle & & \displaystyle +\,2d\deg Y(a+b)-(\deg Y)^{2}(a^{2}+b^{2})\Big)\nonumber\\ \displaystyle & = & \displaystyle \frac{1}{\deg Y}\left(d^{2}+ab(\deg Y)^{2}+d(a+b)\deg Y\right)\nonumber\\ \displaystyle & = & \displaystyle \frac{d^{2}}{\deg Y}+ab\deg Y+d(a+b).\nonumber\end{eqnarray}$$

Example 3.6. Let $P$ be a point of the smooth projective curve $Y=\text{Proj}R$ , and let $I\subseteq R$ be the corresponding homogeneous prime ideal of height 1. The ideal $I$ is minimally generated by two linear forms $f$ and $g$ . In fact, $f$ and $g$ correspond to two hyperplanes in the projective space where $Y$ is embedded which meet transversally in $P$ . Then, using the notations of Example 3.5, we have $a=b=1$ , and $d=-1$ , since the line bundle ${\mathcal{Q}}$ associated to the ideal $I$ is a subsheaf of ${\mathcal{O}}_{Y}$ . Therefore, we obtain

$$\begin{eqnarray}e_{gHK}(R/I)=\frac{1}{\deg Y}+\deg Y-2=\frac{(\deg Y-1)^{2}}{\deg Y}.\end{eqnarray}$$

4 The limit of generalized Hilbert–Kunz multiplicity

Let $R$ be a standard graded domain flat over $\mathbb{Z}$ such that almost all fiber rings $R_{p}=R\otimes _{\mathbb{Z}}\mathbb{Z}/p\mathbb{Z}$ are geometrically normal two-dimensional domains. We define $R_{0}:=R\otimes _{\mathbb{Z}}\mathbb{Q}$ and the corresponding projective curve $Y_{0}:=\text{Proj}R_{0}$ over the generic point. We denote by $Y_{p}:=\text{Proj}R_{p}$ the projective curve over the prime number $p$ . This is a smooth projective curve for almost all primes. If ${\mathcal{S}}$ is a sheaf over the curve $Y:=\text{Proj}R$ , we denote by ${\mathcal{S}}_{p}$ (resp. ${\mathcal{S}}_{0}$ ) the corresponding restriction to the curves $Y_{p}$ (resp. $Y_{0}$ ).

Remark 4.1. In our setting, the curves $Y_{0}$ and $Y_{p}$ are not defined over an algebraically closed field. However, we may consider the curves $\overline{Y}_{0}:=Y_{0}\times _{\mathbb{Q}}\overline{\mathbb{Q}}$ and $\overline{Y}_{p}:=Y_{p}\times _{\mathbb{Z}/p\mathbb{Z}}\overline{\mathbb{Z}/p\mathbb{Z}}$ , which are smooth projective curves over the algebraic closures. We can consider the definitions of degree, slope, semistable, HN filtration and strong HN filtration for these curves, and transfer them to the original curves $Y_{0}$ and $Y_{p}$ . Therefore, we move to the algebraic closure and back whenever this is convenient.

Let $M$ be a graded $R$ -module. For every prime $p$ , we can consider the reduction to characteristic $p$ , $M_{p}:=M\otimes _{R}R_{p}\cong M\otimes _{\mathbb{Z}}\mathbb{Z}/p\mathbb{Z}$ , and compute the generalized Hilbert–Kunz multiplicity $e_{gHK}^{R_{p}}(M_{p})$ of the $R_{p}$ -module $M_{p}$ . Since the projective curve $Y_{p}$ is smooth for almost all primes $p$ , by Theorem 3.2, we know that $e_{gHK}^{R_{p}}(M_{p})$ exists, and that it is rational for these primes. We are interested in the behavior of $e_{gHK}^{R_{p}}(M_{p})$ for $p\rightarrow +\infty$ .

We introduce the following characteristic zero version of the Hilbert–Kunz slope.

Definition 4.2. Let ${\mathcal{S}}$ be a locally free sheaf over a projective curve over an algebraically closed field of characteristic zero, and let ${\mathcal{S}}_{1}\subseteq \cdots \subseteq {\mathcal{S}}_{t}={\mathcal{S}}$ be the Harder–Narasimhan filtration of ${\mathcal{S}}$ . For every $k=1,\ldots ,t$ , we set $\bar{\unicode[STIX]{x1D707}}_{k}=\bar{\unicode[STIX]{x1D707}}_{k}({\mathcal{S}})=\unicode[STIX]{x1D707}({\mathcal{S}}_{k}/{\mathcal{S}}_{k-1})$ and $r_{k}=\text{rank}({\mathcal{S}}_{k}/{\mathcal{S}}_{k-1})$ . The Hilbert–Kunz slope of ${\mathcal{S}}$ is the rational number

$$\begin{eqnarray}\unicode[STIX]{x1D707}_{HK}({\mathcal{S}})=\mathop{\sum }_{k=1}^{t}r_{k}\bar{\unicode[STIX]{x1D707}}_{k}^{2}.\end{eqnarray}$$

The name Hilbert–Kunz slope is justified by the following result of Trivedi (cf. [Reference Trivedi12, Lemma 1.14]).

Lemma 4.3. (Trivedi)

Let $h\in \mathbb{Z}_{+}$ , let $Y$ be a smooth projective curve over $\text{Spec}\mathbb{Z}_{h}$ , and let ${\mathcal{S}}$ be a locally free sheaf over $Y$ . We denote by ${\mathcal{S}}_{0}$ and ${\mathcal{S}}_{p}$ the restrictions of ${\mathcal{S}}$ to $Y_{0}$ and $Y_{p}$ , for $p\nmid h$ . Then,

$$\begin{eqnarray}\lim _{\substack{ p\rightarrow +\infty \\ p\nmid h}}\unicode[STIX]{x1D707}_{HK}({\mathcal{S}}_{p})=\unicode[STIX]{x1D707}_{HK}({\mathcal{S}}_{0}).\end{eqnarray}$$

Theorem 4.4. Let $R$ be a standard graded domain flat over $\mathbb{Z}$ such that almost all fiber rings $R_{p}=R\otimes _{\mathbb{Z}}\mathbb{Z}/p\mathbb{Z}$ are geometrically normal two-dimensional domains. Let $M$ be a graded $R$ -module with a graded presentation

$$\begin{eqnarray}\mathop{\bigoplus }_{i=1}^{n}R(-d_{i})\xrightarrow[{}]{\unicode[STIX]{x1D713}}\mathop{\bigoplus }_{j=1}^{m}R(-e_{j})\rightarrow M\rightarrow 0,\end{eqnarray}$$

and corresponding short exact sequence of locally free sheaves $0\rightarrow {\mathcal{S}}_{0}\rightarrow {\mathcal{T}}_{0}\rightarrow {\mathcal{Q}}_{0}\rightarrow 0$ on the generic fiber $Y_{0}=\text{Proj}R_{0}$ , with notations as above. Then, the limit

$$\begin{eqnarray}\lim _{p\rightarrow +\infty }e_{gHK}^{R_{p}}(M_{p})\end{eqnarray}$$

exists, and it is equal to the rational number

$$\begin{eqnarray}\frac{1}{2\deg Y_{0}}\left(\unicode[STIX]{x1D707}_{HK}({\mathcal{S}}_{0})-\unicode[STIX]{x1D707}_{HK}({\mathcal{T}}_{0})+\unicode[STIX]{x1D707}_{HK}({\mathcal{Q}}_{0})\right).\end{eqnarray}$$

Proof. Let $u_{1},\ldots ,u_{m}$ be homogeneous generators of $M$ as $R$ -module, and let $f_{1},\ldots ,f_{n}$ be homogeneous generators of $I:=\text{Syz}(u_{1},\ldots ,u_{m})$ . We obtain two short exact sequences

(9) $$\begin{eqnarray}\displaystyle & & \displaystyle 0\rightarrow I\rightarrow \bigoplus _{j=1}^{m}R(-e_{j})\xrightarrow[{}]{u_{1},\ldots ,u_{m}}M\rightarrow 0\quad \text{and}\nonumber\\ \displaystyle & & \displaystyle 0\rightarrow N\rightarrow \bigoplus _{i=1}^{n}R(-d_{i})\xrightarrow[{}]{f_{1},\ldots ,f_{n}}I\rightarrow 0.\end{eqnarray}$$

Tensoring these sequences with the flat $\mathbb{Z}$ -module $\mathbb{Q}$ , we obtain exact sequences of $R_{0}$ -modules. On the other hand, if we apply the functor $-\otimes _{\mathbb{Z}}\mathbb{Z}/p\mathbb{Z}$ to the sequences (9), exactness is preserved for all primes except for a finite number of them. Let $h$ be the product of those primes, and we consider the smooth projective curve $Y=\text{Proj}R_{h}$ over $\text{Spec}\mathbb{Z}_{h}$ .

Let $U=D(R_{h+})$ denote the relative punctured spectrum. The sheaf $\widetilde{I}|_{U}$ restricts to $U_{0}=U\cap \text{Spec}R_{0}$ as a locally free sheaf. By possibly shrinking the set $D(h)$ , we may assume that $\widetilde{I}|_{U}$ is locally free. By further shrinking, we may assume that ${\mathcal{E}}:=\widetilde{N}|_{U}$ is also locally free. Then, for almost all $p$ , $I_{p}$ and $N_{p}$ are locally free on $U_{p}$ .

Let ${\mathcal{S}}$ , ${\mathcal{T}}$ , ${\mathcal{Q}}$ be the locally free sheaves on $Y$ corresponding to ${\mathcal{E}}$ , $\bigoplus _{i=1}^{n}R(-d_{i})$ , $\widetilde{I}|_{U}$ , which, by the second sequence of (9), form an exact sequence $0\rightarrow {\mathcal{S}}\rightarrow {\mathcal{T}}\rightarrow {\mathcal{Q}}\rightarrow 0$ on $Y$ . Its restrictions give the short exact sequences $0\rightarrow {\mathcal{S}}_{0}\rightarrow {\mathcal{T}}_{0}\rightarrow {\mathcal{Q}}_{0}\rightarrow 0$ on the generic fiber $Y_{0}$ , and $0\rightarrow {\mathcal{S}}_{p}\rightarrow {\mathcal{T}}_{p}\rightarrow {\mathcal{Q}}_{p}\rightarrow 0$ on the fiber $Y_{p}$ , for $p\nmid h$ .

Let $p$ be a prime number not dividing $h$ , then we are in the situation of Theorem 3.2, so we obtain

$$\begin{eqnarray}e_{gHK}^{R_{p}}(M_{p})=\frac{1}{2\deg Y_{p}}\left(\unicode[STIX]{x1D707}_{HK}({\mathcal{S}}_{p})-\unicode[STIX]{x1D707}_{HK}({\mathcal{T}}_{p})+\unicode[STIX]{x1D707}_{HK}({\mathcal{Q}}_{p})\right).\end{eqnarray}$$

Then, taking the limit for $p\rightarrow +\infty$ and applying Lemma 4.3, we conclude the proof.◻

Acknowledgments

We would like to thank Mohsen Asgharzadeh for a careful reading of an earlier version of this article, and Hailong Dao for many helpful conversations. We thank the referee for showing us how to simplify the proofs of Lemma 1.1 and Lemma 1.3. Moreover, we thank the DFG Graduiertenkolleg Kombinatorische Strukturen in der Geometrie at Osnabrück for support.

References

Asgharzadeh, M., On the (LC) conjecture, preprint, arXiv:1512.02518, 2015.Google Scholar
Brenner, H., The rationality of the Hilbert–Kunz multiplicity in graded dimension two , Math. Ann. 334(1) (2006), 91110.CrossRefGoogle Scholar
Brenner, H., The Hilbert–Kunz function in graded dimension two , Comm. Algebra 35(10) (2007), 31993213.CrossRefGoogle Scholar
Bruns, W. and Herzog, J., Cohen–Macaulay Rings, revised edition, Cambridge Studies in Advanced Mathematics 39 , Cambridge University Press, 1998.CrossRefGoogle Scholar
Burban, I. and Drozd, Y., “ Maximal Cohen–Macaulay modules over surface singularities ”, in Trends in Representation Theory of Algebras and Related Topics, EMS Ser. Congr. Rep., Eur. Math. Soc., Zürich, 2008, 101166.CrossRefGoogle Scholar
Dao, H. and Smirnov, I., On generalized Hilbert–Kunz function and multiplicity, preprint, arXiv:1305.1833, 2013.Google Scholar
Dao, H. and Watanabe, K., Some computations of generalized Hilbert–Kunz function and multiplicity , Proc. Amer. Math. Soc. 144(8) (2016), 31993206.Google Scholar
Epstein, N. and Yao, Y., Some extensions of Hilbert–Kunz multiplicity , Collect. Math. (2016), to appear.Google Scholar
Hochster, M. and Huneke, C., Tight closure, invariant theory, and the Briancon–Skoda theorem , J. Amer. Math. Soc. 3 (1990), 31116.Google Scholar
Huneke, C., “ Hilbert–Kunz multiplicity and the F-signature ”, in Commutative Algebra, Springer, New York, 2013, 485525.Google Scholar
Langer, A., Semistable sheaves in positive characteristic , Ann. Math. 159 (2004), 251276.Google Scholar
Trivedi, V., Hilbert–Kunz multiplicity and reduction mod p , Nagoya Math. J. 185 (2007), 123141.Google Scholar
Vraciu, A., An observation on generalized Hilbert–Kunz functions , Proc. Amer. Math. Soc. 144(8) (2016), 32213229.Google Scholar