Dice Question Streamline Icon: https://streamlinehq.com

Complete intersection classification for binomial Macaulay dual generators

Determine, in terms of the exponents a_1,…,a_n and b_1,…,b_n, necessary and sufficient conditions under which the Artinian Gorenstein algebra A_F over a field of characteristic zero, with binomial Macaulay dual generator F = X_1^{a_1}⋯X_n^{a_n}(X_1^{b_1}⋯X_r^{b_r} − X_{r+1}^{b_{r+1}}⋯X_n^{b_n}) and 1 ≤ r ≤ n − 1, is a complete intersection.

Information Square Streamline Icon: https://streamlinehq.com

Background

Via Macaulay–Matlis duality, AG algebras correspond to homogeneous polynomials. For monomial generators, the associated AG algebras are monomial complete intersections and much is known. For binomial generators, this paper proves complete intersection instances in specific families (e.g., when the gcd is a pure power of X_1 and certain exponent inequalities hold), but a comprehensive classification is not yet available.

The authors explicitly frame this as an open direction for binomial Macaulay dual generators, emphasizing the need for conditions in terms of the exponents that determine when A_F is a complete intersection.

References

In this last section we would like to formulate the open problems appearing in the introduction in the concrete case of AG algebras having binomial Macaulay dual generator. In the authors solved all the above problems in the codimension 3 case ($n=3$), while for arbitrary codimenson the problems are largely open, although partial results to some of them are given in previous sections of this paper.

New families of Artinian Gorenstein algebras with the weak Lefschetz property (2502.16687 - Altafi et al., 23 Feb 2025) in Section 4, Open problems