On the structure of monomial complete intersections in positive characteristic (Q1755557)

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article; zbMATH DE number 6999482
Language Label Description Also known as
default for all languages
No label defined
    English
    On the structure of monomial complete intersections in positive characteristic
    scientific article; zbMATH DE number 6999482

      Statements

      On the structure of monomial complete intersections in positive characteristic (English)
      0 references
      0 references
      0 references
      10 January 2019
      0 references
      Let $k$ be a field and let $A = k[x_1,\dots,x_n]/(x_1^{d_1},\dots,x_n^{d_n})$ with the usual grading. We say that $A$ has the weak Lefschetz property (WLP) if there is a linear form $L$ for which $\times L : [A]_t \rightarrow [A]_{t+1}$ has maximal rank for all $t$, and we say that $A$ has the strong Lefschetz property (SLP) if there is an $L$ for which $\times L^d : [A]_t \rightarrow [A]_{t+d}$ has maximal rank for all $t$ and all $d$. Of course SLP implies WLP. When $k$ has characteristic zero, Stanley proved that $A$ has SLP. When $k$ has positive characteristic $p$, $A$ does not necessarily have SLP, or even WLP. The main result of this paper is a complete classification of when $A$ has SLP, for $n \geq 3$, proving a conjecture of \textit{D. Cook II} [J. Algebra 369, 42--58 (2012; Zbl 1271.13010)]. In fact, they show the following. Assume $n \geq 3$ and $d_i \geq 2$ for all $i$. Without loss of generality set $d_1 = \max \{ d_1,\dots,d_n \}$. Write $d_1 = N_1 p + r_1$ with $0 < r_1 \leq p$. Then $A$ has SLP if and only if one of the following two conditions holds: (a) $\sum_{i=1}^n (d_i-1) < p$; (b) $d_1 > p$, $d_i \leq p$ for $i = 2,\dots,n$ and $\sum_{i=2}^n (d_i-1) \leq \min \{ r_1, p-r_1 \}$. The authors also give some results for WLP for such algebras, although not a complete classification.
      0 references
      weak Lefschetz property
      0 references
      strong Lefschetz property
      0 references
      maximal rank property
      0 references
      Hilbert series
      0 references
      Froberg conjecture
      0 references
      characteristic $p$
      0 references

      Identifiers

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