[论文解读] Stabilit\\'e homologique pour les groupes d'automorphismes des produits libres

James T. Griffin, Aurélien Djament+1 more|arXiv (Cornell University)|Sep 13, 2011

Homotopy and Cohomology in Algebraic Topology被引用 5

一句话总结

该论文为自由积下不可约且不与 ℤ 同构的群的自同构群建立了同调稳定性，证明了当 G 在自由积下不可约且不与 ℤ 同构时，包含映射 Aut(G∗n) → Aut(G∗n+1) 在积分同调 Hi 中诱导出同构，其中 n ≥ 2i + 2。作者通过利用 McCullough-Miller 和 Chen-Glover-Jensen 的余同调性结果，并应用函子同调中的函子方法，将此结果推广至任意 G 的对称自同构子群，证明了相关同调函子的多项式性质。

ABSTRACT

We show in this article that, for any group $G$ indecomposable for the free product * and non-isomorphic to $\\mathbf{Z}$, the canonical inclusion ${\ m Aut}(G^{*n})\ o {\ m Aut}(G^{* n+1})$ induces an isomorphism between the homology groups $H_i$ for $n\\geq 2i+2$, as was conjectured by Hatcher and Wahl. In fact we show a little more --- in particular, the result is true for any group $G$ if we replace the automorphism group of the free product by the subgroup of symmetric automorphisms. For this purpose we use constructions and acyclicity results due to McCullough-Miller and Chen-Glover-Jensen and functoriality properties which allow us to apply classical methods in functor homology.

研究动机与目标

• 证明当 G 在自由积下不可约且不与 ℤ 同构时，Aut(G∗n) 的同调稳定性。
• 将稳定性结果推广至任意 G 的对称自同构子群。
• 证明 Fouxe-Rabinovitch 群 FR(G) 的同调是次数至多为 2i 的多项式，从而通过函子同调技术实现稳定性。
• 利用谱序列与可缩空间的余同调性分析 FR(G)-同调。
• 通过函子性与多项式函子推导出基于多项式次数上界的稳定性。

提出的方法

• 利用 Chen-Glover-Jensen 与 McCullough-Miller 的结果，构造一个具有适当 FR(G)-作用的可缩空间。
• 构造一个收敛于 H∗(FR(G)) 的谱序列，其 E2 页涉及带基点集合与函子的同调。
• 通过小范畴与函子范畴上的同调代数分析该谱序列。
• 按照 Eilenberg-MacLane 与 Betley 的方法，定义函子 T: Gr≀Θ → Ab 的次数。
• 通过森林的组合界证明 Hq(FR(G); Z) 是次数至多为 2q 的多项式函子。
• 利用基于多项式函子的自同构群扭曲同调的稳定化定理。

实验结果

研究问题

• RQ1 当 G 在自由积下不可约且不与 ℤ 同构时，包含映射 Aut(G∗n) → Aut(G∗n+1) 是否在同调 Hi 中诱导出同构，其中 n ≥ 2i + 2？
• RQ2 该稳定性结果能否推广至任意群 G 的对称自同构子群？
• RQ3 函子 G ↦ Hq(FR(G); Z) 是否为次数至多 2q 的多项式函子？
• RQ4 对称自同构群 ΣAut(G) 在自由积同调稳定性中起什么作用？
• RQ5 如何应用函子同调技术证明自由积自同构群的稳定性？

主要发现

• 当 G 在自由积下不可约且不与 ℤ 同构时，包含映射 Aut(G∗n) → Aut(G∗n+1) 在积分同调 Hi 中诱导出同构，其中 n ≥ 2i + 2。
• 该结果更一般地适用于任意群 G 的对称自同构子群 ΣAut(G)。
• 同调函子 Hq(FR(G); Z) 是次数至多为 2q 的多项式函子，这蕴含了稳定性结果。
• 与 FR(G)-作用在可缩空间上的谱序列的 E2 页包含项 H∗(X, A ↦ Hq(R◦S))，其中 X 是树的有限偏序集。
• 证明依赖于森林中静默顶点数的次数界，从而确保当 |E| ≥ 2q + 1 时，限制映射是满射。
• 通过将谱序列分析与 Hq(FR(G); Z) 的多项式性结合，利用自同构群扭曲同调的定理，得出稳定化结果。