Rings of invariants of modular \(p\)-groups which are hypersurfaces (Q2569424): Difference between revisions

Let \((A, \mathfrak m)\) denote a local noetherian \(d\)-dimensional ring containing a field of prime characteristic \(p.\) Let \(I\) denote an \(\mathfrak m\)-primary ideal. The notion of Hilbert-Kunz multiplicity \(e_{\text{HK}}(I)\) has been introduced by \textit{E. Kunz} [Am. J. Math. 91, 772--784 (1969; Zbl 0188.33702)]. Nowadays it became an important subject of research. In the present paper the authors introduce the minimal relative Hilbert-Kunz multiplicity \(m_{\text{HK}}(A)\) as \(\liminf L_A(A/\text{Ann}_A z^q)/q^d\), \(q = p^e,\) where \(z\) is a generator of the socle of the injective hull \(E_A(A/\mathfrak m).\) The relevance of this invariant comes from the following question: What is the minimal value of the difference \(e_{\text{HK}}(I) - e_{\text{HK}}(I')\) for two ideals \(I \subset I'\) with \(L_A(I'/I) = 1?\) In fact the authors' prove that \(e_{\text{HK}}(I) - e_{\text{HK}}(I') \geq m_{\text{HK}}(A).\) Moreover, in the case of \(A\) a Gorenstein ring it follows that \(e_{\text{HK}}(J) - e_{\text{HK}}(J : \mathfrak m) = m_{\text{HK}}(A)\) for any parameter ideal \(J\) of \(A.\) Furthermore the authors calculate the minimal relative Hilbert-Kunz multiplicity for quotient singularities as well as for the coordinate ring of the Segre embedding of two projective spaces. The authors mention that their minimal relative Hilbert-Kunz multiplicity coincides with \textit{Y. Yao}'s F-signature, [see the preprint ``Observations on the F-signature of local rings of characteristic \(p\), preliminary version'', \texttt{http://www.math.ukans.edu/\(\sim\)yyao/e-print/f-sig.pdf}].