[論文レビュー] Universal Groebner bases for maximal minors

Aldo Conca, Emanuela De Negri+1 more|arXiv (Cornell University)|Feb 18, 2013

Commutative Algebra and Its Applications参考文献 10被引用数 8

ひとこと要約

本稿では、変数の行列の最大小行列式が普遍グレブナー基底をなすことを簡潔に証明し、列に重み付きまたは行に重み付きの多重次数構造を備えた一次形式の行列へその結果を拡張する。主な貢献は、多重次数付き環における根をもつボレル固定イデアルの剛性定理であり、これは初期イデアルが元のイデアルと同じベッチ数と線形分解を有することを示し、古典的な行列式イデアルに関する結果を一般化する。

ABSTRACT

A set of polynomials G in a polynomial ring S over a field is said to be a universal Groebner basis, if G is a Groebner basis with respect to every term order on S. Twenty years ago Bernstein, Sturmfels, and Zelevinsky proved that the set of the maximal minors of a matrix X of variables is a universal Groebner basis. Boocher recently proved that any initial ideal of the ideal of maximal minors of X has a linear resolution. In this paper we give a quick proof of the results mentioned above. Our proof is based on a specialization argument. Then we show that similar statements hold in a more general setting, for matrices of linear forms satisfying certain homogeneity conditions. More precisely, we show that the set of maximal minors of a matrix L of linear forms is a universal Groebner basis for the ideal I that it generates, provided that L is column-graded. Under the same assumption we show that every initial ideal of I has a linear resolution. Furthermore, the projective dimension of I and of its initial ideals is n-m, unless I=0 or a column of L is identically 0. Here L is a matrix of size m times n, and m is smaller than or equal to n. If instead L is row-graded, then we prove that I has a universal Groebner basis of elements of degree m and that every initial ideal of I has a linear resolution, provided that I has the expected codimension. The proofs are based on a rigidity property of radical Borel fixed ideals in a multigraded setting: We prove that if two Borel fixed ideals I and J have the same multigraded Hilbert series and I is radical, then I = J. We also discuss some of the consequences of this rigidity property.

研究の動機と目的

• 一般行列の最大小行列式が普遍グレブナー基底をなすという古典的結果の簡潔な証明を提供すること。
• この結果を列に重み付きまたは行に重み付きの多重次数構造を備えた一次形式の行列へ一般化すること。
• このような行列式イデアルの初期イデアルが線形分解をもち、元のイデアルと同じベッチ数をもつことの確立。
• 多重次数付き多項式環における根をもつボレル固定イデアルの剛性性を証明すること。この性質が主な結果の根拠となる。

提案手法

• 普遍グレブナー基底性をヒルベルト級数の比較に帰着させるための特殊化法の使用。
• 剛性定理の適用：2つのボレル固定イデアルが同じヒルベルト級数を持ち、一方が根をもつならば、それらは等しい。
• 行列式イデアルのヒルベルト級数および ${\mathcal{K}}$-多項式の計算に、多重次数付きイーガン＝ノースコット複体の利用。
• 生成関数および対称多項式の恒等式を用いて、行に重み付き構造の下でのヒルベルト級数の一致を確立。
• 多重次数構造を保つ一般線形群の積の作用下での一般化初期イデアルの利用。
• 行に重み付き構造の下で、$ I_m(L) $ の初期イデアルが、$ I = (x_{1j_1} \cdots x_{mj_m} : j_1 + \cdots + j_m \leq n) $ に等しいことを確立。

実験結果

リサーチクエスチョン

• RQ1 変数の行列の最大小行列式の集合は、任意の項順序のもとで普遍グレブナー基底をなすか？
• RQ2 この結果は、多重次数構造を備えた一次形式の行列へ拡張可能か？
• RQ3 行列式イデアルの初期イデアルが線形分解と同一のベッチ数をもつための条件は何か？
• RQ4 特に行に重み付き構造の下で、行列式イデアルのヒルベルト級数はどのように振る舞うか？
• RQ5 多重次数付き多項式環における根をもつボレル固定イデアルにどのような剛性性が成立するか？

主な発見

• 変数の行列の最大小行列式は、短い特殊化法による証明により、普遍グレブナー基底をなす。
• 列に重み付き構造を備えた一次形式の行列に対して、最大小行列式イデアルの任意の初期イデアルは線形分解をもち、元のイデアルと同じベッチ数をもつ。
• 行に重み付き構造の下で、期待されるコアディメンションのもと、$ I_m(L) $ は次数 $ m $ の元からなる普遍グレブナー基底を持ち、すべての初期イデアルは根をもち、線形分解をもつ。
• ${\mathcal{K}}$-多項式 $ S/I_m(X) $ は、ボレル固定イデアル $ I = (x_{1j_1} \cdots x_{mj_m} : j_1 + \cdots + j_m \leq n) $ のそれと等しく、ヒルベルト級数の一致を示唆する。
• 剛性定理により、根をもつボレル固定イデアルと同一のヒルベルト級数をもつ任意の多重次数付きイデアルは、根をもち、コーエン＝マカウレイでもある。
• 生成関数を用いた証明により、恒等式 $ \sum_{k=0}^{t} h_k(1+y_1,\dots,1+y_m) = \sum_{k=0}^{t} \binom{m+t}{m+k} h_k(y_1,\dots,y_m) $ が成立し、ヒルベルト級数の一致が確認される。