Hilbert-Kunz density function for graded domains

DOI10.1016/J.JPAA.2021.106835MaRDI QIDQ1979301zbMATH OpenOpenAlexFDO

Authors Vijaylaxmi Trivedi, Kei-Ichi Watanabe

Publication date 2 September 2021

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2003.07035

zbMATH Keywords

\(\mathbb{N}\)-graded domains\(\mathbb{Q}\)-divisors\(F\)-thresholdschar \(p\) methodsHilbert-Kunz density functionsreflexive sheaves

Mathematics Subject Classification ID

Graded rings (13A02) Characteristic (p) methods (Frobenius endomorphism) and reduction to characteristic (p); tight closure (13A35) Actions of groups on commutative rings; invariant theory (13A50) Divisors, linear systems, invertible sheaves (14C20)

Abstract: We prove the existence of HK density function for a pair $(R,I)$, where $R$ is a $mathbbN$-graded domain of finite type over a perfect field and $IsubsetR$ is a graded ideal of finite colength. This generalizes our earlier result where one proves the existence of such a function for a pair $(R,I)$, where, in addition $R$ is standard graded. As one of the consequences we show that if $G$ is a finite group scheme acting linearly on a polynomial ring $R$ of dimension $d$ then the HK density function $$, of the pair $$, is a piecewise polynomial function of degree $d-1$. We also compute the HK density functions for $$, where $GsubsetS{L}_2(k)$ is a finite group acting linearly on the ring $k[X,Y]$.

Review text

In this work, the authors generalize some results on the Hilbert-Kunz density function for a \textit{graded pair} \((R,I)\). More in detail, they prove the existence of the HK density function when \(R\) is an \(\mathbb{N}\)-graded domain (of dimension greater then 1) of finite type over a finite perfect field, and \(I\) is a graded ideal of finite colength. This result generalize that one in [\textit{V. Trivedi}, Trans. Am. Math. Soc. 370, No. 12, 8403--8428 (2018; Zbl 1400.13019)], where \(R\) was a \textit{standard graded domain}. Moreover, they also generalize some properties of such a function from the aforementioned paper and from [\textit{V. Trivedi} and \textit{K. I. Watanabe}, J. Algebra, 567, 533--563 (2021; Zbl 1457.13012)]. These contributions could be more useful to work on some not standard graded rings such as, for instance, affine toric rings. More in detail, let \(R\) be a \(\mathbb{N}\)-graded domain over a perfect field of characteristic \(p > 0\), and let \(I\) be a graded ideal of finite colength, that is, \((R,I)\) is a graded pair. If \(M\) is a finitely generated graded \(R\)-module, then the Hilbert-Kunz density function \( f_{M,I}\) can be defined as the limit of a uniformly convergent sequence of compactly supported functions. The following equalities hold: \[ (a)\ f_{M,I}=(\text{rank}\ M) f_{R,I} \quad \text{and} \quad (b)\ e_{HK}(M,I)=\int_{0}^{\infty}{f_{M,I}(x)dx,} \] where \(e_{HK}(M,I)\) is the \(HK\) multiplicity of \(M\) with respect to \(I\) [\textit{P. Monsky}, Math. Ann. 263, 43--49 (1983; Zbl 0509.13023)]. The proof of the main theorem can be summarized as follows: firstly, the particular case for \(M=R\), \(R\) normal graded domain, is proved. Then, the result is extended to \(R\) as graded domain. Finally, it is extended to graded modules over \((R,I)\). Some properties of the HK density function \(f_{M,I}\) are also generalized for graded domains [\textit{V. Trivedi} and \textit{K. I. Watanabe}, J. Algebra, 567, 533--563 (2021; Zbl 1457.13012)]: \begin{itemize} \item[--] it is a multiplicative function for Segre product; \item[--] its maximum support \(\alpha(M,I)\) is the \(F\)-threshold of an \(\mathbf{m}\)-primary ideal; \item[--] it has a closed formula when \(\text{dim}\ R=2\) or \(I\) is generated by a system of parameters. \end{itemize} Furthermore, a section of the paper is devoted to some relevant examples of particular HK density functions \(f_{R,I}\): \begin{itemize} \item[--] when \(\mu(I)=\text{dim}\ R\); \item[--] when \(\text{dim}\ R=2\); \item[--] when \(\text{proj dim}_R I<\infty\). \end{itemize} Finally, the authors give some concrete examples of the computation of HK density functions. More precisely, let \(G\) be a finite subgroup of \(\text{SL}_2(k)\) acting on the polynomial ring \(k[X,Y]\). The HK density functions for some particular pairs \((R^G,\mathbf{m}_G)\) are given.

Recommendations

• Hilbert-Kunz density functions and F-thresholds
• Hilbert-Kunz density function and Hilbert-Kunz multiplicity
• Toward Hilbert-Kunz density functions in characteristic 0
• Generalized Hilbert-Kunz function in graded dimension 2
• Hilbert-Kunz density function and asymptotic Hilbert-Kunz multiplicity for projective toric varieties

Cites work

• Dimension projective finie et cohomologie locale. Applications à la demonstration de conjectures de M. Auslander, H. Bass et A. Grothendieck
• Extension of weakly and strongly F-regular rings by flat maps
• F-Regularity, Test Elements, and Smooth Base Change
• F-thresholds, tight closure, integral closure, and multiplicity bounds
• Hilbert-Kunz density function and Hilbert-Kunz multiplicity
• Hilbert-Kunz density functions and F-thresholds
• Hilbert-Kunz multiplicity and an inequality between multiplicity and colength
• scientific article; zbMATH DE number 5080025 (Why is no real title available?)
• scientific article; zbMATH DE number 3572315 (Why is no real title available?)
• scientific article; zbMATH DE number 4123862 (Why is no real title available?)
• scientific article; zbMATH DE number 482758 (Why is no real title available?)
• scientific article; zbMATH DE number 2212146 (Why is no real title available?)
• Multiplicity bounds in graded rings
• Multiplicity of filtered rings and simple K3 singularities of multiplicity two.
• On the existence of \(F\)-thresholds and related limits
• Some remarks concerning Demazure’s construction of normal graded rings
• Stable reflexive sheaves
• The Hilbert-Kunz function
• The singular Riemann-Roch theorem and Hilbert-Kunz functions
• Tight Closure, Invariant Theory, and the Briancon-Skoda Theorem

Cited in

(15)

• Hilbert-Kunz density function and asymptotic Hilbert-Kunz multiplicity for projective toric varieties
• \(\beta\)-density function on the class group of projective toric varieties
• Density function for the second coefficient of the Hilbert-Kunz function on projective toric varieties
• Hilbert-Kunz density functions and F-thresholds
• Generalized Hilbert-Kunz function in graded dimension 2
• scientific article; zbMATH DE number 671747 (Why is no real title available?)
• Hilbert-Kunz density function and Hilbert-Kunz multiplicity
• Toward Hilbert-Kunz density functions in characteristic 0
• Hilbert-Kunz density function of tensor product and Fourier transformation
• The Hilbert-Kunz density functions of quadric hypersurfaces
• Frobenius-Poincaré function and Hilbert-Kunz multiplicity
• Multiplicities and density functions in commutative algebra
• Density functions for epsilon multiplicity and families of ideals
• Hilbert-Kunz multiplicity
• h-function, Hilbert-Kunz density function and Frobenius-Poincaré function

This page was built for publication: Hilbert-Kunz density function for graded domains

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1979301)