Quadratically presented Gorenstein ideals
Abstract
Let be a quadratically presented grade three Gorenstein ideal in the standard graded polynomial ring , where is a field. Assume that satisfies the weak Lefschetz property. We give the presentation matrix for in terms of the coefficients of a Macaulay inverse system for . (This presentation matrix is an alternating matrix and 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 , when is even and the characteristic of is zero. Generators for had been identified previously; but the presentation matrix for 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 in terms of the coefficients of the Macaulay inverse system for .
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}
}