[論文レビュー] On stable homology of congruence groups

Aurélien Djament|arXiv (Cornell University)|Jul 25, 2017

Homotopy and Cohomology in Algebraic Topology参考文献 19被引用数 4

ひとこと要約

この論文は、合同群のホモロジーが次数 $d$ において、弱い多項式函手として次数高々 $2d$ であることを示している。これは、合同群ホモロジーと函手ホモロジーを結ぶスペクトル系列を用いて得られる。この函手が、導来 Kan 拡張と多項式函手のテンソル構造を用いて、低次の多項式函手を除いた形で記述できることを証明し、Suslin の excision 結果を一般化するとともに、Church-Miller-Nagpal-Reinhold の最近の研究を、新しい函手的手段で拡張している。

ABSTRACT

We show in this work that homology in degree d of a congruence group, in a very general framework, defines a weakly polynomial functor of degree at most 2d and we describe this functor modulo polynomial functors of smaller degree. Our main tool is a spectral sequence connecting homology of congruence-like groups (in a formal setting close to the one introduced with Vespa in 2010 for orthogonal groups) and functor homology. We prove and use in a crucial way properties of some tensor structures and derived Kan extensions on polynomial functors.Our results extend especially, with different methods, the work by Suslin on excision in integer algebraic K-theory and a recent preprint by Church-Miller-Nagpal-Reinhold.

研究の動機と目的

• 一般的な枠組みの中で、合同群の安定ホモロジーの構造を理解すること。
• 次数 $d$ におけるホモロジーを、次数高々 $2d$ の弱い多項式函手として記述すること。
• 導来圏の技法を用いて、この函手を低次の多項式函手を除いた形で分析すること。
• 函手的およびホモロジー的道具を用いて、整数代数的 $K$-理論における Suslin の excision 判別基準を一般化すること。
• FI-モジュールと表現安定性に関する最近の結果を、函手ホモロジーを介して合同群ホモロジーへと拡張すること。

提案手法

• 形式的圏的設定において、合同群に類似した群のホモロジーと函手ホモロジーを結ぶスペクトル系列を構成すること。
• ホモロジー函手の安定化と構造を分析するために、多項式函手への導来 Kan 拡張を用いること。
• ホモロジー函手の次数 $2d$ 項を記述するために、多項式函手のテンソル構造を用いること。
• 直交群に関する Djament-Vespa の研究にインspiredされた形式的枠組みを用い、それを合同群へ一般化すること。
• 弱い多項式函手の性質およびその分解を用いて、次数 $2d$ 項を分離すること。
• 安定化をモデル化するために、分裢単射を伴う有限生成自由アーベル群の圏 $\mathbf{S}(\mathbf{ab})$ を用いること。

実験結果

リサーチクエスチョン

• RQ1 安定化の下で、合同群のホモロジーはどのように函手として振る舞うか？
• RQ2 ホモロジー函手 $H_d(GL(I);\mathbb{Z})$ の正確な多項式的次数は何か？
• RQ3 どのようにすれば、このホモロジー函手を低次の多項式函手を除いた形で記述できるか？
• RQ4 導来 Kan 拡張と多項式函手のテンソル構造は、合同群ホモロジーの構造をどのように制御するか？
• RQ5 これらの結果は、どのように Suslin の excision 判別基準と最近の FI-モジュールの結果を拡張するか？

主な発見

• 合同群の次数 $d$ におけるホモロジーは、次数高々 $2d$ の弱い多項式函手を定める。
• 函手 $H_d(GL(I);\mathbb{Z})$ は、導来 Kan 拡張とテンソル構造を用いて、次数 $2d$ 未満の多項式函手を除いた形で記述できる。
• 構成されたスペクトル系列は、形式的設定において合同群ホモロジーと函手ホモロジーを結ぶ。
• 結果は、整数代数的 $K$-理論における Suslin の excision 定理を一般化し、$e$ が最初の非 excisive 度数であるとき、最初の非自明な作用が次数 $2e$ に対応することを示している。
• 本研究は、Church-Miller-Nagpal-Reinhold が合同部分群の表現安定性について得た結果を、函手ホモロジーを用いて拡張している。
• 本論文は、古典的なホモトピー的またはスペクトル系列の手法とは異なる、新しい函手的アプローチを、合同群の安定ホモロジーに提供している。