Castelnuovo-Mumford regularity of seminormal simplicial affine semigroup rings (Q1945898): Difference between revisions

For any homogeneous affine monoid \(B\) and a field \(k\), denote by \(k[B]\) the affine monoid ring of \(B\). Denote by \(\text{reg}~k[B]\) the Castelnuovo-Mumford regularity of \(k[B]\). The famous Eisenbud-Goto conjecture [\textit{D. Eisenbud} and \textit{S. Goto}, J. Algebra 88, No. 1, 89--133 (1984; Zbl 0531.13015)] predicts that we have \[ \text{reg}~k[B] \leq \deg k[B]-\text{codim}~k[B], \] where \(\deg k[B]\) and \(\text{codim}~ k[B]\) denote the multiplicity and the codimension of \(k[B]\). Besides certain partial results, the conjecture remains widely open. In this paper, the author establishes the Eisebud-Goto conjecture for seminormal simplicial affine monoids. The main results (Theorem 3.12 and Theorem 3.16) show that if \(B\) is both seminormal and simplicial then \[ \text{reg}~k[B] \leq \min\{\dim k[B]-1,\deg k[B]-\text{codim}~k[B]\}. \]