Lefschetz properties and hyperplane arrangements (Q2174541)

Let \(S = K[x_1,\dots,x_l]\), where \(K\) is a field of characteristic zero. If \(A\) is a quotient of \(S\) (not necessarily artinian), we say that \(A\) has the \textit{Weak Lefschetz Property (WLP)} if, for a general linear form \(\ell\), \(\times \ell : [A]_i \rightarrow [A]_{i+1}\) has maximal rank for all \(i\). It has the \textit{Strong Lefschetz Property (SLP)} if \(\times \ell^s : [A]_i \rightarrow [A]_{i+s}\) has maximal rank for all \(i\) and all \(s\). Of course if the depth of \(A\) is \(>0\) then these maps are injective, so the interesting case is depth 0 (e.g. \(A\) artinian). A monomial ideal \(I\) is \textit{strongly stable} if, for every power-product \(t \in I\) and every \(i,j\) such that \(1 \leq i < j \leq l\) and \(x_j | t\), the power-product \(x_i \cdot t/x_j \in I\). A monomial ideal \(I\) of \(S\) is an \textit{almost revlex ideal} if, for any power-product \(t\) in the minimal generating set of \(I\), every other power-product \(t'\) of \(S\) with \(\deg(t') = \deg(t)\) and \(t' >_{DegRevLex} t\) belongs to \(I\). Note that every almost revlex ideal is strongly stable. The authors prove that several results that are known in the artinian case also hold in this more general setting, and they draw connections between the Lefschetz properties and the revlex property. They apply their results to obtain results about the Jacobian ideal of a hyperplane arrangement (sometimes assumed free) and the connection to the Lefschetz properties.