Quadratically presented Gorenstein ideals

DOI10.1016/J.JALGEBRA.2023.01.024MaRDI QIDQ6402530arXivFDO

Authors Sabine El Khoury, Andrew Kustin

Publication date 19 June 2022

Published in arXiv

Full work available at URL https://doi.org/10.1016/J.JALGEBRA.2023.01.024

Mathematics Subject Classification ID

Graded rings (13A02) Syzygies, resolutions, complexes and commutative rings (13D02) Linkage, complete intersections and determinantal ideals (13C40) Commutative Artinian rings and modules, finite-dimensional algebras (13E10) Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.) (13H10)

arXiv classification

math.AC

Abstract: Let $J$ be a quadratically presented grade three Gorenstein ideal in the standard graded polynomial ring $R=k[x,y,z]$, where $k$ is a field. Assume that $R/J$ satisfies the weak Lefschetz property. We give the presentation matrix for $J$ in terms of the coefficients of a Macaulay inverse system for $J$. (This presentation matrix is an alternating matrix and $J$ 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 $J_1=(x^{n+1},y^{n+1},z^{n+1}):(x+y+z{)}^{n+1}$, when $n$ is even and the characteristic of $k$ is zero. Generators for $J_1$ had been identified previously; but the presentation matrix for $J_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 $I$ in terms of the coefficients of the Macaulay inverse system for $I$.

This page was built for publication: Quadratically presented Gorenstein ideals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6402530)