A matrix of linear forms which is annihilated by a vector of indeterminates

被引:5
|
作者
Kustin, Andrew R. [1 ]
Polini, Claudia [2 ]
Ulrich, Bernd [3 ]
机构
[1] Univ South Carolina, Dept Math, Columbia, SC 29208 USA
[2] Univ Notre Dame, Dept Math, Notre Dame, IN 46556 USA
[3] Purdue Univ, Dept Math, W Lafayette, IN 47907 USA
基金
美国国家科学基金会;
关键词
Buchsbaum-Rim complex; Depth sensitivity; Determinantal ideal; Divided power algebra; Generalized Eagon-Northcott complexes; Gorenstein ideal; Grade unmixed part of an ideal; Hilbert series; h-Vector; Matrix of linear forms; Multiplicity; Pfaffians; Rees algebra; Resilient ideals; Special fiber ring; Unmixed part of an ideal; Total complex; HUNEKE-ULRICH; FREE RESOLUTIONS; IDEALS; EQUATIONS; MINORS;
D O I
10.1016/j.jalgebra.2016.08.018
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
Let R = k[T-1, . . . ,T-f] be a standard graded polynomial ring over the field kappa and Psi be an f x g matrix of linear forms from R, where 1 <= g < f. Assume [T-1 . . . T-f] If is 0 and that grade I-g(Psi) is exactly one short of the maximum possible grade. We resolve (R) over bar = R/I-g(Psi), prove that (R) over bar has a g-linear resolution, record explicit formulas for the h-vector and multiplicity of (R) over bar, and prove that if f - g is even, then the ideal I-g (Psi) is unmixed. Furthermore, if f - g is odd, then we identify an explicit generating set for the unmixed part, I-g (Psi)(uam), of I-g(Psi), resolve R/I-g(Psi)(unm), and record explicit formulas for the h-vector of R/I-g(Psi)(unm).(The rings R/I-g(Psi) and R/I-g (Psi)(unm) automatically have the same multiplicity.) These results have applications to the study of the blow-up algebras associated to linearly presented grade three Gorenstein ideals. (C) 2016 Elsevier Inc. All rights reserved.
引用
收藏
页码:120 / 187
页数:68
相关论文
共 50 条