The Lefschetz properties of monomial complete intersections in positive characteristic (Q1946098)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The Lefschetz properties of monomial complete intersections in positive characteristic
scientific article

    Statements

    The Lefschetz properties of monomial complete intersections in positive characteristic (English)
    0 references
    0 references
    17 April 2013
    0 references
    Let \(K\) be an infinite field of arbitrary characteristic and let \(I\) be a homogeneous ideal in \(R=K[x_1,\cdots,x_n]\). The algebra \(A = R/I\) is said to have the strong Lefschetz property, if there exists a linear form \(\ell \in A\) such that for all integers \(d\) and \(k\), with \(k \geq 1\), the map \(\times\ell^k:[A]_d\to [A]_{d+k}\) has maximal rank. If the property holds for \(k =1\), then \(A\) is said to have the weak Lefschetz property. \textit{R. P. Stanley} [SIAM J. Algebraic Discrete Methods 1, 168--184 (1980; Zbl 0502.05004)] and \textit{J. Watanabe} [Commutative algebra and combinatorics, US-Jap. Joint Semin., Kyoto/Jap. 1985, Adv. Stud. Pure Math. 11, 303--312 (1987; Zbl 0648.13010)] and several other authors have shown that, if \(K\) has characteristic 0, then any monomial complete intersection satisfies the strong Lefschetz property. However, in positive characteristic the problem is rather subtle. In the paper under review, the author provides a characterization of monomial complete intersections for which the strong Lefschetz property holds in characteristic two. In arbitrary characteristic the author establishes a characterization for ideals generated in a same degree i.e., \(I=(x_1^d,\cdots,x_n^d)\) for some \(d\geq 2\). Namely it is shown that (Theorem 7.2) when \(n\geq 3\) and chr\((K)=p>0\), then \(A\) satisfies the strong Lefschetz property if and only if \(p>n(d-1)\)-the case where \(n=2\) is also characterized in Theorem 4.9 using syzygy gap method.
    0 references
    Lefschetz properties
    0 references
    Positive characteristic
    0 references
    Complete Intersections
    0 references

    Identifiers