[論文レビュー] Filtrations and Homological degrees of FI-modules

Liping Li, Nina Yu|arXiv (Cornell University)|Nov 10, 2015

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

ひとこと要約

本稿は、可換ノエター環上での $\natural$-フィルター付きFI加群について、ホモロジーの高次ホモロジーが消えることと同値であるホモロジー的特徴づけを提供する。シフト関手と余核関手を用いて、射影次元およびホモロジー次数の上界を確立し、ChurchとEllenbergの結果を、より広範な組合せ的圏に適用可能な、新しい概念的ホモロジー的枠組みによって一般化する。

ABSTRACT

Let $k$ be a commutative Noetherian ring. In this paper we consider filtered modules of the category FI firstly introduced by Nagpal. We show that a finitely generated FI-module $V$ is filtered if and only if its higher homologies all vanish, and if and only if a certain homology vanishes. Using this homological characterization, we characterize finitely generated FI-modules $V$ whose projective dimension is finite, and describe an upper bound for it. Furthermore, we give a new proof for the fact that $V$ induces a finite complex of filtered modules, and use it as well as a result of Church and Ellenberg to obtain another upper bound for homological degrees of $V$.

研究の動機と目的

• $\natural$-フィルター付きFI加群のホモロジー的特徴づけを提供すること。
• 射影次元およびホモロジー次数の上界を求める際の、射影加群の代わりに $\natural$-フィルター付き加群をホモロジー的置換として用いること。
• ChurchとEllenbergのCastelnuovo-Mumford正則性に関する結果を、組合せ的議論の代わりに概念的ホモロジー的手法を用いて一般化および再証明すること。
• 射影安定性理論における他の組合せ的圏に適応可能な枠組みを構築すること。

提案手法

• シフト関手 $\Sigma$ 及びその誘導される余核関手 $D$ を用いて、FI加群のホモロジー的性質を分析する。
• 有限生成FI加群 $V$ が $\natural$-フィルター付きであることと、すべての高次ホモロジーが消えることとが同値であることを証明する。
• $\Sigma_N$ におけるホモロジーの消える性質を活用して、$V$ を解体する $\natural$-フィルター付き加群の有限複体を構成する。
• ホモロジーにおける長完全系列を用いて、$V$、そのねじれ部分 $V_T$、およびねじれ自由部分 $V_F$ のホモロジー次数を関連付ける。
• ねじれなし加群に対して $\operatorname{hd}_s(W) \leqslant 2\operatorname{gd}(W) + s - 1$ が成り立つことを利用して、$\operatorname{hd}_s(V)$ の新しい上界を導出する。
• $\operatorname{hd}_s(V_T)$ および $\operatorname{hd}_s(V_F)$ の上界を組み合わせることで、$\operatorname{hd}_s(V) \leqslant \max\{\operatorname{td}(V), 2\operatorname{gd}(V)-1\} + s$ を得る。

実験結果

リサーチクエスチョン

• RQ1 $\natural$-フィルター付きFI加群のホモロジー的特徴づけは、ホモロジーの消える性質としてどのように記述できるか？
• RQ2 $\natural$-フィルター付き加群を用いて、有限生成FI加群の射影次元をどのように上界で抑えられるか？
• RQ3 ChurchとEllenbergのCastelnuovo-Mumford正則性の上界は、組合せ的議論の代わりにホモロジー的手法を用いて再証明可能か？
• RQ4 有限生成FI加群 $V$ のホモロジー次数 $\operatorname{hd}_s(V)$ と生成次数 $\operatorname{gd}(V)$ の関係は何か？
• RQ5 本稿で開発された枠組みは、射影安定性理論における他の組合せ的圏へどのように拡張可能か？

主な発見

• 有限生成な ${\mathscr{C}}$-加群 $V$ は、すべての高次ホモロジーが消えることと同値に $\natural$-フィルター付きである。
• 有限生成な ${\mathscr{C}}$-加群 $V$ の射影次元 $\operatorname{pd}(V)$ が有限であることと、$V$ が $\natural$-フィルター付きであることとは同値である。
• 射影次元の上界は $\operatorname{gd}(V) + \operatorname{td}(V)$ で与えられ、ここで $\operatorname{td}(V)$ は $V$ のねじれ次数である。
• ホモロジー次数はすべての $s \geqslant 1$ に対して $\operatorname{hd}_s(V) \leqslant \max\{\operatorname{td}(V), 2\operatorname{gd}(V)-1\} + s$ を満たし、これは新たな上界を提供する。
• $V$ を解体する $\natural$-フィルター付き加群の複体は、十分大きな $N$ に対して $\Sigma_N$ を適用することで有限分解を誘導し、正則性の上界を再証明する新しい証明を与える。
• シフト関手に基づくホモロジー的枠組みの適応的変更を用いて、他の組合せ的圏へも結果を一般化できる。