The module of derivations for an arrangement of subspaces. (Q5943452)

The author defines the notion of an \((l,k)\) arrangement \({\mathcal A}\) as the set of subspaces of a \(l\)-dimensional vector space of codimension \(k\).~The case for \(k=1\) , that is for hyperplane arrangements has been extensively been reviewed by \textit{P. Orlik} and \textit{H. Terao} [Arrangements of Hyperplanes, (Berlin, Springer Verlag) (1992; Zbl 0757.55001)].~The aim of this paper is to study the module of \({\mathcal A}\)-derivations denoted as \(D({\mathcal A})\) when \(k>1\). Let S be the coordinate ring for the underlying vector space of \({\mathcal A}\).~In section 2, the author states sufficient conditions that an arrangement must satisfy to obtain freeness of \( D({\mathcal A})\) as an S-module (see theorem 2.5) and proves in theorem 2.6 that different arrangements can yield the same module of derivations.~In section 3, he defines the notion of a generic \({\mathcal A}\)-arrangement and in theorem 3.4 finds generators for \(D({\mathcal A})\) when \({\mathcal A}\) is non-boolean and generic.~This section concludes with corollary 3.5 computing the projective dimension of \(D({\mathcal A})\) for this case.~In section 4, starting from a hyperplane arrangement \({\mathcal A}\) and \(k \geq 2\), the author defines \({\mathcal A}_k\), the \((l,k)\)-arrangement.~Theorem 4.5 gives generators for \(D({\mathcal A}_k)\) if \({\mathcal A}\) is essential and boolean, and in theorem 4.6 the projective dimension of \( D({\mathcal A}_2)\) for a boolean arrangement is computed.~At the end of the paper in section 5, assuming that \(l>2\) and \({\mathcal A}\) a generic arrangement, the author finds in theorem 5.5 generators for \(D({\mathcal A}_2)\) and when \( 2 \leq k <l \) he finds generators for \(D({\mathcal A}_k)\) in theorem 5.6.