[論文レビュー] Upper bounds of homological invariants of $FI_G$-modules

Liping Li|arXiv (Cornell University)|Dec 18, 2015

Algebraic structures and combinatorial models参考文献 10被引用数 17

ひとこと要約

この論文は、非可逆な自己準同型の下でのモジュールの『上部』と『ソクル』を測る生成次数（$\operatorname{gd}(V)$）およびねじれ次数（$\operatorname{td}(V)$）を用いて、有限生成 $\mathscr{FI}_G$-加群の主要なホモロジー的不変量の上界を確立する。主な結果として、$\mathbbm{k}$ が特性 0 の体であるとき、射影次元が $\operatorname{id}(V) \leq \max\{2\operatorname{gd}(V) - 1, \operatorname{td}(V)\}$ を満たすことが示され、$N > \max\{\operatorname{td}(V), 2\operatorname{gd}(V) - 2\}$ のとき $V_N$ の次元が多項式的になることが保証され、安定範囲の境界が得られる。

ABSTRACT

In this paper we use a homological approach to obtain upper bounds for a few homological invariants of $FI_G$-modules $V$. These upper bounds are expressed in terms of the generating degree and torsion degree, which measure the top and socle of $V$ under actions of non-invertible morphisms in the category respectively.

研究の動機と目的

• 生成次数およびねじれ次数を用いて、$\mathscr{FI}_G$-加群のホモロジー的不変量の上界を確立すること。
• ねじれ次数とホモロジー的次数の関係を明確にし、特に Castelnuovo-Mumford 正則度に対する先行の上界を踏まえて考察すること。
• 導来正則度や射影次元といった理論的に複雑な不変量に対して、計算可能な上界を提供すること。
• $\mathscr{FI}_G$ の詳細な組合せ論的解析に依存せずに、より広範な応用が可能な概念的枠組みを提供すること。

提案手法

• モジュール構造を分析するための中心的技術的道具として、シフト関手 $\Sigma$ 及びその誘導される余核関手 $D$ が用いられる。
• 生成次数 $\operatorname{gd}(V)$ は、第 0 ホモロジー $H_0(V)$ のねじれ次数として定義され、モジュールの『上部』を捉える。
• ねじれ次数 $\operatorname{td}(V)$ は、$\operatorname{Hom}_{{\underline{\mathscr{C}}}}({\underline{\mathscr{C}}}(i,i), V) \neq 0$ となる次数の上限として定義され、非可逆な準同型の下での『ソクル』を測る。
• 証明は $\operatorname{gd}(V)$ に関する帰納法に基づき、短完全列を用いてモジュールをねじれ部分とねじれ自由部分に分解する。
• 証明は、ホモロジー的次数に関する既知の上界および、圏内の射影的／射影的加群の構造を利用している。
• 分解における項の成長およびそのホモロジーの成長を分析することで、$\dim_{\mathbbm{k}} V_N$ の多項式的成長が確立される。

実験結果

リサーチクエスチョン

• RQ1 有限生成 $\mathscr{FI}_G$-加群の射影次元は、生成次数およびねじれ次数を用いてどのように上界で抑えられるか？
• RQ2 有限生成 $\mathscr{FI}_G$-加群について、$\dim_{\mathbbm{k}} V_N$ が多項式的になる安定範囲はどのようになるか？
• RQ3 ねじれ次数および生成次数は、導来正則度および Castelnuovo-Mumford 正則度とどのように関係するか？
• RQ4 $\mathscr{FI}_G$ 圈の詳細な組合せ論的解析に依存せずに、ホモロジー的不変量の上界を導出できるか？
• RQ5 ホモロジー的次数 $\operatorname{hd}_s(V)$ と生成次数／ねじれ次数の間にはどのような関係があるか？

主な発見

• 特性 0 の体上の有限生成 $\mathscr{FI}_G$-加群 $V$ について、射影次元は $\operatorname{id}(V) \leq \max\{2\operatorname{gd}(V) - 1, \operatorname{td}(V)\}$ を満たし、等号成立は $V$ が射影的である場合に限る。
• $N > \max\{\operatorname{td}(V), 2\operatorname{gd}(V) - 2\}$ のとき、次元 $\dim_{\mathbbm{k}} V_N$ は有理係数多項式で与えられ、安定範囲が確立される。
• 導来正則度は $\max\{\operatorname{td}(V), 2\operatorname{gd}(V) - 2\}$ で抑えられ、これが多項式的成長の結果を導くために用いられる。
• 第 0 ホモロジー $H_0(V)$ は、非可逆な自己準同型の下での $V$ の『上部』を捉え、そのねじれ次数が生成次数 $\operatorname{gd}(V)$ に一致する。
• $V$ のソクルは $\operatorname{Hom}_{{\underline{\mathscr{C}}}}({\underline{\mathscr{C}}}_0, V)$ に同型であり、そのサポート次数がねじれ次数 $\operatorname{td}(V)$ に一致する。
• 分解における商加群 $W$ について $\operatorname{td}(W) \leq 2\operatorname{gd}(V) - 2$ が成り立つことから、$\operatorname{id}(W) \leq 2\operatorname{gd}(V) - 2$ が得られ、これが帰納的証明の鍵となる。