English

Quadratically presented Gorenstein ideals

Commutative Algebra 2022-06-22 v1

Abstract

Let JJ be a quadratically presented grade three Gorenstein ideal in the standard graded polynomial ring R=k[x,y,z]R= k[x,y,z], where kk is a field. Assume that R/JR/J satisfies the weak Lefschetz property. We give the presentation matrix for JJ in terms of the coefficients of a Macaulay inverse system for JJ. (This presentation matrix is an alternating matrix and JJ is generated by the maximal order Pfaffians of the presentation matrix.) Our formulas are computer friendly; they involve only matrix multiplication; they do not involve multilinear algebra or complicated summations. As an application, we give the presentation matrix for J1=(xn+1,yn+1,zn+1):(x+y+z)n+1J_1=(x^{n+1},y^{n+1},z^{n+1}):(x+y+z)^{n+1}, when nn is even and the characteristic of kk is zero. Generators for J1J_1 had been identified previously; but the presentation matrix for J1J_1 had not previously been known. The first step in our proof is to give improved formulas for the presentation matrix of a linearly presented grade three Gorenstein ideal II in terms of the coefficients of the Macaulay inverse system for II.

Keywords

Cite

@article{arxiv.2206.09473,
  title  = {Quadratically presented Gorenstein ideals},
  author = {Sabine El Khoury and Andrew R. Kustin},
  journal= {arXiv preprint arXiv:2206.09473},
  year   = {2022}
}
R2 v1 2026-06-24T11:56:38.988Z