Regularity, singularities and \(h\)-vector of graded algebras
type: Item
instance of: scholarly article
title: Regularity, singularities and \(h\)-vector of graded algebras
zbMATH Open document ID: 1542.13001
author: Hailong Dao
author: Linquan Ma
author: Matteo Varbaro
published in: Transactions of the American Mathematical Society
publication date: 2024-07-04T00:00:00Z
review text: Suppose that \(R=\mathbb{K}[x_1, \ldots, x_n]/I\) is a standard graded algebra over a field \(\mathbb{K}\). Also, recall that the Hilbert series of \(R\) is \(H_R(t)=\sum_{i\in \mathbb{N}}(\mathrm{dim}_{\mathbb{K}}R_i)t^i=\frac{h_0+h_1t+\cdots + h_st^s}{(1-t)^d}\). We call the vector of coefficients \((h_0, h_1, \ldots, h_s)\) the \(h\)-vector of \(R\). The main aim of this work is to explore how the singularities of \(\mathrm{Spec}R\) or \(\mathrm{Proj}R\) affect the \(h\)-vector of \(R\) such that the following theorem is the main result of this paper:\N\N{Theorem 1.2.} Let \(R\) be a standard graded algebra over a field and \((h_0, \ldots, h_s)\) the \(h\)-vector of \(R\). Assume \(R\) satisfies \((S_r)\) and either:\N\begin{itemize}\N\item[(1)] char \(\mathbb{K} = 0\) and \(X = \mathrm{Proj} R\) is Du Bois.\N\item[(2)] char \(\mathbb{K} = p > 0\) and \(R\) is \(F\)-pure.\N\end{itemize}\NThen \(h_i \geq 0\) for \(i = 0, \ldots, r.\) Also, \(h_r +h_{r+1} + \cdots + h_s \geq 0\), or equivalently \(R\) has multiplicity at least \(h_0 + h_1 + \cdots + h_{r-1}.\) If furthermore \(R\) has Castelnuovo-Mumford regularity less than \(r\) or \(h_i = 0\) for some \(i \leq r\), then \(R\) is Cohen-Macaulay. \N\NIn particular, the following corollary says that ``nice singularities of small codimension'' should be Cohen-Macaulay.\N\N{Corollary 5.7.} Let \(R=\mathbb{K}[x_1, \ldots, x_n]/I\) be a standard graded algebra over a field \(\mathbb{K}\) of characteristic \(0\) with \(e = \mathrm{ht}I\) and \(d = \mathrm{dim}R.\) Let \(d_1 \geq d_2 \geq \cdots \) be the degree sequence of a minimal set of generators for \(I\). Assume that \(R\) is unmixed, equidimensional, Cohen-Macaulay in codimension \(l\) and \(X = \mathrm{Proj}R\) has only \(MJ\)-\(log\) canonical singularities. If \(e + l \geq d_1 + \cdots + d_e\), then \(R\) is Cohen-Macaulay.\N\N \bigskip The next theorem is a statement on \(h_2\) that can be seen as a mild extension of Theorem 4.2 in [\textit{D. Eisenbud} and \…
reviewed by: Mehrdad Nasernejad
Mathematics Subject Classification ID: 13A02
Mathematics Subject Classification ID: 13A35
Mathematics Subject Classification ID: 14B05
Mathematics Subject Classification ID: 14B15
Mathematics Subject Classification ID: 13D45
zbMATH DE Number: 7876016
zbMATH Keywords: regularity
zbMATH Keywords: singularities
zbMATH Keywords: \(h\)-vector
MaRDI profile type: MaRDI publication profile
cites work: Laurent coefficients and Ext of finite graded modules
cites work: Stabilization of the cohomology of thickenings
cites work: Vanishing Theorems, A Theorem of Severi, and the Equations Defining Projective Varieties
cites work: Liaison and Castelnuovo-Mumford regularity
cites work: Cohomologically Full Rings
cites work: Jacobian discrepancies and rational singularities
cites work: A vanishing theorem for log canonical pairs
cites work: Singularities with respect to Mather-Jacobian discrepancies
cites work: Linear free resolutions and minimal multiplicity
cites work: Small schemes and varieties of minimal degree
cites work: The Geometry of Syzygies
cites work: On the \(h\)-vector of a simplicial complex with Serre's condition
cites work: Complete Intersections and Connectedness
cites work: The purity of the Frobenius and local cohomology
cites work: A Remark Concerning Multiplicities
cites work: Q3125875
cites work: Mather discrepancy and the arc spaces
cites work: Gröbner deformations and F‐singularities
cites work: Deformations of log canonical and $F$-pure singularities
cites work: Hodge theory meets the minimal model program: a survey of log canonical and Du Bois singularities
cites work: The canonical sheaf of Du Bois singularities
cites work: Regularity of canonical and deficiency modules for monomial ideals
cites work: Etale cohomological dimension and the topology of algebraic varieties
cites work: \(F\)-injectivity and Buchsbaum singularities
cites work: Local cohomology of Du Bois singularities and applications to families
cites work: Eulerian graded \(\mathcal{D}\)-modules
cites work: \(H\)-vectors of simplicial complexes with Serre's conditions
cites work: Mather–Jacobian singularities under generic linkage
cites work: Dualisierende Komplexe in der lokalen Algebra und Buchsbaum-Ringe
cites work: A Simple Characterization of Du Bois Singularities
cites work: Q4680541
cites work: Alexander duality for Stanley-Reisner rings and squarefree \(\mathbb{N}^n\)-graded modules
DOI: 10.1090/TRAN/9089
description: scientific article; zbMATH DE number 7876016