A matrix of linear forms which is annihilated by a vector of indeterminates (Q330157)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A matrix of linear forms which is annihilated by a vector of indeterminates |
scientific article |
Statements
A matrix of linear forms which is annihilated by a vector of indeterminates (English)
0 references
24 October 2016
0 references
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.
0 references
Buchsbaum-Rim complex
0 references
depth sensitivity
0 references
determinantal ideal
0 references
divided power algebra
0 references
generalized Eagon-Northcott
0 references
complexes
0 references
Gorenstein ideal
0 references
gade unmixed part of an ideal
0 references
Hilbert series
0 references
0 references