[論文レビュー] Homological Invariants of FI-modules and FI_G-modules

Eric Ramos|arXiv (Cornell University)|Nov 12, 2015

Algebraic structures and combinatorial models参考文献 16被引用数 18

ひとこと要約

この論文は、可換環上の有限生成 $FI_G$-加群に対して、コーシュ・ムンフォード正則性に関する結果を一般化する、ホモロジー的理論としての深さを構築する。この理論により、生成度 $d$ と最初のホモロジー的次数 $r$ を用いて、このような加群の正則性が $r + \min\{r,d\} - 1$ で有界であることが示され、チャーチ、エレンバーグ、ファーブの結果を精緻化する。さらに、特徴値が 0 の場合にホモロジー的深さ（導来関手による）と古典的深さ（Ext 関手による）が同値であることを証明する。

ABSTRACT

We explore a theory of depth for FI_G-modules which are presented in finite degrees. Using this theory, we prove results about the regularity, and provide novel bounds on stable ranges of FI-modules, making effective a theorem of Nagpal and thereby refining the stable range in results of Church, Ellenberg, and Farb.

研究の動機と目的

• 可換環上の有限生成 $FI_G$-加群に対して、$FI$-加群からの結果を拡張する深さの理論を構築すること。
• 生成度とホモロジー的次数の観点から、$FI_G$-加群のコーシュ・ムンフォード正則性に対する有効な境界を提供すること。
• 特徴値が 0 の場合に、導来関手による導出的深さと、Ext 関手による古典的深さの間の同値性を確立すること。
• チャーチ、エレンバーグ、ファーブの結果における安定範囲の境界を、ナガパルの定理を有効化することで精緻化すること。

提案手法

• $FI_G$-加群上の微分関手 $D$ を、自然な写像 $V \to \operatorname{S}V$ の余核として定義する。ここで $\operatorname{S}V$ はシフト関手である。
• 加群 $V$ のホモロジー的深さを、$H_1^{D^{a+1}}(V) \neq 0$ となる最小の $a$ として定義し、導出的正則性をすべての $a$ に対して $H_1^{D^a}(V)$ の最大次数として定義する。
• シフト関手 $\operatorname{S}_b$ 及びその反復を用いて、$V$ 及びその商の構造を分析し、特に $\sharp$-フィルター加群との関係を考察する。
• 導来関手 $H_i^{D^a}$ を用いて、$V$ のホモロジー的不変量とその正則性・深さの関係を確立する。
• 可換環上の有限生成 $FI_G$-加群について、特徴値が 0 の場合に、古典的深さ（$\operatorname{Ext}^i(\mathcal{G}, \cdot)$ を通じて定義）がホモロジー的深さに一致することを証明する。
• 完全系列による深さの増分性と、$\operatorname{Ext}$ 関手の消失性を用いて、深さの定義の同値性を確立する。

実験結果

リサーチクエスチョン

• RQ1 生成度とホモロジー的次数の観点から、有限生成 $FI_G$-加群のコーシュ・ムンフォード正則性の有効な境界は何か？
• RQ2 導出的正則性 $\partial\operatorname{reg}(V)$ は、$FI_G$-加群のホモロジー的深さやシフト関手とどのように関係するか？
• RQ3 微分関手 $D$ を通じて定義されるホモロジー的深さが、特徴値 0 において $\operatorname{Ext}$ 関手を通じて定義される古典的深さと一致することを示せるか？
• RQ4 この新しい深さ理論を用いて、チャーチ、エレンバーグ、ファーブの研究における安定範囲の境界をどの程度有効化できるか？
• RQ5 $FI_G$-加群が有限な射影次元をもつ条件は何か？ また、これは $\sharp$-フィルター加群とどのように関係するか？

主な発見

• 生成度 $\leq d$ かつ最初のホモロジー的次数 $\leq r$ をもつ有限生成 $FI_G$-加群 $V$ の正則性は、$\operatorname{reg}(V) \leq r + \min\{r,d\} - 1$ で有界であり、これは $FI$-加群に対するチャーチとエレンバーグの境界と一致する。
• 可換環上の有限生成 $FI_G$-加群について、導出的正則性 $\partial\operatorname{reg}(V)$ は有限であり、すべての $a \geq 0$ に対して $H_1^{D^a}(V)$ の最大次数に等しい。
• 加群 $V$ のホモロジー的深さは、$H_1^{D^{a+1}}(V) \neq 0$ となる最小の $a$ であり、この定義は短完全系列において増分性を満たす。
• 特徴値が 0 の場合に、$\operatorname{Ext}^i(\mathcal{G}, V) \neq 0$ となる最小の $i$ として定義される古典的深さは、有限生成 $FI_G$-加群においてホモロジー的深さと一致する。
• 有限生成 $FI_G$-加群 $V$ が無限大の古典的深さをもつことと、$V$ が $\sharp$-フィルターであることとは同値である。
• 同値性は、$b$ が十分に大きいときのシフト関手 $\operatorname{S}_b$ の使用と帰納法を用いて確立され、フィルトレーションのすべての反復商が $\sharp$-フィルターであることから、$V$ が $\sharp$-フィルターであることが示される。