[論文レビュー] 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$-整除性が良い順序付け（WPO）であるならば、$P$-不変イデアルに対して有限グレブナー基底が存在することを証明する。
• ハイグマンの補題を用いて、$P$-整除性が $\mathbb{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$-整除性が良い順序付け（WPO）であることと同値である。これは定理2.12で形式化されている。
• 理論により、代数的統計における独立集合予想が、定理4.7で新たな洗練された証明が可能になる。
• 反例（例5.3）により、$\Pi$-不変半群環が有限生成であっても、そのスケュー・モノイド環に関してネーター的でないことがあることが示され、質問5.2に対する否定的解答が得られた。
• $P$-整除性がWPOであるならば、$P$-不変イデアルの鎖の安定化が保証される。これは定理2.19で述べられている。
• この枠組みにより、代数的統計、普遍代数学、組合せ論における広範な有限性現象が、一つの統一的原理によって説明可能である。