arXiv++ Combinatorics

It is well known that a monomial complete intersection has the strong Lefschetz property in characteristic zero. This property is equivalent to the statement that any power of the sum of the variables is a maximal rank element on the complete intersection. In this paper, we investigate what happens when this element is replaced by another symmetric polynomial, in an equigenerated complete intersection. We answer the question completely for the power sum symmetric polynomial using a grading technique, and for any Schur polynomial in the case of two variables by deriving a closed formula for the determinants of a family of Toeplitz matrices. Further, we obtain partial results in three or more variables for the elementary and the complete homogeneous symmetric polynomials and pose several open questions.

We study almost complete intersection ideals in a polynomial ring, generated by powers of all the variables together with a power of their sum. Our main result is an explicit description of the reduced Gröbner bases for these ideals under any term order. Our approach is primarily combinatorial, focusing on the structure of the initial ideal. We associate a lattice path to each monomial in the vector space basis of an Artinian monomial complete intersection and introduce a reflection operation on these paths, which enables a key counting argument. As a consequence, we provide a new proof that Artinian monomial complete intersections possess the strong Lefschetz property over fields of characteristic zero. Our results also offer new insights into the longstanding problem of classifying the weak Lefschetz property for such intersections in characteristic $p$. Furthermore, we show that the number of Gröbner basis elements in each degree is connected to several well-known sequences, including the (generalized) Catalan, Motzkin, and Riordan numbers, and connect these numbers to the study of entanglement detection in spin systems within quantum physics.

For the almost complete intersection ideals $(x_1^2, \dots, x_n^2, (x_1 + \cdots + x_n)^k)$, we compute their reduced Gröbner basis for any term ordering, revealing a combinatorial structure linked to lattice paths, elementary symmetric polynomials, and Catalan numbers. Using this structure, we classify the weak Lefschetz property for these ideals. Additionally, we provide a new proof of the well-known result that the squarefree algebra satisfies the strong Lefschetz property. Finally, we compute the Betti numbers of the initial ideals and construct a minimal free resolution using a Mayer-Vietoris tree approach.

Based on the structure theory of pairs of skew-symmetric matrices, we give a conjecture for the Hilbert series of the exterior algebra modulo the ideal generated by two generic quadratic forms. We show that the conjectured series is an upper bound in the coefficient-wise sense, and we determine a majority of the coefficients. We also conjecture that the series is equal to the series of the squarefree polynomial ring modulo the ideal generated by the squares of two generic linear forms.