[論文レビュー] Depth and the Local Cohomology of FI_G-modules

Liping Li, Eric Ramos|arXiv (Cornell University)|Feb 13, 2016

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

ひとこと要約

本稿は、可換ネーター環上における ${\mathscr{FI}}_G$-加群の局所コホホロジー理論を構築し、ホモロジー代数による深さ不変量が、可換代数からの古典的深さと一致することを確立する。$\sharp$-フィルター付き加群とシフト関手 $\Sigma$ に基づく新規な道具立てを用いて、カステルヌオヴォ＝ムーア・正則性が $\operatorname{td}(H^i_{\mathfrak{m}}(V)) + i$ の最大値によって有界であることを証明し、特定の条件下で等号が成り立つと予想する。

ABSTRACT

In this paper we describe a machinery for homological calculations of representations of FI_G, and use it to develop a local cohomology theory over any commutative Noetherian ring. As an application, we show that the depth introduced by the second author coincides with a more classical invariant from commutative algebra, and obtain upper bounds of a few important invariants of FI_G-modules in terms of torsion degrees of their local cohomology groups.

研究の動機と目的

• 任意の可換ネーター環上における ${\mathscr{FI}}_G$-加群の局所コホホロジー理論を確立し、既存の体上での結果を一般化すること。
• Ramosが[ R ]で導入した深さ不変量が、このより広い設定においても可換代数からの古典的深さと一致することを証明すること。
• $\sharp$-フィルター付き加群とシフト関手 $\Sigma$ を用いたホモロジー的道具立てを構築し、正則性やねじれ次数といった不変量を計算すること。
• ${\mathscr{FI}}_G$-加群のカステルヌオヴォ＝ムーア正則性に対する上界を、その局所コホホロジー群のねじれ次数の言いかげて与えること。
• 正則性が $\max_i \{ \operatorname{td}(H^i_{\mathfrak{m}}(V)) + i \}$ に等しくなるという予想を提示し、検討すること。

提案手法

• $\sharp$-フィルター付き加群を、有限生成 ${\mathscr{FI}}_G$-加群の圏における射影的・インジェクティブ対象の代わりに導入し、それらを研究すること。
• シフト関手 $\Sigma$ およびその左・右随伴（誘導とコ誘導）を用いて、ホモロジー的問題をより単純な場合に還元すること。
• ${\mathscr{FI}}_G$-加群の文脈でエクマン＝シャピロ補題を適用し、シフトされた加群のコホホロジーと元の加群のコホホロジーを関連付けること。
• 局所コホホロジーを計算し、そのホモロジーとねじれ次数を解析するためのコーエルズ型複体 $\mathcal{C}^\bullet V$ を構成すること。
• 加群 $V$ の生成次数に関する帰納法と、ねじれ部分とねじれ自由部分を含む完全系列を用いて、正則性の上限を求める。
• 等長 $H^i_{\mathfrak{m}}(\Sigma V) \cong \Sigma H^i_{\mathfrak{m}}(V)$ を利用し、予想のもとで $V$ と $\Sigma V$ の正則性を関連付けること。

実験結果

リサーチクエスチョン

• RQ1 ホモロジー代数による ${\mathscr{FI}}_G$-加群の深さが、任意の可換ネーター環上での可換代数からの古典的深さと一致するか？
• RQ2 ${\mathscr{FI}}_G$-加群の局所コホホロジー理論は、体に限らず一般の可換ネーター環に対しても構築可能か？
• RQ3 有限生成 ${\mathscr{FI}}_G$-加群のカステルヌオヴォ＝ムーア正則性は、$\max_i \{ \operatorname{td}(H^i_{\mathfrak{m}}(V)) + i \}$ によって有界であるか？
• RQ4 正則性の上限で等号が成り立つ条件は何か、特に $V$ が $\sharp$-フィルター付きでない場合にどうか？
• RQ5 予想が成り立つものと仮定した場合、$\Sigma V$ が $\sharp$-フィルター付きでないとき、$\operatorname{reg}(\Sigma V) = \operatorname{reg}(V) - 1$ が成り立つか？

主な発見

• Ramosが[ R ]でホモロジー代数的に定義した深さ不変量が、任意の可換ネーター環上でも可換代数からの古典的深さと一致することが示された。
• 有限生成 ${\mathscr{FI}}_G$-加群 $V$ の正則性は $\operatorname{reg}(V) \leq \max_i \{ \operatorname{td}(H^i_{\mathfrak{m}}(V)) + i \}$ を満たし、$V$ が $\sharp$-フィルター付きでない場合には等号が成り立つと予想される。
• ねじれ加群に対しては、予想により $\operatorname{reg}(V) = \operatorname{td}(V)$ が成り立ち、この場合に限りきわめて鋭い上限が得られる。
• シフト関手 $\Sigma$ は $H^i_{\mathfrak{m}}(\Sigma V) \cong \Sigma H^i_{\mathfrak{m}}(V)$ を満たし、正則性の再帰的解析が可能になる。
• $\operatorname{reg}(V) \leq \max\{2\operatorname{gd}(V) - 1, \operatorname{td}(V)\}$ の上限が確立され、これにより先行研究の既知の結果が回復された。
• 正則性に関する予想 $\operatorname{reg}(V) = \max_i \{ \operatorname{td}(H^i_{\mathfrak{m}}(V)) + i \}$ が成り立つと、正則性理論が古典的局所コホホロジー理論と統合され、$\Sigma V$ が $\sharp$-フィルター付きでないとき $\operatorname{reg}(\Sigma V) = \operatorname{reg}(V) - 1$ が導かれる。