On the canonical ideal of the Ehrhart ring of the chain polytope of a poset (Q2330304)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the canonical ideal of the Ehrhart ring of the chain polytope of a poset |
scientific article |
Statements
On the canonical ideal of the Ehrhart ring of the chain polytope of a poset (English)
0 references
28 October 2019
0 references
In [Discrete Comput. Geom. 1, 9--23 (1986; Zbl 0595.52008)] \textit{R. P. Stanley} introduced two convex polytopes associated to a finite partially ordered set \(P\): the order polytope \(\mathcal O (P)\) and the chain polytope \(\mathcal C(P)\). The Ehrhart rings \(K[\mathcal O(P)]\) and \(K[\mathcal C(P)]\) of these polytopes over a field \(K\) are normal Cohen-Macaulay domains and Stanley proved that \(K[\mathcal O(P)]\) and \(K[\mathcal C(P)]\) have the same Hilbert series. In a previous paper [J. Algebra 480, 215--236 (2017; Zbl 1367.13016)], the author studied the generator degrees of the canonical module of \(K[\mathcal O(P)]\). The present paper focuses on the generator degrees of the canonical module of \(K[\mathcal C(P)]\). In each case it is shown that the set of degrees of generators for the canonical module form a set of consecutive integers. It is shown that if \(K[\mathcal C(P)]\) is a level ring (in the sense that all of the generators of the canonical module of \(K[\mathcal C(P)]\) have the same degree) then \(K[\mathcal O(P)]\) has the same property; however, the converse does not hold. It is shown that the \(i\)-th symbolic power and the \(i\)-th ordinary power of the canonical ideal of \(K[\mathcal C(P)]\) are equal for all \(i\).
0 references
chain polytope
0 references
order polytope
0 references
Ehrhart ring
0 references
level ring
0 references
0 references
0 references