The Rees algebra of a two-Borel ideal is Koszul

DOI10.1090/PROC/13966MaRDI QIDQ4644431zbMATH OpenOpenAlexFDO

Authors Christopher A. Francisco, Jeffrey Mermin, Jay Schweig, Gabriel Sosa, Michael R. DiPasquale

Publication date 7 January 2019

Published in Proceedings of the American Mathematical Society (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Associated graded rings of ideals (Rees ring, form ring), analytic spread and related topics (13A30) Polynomial rings and ideals; rings of integer-valued polynomials (13F20) Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.) (13H10) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10)

Abstract: Let $M$ and $N$ be two monomials of the same degree, and let $I$ be the smallest Borel ideal containing $M$ and $N$. We show that the toric ring of $I$ is Koszul by constructing a quadratic Gr"obner basis for the associated toric ideal. Our proofs use the construction of graphs corresponding to fibers of the toric map. As a consequence, we conclude that the Rees algebra is also Koszul.

Recommendations

• Koszul multi-Rees algebras of principal \(L\)-Borel ideals
• Koszul binomial edge ideals of pairs of graphs
• Toric ideals generalized by quadratic binomials
• The minimal free resolution of a Borel ideal
• A note on the Rees algebra of a bipartite graph

Cites work

• A theorem on refining division orders by the reverse lexicographic order
• Borel generators
• Graded syzygies
• Gröbner bases in commutative algebra
• scientific article; zbMATH DE number 3465689 (Why is no real title available?)
• scientific article; zbMATH DE number 835749 (Why is no real title available?)
• Ideals of fiber type and polymatroids
• Koszul algebras and regularity
• Linear resolutions of powers and products
• The toric ideal of a graphic matroid is generated by quadrics
• Toric ideals of lattice path matroids and polymatroids
• Toric rings generated by special stable sets of monomials

Cited in

(8)

• Koszul blowup algebras associated to three-dimensional Ferrers diagrams
• Koszul multi-Rees algebras of principal \(L\)-Borel ideals
• Rees algebras of ideals of star configurations
• Algebra retracts and Stanley-Reisner rings
• Multi-Rees algebras of strongly stable ideals
• Equations of the multi-Rees algebra of fattened coordinate subspaces
• Stable coherent systems
• Principal vector-spread Borel ideals

Describes a project that uses

Uses Software

• Macaulay2

This page was built for publication: The Rees algebra of a two-Borel ideal is Koszul

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