English

A study of a quadratic almost complete intersection ideal and its linked Gorenstein ideal

Commutative Algebra 2026-02-11 v2

Abstract

We examine the ideal I=(x12,,xn2,(x1++xn)2)I=(x_1^2, \dots, x_n^2, (x_1+\dots+x_n)^2) in the polynomial ring Q=k[x1,,xn]Q=k[x_1, \dots, x_n], where kk is a field of characteristic zero or greater than nn. We also study the Gorenstein ideal GG linked to II via the complete intersection ideal (x12,,xn2)(x_1^2, \dots, x_n^2). We compute the Betti numbers of II and GG over QQ when nn is odd and extend known computations when nn is even. A consequence is that the socle of Q/IQ/I is generated in a single degree (thus Q/IQ/I is level) and its dimension is a Catalan number. We also describe the generators and the initial ideal with respect to reverse lexicographic order for the Gorenstein ideal GG.

Keywords

Cite

@article{arxiv.2504.03977,
  title  = {A study of a quadratic almost complete intersection ideal and its linked Gorenstein ideal},
  author = {Rachel Diethorn and Sema Güntürkün and Alexis Hardesty and Pinar Mete and Liana Şega and Aleksandra Sobieska and Oana Veliche},
  journal= {arXiv preprint arXiv:2504.03977},
  year   = {2026}
}