Free resolutions and Lefschetz properties of some Artin Gorenstein rings of codimension four (Q6051121)

Let \(S=\mathbb{K}[x_1,\dots,x_c]\) be a polynomial ring and \(A=S/I\) a standard Artinian graded algebra. Assume \(I\) contains no linear forms and, further, denote by \(r\) the regularity of \(A\). This article addresses the Lefschetz's properties of a Gorenstein standard Artinian graded algebra (AG algebra, for short), for small values of \(c\) and \(r\). It is known that the strong Lefschetz property holds for all AG algebras with \(r=2\) or \(c\leq 2\) (the latter, provided \(\operatorname{char} \mathbb{K} = 0\)). By [\textit{R. Gondim}, J. Algebra 489, 241--263 (2017; Zbl 1387.13037)], all AG algebras with \(c=4\) and \(r\leq 4\) enjoy the strong Lefschetz property. In the present work, where throughout is assumed that \(\operatorname{char} \mathbb{K} = 0\), the authors start by classifying the Betti tables of AG algebras with \(c=4\) and \(r=3\) (Theorem 1.4), proving there are only three possibilities. For \(c=4\) and \(r=5\) the authors find four Betti tables that do not determine the weak Lefschetz property of corresponding AG algebras (Theorem 1.6). They conjecture that an explicitly given set of \(36\) Betti tables is the set of Betti tables of all AG algebras with \(c=4\) and \(r=5\) (Conjecture 1.5 in \S 3.2). For \(c=r=4\), this classification was obtained in [\textit{H. Schenck} et al., Adv. Theor. Math. Phys. 26, No. 3, 765--792 (2022; Zbl 1511.14062)]. Macaulay2 is used in the proofs of the results.