[論文レビュー] A remark on FI-module homology

Wee Liang Gan, Liping Li|arXiv (Cornell University)|May 7, 2015

Homotopy and Cohomology in Algebraic Topology参考文献 6被引用数 5

ひとこと要約

本稿では、FI-加群のFIホモロジーがコシュール複体を用いて計算可能であることを確立し、FI-加群を研究するためのホモロジー代数的枠組みを提供する。主な貢献は、有限生成で torsion なFI-加群のCastelnuovo-Mumford正則性がその次数に等しいことを証明し、分野における予想を解決することにある。

ABSTRACT

We show that the FI-homology of an FI-module can be computed via a Koszul complex. As an application, we prove that the Castelnuovo-Mumford regularity of a finitely generated torsion FI-module is equal to its degree.

研究の動機と目的

• コシュール複体の構成を用いてFIホモロジーのホモロジー的計算を確立すること。
• 有限生成で torsion なFI-加群のCastelnuovo-Mumford正則性に関する予想を解決すること。
• 導来函手およびイデアルJによる商の導来函手を用いて、FI-加群のホモロジー代数的基盤を提供すること。
• 中心的安定性チェーン複体（記号 $\widetilde{S}_{-*}V$ で表される）のホモロジーがFIホモロジーを計算することを示すこと。

提案手法

• FI-加群 $V$ 上のコシュール複体 $\widetilde{S}_{-*}V$ を定義し、その成分を $({\widetilde{S}}_{-a}V)(X) = \bigoplus_{I \subset X, |I|=a} V(X\setminus I) \otimes_R \det(I)$ と定める。
• 各項における微分 $d$ を $d(v \otimes i_1 \wedge \cdots \wedge i_a) = \sum_{p=1}^a (-1)^p i_p(v) \otimes i_1 \wedge \cdots \widehat{i_p} \cdots \wedge i_a$ で定義する。
• $M(d)$ を $[d]$ からの単射で生成される自由FI-加群とするとき、すべての $a \geq 1$ およびすべての $d \in \mathbb{N}$ に対して $H_a(\widetilde{S}_{-*}M(d)) = 0$ を証明する。
• 函手 $V \mapsto H_a(\widetilde{S}_{-*}V)$ の係数消去可能性と、$H_0 \cong V/JV$ を満たす普遍 $\delta$-函手であることを用いて、$H^{{\mathrm{FI}}}_a(V) \cong H_a(\widetilde{S}_{-*}V)$ を結論づける。
• この同型を適用して、すべての $a \geq 1$ に対して $\deg(H^{{\mathrm{FI}}}_a(V)) \leq \deg(V) + a$ を示し、正則性条件における等号が成立することを証明する。

実験結果

リサーチクエスチョン

• RQ1 FI-加群のFIホモロジーは、コシュール型複体を用いて計算可能か？
• RQ2 有限生成で torsion なFI-加群のCastelnuovo-Mumford正則性は、その次数に等しいか？
• RQ3 中心的安定性チェーン複体 $\widetilde{S}_{-*}V$ は、導来函手 $H^{{\mathrm{FI}}}_a(V)$ を計算するか？
• RQ4 普遍 $\delta$-函手の議論を用いて、コシュール複体 $\widetilde{S}_{-*}V$ のホモロジーが $\operatorname{Tor}^A_a(A/J, V)$ を計算可能であることを示せるか？
• RQ5 体上での次元比較の議論が、局所化と中島の補題を用いて一般の可換環へ拡張可能か？

主な発見

• すべての $a \in \mathbb{N}$ に対して、FIホモロジー $H^{{\mathrm{FI}}}_a(V)$ はコシュール複体のホモロジー $H_a(\widetilde{S}_{-*}V)$ と同型であることが示され、計算フレームワークが確立された。
• 任意のFI-加群 $V$ に対して、複体 $\widetilde{S}_{-*}V$ は普遍 $\delta$-函手の議論により導来函手 $H^{{\mathrm{FI}}}_a(V)$ を計算する。
• 有限生成で torsion なFI-加群 $V$ で $\deg(V) < \infty$ を満たすものに対して、Castelnuovo-Mumford正則性は $\operatorname{reg}(V) = \deg(V)$ を満たす。
• $H^{{\mathrm{FI}}}_a(V)$ の次数は $\deg(V) + a$ 以上で上界をもつが、正則性条件における等号は $n = p + a$（$p = \deg(V)$）で達成される。
• 証明は、体上での次元比較と局所化および中島の補題による体の場合への還元に依拠しており、多項式次数が異なるある種の自由加群間には全射が存在しないことを示している。