[論文レビュー] Noetherian property of infinite EI categories

Wee Liang Gan, Liping Li|arXiv (Cornell University)|Jul 30, 2014

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

ひとこと要約

本稿では、特定の組合せ的条件を満たす無限EIカテゴリ上で、有限生成モジュールのノエター性を確立する。これは、特徴値0の体上のFIモジュールに対する古典的結果を一般化するものである。著者らは、生成集合のサイズに関する帰納法とフィルトレーションの議論を用いて、このようなモジュールがノエター的であることを証明し、FI、FI_BC、FI_D、VIなどのカテゴリへと結果を拡張している。この証明は対称群表現論に依存しない。

ABSTRACT

It is known that finitely generated FI-modules over a field of characteristic 0 are Noetherian. We generalize this result to the abstract setting of an infinite EI category satisfying certain combinatorial conditions.

研究の動機と目的

• 特徴値0の体上の有限生成FIモジュールのノエター性を、より広いクラスの無限EIカテゴリへ一般化すること。
• 無限EIカテゴリに課される組合せ的条件を同定し、それらが有限生成モジュールのノエター性を保証することを示すこと。
• 対称群表現論に依存しない証明枠組みを提供し、FI、FI_BC、FI_D、VIなどのカテゴリに適用可能であるようにすること。
• Church、Ellenberg、Farbの基礎的結果を、最小限の構造的仮定での抽象的EIカテゴリへ拡張すること。

提案手法

• 非負整数でインデックスが付与された対象と、分解不能な射の線形クーヴィー構造を持つ、型A_∞の無限EIカテゴリを定義する。
• 任意の二つの対象間で有限な鎖が存在する、強く局所的有限なEIカテゴリの概念を導入する。
• モジュールの生成集合に対するフィルトレーションを用い、射影写像を介して分解することで、問題をより小さな生成集合への還元を行う。
• 生成集合のサイズに関する帰納法を適用し、1つの生成子を持つ自由モジュールの部分モジュールが有限生成であることを証明する。
• クーヴィー構造と推移性条件を活用して、部分モジュールの成長を制御し、有限生成性を保証する。
• このようなカテゴリ上の有限生成モジュールの任意の部分モジュールが、自身も有限生成であることを確立し、ノエター性を証明する。

実験結果

リサーチクエスチョン

• RQ1 どのような一般条件のもとで、無限EIカテゴリ上の有限生成モジュールがノエター的となるか？
• RQ2 FIモジュールのノエター性は、対称群表現論を超えて、他の無限EIカテゴリへ拡張可能か？
• RQ3 ノエター性の証明を、対称群の表現論に依存せずにどのように一般化できるか？
• RQ4 射のクーヴィーにおけるどのような組合せ的構造が、無限EIカテゴリにおける部分モジュールの有限生成性を保証するか？
• RQ5 この結果は、単に体ではなく任意のノエター環へまで拡張可能か？

主な発見

• 主結果（定理3.7）は、型A_∞で強く局所的有限な条件を満たす無限EIカテゴリ上の任意の有限生成モジュールがノエター的であることを確立する。
• 証明は、生成集合のサイズに関する帰納法と、射影写像によるモジュールの分解に依存し、1生成子の場合に還元する。
• ノエター性はFI、FI_BC、FI_D、VIのカテゴリに対しても成り立つが、後者のカテゴリは以前の証明で用いられた重要な命題を満たさない。
• 著者らは、ノエターなモジュールにおいて、移行写像の核（ torsion部分モジュール）が十分大きな添え字でゼロであることを示し、移行写像の最終的単射性を示唆する。
• モジュールが有限生成であるための必要十分条件として、十分大きなjに対して写像ρ_j(V)の像がV_{j+1}に一致することを示す。
• 結果は対称群表現論に依存せず、対称群に限らず任意の自己同型群を持つカテゴリへも適用可能である。