No label defined (Q4254091)

An arrangement \(\mathcal A\) is a collection of linear subspaces of a fixed \({\mathbb{R}}^n\). The subspaces are diagonal if they are of the form \(\{u_{i_1} = \cdots = u_{i_s}\}\). This paper establishes several results about the cohomology of the complement \({\mathcal M}_{\mathcal A}\) of a diagonal arrangement. There is a correspondence between monomial ideals \(I\) in \(S = k [x_1, \ldots x_n]\), \(k\) a field, and diagonal arrangements \({\mathcal A}_{I}\) in \({\mathbb{R}}^n\) and it is shown that there is a chain isomorphism between the bar resolution of \(k\) over \(S/I\) and the relative cellular chain complex of a cell complex homotopy equivalent to \({\mathcal M}_{{\mathcal A}_{I}}\). This identifies the cohomology of \({\mathcal M}_{\mathcal A_I}\) with the groups \(\text{Tor}^{S/I}(k,k)\). Results of Serre bounding the Poincaré series of \(S/I\) in terms of the groups \(\text{Tor}^S(I,K)\) then give a bound on \(\dim_k(H^i({\mathcal M}_{{\mathcal A}_{I}}, k)).\) Rings for which Serre's bound is an equality are called Golod, and a class of arrangements for which \(S/I\) has this property is described. These are the stable arrangements, a special case of which are the \(r\)-equal arrangements, \(\mathcal A_{r,n}\), consisting of all diagonal subspaces obtained by setting \(r\) co-ordinates equal. It is known that for \(S/I\) stable the Poincaré series is describable in terms of Young tableaux and the corresponding result for arrangements is given. For the \(r\)-equal arrangements there is an action of \(\Sigma_n\) giving a representation of \(\Sigma_n\) on \(H^*({\mathcal M}_{\mathcal A_{r,n}}, {\mathbb{C}})\). This is described in terms of skew representations. Finally if the co-dimension of the subspaces in an arrangement is bounded a bound is given for the cohomology of the associated intersection lattice.