[论文解读] 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

一句话总结

本文提供了关于变量矩阵的极大子式构成通用Gröbner基的简洁证明，将结果推广至列加权或行加权多重加权结构下的线性形式矩阵。关键贡献是多重加权环中根Borel固定理想的一个刚性定理，该定理表明初等理想继承相同的Betti数与线性解析，推广了经典行列式理想结果。

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.

研究动机与目标

• 提供经典结果的简洁证明，即通用矩阵的极大子式构成一个通用Gröbner基。
• 将此结果推广至列加权或行加权多重加权结构下的线性形式矩阵。
• 确立此类行列式理想的初等理想具有线性解析且与原理想具有相同的Betti数。
• 证明多重加权多项式环中根Borel固定理想的一个刚性性质，该性质是主要结果的基础。

提出的方法

• 使用特殊化论证，将通用Gröbner基性质简化为Hilbert级数比较。
• 应用刚性定理：若两个Borel固定理想具有相同的Hilbert级数，且其中一个为根理想，则二者相等。
• 利用多重加权Eagon-Northcott复形计算行列式理想的Hilbert级数与${\mathcal{K}}$-多项式。
• 使用生成函数与对称多项式恒等式，在行加权情况下等价Hilbert级数。
• 使用在保持多重加权结构的特殊线性群积作用下的通用初等理想。
• 确立在行加权情况下，$ I_m(L) $的初等理想等于Borel固定理想$ I = (x_{1j_1} \cdots x_{mj_m} : j_1 + \cdots + j_m \leq n) $。

实验结果

研究问题

• RQ1 在任意项序下，变量矩阵的极大子式集合是否构成通用Gröbner基？
• RQ2 该结果能否推广至具有多重加权结构的线性形式矩阵？
• RQ3 在何种条件下，行列式理想的初等理想具有线性解析且与原理想具有相同的Betti数？
• RQ4 在多重加权结构下，特别是行加权情况下，行列式理想的Hilbert级数行为如何？
• RQ5 在多重加权多项式环中，根Borel固定理想具有何种刚性性质？

主要发现

• 通过简短的特殊化论证，证明了变量矩阵的极大子式构成通用Gröbner基。
• 对于列加权的线性形式矩阵，其极大子式理想的所有初等理想均具有线性解析且与原理想具有相同的Betti数。
• 在行加权情况下，当处于预期余维数时，理想$ I_m(L) $具有由次数$ m $元素构成的通用Gröbner基，且所有初等理想均为根理想并具有线性解析。
• ${\mathcal{K}}$-多项式$ S/I_m(X) $等于Borel固定理想$ I = (x_{1j_1} \cdots x_{mj_m} : j_1 + \cdots + j_m \leq n) $，意味着Hilbert级数相等。
• 刚性定理表明，任何与根Borel固定理想具有相同Hilbert级数的多重加权理想，也必为根理想且为Cohen-Macaulay理想。
• 通过生成函数证明恒等式$ \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) $，确认了Hilbert级数的相等性。