[論文レビュー] Cohomologie des foncteurs polynomiaux sur les groupes libres

Aurélien Djament, Teimuraz Pirashvili+1 more|arXiv (Cornell University)|Sep 2, 2014

Homotopy and Cohomology in Algebraic Topology参考文献 7被引用数 8

ひとこと要約

この論文は、自由群上の多項式函手間の拡張群が、全函手圏でも、有界次数の多項式函手の部分圏内でも、同じであることを確立している。主な結果は、コホモロジー的消滅性と自由群の群環の関連する次数付き環の構造に依拠しており、函手圏におけるホモロジー次元や随伴函手への応用が可能である。

ABSTRACT

We show that extension groups between two polynomial functors on free groups are the same in the category of all functors and in a subcategory of polynomial functors of bounded degree. We give some applications. ---- On montre que les groupes d'extensions entre foncteurs polynomiaux sur les groupes libres sont les mêmes dans la catégorie de tous les foncteurs et dans une sous-catégorie de foncteurs polynomiaux de degré borné. On donne quelques applications.

研究の動機と目的

• 自由群上の多項式函手間の拡張群が、有界次数の部分圏への制限に対して不変であることを確立すること。
• 加法的圏とは対照的に、自由群上の函手圏におけるコホモロジー的比較問題を解明すること。
• 主な結果を用いて、アーベル化函手のテンソル冪のホモロジー次元を計算し、多項式函手圏における随伴函手を分析すること。
• 自由群の自己同型群の安定ホモロジーの研究で以前に現れた、不思議な随伴函手のコホモロジー的挙動を明確にすること。

提案手法

• ピラシュヴィリの仕事にインspされ、自由群の群環における増幅イデアルのコホモロジー的消滅性を用いる。
• 自由群の群環の関連する次数付き環を分析し、それがアーベル化のテンソル代数に同型であることを示す。
• クロスエフェクトによる多項式函手の関手的分解を適用し、$d$-次のクロスエフェクト函手 $\mathrm{cr}_d$ の完全性を用いる。
• $\mathbb{Z}[\mathfrak{S}_d]$-加群から $\mathcal{F}_d(\mathbf{gr})$ への函手 $\beta_d$ を構成し、$\mathrm{cr}_d$ の右随伴であることを示し、その完全性を証明する。
• $\beta_d$ と $\mathrm{cr}_d$ の随伴関係を用いて、$\mathcal{F}_d(\mathbf{gr})$ 内の拡張群と $\mathbb{Z}[\mathfrak{S}_d]$-加群圏内の拡張群を関連付ける。
• 同型 $\mathrm{Ext}^*_{\mathcal{F}_d(\mathbf{gr})}(F, \beta_d(N)) \simeq \mathrm{Ext}^*_{\mathbb{Z}[\mathfrak{S}_d]}(\mathrm{cr}_d(F), N)$ を適用し、主定理を導出する。

実験結果

リサーチクエスチョン

• RQ1 自由群上の多項式函手間の拡張群は、有界次数の部分圏への制限に対して不変か？
• RQ2 自由群上の多項式函手圏における随伴函手 $\beta_d$ のコホモロジー的挙動はいかなるものか？
• RQ3 自由群の群環の関連する次数付き環の構造は、多項式函手のホモロジー代数にどのように影響するか？
• RQ4 自由群から有理数ベクトル空間への固定次数の多項式函手の圏のグローバル次元は何か？
• RQ5 アーベル化函手のテンソル冪のホモロジー次元は、有界次数の多項式函手圏で計算可能か？

主な発見

• 包含函手 $\mathcal{F}_d(\mathbf{gr}) \to \mathcal{F}(\mathbf{gr})$ は、$\mathcal{F}_d(\mathbf{gr})$ 内の対象間のすべての拡張群に同型を誘導し、主定理を証明する。
• $d$-次のクロスエフェクト函手 $\mathrm{cr}_d$ は $\mathcal{F}_d(\mathbf{gr})$ 上で完全である。これは証明における重要な技術的要因である。
• $P_n^{\mathbf{gr}}$ におけるフィルトレーションの次数付き項 $Q_n^d$ は、$\bigoplus_{i_1+\cdots+i_n=d} \mathfrak{a}^{\otimes i_1} \otimes \cdots \otimes \mathfrak{a}^{\otimes i_n} \simeq \mathfrak{a}^{\otimes d}$ に同型であり、テンソル冪と整合することを示す。
• 自由群から有理数ベクトル空間への次数 $d$ の多項式函手の圏は、有限グローバル次元を持つ。
• クロスエフェクト函手 $\mathrm{cr}_d$ への随伴函手 $\beta_d$ は完全であり、拡張群に同型を誘導する。これにより、コホモロジー的特徴付けが得られる。