Taylor presented an explicit resolution for arbitrary monomial ideals. Later, Lyubeznik found that a subcomplex already defines a resolution. We show that the Taylor resolution may be obtained by repeated application of the Schreyer Theorem from the theory of Gröbner bases, whereas the Lyubeznik resolution is a consequence of Buchberger's chain criterion. Finally, we relate Fröberg's contracting homotopy for the Taylor complex to normal forms with respect to our Gröbner bases and use it to derive a splitting homotopy that leads to the Lyubeznik complex. c 2002 Elsevier Science Ltd. All rights reserved.
The Taylor and the Lyubeznik ResolutionLet M = {m 1 , . . . , m r } ⊂ P = k[x 1 , . . . , x n ] be a finite set of monomials. Taylor (1960) constructed in her Ph.D. thesis an explicit free resolution of the monomial ideal J = M . The associated complex consists essentially of an exterior algebra and a differential defined via the least common multiples of subsets of M.Let V be some r-dimensional k-vector space with the basis {v 1 , . . . , v r }. If k = (k 1 , . . . , k q ) is a sequence of integers with 1 ≤ k 1 < k 2 < · · · < k q ≤ r, we set m k = lcm(m k1 , . . . , m kq ). The P-module T q = P ⊗ Λ q V is then freely generated by all wedge products v k = v k1 ∧ · · · ∧ v kq . Finally, we introduce on the algebra T = P ⊗ ΛV the following P-linear differential δ:where k denotes the sequence k with the entry k removed. Obviously, the differential δ respects the grading of T by the form degree, as it maps the component T q into T q−1 (however, in general δ does not respect the natural bi grading of T given by T rq = P r ⊗ Λ q V). One can show that (T , δ) is a complex representing a free resolution of the ideal J 0 = M . Obviously, δv i = m i and the length of the resolution is given by the number r of monomials. This implies immediately that the resolution is rarely minimal.‡ Note that the ordering of the monomials m i in the set M has no real influence on the result: the arising resolutions are trivially isomorphic. †