[論文レビュー] Noetherianity and rooted trees

Daniel Barter|arXiv (Cornell University)|Sep 14, 2015

Commutative Algebra and Its Applications参考文献 2被引用数 6

ひとこと要約

この論文は、根付き木の圏における順序を保つ根埋め込みに関する有限生成表現が、相対的ケルスカルの木定理とサムとスナイダーの一般化されたグレブナー理論の技術を用いてネーター的であることを確立する。主な貢献は、この圏におけるネーター的性質の証明であり、無限対象を含む組合せ的圏への表現理論の拡張を実現する。

ABSTRACT

Let T be the category whose objects are rooted trees and morphisms are order embeddings preserving the root. We prove that finitely generated representations of T are Noetherian using techniques developed by Sam and Snowden which generalize classical Grobner theory. The proof uses a relative version of Kruskals tree Theorem.

研究の動機と目的

• 根付き木の圏における有限生成表現のネーター的性質を確立すること。
• サムとスナイダーの一般化されたグレブナー理論を、根付き木のような組合せ的圏へ拡張すること。
• この文脈でネーター的性質を示すために適した、ケルスカルの木定理の相対的バージョンを開発すること。
• 無限な組合せ的圏における表現理論の基礎的結果を提供すること。

提案手法

• 根付き木を対象とし、根を保つ順序埋め込みを射とする圏 T を定義する。
• サムとスナイダーのテンソル圏におけるネーター的性質の枠組みを、根付き木の設定へ適応する。
• 部分表現の成長を制御するためのケルスカルの木定理の相対的バージョンを導入する。
• 木の良い整列順序性質を用いて、部分表現の上昇鎖を制御する。
• 相対的ケルスカル定理を適用し、すべての部分表現が有限生成であることを示す。
• 根付き木の組合せ的構造を活用して、圏作用の下での有限生成性を保証する。

実験結果

リサーチクエスチョン

• RQ1 根を保つ埋め込みの下での根付き木の圏は、表現理論におけるネーター的性質の結果に適しているか？
• RQ2 このような圏における部分表現の成長を制御するために、ケルスカルの木定理の相対的バージョンを用いることができるか？
• RQ3 一般化されたグレブナー理論は、根付き木のような無限対象を含む組合せ的圏に適用可能か？
• RQ4 この圏における有限生成表現が、部分表現の上昇鎖条件を満たすことを示せるか？
• RQ5 根付き木のどのような構造的性質が、その表現理論におけるネーター的性質を可能にするか？

主な発見

• 根付き木の圏における有限生成表現はネーター的である。
• 証明は、圏 T に特化した相対的ケルスカルの木定理の形式に依存している。
• 圏 T は埋め込み関係に関して良い整列順序を備えており、部分表現の鎖の制御が可能である。
• サムとスナイダーの一般化されたグレブナー理論の技術の応用が、この組合せ的設定へ拡張可能である。
• 有限生成 T-加群の部分表現に対して、上昇鎖条件が成り立つ。
• この結果は、表現理論における新しい種類の組合せ的圏における基礎的ネーター的性質を確立する。