An observation on generalized Hilbert-Kunz functions (Q2809178)

Let \((R,m)\) be an \(F\)-finite local ring of characteristic \(p>0\) with perfect residue field. For a finite length \(R\)-module, the Hilbert-Kunz function of \(M\) is defined to be \(f_{HK}^M(n)=l(F^n(M))\), where \(F^n(-)\) is the Peskin-Szpiro's Frobenius base change functor. When \(M=R/I\) for \(I\) and \(m\)-primary ideal this is the classical Hilbert-Kunz function of \(R/I\). For \(M\) finitely generated module (not necessarily finite length), one defines the generalized Hilbert-Kunz function \(f_{gHK}^M(n)=l(H_m^0(F^n(M)))\).NEWLINENEWLINEThe main result of this article is that, if \(R\) satisfies (LC) and countable prime avoidance. Then the generalized Hilbert-Kunz function of \(R/I\) can be expressed as a linear combination owith integer coefficients that do not depend on \(I\) of the classical Hilbert-Kunz functions of \(m\)-primary ideals.NEWLINENEWLINEIn general, countable prime avoidance is a mild assumption, it holds for all complete local rings. The property (LC) is more subtle: it means there exists \(N\) independent of \(q\) such that \(m^{Nq}H_m^0(R/J^{[q]})=0\) for all \(q=p^e\) and every ideal \(J\subseteq R\). This (LC) condition is satisfied if \(R\) is graded and \(J\) is a homogeneous ideal with \(\dim R/J=1\). In general, even if one can show all weakly \(F\)-regular rings satisfies (LC) for all ideals \(J\) with \(\dim R/J=1\), then it would follow that weakly \(F\)-regular localizes. Nonetheless, the main result of this paper is a significant improvement of an observation made in [\textit{H. Dao} and \textit{I. Smirnov}, ``On generalized Hilbert-Kunz function and multiplicity'', Preprint, \url{arXiv:1305.1833}] on the existence and finiteness of generalized Hilbert-Kunz multiplicities.