[論文レビュー] Homological degrees of representations of categories with shift functors

Liping Li|arXiv (Cornell University)|Jul 29, 2015

Algebraic structures and combinatorial models参考文献 19被引用数 15

ひとこと要約

本稿では、1次自己埋め込み関手を備えた $\mathbbm{k}$-線型圏の、有限生成で torsion な表現が、やや弱い条件下でスーパー有限生成的（つまり、有限生成項を持つ射影的分解をもつ）であることを確立する。さらに、特に特徴値 0 の体上の ${\mathscr{FI}}$-加群の場合に、ホモロジー次数の鋭い上界を提供し、コインダクションとシフト関手の技法を用いて、既存の上界を改善する。

ABSTRACT

Let $k$ be a commutative Noetherian ring and $\underline{\mathscr{C}}$ be a locally finite $k$-linear category equipped with a self-embedding functor of degree 1. We show under a moderate condition that finitely generated torsion representations of $\underline{\mathscr{C}}$ are super finitely presented (that is, they have projective resolutions each term of which is finitely generated). In the situation that these self-embedding functors are genetic functors, we give upper bounds for homological degrees of finitely generated torsion modules. These results apply to quite a few categories recently appearing in representation stability theory. In particular, when $k$ is a field of characteristic 0, we obtain another upper bound for homological degrees of finitely generated $\mathrm{FI}$-modules.

研究の動機と目的

• シフト関手を備えた圏における有限生成で torsion な表現のスーパー有限生成的性質を確立すること。
• やや弱い条件下で、有限生成で torsion な加群のホモロジー次数に対する上界を導出すること。
• これらの結果を、特に特徴値 0 の体上の表現安定性の圏、特に ${\mathscr{FI}}$ に応用すること。
• コインダクションとシフト関手構造を用いて、既存のホモロジー次数の上界を精緻化・改善すること。

提案手法

• 1次の自己埋め込み関手を用いて、加群圏上にシフト関手 $S_a$ を誘導する。
• ホモロジー的性質を解析するために、シフト関手の右随伴としてコインダクション関手を適用する。
• 任意の $s \geq 0$ に対して、$H_s(V) = \operatorname{Tor}_s^{{\underline{\mathscr{C}}}}({\underline{\mathscr{C}}}_0, V)$ という、Tor を用いたホモロジーの定義を用いる。ここで ${\underline{\mathscr{C}}}_0$ は自明な加群である。
• torsion および torsionless 加群を解析するため、${\underline{\mathscr{C}}}_0 = \bigoplus_{i \in \mathbb{Z}_+} {\underline{\mathscr{C}}}(i,i)$ の分解を用いる。
• 基礎的な上界として [2, Theorem A] を用い、$V^{-1}$ および $\operatorname{gd}(V)$ の構造的性質を用いてそれを精緻化する。
• 短完全列 $0 \to V_T \to V \to V_F \to 0$ を解析することで、$V$ のホモロジー次数とその torsion および torsion-free 部分のホモロジー次数との関係を明らかにする。

実験結果

リサーチクエスチョン

• RQ1 1次自己埋め込み関手を備えた $\mathbbm{k}$-線型圏の有限生成で torsion な表現が、どのような条件下でスーパー有限生成的になるか。
• RQ2 このような圏における有限生成で torsion な加群のホモロジー次数に対して、どのような上界を確立できるか。
• RQ3 特徴値 0 の体上の ${\mathscr{FI}}$-加群のホモロジー次数はどのように振る舞い、既存の上界を改善できるか。
• RQ4 コインダクションとシフト関手構造は、表現安定性における既知のホモロジー的上界をどの程度精緻化できるか。

主な発見

• 有限生成で torsion な ${\underline{\mathscr{C}}}$-加群は、やや弱い条件下でスーパー有限生成的であり、有限生成項を持つ射影的分解を持つことが保証される。
• 任意の torsionless ${\underline{\mathscr{C}}}$-加群 $V$ に対して、$s \geq 1$ のとき $\operatorname{hd}_s(V) \leq 2\operatorname{gd}(V) + s - 1$ が成り立ち、既存の上界を改善する。
• 特徴値 0 の体上の有限生成 ${\mathscr{FI}}$-加群 $V$ に対して、$s \geq 1$ のとき $\operatorname{hd}_s(V) \leq \max\{\operatorname{td}(V), 2\operatorname{gd}(V) - 1\} + s$ が成り立ち、[2, Theorem A] よりも鋭い。
• 例として $\operatorname{gd}(V) = 2$ かつ $\operatorname{hd}_1(V) = 4$ の場合、$\operatorname{hd}_s(V) \leq s + 3$ は [2, Theorem A] の $s + 5$ の上界よりも鋭く、最適性を示している。
• 条件を満たす torsionless 加群では、$2\operatorname{gd}(V) + s - 1 < \operatorname{gd}(V) + \operatorname{hd}_1(V) + s - 1$ が成り立つため、新しい上界は [2, Theorem A] よりも常に最適である。
• ${\underline{\mathscr{C}}}(1,-)$ 及びその商 $\overline{V}$ の例は、定理 4.8 の上界が鋭くないことを確認しており、改善の有効性を裏付けている。