A matrix of linear forms which is annihilated by a vector of indeterminates (Q330157): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(6 intermediate revisions by 5 users not shown) | |||
Property / review text | |||
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. | |||
Property / review text: 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. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Marcel Morales / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13D02 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13C40 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13A30 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6642837 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Buchsbaum-Rim complex | |||
Property / zbMATH Keywords: Buchsbaum-Rim complex / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
depth sensitivity | |||
Property / zbMATH Keywords: depth sensitivity / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
determinantal ideal | |||
Property / zbMATH Keywords: determinantal ideal / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
divided power algebra | |||
Property / zbMATH Keywords: divided power algebra / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
generalized Eagon-Northcott | |||
Property / zbMATH Keywords: generalized Eagon-Northcott / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
complexes | |||
Property / zbMATH Keywords: complexes / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Gorenstein ideal | |||
Property / zbMATH Keywords: Gorenstein ideal / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
gade unmixed part of an ideal | |||
Property / zbMATH Keywords: gade unmixed part of an ideal / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Hilbert series | |||
Property / zbMATH Keywords: Hilbert series / rank | |||
Normal rank | |||
Property / describes a project that uses | |||
Property / describes a project that uses: Macaulay2 / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2963763588 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1505.05206 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4274969 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Determinantal rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebra Structures for Finite Free Resolutions, and Some Structure Theorems for Ideals of Codimension 3 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3804831 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Linear Sections of Determinantal Varieties / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4317713 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4451110 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Divisor Class Groups and Deformations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Second analytic deviation one ideals and their Rees algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Ideals of Minors of Matrices with Indeterminate Entries / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4507801 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The minimal free resolutions of the Huneke-Ulrich deviation two Gorenstein ideals / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4245153 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Huneke-Ulrich almost complete intersections of Cohen-Macaulay type two / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The equations defining blowup algebras of height three Gorenstein ideals / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Hilbert Series of the Ring Associated to an Almost Alternating Matrix / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Equations of blowups of ideals of codimension two and three / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: \(3 \times 3\) minors of catalecticants / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Linear determinantal equations for all projective schemes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Minimal algebra resolutions for cyclic modules defined by Huneke-Ulrich ideals / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 19:48, 12 July 2024
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