[論文レビュー] FI$^m$-modules over Noetherian rings

Liping Li, Nina Yu|arXiv (Cornell University)|May 2, 2017

Commutative Algebra and Its Applications参考文献 21被引用数 5

ひとこと要約

この論文は、ネーター環上でのFI^m-加群の基礎的表現およびホモロジー的性質を確立し、FI-加群の結果を一般化する。特に対象の特徴が0の体上での有限生成FI^m-加群が表現安定性を示すことを証明し、階数付きカテゴリ構造とネーター的基底上の相対的射影性を用いて、表現安定性理論を複数の型を持つ構成類似カテゴリへ拡張する。

ABSTRACT

In this paper we study representation theory of the category FI$^m$ introduced by Gadish which is a product of copies of the category FI, and show that quite a few interesting representational and homological properties of FI can be generalized to FI$^m$ in a natural way. In particular, we prove the representation stability property of finitely generated FI$^m$-modules over fields of characteristic 0.

研究の動機と目的

• ネーター環上でのFI-加群の表現理論を、FIのm重積であるFI^mに拡張すること。
• 任意の可換ネーター環上でのFI^mが局所ネーター的であることを確立すること。
• FIからFI^mへの相対的射影性やフィルター付き分解といったホモロジー的性質を一般化すること。
• 特徴が0の体上での有限生成FI^m-加群に対して表現安定性を証明すること。
• 将来の局所コホホロジー、正則性の上限、およびコインダクション関手の研究の基盤を築くこと。

提案手法

• 著者たちは、FIのm個のコピーの積としてFI^mを定義し、対象を有限集合のm重組として、射を単射写像のm重組として定義する。
• 対象の総次数を用いた階数付き構造を導入し、これにより次数別に有限生成な加群を定義可能にする。
• 自己埋め込み関手ι_iとシフト関手Σ_iを用いて、導来関手Dを自然な写像V^⊕m → ΣVの余核として定義する。
• 順序付き部分集合の構造と有界生成性を用いて、有限生成加群の部分加群が有限生成であることを示すことで、FI^mが局所ネーター的であることを証明する。
• 多項係数を含む組合せ論的公式を分析することで、V_nの次元の成長を解析し、有限生成FI^m-加群の多項式的成長を確立する。
• 相対的射影加群を用いた分解F^•を構成し、この複体のコホホロジーが局所コホホロジーを計算し、正則性と関係することを示す。

実験結果

リサーチクエスチョン

• RQ1 FI-加群の表現安定性は、特徴が0の体上でのFI^m-加群へ拡張可能か？
• RQ2 有限生成FI^m-加群の正則性には、そのホモロジー的不変量の関数として有限上界が存在するか？
• RQ3 FI^m-加群のコインダクション関手は、FIの場合と同様の良い性質を持つだろうか、特に特徴が0のとき？
• RQ4 FI^m-加群に対して、相対的射影性を特徴づける消滅条件を持つ局所コホホロジー理論を開発可能だろうか？
• RQ5 分解複体F^•のホモロジー群は、FIの場合と同様にVの局所コホホロジー群と一致するか？

主な発見

• 任意の可換ネーター環上でのFI^mは局所ネーター的であり、有限生成加群の部分加群も有限生成であることが保証される。
• 特徴が0の体上での有限生成FI^m-加群は表現安定性を示し、FI-加群の結果が一般化される。
• V_nの次元は次数n_iに関して多項式的成長を示し、成長率は∏_{i=1}^m (n_i choose l_i) × dim_k V_l（ただしl ≤ n）で上界が与えられる。
• 分解複体F^•のホモロジー群はVの局所コホホロジー群と一致し、予想された局所コホホロジー理論を支持する。
• 導来関手Dは、Vが相対的射影的でない失敗を捉えており、すべてのFI^m-加群に対して0 → KV → V^⊕m → ΣV → DV → 0の完全列が成り立つ。
• 有限生成FI^m-加群の正則性はネーター環上では有限であるが、ホモロジー的不変量の関数としての明示的上界はまだ確立されていない。