Some computations of the generalized Hilbert-Kunz function and multiplicity (Q2809176)

Let \((R, \mathfrak{m})\) be a local ring of positive characteristic \(p\). For each positive \(n\), \(F^n:R \to R\) denotes the iteration of the Frobenius morphism that sends \(x\) to \(x^{p^n}\) and \(F^n(R)\) denotes the abelian group \(R\) regarded as an \(R\)-module via \(F^n\). If \(M\) is an \(R\)-module of finite length, the Hilbert-Kunz function and multiplicity are defined by NEWLINE\[NEWLINEf_{HK}^{M}(n):=\lambda(F^n(M)) \text{ and } e_{HK}(M)=\lim_{n \to \infty} f_{HK}^{M}(n)/p^{nd},NEWLINE\]NEWLINE respectively, where \(F^n(M) =M \otimes_R F^n(R)\) and \(d=\dim R\). In the case when \(M\) is not necessarily of finite length, inspired by a definition of Achiles and Manaresi that was applied in the case of the Hilbert-Samuel multiplicity, \textit{N. Epstein} and \textit{Y. Yao} [``Some extensions of Hilbert-Kunz multiplicity'', Preprint, \url{arXiv:1103.4730}] defined the generalized Hilbert-Kunz function and generalized Hilbert-Kunz multiplicity of \(M\) as NEWLINE\[NEWLINEf_{gHK}^{M}(n):=\lambda(H_{\mathfrak m}^0(F^n(M))) \text{ and } e_{gHK}(M)=\lim_{n \to \infty} f_{gHK}^{M}(n)/p^{nd}, \text{ respectively.}NEWLINE\]NEWLINENEWLINENEWLINEIn this paper, the authors develop methods for computing these invariants in several particular cases. More precisely, they give a formula for \(e_{gHK}(M)\) in the following situations: (a) \(R\) is a two dimensional normal domain, \(M=R/I\) and \(I\) represents a torsion element in the class group of \(R\); (b) \(R\) is Gorenstein of finite Cohen-Macaulay type and \(\operatorname{depth} M > 0\); and (c) \(R\) is a normal toric ring, \(M=R/I\) and \(I\) is an ideal generated by monomials.