English

Rees algebras of ideals submaximally generated by quadrics

Commutative Algebra 2024-08-12 v1

Abstract

The goal of this paper is to study the Rees algebra R(I)\mathfrak{R}(I)and the special fiber ring F(I)\mathfrak{F}(I) for a family of ideals. Let R=K[x1,,xd]R=\mathbb{K}[x_1, \ldots, x_d] with d4d\geq 4 be a polynomial ring with homogeneous maximal ideal m\mathfrak{m}. We study the RR-ideals II, which are m\mathfrak{m}-primary, Gorenstein, generated in degree 2, and have a Gorenstein linear resolution. In the smallest case, d=4d=4, this family includes the ideals of 2×22\times 2 minors of a general 3×33\times 3 matrix of linear forms in RR. We show that the defining ideal of the Rees algebra will be of fiber type. That is, the defining ideal of the Rees algebra is generated by the defining ideals of the special fiber ring and of the symmetric algebra. We use the fact that these ideals differ from m2\mathfrak{m}^2 by exactly one minimal generator to describe the defining ideal F(I)\mathfrak{F}(I) as a sub-ideal of the defining ideal of F(m2)\mathfrak{F}(\mathfrak{m}^2), which is well known to be the ideal of 2×22\times 2 minors of a symmetric matrix of variables.

Keywords

Cite

@article{arxiv.2408.05199,
  title  = {Rees algebras of ideals submaximally generated by quadrics},
  author = {Whitney Liske},
  journal= {arXiv preprint arXiv:2408.05199},
  year   = {2024}
}