Artinian Gorenstein algebras of embedding dimension four: components of PGor(H) for H=(1,4,7,,1)

DOI10.1016/J.JPAA.2004.12.015MaRDI QIDQ2570664zbMATH OpenOpenAlexFDO

Authors Hema Srinivasan, Anthony Iarrobino

Publication date 28 October 2005

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0412466

Mathematics Subject Classification ID

Syzygies, resolutions, complexes and commutative rings (13D02) Hilbert-Samuel and Hilbert-Kunz functions; Poincaré series (13D40) Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.) (13H10)

Abstract: We first determine all height four Gorenstein sequences beginning H=(1,4,7,...), and we show that their first differences satisfy $Delta{H}_{lej/2}$ is an O-sequence. We then study the family PGor(H) parametrizing all graded Artinian Gorenstein [AG] quotients A=R/I of the polynomial ring R=K[w,x,y,z] having a Hilbert function H as above. We give a structure theorem for such AG quotients with $I_{2}cong<wx,wy,wz>$. For most H this subfamily forms an irreducible component of PGor(H), and for a slightly more restrictive set, PGor(H) has several irreducible components. M. Boij and others had already shown that PGor(T) is reducible for certain Gorenstein sequences T in codimensions at least four.

Review text

This paper deals with Artinian Gorenstein algebras \(A/I\), where \(R=k[w,x,y,z]\) and \(I\) is a homogeneous ideal. A structure theorem is given for such algebras, when their Hilbert function is of the form \(H = (1,4,7,...)\) and \(I_2 \cong (wx,wy,wz)\); the main tool used is the connection between \(I\) and \(I\cap k[x,y,z]\), which turns out to be a height three Gorenstein ideal. A minimal resolution of such algebras is also produced. These results allow to determine the tangent space \(\Hom_0(I,R/I)\) to \(A\) on \(\mathbb P(\text{Gor} H)\), the scheme parametrizing all the Artinian Gorenstein algebras having Hilbert function \(H\). In the situation \(H=(1,4,a,\dots,h_j=1), a\leq 7\), the authors prove that the condition ``\(\Delta _{\leq j/2}\) is a 0-sequence is verified and suspect that the height four Gorenstein sequences of the form \(h= (1,4,7,\dots)\) are close to an upper bound of those satisfying such a condition. For every \(H=(1,4,7,h,b,...,1)\), with \(8\leq h \leq 10, \;3h-b-17 \geq 0\), the projective space \(\mathbb P(\text{Gor} H)\) is shown to have at least two components, that are described.

Recommendations

• Components of the space parametrizing graded Gorenstein Artin algebras with a given Hilbert function
• On unimodality of Hilbert functions of Gorenstein Artin algebras of embedding dimension four
• A Class of Gorenstein Artin Algebras of Embedding Dimension Four
• Classifying local Artinian Gorenstein algebras
• scientific article; zbMATH DE number 1996509

Cites work

• A nonunimodal graded gorenstein artin algebra in codimension five
• A note on Artinian Gorenstein algebras of codimension three
• A note on the Hilbert scheme of twisted cubics
• Algebra Structures for Finite Free Resolutions, and Some Structure Theorems for Ideals of Codimension 3
• Ancestor ideals of vector spaces of forms, and level algebras.
• Components of the space parametrizing graded Gorenstein Artin algebras with a given Hilbert function
• Eine Bedingung für die Flachheit und das Hilbertpolynom eines graduierten Ringes
• Gorenstein Artin Algebras and Points in Projective Space
• Hilbert function of powers of ideals of low codimension
• Hilbert functions of graded algebras
• scientific article; zbMATH DE number 1194481 (Why is no real title available?)
• scientific article; zbMATH DE number 3634395 (Why is no real title available?)
• scientific article; zbMATH DE number 1329477 (Why is no real title available?)
• scientific article; zbMATH DE number 704831 (Why is no real title available?)
• Irreducibility and dimension theorems for families of height 3 Gorenstein algebras
• Nonunimodality of Graded Gorenstein Artin Algebras
• On hyperplane sections of reduced irreducible varieties of low codimension
• On the Hilbert Scheme Compactification of the Space of Twisted Cubics
• Power sums, Gorenstein algebras, and determinantal loci. With an appendix `The Gotzmann theorems and the Hilbert scheme' by Anthony Iarrobino and Steven L. Kleiman
• Reduced arithmetically Gorenstein schemes and simplicial polytopes with maximal Betti numbers.
• Structure Theory for a Class of Grade Four Gorenstein Ideals
• The Hilbert Function of a Reduced K -Algebra
• The hilbert schemes of degree three curves
• The smoothness and the dimension of \(PGor(H)\) and of other strata of the punctual Hilbert scheme
• What makes a complex exact?

Cited in

(32)

• Bounds and asymptotic minimal growth for Gorenstein Hilbert functions
• On parameter spaces for Artin level algebras.
• On higher Hessians and the Lefschetz properties
• Proof of the Gorenstein interval conjecture in low socle degree
• Irreducibility and dimension theorems for families of height 3 Gorenstein algebras
• On the Hilbert function of Gorenstein algebras of socle degree four
• Some algebraic consequences of Green's hyperplane restriction theorems
• The structure of the inverse system of Gorenstein \(k\)-algebras
• Families of Artinian and one-dimensional algebras
• Interval conjectures for level Hilbert functions
• Reducible family of height three level algebras
• Stanley's nonunimodal Gorenstein h-vector is optimal
• An Artinian Quotient of the Coordinate Ring of a Complete Intersection in ℙⁿHaving the Weak Lefschetz Property
• Isomorphism types of Artinian Gorenstein local algebras of multiplicity at most 9
• On unimodality of Hilbert functions of Gorenstein Artin algebras of embedding dimension four
• On the degree two entry of a Gorenstein h-vector and a conjecture of Stanley
• A Class of Gorenstein Artin Algebras of Embedding Dimension Four
• Unimodal Gorenstein \(h\)-vectors without the Stanley-Iarrobino property
• scientific article; zbMATH DE number 889135 (Why is no real title available?)
• A constructive approach to one-dimensional Gorenstein ${\mathbf {k}}$-algebras
• scientific article; zbMATH DE number 7477366 (Why is no real title available?)
• Nonunimodal Gorenstein sequences of higher socle degrees
• Level Algebras of Type 2
• Stanley’s theorem on codimension 3 Gorenstein ℎ-vectors
• On the number of generators of ideals defining Gorenstein Artin algebras with Hilbert function \(\left(1,n+1, 1+\binom{n+1}{2},\dots,\binom{n+1}{2}+1, n+1,1\right)\)
• Artinian Gorenstein algebras of embedding dimension four and socle degree three
• Limits of graded Gorenstein algebras of Hilbert function \((1,3^k,1)\)
• Equigenerated Gorenstein ideals of codimension three
• Quaternary quartic forms and Gorenstein rings
• Artinian Gorenstein algebras with linear resolutions
• A non-unimodal codimension 3 level \(h\)-vector
• On some Gorenstein loci in Hilb₆( P^4_k)

This page was built for publication: Artinian Gorenstein algebras of embedding dimension four: components of \(\mathbb P\)Gor\((H)\) for \(H=(1,4,7,\ldots,1)\)

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