Gröbner bases for spaces of quadrics of codimension 3

DOI10.1016/J.JPAA.2008.11.017MaRDI QIDQ1017674zbMATH OpenOpenAlexFDO

Authors Aldo Conca

Publication date 12 May 2009

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

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

zbMATH Keywords

ArtinianG-quadraticKoszulquadratic

Mathematics Subject Classification ID

Commutative Artinian rings and modules, finite-dimensional algebras (13E10) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Quadratic and Koszul algebras (16S37)

Abstract: Let $R=oplu{s}_{igeq0}{R}_i$ be an Artinian standard graded $K$-algebra defined by quadrics. Assume that $dim{R}_{2}leq3$ and that $K$ is algebraically closed of characteristic $eq2$. We show that $R$ is defined by a Gr"obner basis of quadrics with, essentially, one exception. The exception is given by $K[x,y,z]/I$ where $I$ is a complete intersection of 3 quadrics not containing the square of a linear form.

Review text

The author proves that an Artinian quadratic standard graded algebra \(R\) over an algebraically closed field \(K\) of characteristic \(\neq 2\) and with \(\dim R_2 = 3\) is Koszul, \(\dim R_3 \leq 1\) and for all \(i > 3\) \(R_i = 0\). Moreover \(\dim R_3 = 1\) iff \(R\) is a trivial fiber extension of a factor algebra \(K[x,y,z]/I\) where \(I\) is a complete intersection of three quadrics, and if \(R_3 = 0\) then \(R\) is G-quadratic. The proof is based in a deep analysis of the rank of elements in \(R_1\). Next the author drops the Artinian condition. He recalls the classification of the nets of conics, i.e. vector spaces of quadrics of dimension \(3\) in three variables over the complex numbers. The \(15\) cases are analyzed. He computes the Hilbert series, the number of linear forms whose squares are in the net, the number of points of the variety defined by the net, whether it is Koszul or not, whether is G-quadratic, the name given by Wall and whether it is of Gradient type. The final section includes some questions and open problems.

Recommendations

• Gröbner bases for spaces of quadrics of low codimension.
• The Koszul property for spaces of quadrics of codimension three
• Gröbner flags and Gorenstein algebras
• On certain classes of degree reverse lexicographic Grobner bases
• The absolutely Koszul and Backelin-Roos properties for spaces of quadrics of small codimension

Cites work

• Gröbner bases for spaces of quadrics of low codimension.
• Gröbner flags and Gorenstein algebras
• scientific article; zbMATH DE number 482758 (Why is no real title available?)
• scientific article; zbMATH DE number 1515218 (Why is no real title available?)
• scientific article; zbMATH DE number 1532175 (Why is no real title available?)
• Koszul configurations of points in projective spaces
• Nets of conics
• Poincaré series of short Artinian rings

Cited in

(9)

• Gröbner bases for spaces of quadrics of low codimension.
• Gröbner basis of the ideal of focus quantities of the Kukles cubic system
• Quadratic Gorenstein algebras with many surprising properties
• The absolutely Koszul and Backelin-Roos properties for spaces of quadrics of small codimension
• The Koszul property for spaces of quadrics of codimension three
• Nets of conics and associated Artinian algebras of length 7. Translation and update of the 1977 version by J. Emsalem and A. Iarrobino
• Gröbner flags and Gorenstein algebras
• On the Cohen-Macaulay property for quadratic tangent cones
• Limits of graded Gorenstein algebras of Hilbert function \((1,3^k,1)\)

Describes a project that uses

Uses Software

• CoCoA

This page was built for publication: Gröbner bases for spaces of quadrics of codimension 3

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