Let Y be an I-dimensional vector space over an arbitrary field F and d an arrangement of n hyperplanes H,, . . . . i7,, in V. We always assume that n > I > 1. For each i, 1~ id ~1, we fix once and forever aj E V* such that ker(cl,) = Hi. The arrangement d is generic if its every I elements intersect only at 0 or equivalently every I functionals ai are linearly independent in V*. Let S be the symmetric algebra of V* and Der(S) = Der,(S, S) the S-module of derivations of S. The following graded S-module was introduced by H. Terao [4] and studied in many papers on arrangements: D = D(d) = (0 E Der(S) ( f3(ai) E Sa,, i= 1, . . . . n}. At the NSF-CBMS conference on “Arrangements of Hyperplanes” in 1988 the author conjectured that for a generic arrangement with II > 1 we have hd, D = 1 2. Soon after that L. Rose and H. Terao [2] proved this conjecture. Moreover they constructed minimal free resolutions of all modules of logarithmic forms with poles along d and used the fact that D is isomorphic to one of them. The aim of the present paper is to give another somewhat more straightforward construction of a minimal free resolution of D. More precisely we put Do= D,(d)= (BEDJO =O) and note that D= Does MO, where t$, is the Euler derivation defined by &,(a) = CI for every CI E V*. Then we construct a minimal free resolution of Do which of course has the same length as a minimal free resolution of D. The notation introduced above is used throughout the paper. Besides we denote by L the intersection lattice of & (including V as the unique minimal element of L), put Li=(X~L/dimX=i}, and for every XEL put cQzx= (Xn HiI X$ Hi}, viewing it as an arrangement in X Also for every XEL we put L~‘={YEL~(YcX), L,=(YEL(XC Y>, and a(X)=
Read full abstract