Residual complex on the tangent cone of a numerical semigroup ring (Q2352392): Difference between revisions

Common tools for studying the numerical semigroup rings and their tangent cones (i.e., their associated graded rings) include the Apéry sets and the Gröbner bases of the defining ideals of the semigroup rings. The paper under review took an alternate approach by investigating related residual complexes. A residual complex \(M^\bullet\) on a Noetherian ring \(A\) is a bounded below complex of \(A\)-modules with finite cohomology modules and such that there is an isomorphism \[ \bigoplus_{n\in\mathbb{Z}} M^n =\bigoplus_{\mathfrak{p}\in \text{Spec}(A)}M(\mathfrak{p}), \] where \(M(\mathfrak{p})\) is an injective hull of the residue field of \(A_{\mathfrak{p}}\). Residual complexes are believed to be main ingredients of Grothendieck duality theory. In a previous paper [Proc. Am. Math. Soc. 123, No. 8, 2369--2372 (1995; Zbl 0830.13017)], the author constructed a residual complex on a numerical semigroup. The complex can be used to reestablish Kunz's criterion for the Gorensteinness of a numerical semigroup ring. In the current paper, the author continued the program by constructing a residual complex on the tangent cone. Using this tool, a symmetry criterion for the Gorensteinness of the tangent cone was established, generating a result of \textit{L. Bryant} [Commun. Algebra 38, No. 6, 2092--2128 (2010; Zbl 1203.13004)].