Betti numbers of Koszul algebras defined by four quadrics

From MaRDI portal
Publication:2196362



Abstract: Let I be an ideal generated by quadrics in a standard graded polynomial ring S over a field. A question of Avramov, Conca, and Iyengar asks whether the Betti numbers of R=S/I over S can be bounded above by binomial coefficients on the minimal number of generators of I if R is Koszul. This question has been answered affirmatively for Koszul algebras defined by three quadrics and Koszul almost complete intersections with any number of generators. We give a strong affirmative answer to the above question in the case of four quadrics by completely determining the Betti tables of height two ideals of four quadrics defining Koszul algebras.


Let \(S\) be a standard graded polynomial ring over a field \(k\), \(I\) be a homogeneous ideal of \(S\) and \(R\) be the quotient ring \(R=S/I\). The ring \(R\) is a Koszul algebra if the minimal homogeneous resolution of \(k=R/\mathfrak m\) by free \(R\)-modules is linear, where \(\mathfrak m\) is the maximal homogeneous ideal of \(R\). Avramov, Conca, and Iyengar [Math. Res. Lett. 17 (2010), 197--210] asked if the \(i\)-th Betti number of \(R\) as an \(S\)-module is at most \(\binom gi\) when \(R\) is a Koszul algebra and \(I\) is minimally generated by \(g\) quadrics. The present paper establishes that the answer is yes, when \(g=4\). Indeed, the interesting case occurs when \(I\) has height two. The main theorem of the present paper is that in this case there are only four possibilities for the Betti table of \(R\) as an \(S\)-module. (The authors plan to prove a structure theorem for the defining ideals of Koszul algebras defined by four quadrics over an algebraically closed field in a future paper.) \textit{C. Huneke} et al. [J. Pure Appl. Algebra 222, No. 9, 2524--2551 (2018; Zbl 1395.13014)] have shown that the projective dimension of \(R\) is an \(S\)-module is at most six whenever R is defined by an ideal generated by four quadrics. Although six is a sharp bound for general ideals generated by quadrics, a key point is that the present paper can improve this bound to four when \(R\) is Koszul.



Cites work



Describes a project that uses

Uses Software






This page was built for publication: Betti numbers of Koszul algebras defined by four quadrics

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