Non-Gorenstein loci of Ehrhart rings of chain and order polytopes
Let P be a finite poset, K a field, and O(P) (resp. C(P)) the order (resp. chain) polytope of P. We study the non-Gorenstein locus of EK[O(P)] (resp. EK[C(P)]), the Ehrhart ring of O(P) (resp. C(P)) over K, which are each normal toric rings associated P. In particular, we show that the dimension of non-Gorenstein loci of EK[O(P)] and EK[C(P)] are the same. Further, we show that EK[C(P)] is nearly Gorenstein if and only if P is the disjoint union of pure posets P1,…,Ps with ∣rankPi−rankPj∣≤1 for any i and j.