Lefschetz properties and hyperplane arrangements (Q2174541)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Lefschetz properties and hyperplane arrangements
scientific article

    Statements

    Lefschetz properties and hyperplane arrangements (English)
    0 references
    0 references
    0 references
    21 April 2020
    0 references
    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.
    0 references
    weak Lefschetz property
    0 references
    strong Lefschetz property
    0 references
    almost revlex
    0 references
    hyperplane arrangement
    0 references
    Castelnuovo-Mumford regularity
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references