[论文解读] Sur l'homologie des groupes d'automorphismes des groupes libres \\`a coefficients polynomiaux

Aurélien Djament, Christine Vespa|arXiv (Cornell University)|Oct 15, 2012

Homotopy and Cohomology in Algebraic Topology参考文献 20被引用 3

一句话总结

该论文证明了当系数由约化的多项式协变函子给出时，自由群自同构群的稳定同调群为零。对于通过交换化因子化的反变多项式函子，它计算出稳定的一阶同调群同构于该函子与恒等函子的张量积，揭示了在此情况下存在非平凡的稳定同调。

ABSTRACT

We study in this article stable homology of automorphism groups of free groups with coefficients twisted by a poynomial functor. We show that this homology is zero for a reduced covariant polynomial functor. For a reduced contravariant functor, we compute the first homology group, which is in general non zero. Our methods relie on the use of functor categories. ---On \\'etudie dans cet article l'homologie stable des groupes d'automorphismes des groupes libres \\`a coefficients tordus par un foncteur polynomial. On montre que cette homologie est nulle pour un foncteur polynomial covariant r\\'eduit. Dans le cas d'un foncteur polynomial r\\'eduit contravariant, on calcule le premier groupe d'homologie, qui n'est g\\'en\\'eralement pas nul. Nos m\\'ethodes reposent sur l'utilisation de cat\\'egories de foncteurs.

研究动机与目标

• 确定自由群自同构群在多项式函子给出的扭系数下的稳定同调。
• 将先前通过拓扑方法获得的稳定同调结果，推广至更广泛的代数框架。
• 计算通过交换化因子化的反变多项式函子的稳定一阶同调群。
• 阐明在 Aut(F_n) 的稳定同调背景下，协变与反变多项式函子之间的区别。
• 为先前通过拓扑与几何技术建立的结果提供代数证明。

提出的方法

• 在有限生成自由群范畴上使用多项式函子，重点关注协变与反变函子。
• 应用余极限技术分析稳定同调，特别是在 n → ∞ 的极限下。
• 采用代数方法证明约化多项式协变函子的稳定同调群为零。
• 利用 Aut(F_n) 对 F_n 及其商群 GL_n(Z) 的自然作用，定义扭系数。
• 通过函子同调代数建立稳定一阶同调群与 F ⊗_ab Id 之间的同构。
• 利用函子同调与上同调的已知结果，包括与 Betley 关于线性群的工作以及 Galatius 关于对称群的定理的联系。

实验结果

研究问题

• RQ1 当系数由约化的多项式协变函子给出时，Aut(F_n) 的稳定同调是否为零？
• RQ2 当系数来自通过交换化因子化的反变多项式函子时，Aut(F_n) 的稳定一阶同调行为如何？
• RQ3 能否通过纯粹代数方法重新获得 Hatcher 与 Wahl 关于交换化系数的结果？
• RQ4 反变多项式系数下，稳定一阶同调群的精确结构是什么？
• RQ5 在 Aut(F_n) 的稳定同调背景下，协变与反变多项式函子的行为有何不同？

主要发现

• 当系数为约化多项式协变函子 F 时，Aut(F_n) 的稳定同调群为平凡：colim_n H_*(Aut(F_n); F(F_n)) = 0。
• 对于交换化函子（一次多项式），该结果恢复了 Hatcher 与 Wahl 的一个定理，现通过代数方法证明。
• 对于通过交换化因子化的反变多项式函子 F，稳定一阶同调群同构于 F ⊗_ab Id。
• 该稳定一阶同调群通常非零，与协变函子情况下的零结果形成鲜明对比。
• 在此背景下，协变与反变函子之间的区别具有重要意义，因为自同构群缺乏线性群中所具有的对偶对称性。
• 该结果将 Betley 关于线性群在多项式系数下的稳定同调定理，推广至自由群自同构的设定。