A note on Artinian Gorenstein algebras of codimension three (Q1295685)

From MaRDI portal
Revision as of 11:03, 31 January 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
A note on Artinian Gorenstein algebras of codimension three
scientific article

    Statements

    A note on Artinian Gorenstein algebras of codimension three (English)
    0 references
    0 references
    23 February 2000
    0 references
    The famous structure theorem for Gorenstein ideals of codimension 3 of \textit{D. A. Buchsbaum} and \textit{D. Eisenbud} [Am. J. Math. 99, 447-485 (1977; Zbl 0373.13006)] allows one to derive necessary conditions for the graded Betti numbers of a Gorenstein algebra of codimension 3. Several authors like \textit{J. Herzog, Ngô Viêt Trung} and \textit{G. Valla} [J. Math. Kyoto Univ. 34, No.~1, 47-72 (1994; Zbl 0836.14031)] or \textit{S. J. Diesel} [Pac. J. Math. 172, No.~2, 365-397 (1996; Zbl 0882.13021)] showed, by explicit examples, that these conditions are also sufficient. In this paper, the author proposes a new explicit construction of Artinian Gorenstein algebras of codimension 3, achieving all the possible graded Betti numbers. The idea is, roughly speaking, the following: Let \(X\), \(Y\) be disjoint finite sets of points in \(\mathbb{P}^2\) geometrically linked, i.e., such that \(X\cup Y\) is a complete intersection. Let \(R=k[x,y,z]\) be the homogeneous coordinate ring of \(\mathbb{P}^2\). Then \(R/(I(X)+I(Y))\) is an Artinian Gorenstein algebra of codimension 3 and using the exact sequence: \[ 0\to R/I(X)\cap I(Y)\to R/I(X)\oplus R/I(Y)\to R/I(X)+I(Y)\to 0 \] one can deduce, from free resolutions of \(R/I(X)\) and \(R/I(Y)\), a free resolution of \(R/I(X)+I(Y)\) as a cone complex. As an application, the author shows that, for any Artinian Gorenstein algebra of codimension 3, there is an Artinian Gorenstein algebra of codimension 3 with the weak Stanley property which has the same Hilbert function.
    0 references
    linkage
    0 references
    Gorenstein ideals
    0 references
    Artinian Gorenstein algebras
    0 references
    graded Betti numbers
    0 references
    Hilbert function
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references