[论文解读] Finite Groebner bases in infinite dimensional polynomial rings and applications

Christopher J. Hillar, Seth Sullivant|arXiv (Cornell University)|Aug 12, 2009

Commutative Algebra and Its Applications参考文献 11被引用 17

一句话总结

本文引入了幺半群格罗博纳基，以在具有幺半群作用的无限维多项式环中建立有限性定理，特别是在对称群作用下。通过利用 P-整除性的良好偏序性，证明了在无限多个变量上对称群作用下稳定的理想在对称意义下是有限生成的，并将此结果应用于解决代数统计中的独立集猜想。

ABSTRACT

We introduce the theory of monoidal Groebner bases, a concept which generalizes the familiar notion in a polynomial ring and allows for a description of Groebner bases of ideals that are stable under the action of a monoid. The main motivation for developing this theory is to prove finiteness theorems in commutative algebra and its applications. A major result of this type is that ideals in infinitely many indeterminates stable under the action of the symmetric group are finitely generated up to symmetry. We use this machinery to give new proofs of some classical finiteness theorems in algebraic statistics as well as a proof of the independent set conjecture of Hosten and the second author.

研究动机与目标

• 为在具有幺半群作用的无限维多项式环中的理想建立交换代数中有限性定理的一般框架。
• 确立在对称群作用下不变的理想在对称意义下有限生成的条件。
• 为代数统计中的经典有限性结果提供统一方法，并解决开放性猜想，如独立集猜想。
• 通过幺半群作用和良好偏序性，将格罗博纳基理论扩展到非诺特环情形。
• 探讨使用幺半群滤子处理对称理想时的计算影响与算法挑战。

提出的方法

• 在通过自同态作用的幺半群 $P$ 作用下的多项式环中引入幺半群格罗博纳基的概念。
• 定义一个尊重幺半群作用并与单项式序相容的 $P$-整除序。
• 证明 $P$-不变理想存在有限格罗博纳基当且仅当 $P$-整除序是良好偏序（WPO）。
• 利用希格曼引理验证在关键情形（如 $\mathbb{P}$ 上递增函数的幺半群）下 $P$-整除序是 WPO。
• 引入 $P$-不变理想链的滤子，以证明在 $P$-作用下的稳定化定理。
• 将该理论应用于证明 ${\mathbb{K}}[X_{[r]\times{\mathbb{P}}}]$ 是其斜幺半群环 ${\mathbb{K}}[X_{[r]\times{\mathbb{P}}}]\ast{\mathfrak{S}}_{\mathbb{P}}$ 上的诺特模。

实验结果

研究问题

• RQ1 在无限维多项式环中，$P$-不变理想在何种条件下存在有限格罗博纳基？
• RQ2 能否通过 $P$-整除性的良好偏序性来刻画多项式环在幺半群作用下的诺特性？
• RQ3 能否利用 $P$-不变滤子和幺半群格罗博纳基证明代数统计中马尔可夫基的有限性？
• RQ4 $\Pi$-不变半群环在 $\Pi$-作用下诺特，是否意味着在完整对称群作用下也诺特？
• RQ5 能否开发出使用幺半群变换和 $P$-序而非完整对称群的算法来计算对称理想？

主要发现

• 主要结果，定理 1.1，建立了在 ${\mathbb{K}}[X_{[r]\times{\mathbb{P}}}]$ 中关于 ${\mathfrak{S}}_{\mathbb{P}}$ 作用不变的理想在对称意义下是有限生成的。
• 当且仅当 $P$-整除序是良好偏序时，$P$-不变理想存在有限格罗博纳基，此结论在定理 2.12 中形式化。
• 该理论为代数统计中的独立集猜想提供了新的、简明的证明，如定理 4.7 所述。
• 一个反例（例 5.3）表明，即使 $\Pi$-不变半群环是有限生成的，其在斜幺半群环上也不一定是诺特环，从而否定地回答了问题 5.2。
• 当 $P$-整除序是 WPO 时，$P$-不变理想链的稳定化得到保证，如定理 2.19 所述。
• 该框架通过单一统一原理解释了代数统计、普遍代数和组合学中广泛存在的有限性现象。