[論文レビュー] Décomposition de Hodge pour l'homologie stable des groupes d'automorphismes des groupes libres

Aurélien Djament|arXiv (Cornell University)|Jul 28, 2016

Homotopy and Cohomology in Algebraic Topology参考文献 48被引用数 11

ひとこと要約

本稿は、導来カーン拡張、関手ホモロジー、およびSnaith分解を用いて、多項式反変係数を備えた自由群の自己同型群の安定ホモロジーに対するホッジ型分解を確立する。これはRandal-Williamsによるねじれ付きコホモロジーの結果を回復・拡張し、整数分割および対称群ホモロジーを用いてコホモロジー群の次元を明示的に計算する。

ABSTRACT

Énoncés améliorés grâce à l'utilisation du scindement de Snaith ; quelques autres révisions secondaires.

研究の動機と目的

• 自由群の自己同型群の安定ホモロジーに対して、多項式反変係数を備えたホッジ型分解を構築すること。
• これらの自己同型群のねじれ付きコホモロジー群を計算するための、新たな独立した手法を提供すること。
• 従来のトポロジカルな手法を用いて得られたRandal-Williamsの結果を一般化・拡張すること。
• 導来カーン拡張を介して、自己同型群の安定ホモロジーと関手ホモロジーとの間の関係を確立すること。
• Snaith分解およびΓ空間の道具立てを用いて、コホモロジー群の構造的分解を達成すること。

提案手法

• 自由群の圏間の関手 G → Sc(gr) → gr に沿った導来カーン拡張を用いる。
• Scorichenkoの結果を拡張した、多項式係数付きホモロジーに対する一般化されたキャンセレーション基準を適用する。
• Galatiusの定理（Aut(F_r)の安定ホモロジーが対称群のそれと一致すること）を活用する。
• Γ空間およびSnaith分解の道具立てを用いて、スペクトルおよびホモロジー群の分解を実現する。
• 自由群の自己同型群の安定ホモロジーを、Sc(gr)上の関手ホモロジーおよび対称群ホモロジーに還元する。
• 多項式性の仮定の下で、β関手 β: Sc(gr) → grop が誘導する同型を用いて計算を簡略化する。

実験結果

リサーチクエスチョン

• RQ1 自由群の自己同型群の安定ホモロジーに対して、多項式反変係数を備えたホッジ型分解を確立できるか？
• RQ2 導来カーン拡張および関手ホモロジーの手法は、ねじれ付きコホモロジー群の明示的計算をどのように可能にするか？
• RQ3 Randal-Williamsによる有理コホモロジー計算は、ホモロジー代数的手法を用いてどの程度一般化または拡張可能か？
• RQ4 Snaith分解およびΓ空間構造は、自己同型群のホモロジーを分解する際に果たす役割は何か？
• RQ5 関手 β: Sc(gr) → grop がホモロジーのねじれ群に同型を誘導するのはどのような条件下か？

主な発見

• 安定コホモロジー群 H^n(Aut(G); Λ^d(H)) は n ≠ d のとき消え、n = d のときは d の整数分割の個数に等しい次元を持つ。
• 安定コホモロジー群 H^n(Aut(G); S^d(H)) は n = d = 0 または n = d = 1 のときのみ非ゼロであり、その次元は 1 である。
• H^n(Aut(G); H^⊗d) に対して、同型 H^n(Aut(G); H^⊗d) ≃ H^{n−d}(Aut(G); ℤ) ⊕ ℤ^{p(d)} が成り立つ。ここで p(d) は d の整数分割の個数を表す。
• この分解は、γ: G^op → Sc(gr)^op 沿いの導来カーン拡張を用いて達成され、問題が Sc(gr) 上の関手ホモロジーおよび対称群ホモロジーに還元される。
• 係数が多項式であるとき、関手 β: Sc(gr) → grop はねじれ群に同型を誘導し、計算を効果的に可能にする。
• 結果はRandal-Williamsによる有理コホモロジー計算を一般化・回復し、整数係数および新たな表現へと拡張する。