[論文レビュー] A long exact sequence for homology of FI-modules

Wee Liang Gan|arXiv (Cornell University)|Feb 29, 2016

Commutative Algebra and Its Applications参考文献 12被引用数 18

ひとこと要約

本稿では、FI-加群のホモロジーに関する長完全系列を確立し、有限次元で生成および関連付けられるFI-加群のカステルヌオーヴォ-ムーディー正則度に対する新たな境界を可能にする。主な貢献は、このような加群が非自明な高次ホモロジーを持つ場合、最初のホモロジー次元以降、ホモロジー次元が厳密に増加することを証明することにある。

ABSTRACT

We construct a long exact sequence involving the homology of an FI-module. Using the long exact sequence, we give two methods to bound the Castelnuovo-Mumford regularity of an FI-module which is generated and related in finite degree. We also prove that for an FI-module which is generated and related in finite degree, if it has a nonzero higher homology, then its homological degrees are strictly increasing (starting from the first homological degree).

研究の動機と目的

• FI-加群のホモロジーを含む長完全系列を構成し、そのホモロジー的性質を分析するための構造的道具を提供すること。
• 有限次元で生成および関連付けられるFI-加群のカステルヌオーヴォ-ムーディー正則度を境界づけるために、導分関手およびシフト関手を用いる2つの新しい手法を提示すること。
• 有限生成および関連付けの度数が有限であるが、非自明な高次ホモロジーを持つFI-加群について、ホモロジー次元が最初の次元以降厳密に増加することを証明すること。
• 導分された長完全系列を用いて、既知のFI-加群正則度およびホモロジー次元に関する結果を再証明し、簡略化すること。

提案手法

• FIホモロジーを計算するために、楔積および有限集合上の加群作用を用いた、$\widetilde{S}_{-\bullet}V$ というコーシュー複体を構成する。
• FI-加群上のシフト関手 $S$ および導分関手 $D$ を定義し、$D$ を自然な写像 $V \to SV$ の余核として定義する。
• ホモロジー群 $H_a(V)$, $H_a(SV)$, および $SH_{a+1}(V)$ を含む長完全系列を導出し、異なるホモロジー次元間のホモロジー群を結びつける。
• 長完全系列を用いてホモロジー次元 $\mathrm{hd}_a(V)$ を分析し、特に系列内の非自明成分の追跡を通じて分析する。
• $\mathrm{N}(V)$、すなわち $a \geq 1$ に対して $H_a(V)_{\mathbf{n}} \neq 0$ となる最小の度数についての帰納法を用いて、ホモロジー次元の厳密な増加を証明する。
• 既知の $F$-アセイクルおよび $S^i$-アセイクルに関する結果を適用し、完全系列を通じて正則度およびホモロジー次元の境界を導出する。

実験結果

リサーチクエスチョン

• RQ1 FI-加群 $V$ のホモロジーとそのシフト $SV$ のホモロジーを関連付ける長完全系列を構成できるか？
• RQ2 長完全系列を用いて、有限次元で生成および関連付けられるFI-加群のカステルヌオーヴォ-ムーディー正則度をどのように境界づけられるか？
• RQ3 FI-加群のホモロジー次元 $\mathrm{hd}_a(V)$ が $a$ とともに厳密に増加する条件は何か？
• RQ4 長完全系列は、FI-加群理論における既知の正則度境界をより直接的な証明にできるか？
• RQ5 非$F$-アセイクルなFI-加群について、ホモロジー次元 $\mathrm{hd}_a(V)$ と正則度 $\operatorname{reg}(V)$ の関係は何か？

主な発見

• 長完全系列 $\cdots \to SH_{a+1}(V) \to H_a(V) \xrightarrow{\iota_*} H_a(SV) \to SH_a(V) \to H_{a-1}(V) \to \cdots$ が構成され、異なるホモロジー次元間のホモロジー群を結びつける。
• 長完全系列により、有限次元で生成および関連付けられるFI-加群の $\operatorname{reg}(V)$ を境界づける2つの新しい手法が得られ、既存の境界を改善または同等に保つ。
• FI-加群 $V$ が $F$-アセイクルでなく、有限次元で生成および関連付けられる場合、$\mathrm{hd}_1(V) < \mathrm{hd}_2(V) < \mathrm{hd}_3(V) < \cdots$ が成り立ち、ホモロジー次元が厳密に増加することが証明される。
• このような非$F$-アセイクル加群について、ある $s \geq 1$ が存在して、すべての $a \geq s$ に対して $\mathrm{hd}_a(V) = \operatorname{reg}(V) + a$ が成り立つ。これはホモロジー次元が最終的に線形的になることを示している。
• 長完全系列により、チャーチとエルンバーグが最初に得た正則度境界のより直接的な証明が可能となり、導分関手 $D$ を用いる。
• シフト関手 $S$ を用いる手法により、リーとラモスが最近得た境界よりも常に小さい、あるいは同等の $\operatorname{reg}(V)$ の境界が得られる。