[论文解读] Homological stability for automorphism groups

Nathalie Wahl, Oscar Randal‐Williams|arXiv (Cornell University)|Sep 11, 2014

Homotopy and Cohomology in Algebraic Topology参考文献 58被引用 25

一句话总结

本文通过从具有块和结构的群族构造一个齐次范畴，建立了辫子张量范畴中对象自同构群的同调稳定性。在无需额外假设的条件下，证明了多项式与阿贝尔扭系数下的稳定性，统一并推广了对称群、辫子群、线性群、映射类群及自由群自同构群的经典结果，同时引入了FI范畴的辫子类 analogue，为扭同调稳定性的新应用开辟了道路。

ABSTRACT

Given a family of groups admitting a braided monoidal structure (satisfying mild assumptions) we construct a family of spaces on which the groups act and whose connectivity yields, via a classical argument of Quillen, homological stability for the family of groups. We show that stability also holds with both polynomial and abelian twisted coefficients, with no further assumptions. This new construction of a family of spaces from a family of groups recovers known spaces in the classical examples of stable families of groups, such as the symmetric groups, general linear groups and mapping class groups. By making systematic the proofs of classical stability results, we show that they all hold with the same type of coefficient systems, obtaining in particular without any further work new stability theorems with twisted coefficients for the symmetric groups, braid groups, automorphisms of free groups, unitary groups, mapping class groups of non-orientable surfaces and mapping class groups of 3-manifolds. Our construction can also be applied to families of groups not considered before in the context of homological stability. As a byproduct of our work, we construct the braided analogue of the category FI of finite sets and injections relevant to the present context, and define polynomiality for functors in the context of pre-braided monoidal categories.

研究动机与目标

• 通过范畴框架统一并推广各类群族的同调稳定性结果。
• 在辫子张量范畴中，为自同构群建立多项式与阿贝尔扭系数下的同调稳定性。
• 为辫子群及相关群构造FI范畴的辫子类 analogue，从而在该背景下建立多项式函子的新理论。
• 证明在温和范畴假设下，同调稳定性普遍成立，无需额外的群论或拓扑条件。

提出的方法

• 从满足消去与自同构群单射性条件的辫子张量群范畴构造齐次范畴 (UG, ⊕, 0)。
• 通过添加稳定化对象 X 所诱导映射的迭代核与余核，定义次数为 r 的系数系统。
• 利用Quillen的谱序列论证，从齐次范畴相关分类空间的连通性推导出同调稳定性。
• 在预辫子张量范畴中引入多项式函子，推广经典多项式函子，并包含如Burau表示等新例子。
• 将该框架应用于经典群族（对称群、线性群、映射类群、辫子群、自同构群）及新族（如3-流形映射类群）。
• 建立局部齐次性与单纯复形的连通性，以验证Quillen连通性定理的假设。

实验结果

研究问题

• RQ1 能否使用单一范畴框架，统一证明不同群族自同构群的同调稳定性？
• RQ2 在底层范畴的最小假设下，多项式与阿贝尔扭系数下的同调稳定性是否仍成立？
• RQ3 FI范畴的辫子类 analogue 是什么？它如何支持对辫子群及相关群的多项式函子理论？
• RQ4 该框架能否恢复并扩展对称群、线性群与映射类群在扭系数下的已知稳定性结果？
• RQ5 在该统一方法下，哪些新群族具有同调稳定性？

主要发现

• 在辫子张量范畴 C 中，对自同构群 Gn = Aut(A ⊕ X⊕n)，在温和假设下，同调稳定性成立，且在 i ≤ f(n) 时存在同调同构 Hi(Gn) → Hi(Gn+1)，其中 f(n) → ∞ 当 n → ∞。
• 稳定性不仅对常系数成立，也对多项式与阿贝尔系数系统成立，包括符号表示与行列式扭变函子。
• 该构造恢复了已知空间，如对称群的FI，Ivanov的映射类群范畴，并为辫子群构造了一个新的预辫子范畴，从而支持新的多项式函子理论。
• 对于自由群的对称自同构群（ΣAut(Fn)），该框架证明了一个新的扭稳定性定理，即在此情况下成立定理G。
• 该方法适用于新群族，如3-流形的映射类群，并在相同条件下证明其交换子群的稳定性。
• 该框架证明：在相同假设下，多项式系数下的稳定性蕴含交换子群 G′n 的稳定性。