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

Upper bounds on the minimal number of generators for binomial Macaulay dual generators

Determine upper bounds, in terms of the exponents a_1,…,a_n and b_1,…,b_n, for the minimal number of generators of the defining ideal Ann_R(F) of 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.

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

Background

Understanding the minimal number of generators of Ann_R(F) informs presentations and complexity of AG algebras. For monomial complete intersections this is classical, and the paper presents partial results for binomial cases. A general bound tied to exponent data remains open.

Such bounds would also relate to whether algebras arise via doubling and to properties of their minimal free resolutions.

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