Table of Contents
Fetching ...

Linear quotients, linear resolutions and the lcm-lattice

Roni Varshavsky

TL;DR

The paper characterizes when monomial ideals have linear quotients and linear resolutions via their lcm-lattices. It proves that an ideal $I$ generated in degree $d$ has linear quotients if and only if its lcm-lattice $L(I)$ is $d$-degree graded and CL-shellable, and that $I$ has a $d$-linear resolution if and only if $L(I)$ is $d$-degree graded and Cohen–Macaulay. It further connects these lattice conditions with the Alexander dual of the associated simplicial complex, detailing correspondences between CL-shellability and shellability in the dual, and provides a lattice-theoretic perspective on edge ideals, including cochordality of graphs. The results unify homological invariants of monomial ideals with combinatorial/topological structures of lcm-lattices and their dual complexes, offering a framework to transfer problems across commutative algebra, combinatorics, and topology. Practical implications include new criteria for detecting linear quotients and linear resolutions from lattice properties and implications for edge ideals and chordality.

Abstract

Linear resolutions and the stronger notion of linear quotients are important properties of monomial ideals. In this paper, we fully characterize linear quotients in terms of the lcm-lattice of monomial ideals. We also formulate an analogous characterization for monomial ideals with linear resolutions, making explicit a relationship that is implicit in the existing literature. These results complement characterizations of these two properties in terms of the Alexander dual of the corresponding Stanley-Reisner simplicial complex. In addition, we discuss applications to the case of edge ideals.

Linear quotients, linear resolutions and the lcm-lattice

TL;DR

The paper characterizes when monomial ideals have linear quotients and linear resolutions via their lcm-lattices. It proves that an ideal generated in degree has linear quotients if and only if its lcm-lattice is -degree graded and CL-shellable, and that has a -linear resolution if and only if is -degree graded and Cohen–Macaulay. It further connects these lattice conditions with the Alexander dual of the associated simplicial complex, detailing correspondences between CL-shellability and shellability in the dual, and provides a lattice-theoretic perspective on edge ideals, including cochordality of graphs. The results unify homological invariants of monomial ideals with combinatorial/topological structures of lcm-lattices and their dual complexes, offering a framework to transfer problems across commutative algebra, combinatorics, and topology. Practical implications include new criteria for detecting linear quotients and linear resolutions from lattice properties and implications for edge ideals and chordality.

Abstract

Linear resolutions and the stronger notion of linear quotients are important properties of monomial ideals. In this paper, we fully characterize linear quotients in terms of the lcm-lattice of monomial ideals. We also formulate an analogous characterization for monomial ideals with linear resolutions, making explicit a relationship that is implicit in the existing literature. These results complement characterizations of these two properties in terms of the Alexander dual of the corresponding Stanley-Reisner simplicial complex. In addition, we discuss applications to the case of edge ideals.

Paper Structure

This paper contains 12 sections, 31 theorems, 34 equations, 3 figures.

Key Result

Theorem 1.1

Let $I$ be a monomial ideal over some field $k$ generated in degree $d$, $L=L(I)$ its lcm-lattice. Then $I$ has linear quotients if and only if $L$ is d-degree graded and $CL$-shellable.

Figures (3)

  • Figure 1: Illustration of the graph $G'$
  • Figure 2: Illustration of the lcm-lattice $L(I(G'))$
  • Figure 3: Vince-Wachs edge-colored graph $G$

Theorems & Definitions (65)

  • Theorem 1.1
  • Corollary 1.2
  • Theorem 1.3
  • Lemma 2.1
  • Definition 2.2
  • Lemma 2.3
  • Theorem 2.4: herzog2011monomial, Theorem 8.2.1
  • Definition 2.5: Polarization
  • Definition 2.6
  • Lemma 2.7
  • ...and 55 more