On the generators of the canonical module of a Hibi ring: a criterion of level property and the degrees of generators

DOI10.1016/J.JALGEBRA.2017.02.011MaRDI QIDQ524477zbMATH OpenOpenAlexFDO

Authors Mitsuhiro Miyazaki

Publication date 2 May 2017

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1606.04380

zbMATH Keywords

canonical moduleCohen-Macaulay typeHibi ringlevel ring

Mathematics Subject Classification ID

Combinatorics of partially ordered sets (06A07) Rings with straightening laws, Hodge algebras (13F50) Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.) (13H10)

Abstract: In this paper, we study the minimal generating system of the canonical module of a Hibi ring. Using the results, we state a characterization of a Hibi ring to be level. We also give a characterization of a Hibi ring to be of type 2. Further, we show that the degrees of the elements of the minimal generating system of the canonical module of a Hibi ring form a set of consecutive integers.

Review text

Let \(H\) be a finite distributive lattice. Let \(P\) be the set of join-irreducible elements in \(H\). Let \(\{T_x\}_{x \in P}\) be a family of indeterminates indexed by \(P\) and \(K\) be a field. Then \(\mathcal{R}_{K}(H) = K[\prod_{x \leq \alpha} T_x | \alpha \in H]\) is called a Hibi ring over \(K\) on \(H\). A characterization for a Hibi ring to be level is given as follows. Theorem. \(\mathcal{R}_{K}(H)\) is level if and only if \(r(y_1, x_1, \ldots, y_t, x_t) \leq r\) for any sequence of elements in \(P\) with condition \(N\), i.e., \(r_{\max} = r\). The following result is proved. Theorem. Let \(d\) be an integer with \(r \leq d \leq r_{\max}\). Then there exists a generator of the canonical module \(\mathcal{R}_{K}(H)\) with degree \(d\). A combinatorial criterion that a Hibi ring is of type 2 is given. Theorem. \(\mathcal{R}_{K}(H)\) is level if and only if there exists \(z \in P\) with the following conditions. (1) \(\mathrm{rank}[x_0, z] + \mathrm{rank}[z, \infty] = r - 1\). (2) \(P^+ \setminus\{z\}\) is pure of rank \(r\). (3) \([x_0, z]\) and \([z, \infty]\) are pure. A necessary and sufficient condition that a Hibi ring is not level and has type 2 is proved.

Recommendations

• A Sufficient Condition for a Hibi Ring to Be Level and Levelness of Schubert Cycles
• Pseudo-Gorenstein and level Hibi rings
• Almost Gorenstein Hibi rings
• Syzygies of Hibi rings
• Rank bounded Hibi subrings for planar distributive lattices

Cites work

• A Sufficient Condition for a Hibi Ring to Be Level and Levelness of Schubert Cycles
• Hilbert functions of graded algebras
• scientific article; zbMATH DE number 4067064 (Why is no real title available?)
• scientific article; zbMATH DE number 3586175 (Why is no real title available?)
• Rings of Invariants of Tori, Cohen-Macaulay Rings Generated by Monomials, and Polytopes

Cited in

(14)

• Almost Gorenstein Hibi rings
• The Frobenius complexity of Hibi rings
• Fiber cones, analytic spreads of the canonical and anticanonical ideals and limit Frobenius complexity of Hibi rings
• The first syzygy of Hibi rings associated with planar distributive lattices
• On the canonical ideal of the Ehrhart ring of the chain polytope of a poset
• Pseudo-Gorenstein and level Hibi rings
• Regularity and the Gorenstein property of \(L\)-convex polyominoes
• Levelness of Order Polytopes
• Levelness versus almost Gorensteinness of edge rings of complete multipartite graphs
• A Sufficient Condition for a Hibi Ring to Be Level and Levelness of Schubert Cycles
• Level Rings Arising from Meet-Distributive Meet-Semilattices
• Non-Gorenstein loci of Ehrhart rings of chain and order polytopes
• On the linearity of the syzygies of Hibi rings
• Syzygies of Hibi rings

This page was built for publication: On the generators of the canonical module of a Hibi ring: a criterion of level property and the degrees of generators

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q524477)