Graded Cohen-Macaulay domains and lattice polytopes with short \(h\)-vector (Q2167319)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Graded Cohen-Macaulay domains and lattice polytopes with short \(h\)-vector |
scientific article |
Statements
Graded Cohen-Macaulay domains and lattice polytopes with short \(h\)-vector (English)
0 references
25 August 2022
0 references
Let \(R=\bigoplus_{i\ge 0}R_i\) be a Noetherian graded Cohen-Macaulay domain with \(R_0=\Bbbk\) being an algebraically closed field. Let \(S=\Bbbk[R_1]\). Suppose that \(R\) is \textit{semi-standard graded}, namely, \(R\) is finitely generated as an \(S\)-module. The main result of this paper states that the graded Betti numbers \(\beta_{p,p+s}^S(R)=0\) for \(0\le p\le h_1-h_s\) where \((h_0,h_1,\dots,h_s)\) is the \(h\)-vector of \(R\). Green's vanishing theorem as presented by \textit{D. Eisenbud} and \textit{J. Koh} [Adv. Math. 90, No. 1, 47--76 (1991; Zbl 0754.13012)] is central in its proof. As an important corollary, if \(h_s\le h_1\), then \(R\) is generated by elements of degree \(\le s-1\) as an \(S\)-module. This result is then applied to study the Ehrhart ring \(\Bbbk[P]\) of a lattice polytope \(P\subset \mathbb{R}^d\). Various bounds on different generators can be slightly improved. In particular, if the \(h\)-vector of \(\Bbbk[P]\) takes the form \((1,h_1^*,h_2^*)\) with \(h_2^*<h_1^*\), then \(P\) has \textit{integer decomposition property} (IDP).
0 references
lattice polytope
0 references
\(h^*\)-vector
0 references
semi-standard graded ring
0 references
Cohen-Macaulay domain
0 references
0 references
0 references
0 references