Rees algebras of ideals submaximally generated by quadrics

TL;DR

This paper investigates the structure of Rees algebras and special fiber rings for a specific class of quadratic, Gorenstein ideals in polynomial rings, revealing they are of fiber type and describing their defining ideals explicitly.

Contribution

It demonstrates that these ideals' Rees algebras are of fiber type and provides an explicit description of their defining ideals, extending understanding of their algebraic structure.

Findings

Rees algebra of these ideals is of fiber type.

Explicit description of the defining ideal of the special fiber ring.

Relation between the ideals and minors of symmetric matrices.

Abstract

The goal of this paper is to study the Rees algebra $\mathfrak{R}(I)$and the special fiber ring $\mathfrak{F}(I)$ for a family of ideals. Let $R=\mathbb{K}[x_1, \ldots, x_d]$ with $d\geq 4$ be a polynomial ring with homogeneous maximal ideal $\mathfrak{m}$. We study the $R$-ideals $I$, which are $\mathfrak{m}$-primary, Gorenstein, generated in degree 2, and have a Gorenstein linear resolution. In the smallest case, $d=4$, this family includes the ideals of $2\times 2$ minors of a general $3\times 3$ matrix of linear forms in $R$. 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 $\mathfrak{m}^2$ by exactly one minimal generator to describe the defining ideal $\mathfrak{F}(I)$ as a sub-ideal of the defining ideal of $\mathfrak{F}(\mathfrak{m}^2)$, which is well known to be the ideal of $2\times 2$ minors of a symmetric matrix of variables.