Abstract
Let P be a lattice polytope with the \(h^{*}\)-vector \((1, h^*_1, \ldots , h^*_s)\). In this note we show that if \(h_s^* \le h_1^*\), then the Ehrhart ring \({\mathbb {k}}[P]\) is generated in degrees at most \(s-1\) as a \({\mathbb {k}}\)-algebra. In particular, if \(s=2\) and \(h_2^* \le h_1^*\), then P is IDP. To see this, we show the corresponding statement for semi-standard graded Cohen–Macaulay domains over algebraically closed fields.
![](http://media.springernature.com/m312/springer-static/image/art%3A10.1007%2Fs00454-021-00342-z/MediaObjects/454_2021_342_Fig1_HTML.png)
Similar content being viewed by others
References
Beck, M., Robins, S.: Computing the Continuous Discretely. Undergraduate Texts in Mathematics. Springer, New York (2007)
Bruns, W., Gubeladze, J.: Polytopes, Rings, and \(K\)-Theory. Springer Monographs in Mathematics. Springer, Dordrecht (2009)
Bruns, W., Herzog, J.: Cohen–Macaulay Rings. Cambridge Studies in Advanced Mathematics, vol. 39. Cambridge University Press, Cambridge (1993)
Bruns, W., Ichim, B., Römer, T., Sieg, R., Söger, Ch.: Normaliz. Algorithms for Rational Cones and Affine Monoids. https://www.normaliz.uni-osnabrueck.de
Conca, A., Iyengar, S.B., Nguyen, H.D., Römer, T.: Absolutely Koszul algebras and the Backelin–Roos property. Acta Math. Vietnam. 40(3), 353–374 (2015)
Eisenbud, D., Koh, J.: Some linear syzygy conjectures. Adv. Math. 90(1), 47–76 (1991)
Green, M.L.: Koszul cohomology and the geometry of projective varieties. J. Differ. Geom. 19(1), 125–171 (1984)
Hibi, T.: A lower bound theorem for Ehrhart polynomials of convex polytopes. Adv. Math. 105(2), 162–165 (1994)
Higashitani, A., Yanagawa, K.: Non-level semi-standard graded Cohen–Macaulay domain with \(h\)-vector \((h_0, h_1, h_2)\). J. Pure Appl. Algebra 222(1), 191–201 (2018)
Hofscheier, J., Katthän, L., Nill, B.: Spanning lattice polytopes and the uniform position principle (2017). arXiv:1711.09512
Hofscheier, J., Katthän, L., Nill, B.: Ehrhart theory of spanning lattice polytopes. Int. Math. Res. Not. IMRN 2018(19), 5947–5973 (2018)
Hochster, M.: Rings of invariants of tori, Cohen–Macaulay rings generated by monomials, and polytopes. Ann. Math. 96, 318–337 (1972)
Koelman, R.J.: A criterion for the ideal of a projectively embedded toric surface to be generated by quadrics. Beiträge Algebra Geom. 34(1), 57–62 (1993)
Schenck, H.: Lattice polygons and Green’s theorem. Proc. Am. Math. Soc. 132(12), 3509–3512 (2004)
Stanley, R.P.: \(f\)-vectors and \(h\)-vectors of simplicial posets. J. Pure Appl. Algebra 71(2–3), 319–331 (1991)
Stanley, R.P.: On the Hilbert function of a graded Cohen–Macaulay domain. J. Pure Appl. Algebra 73(3), 307–314 (1991)
Acknowledgements
The authors thank Kazuma Shimomoto for many inspiring discussions throughout this project. They also thank anonymous reviewers for their careful reading and valuable comments.
Author information
Authors and Affiliations
Corresponding author
Additional information
Editor in Charge: János Pach
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This work was partially supported by JSPS Grant-in-Aid for Scientific Research (C) 19K03456.
Rights and permissions
About this article
Cite this article
Katthän, L., Yanagawa, K. Graded Cohen–Macaulay Domains and Lattice Polytopes with Short h-Vector. Discrete Comput Geom 68, 608–617 (2022). https://doi.org/10.1007/s00454-021-00342-z
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00454-021-00342-z