A matrix of linear forms which is annihilated by a vector of indeterminates (Q330157): Difference between revisions

It was shown in [\textit{D. Eisenbud}, Adv. Stud. Pure Math. 11, 29--38 (1987; Zbl 0657.14028)] that, ``Determinantal ideals associated to `sufficiently general' matrices of linear forms are resilient in the sense that they remain of the `expected' codimension, or prime, even modulo a certain number of linear forms.'' The cases where the original matrix is generic, symmetric generic, catalecticant, or 1-generic have been particularly well-studied. In the paper under review, the authors study a family of resilient determinantal ideals of matrices of linear forms. More precisely, let \(R = k[T_1,\dots,T_f]\) be a standard graded polynomial ring over the field \(k\) and \(\psi\) be an \(f \times g\) matrix of linear forms from \(R\), where \(1 \leq g < f\). Assume that \([T_1,\dots,T_f]\psi= 0\) and that \(\mathrm{grade }I_g(\psi )\) is exactly one short of the maximum possible grade. The authors resolve \(A = R/Ig(\psi )\), prove that \(A\) has a \(g\)-linear resolution, give explicit formulas for the \(h\)-vector and multiplicity of \(A\), and prove that if \(f - g\) is even, then the ideal \(I_g(\psi )\) is unmixed. Furthermore, if \(f - g\) is odd, then the authors identify an explicit generating set for the unmixed part, \(I_g(\psi )^{\mathrm{unmix}}\), of \(I_g(\psi )\), resolve \(R/I_g(\psi )^{\mathrm{unmix}}\), and record explicit formulas for the \(h\)-vector of \(R/I_g(\psi )^{\mathrm{unmix}}\). These results have applications in another article of the authors, where they describe explicitly, in terms of generators and relations, the special fiber ring and the Rees algebra of linearly presented grade three Gorenstein ideals in polynomial rings of even Krull dimension.