Derivation module and the Hilbert-Kunz multiplicity of the coordinate ring of a projective monomial curve
type: Item
instance of: scholarly article
title: Derivation module and the Hilbert-Kunz multiplicity of the coordinate ring of a projective monomial curve
author: Om Prakash Bhardwaj
author: Indranath Sengupta
published in: Rocky Mountain Journal of Mathematics
publication date: 2024-08-30T00:00:00Z
review text: This paper describes several invariants of a specific type of affine semigroup ring: the coordinate rings of monomial curves in projective space. More precisely, say \(S\) is the semigroup in \(\mathbb N^2\) generated by \((0,n_p), (n_0,n_p-n_0),(n_1,n_p-n_1),\dots,(n_p,0)\), with \(n_0<\dots<n_p\) sharing no common divisor, and \(k[S]\) the resulting semigroup algebra. In this setting, \(k[S]\) is the homogeneous coordinate ring of the parametrized curve in \(\mathbb P^{p+1}\) defined by \(x_0=v^{n_p},x_1=u^{n_0}v^{n_p-n_0},\dots,x_{p+1}=u^{n_p}\). In general, it is of interest to understand the structure of the module of differentials \(\mathrm{Der}_k(k[S])\) (dual to the Kahler differentials \(\Omega_{k[S]/k}\)), whose properties reflects the singularities of \(k[S]\).\N\NUnder the additional assumption that the \(n_0,\dots,n_p\) form a minimal arithmetic sequence, this paper gives explicit minimal generators for the derivation module \(\mathrm{Der}_k(k[S])\). (In particular, they calculate the minimal number of generators.) In particular, this gives the minimal generators of \(\mathrm{Der}_k(k[S])\) for projective monomial curve in \(\mathbb P^2\) corresponding to the semigroup generated by \((0,n_1)\), \((n_0,n_1-n_0)\), \((n_1,0)\). Furthermore, the paper also describes the Hilbert--Kunz multiplicity \(e_{\mathrm{HK}}(k[S]_{ m})\) when the \(a_i\) do not necessarily form a minimal arithmetic progression. The Hilbert--Kunz multiplicity of a local ring \((R,m)\) is an invariant of singularities in characteristic \(p\) that describes the asymptotic behavior of the length of \(R/m^{[p^e]}\) as \(e \to \infty\), and is in general quite hard to compute. The resulting formula is combinatorial and does not depend on the characteristic \(p\).
reviewed by: Devlin Mallory
Mathematics Subject Classification ID: 13D40
Mathematics Subject Classification ID: 13N15
Mathematics Subject Classification ID: 14H20
Mathematics Subject Classification ID: 14B05
Mathematics Subject Classification ID: 20M25
zbMATH DE Number: 7903764
zbMATH Keywords: numerical semigroup
zbMATH Keywords: affine semigroup
zbMATH Keywords: semigroup ring
zbMATH Keywords: derivation module
zbMATH Keywords: Hilbert-Kunz multiplicity
MaRDI profile type: Publication
cites work: Algebraic invariants of projective monomial curves associated to generalized arithmetic sequences
cites work: On monomial curves and Cohen-Macaulay type
cites work: Multiplicity and Hilbert-Kunz multiplicity of monoid rings.
cites work: Homogeneous numerical semigroups
cites work: Singularity of Monomial Curves in A3 and Gorenstein Monomial Curves in A4
cites work: On the derivations of the homogeneous coordinate ring of a monomial curve in Pdk
cites work: On the derivations of semigroup rings
cites work: The Hilbert-Kunz function
cites work: Q3463691
cites work: Minimal sets of generators for the relation ideals of certain monomial curves
cites work: Minimal set of generators for the derivation module of certain monomial curves
cites work: Generators for the derivation modules and the relation ideals of certain curves
cites work: Graded syzygies
cites work: Numerical semigroups.
cites work: Betti sequence of the projective closure of affine monomial curves
cites work: Derivations and integral closure
cites work: Derivations of negative weight and non-smoothability of certain singularities
DOI: 10.1216/RMJ.2024.54.689
description: scientific article; zbMATH DE number 7903764