arXiv:1610.00055v1 [math.AC] 30 Sep 2016

Minimal free resolution of a graded ideal
with linear quotients∗
A-Ming Liu†and Tongsuo Wu‡
Department of Mathematics, Shanghai Jiaotong University

Abstract. Let I be a graded ideal of K[x1 , . . . , xn ] generated by homogeneous
polynomials of a same degree d, and assume that I has linear quotients. In this
note, we use Horseshoe Lemma to give a relatively direct inductive construction
of a minimal free resolution of I, which is called a d-linear resolution.

Key Words: Graded ideal; linear quotients; d-linear resolution; Horseshoe Lemma
2010 AMS Classification: 13F20, 05E40

1

Preliminaries

We begin by recalling the following definition:
Definition 1.1. Let I be a graded ideal of S. If there exists a sequence of homogeneous
generators f1 , . . . , fm of I such that for any i with 1 < i ≤ m, the colon ideal
hf1 , f2 , . . . , fi−1 i : fi
is generated by linear forms, then I is said to have linear quotients (with respect to the
ordering f1 , . . . , fm ).
Note that if a graded ideal I is generated by linear forms, then I has linear quotients.
In fact, let l1 , . . . , lr be a minimal generating set of linear forms of the ideal I. We claim
∗

This research is supported by the National Natural Science Foundation of China (Grant No.
11271250).
†
aming8809@163.com
‡
Corresponding author. tswu@sjtu.edu.cn

that l1 , . . . , lr is a regular sequence of S. In fact, the minimality ensures that it is an
K-independent subset of S1 . Then l1 , . . . , lr can be extended to a K-basis, say l1 , . . . , ln ,
of S1 . Then xi 7→ li , (∀ i = 1, . . . , n) induces an automorphism of the K-algebra S. Since
x1 , . . . , xn is a regular sequence of S, clearly l1 , . . . , ln is also a regular sequence of S. In
particular, l1 , . . . , lr is a regular sequence, hence
hl1 , l2 , . . . , li−1 i : li = hl1 , l2 , . . . , li−1 i, ∀2 ≤ i ≤ r.
Thus I has linear quotients. In the case, note that r = ht(I).
Recall that a polymatroidal monomial ideal has linear quotients (see, e.g., [5, Lemma
1.3]). For a simplicial complex ∆, recall that the Stanley-Reisner ideal I∆ has linear
quotients iff the Alexander dual complex ∆∨ of ∆ is shellable ([4, Proposition 8.2.5]).
Now assume that a graded ideal I has linear quotients with respect to the ordering
f1 , . . . , fm . As in [3], for each 2 ≤ i ≤ m, let qi (I) be the cardinal number of a minimal
generating set of linear forms of the colon ideal
hf1 , f2 , . . . , fi−1 i : fi .
Then it follows from the previous paragraph that qi (I) is independent of the choice of a
minimal generating set of linear forms of the colon ideal. Let
q(I) = max{qi (I) | 2 ≤ i ≤ m}.
Note that if I is generated by linear forms, then qi (I) = i − 1, thus q(I) = r − 1, where r
is the cardinal number of a minimal generating set of linear forms of I.
For a graded ideal I of the graded ring S, let
r
1
R(−dri ) −→ · · · −→ ⊕bi=1
R(−d1i ) −→ I −→ 0
0 −→ ⊕bi=1

be the minimal graded resolution of I by free modules. The ideal I is said to have a pure
resolution if there are constants d1 < d2 < · · · < dr , such that
d1i = d1 , . . . , dri = dr , ∀i.
If further d1 = d, di = d1 + i − 1, ∀2 ≤ i ≤ r, then I is said to admit a d-linear resolution.
See [1, Theorem 4.3.1] for a characterization given by Eisenbud and Goto. For a simplicial
complex ∆, recall that the ideal I∆ admits a linear resolution if and only if the complex
∆∨ is Cohen-Macaulay over any field K (Eagon-Reiner Theorem, see [4, Theorem 8.1.9]).

2

A construction of minimal free resolution by using
Horseshoe Lemma

Lemma 2.1. Let I be a graded ideal of S generated by linear forms. Then I has 1-linear
resolution and pdS (I) = q(I).

Proof. Let f1 , . . . , fr be a minimal generating set of linear forms of the ideal I and
denote It = h f1 , . . . , ft i, 1 ≤ t ≤ r. Then qt (I) = q(It ) = t − 1 .
We prove the result by using induction on r. For r = 1, the result is clear. Now
assume r > 1 and consider the exact sequence of graded S-modules and graded S-module
homomorphisms
0 −→ Ir−1 −→ Ir −→ Ir /Ir−1 −→ 0.
By induction, assume that Ir−1 has the following 1-linear free resolution of projective
dimension r − 2:
σr−2
σ0
0 −→ Fr−2 −→ · · · −→ F0 −→
Ir−1 −→ 0.
Note that Ir /Ir−1 = Sfk , thus we have the following graded exact sequence
0 −→ Ir−1 (−1) −→ S(−1) −→ Ir /Ir−1 −→ 0,
hence the following is the 1-linear free resolution of Ir /Ir−1 of projective dimension r − 1:
σr−2

σ′

σ

0
0
Ir /Ir−1 −→ 0.
0 −→ Fr−2 (−1) −→ · · · −→ F0 (−1) −→
S(−1) −→

We then use the construction in proving the Horseshoe Lemma in homological algebra
(see,e.g., [6, Proposition 6.24]), to construct a free resolution of Ir with pdS (Ir ) = r − 1:
0


y
0 −→

0


y

j

−→

0 ⊕ Fr−2
 (−1)

yδr−1

j

0


y
π

−→ Fr−2(−1) −→ 0
σ
y r−2
π

0 −→ Fr−2
 −→ Fr−2 ⊕ F
r−3 (−1) −→ Fr−3(−1) −→ 0
σ


σr−2 y
y r−3
yδr−2
..
..
..
.
.
.



y
y
y
0 −→

F1
σ1 
y

−→

j

F1 ⊕ F
0 (−1)

yδ1

−→

π

F0 (−1)

σ
y 0

−→ 0

0 −→

F0
σ0 
y

−→

j

F0 ⊕ 
S(−1)

yδ0

−→

π

S(−1)

 ′
yσ0

−→ 0

Ir

y

−→

Ir /I
r−1

y

−→ 0

0 −→ Ir−1
 −→

y
0

0

0

By the construction, each δi is essentially the sum of σi and σi′ , thus the constructed
middle resolution is a 1-linear resolution of Ir . This shows that I has 1-linear resolution
and pdS (I) = r − 1 = q(I)
Again let It = h f1 , . . . , ft i, 1 ≤ t ≤ r. Let Lk = h f1 , . . . , fk−1 i : fk be the series of
colon ideals. By Lemma 2.1,
pdS (S/Lk ) = pdS (Lk ) + 1 = qk (I).
Note that
0 −→ Ik−1 −→ Ik −→ (S/Lk )(−d) −→ 0
is a exact sequence of graded modules, thus
pd(Ik ) = max{pd(Ik−1 ), qk (I)} = q(Ik ).
So, if we use the previous lemma and the proof to the above sequences, then in a similar
manner we use induction and the Horseshoe Lemma to give a relatively direct proof to
the following:
Theorem 2.2. ([4, Proposition 8.2.1 and Corollary 8.2.2]) Let I be a graded ideal of S
generated by homogeneous polynomials of degree d. If I has linear quotients, then I has
a d-linear resolution and, pdS (I) = q(I).

References
[1] Bruns W. and Herzog J.. Cohen-Macaulay Rings. Cambrisge University Press,
Cambridge, Rev. Ed., 1997.
[2] Eisenbud D. Commutative Algebra with a View Toward Algebraic Geometry.
Springer Science + Business Media, Inc. 2004.
[3] Herzog J. and Hibi T. Cohen-Macaulay polymatroidal ideals, European Journal of
Combinatorics 27(2006) 513 − 517.
[4] Herzog J. and Hibi T. Monomial Ideals. Springer-Verlag London Limited, 2011.
[5] J. Herzog, Y. Takayama Resolutions by mapping cones, Homology Homotopy Appl.
4(2002) 277 − 294.
[6] Rotman J.J. An Introduction To Homological Algebra. Springer Science +Business Media, LLC 2009. Second Edition.

