[论文解读] 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

一句话总结

本文通过导出 Kan 扩张、函子同调和 Snaith 分解，建立了自由群自同构群在多项式反变系数下的稳定同调的 Hodge 型分解。该研究恢复并扩展了 Randal-Williams 关于扭曲上同调的结果，包括以整数分拆和对称群同调表示的上同调群维数的显式计算。

ABSTRACT

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

研究动机与目标

• 为自由群自同构群在多项式反变系数下的稳定同调建立一种 Hodge 型分解。
• 提供一种计算这些自同构群扭曲上同调群的新方法，且独立于已有方法。
• 通过同调代数方法，推广并扩展此前 Randal-Williams 使用拓扑方法获得的结果。
• 通过导出 Kan 扩张，建立自同构群稳定同调与函子同调之间的联系。
• 利用 Snaith 分解和 Γ-空间工具，实现上同调群的结构分解。

提出的方法

• 沿自由群范畴之间的函子 G → Sc(gr) → gr 使用导出 Kan 扩张。
• 应用广义同调消去准则，适用于多项式系数，扩展了 Scorichenko 的结果。
• 应用 Galatius 定理，将 Aut(F_r) 的稳定同调等同于对称群的稳定同调。
• 利用 Γ-空间理论和 Snaith 分解工具，对谱和同调群进行分解。
• 将 Aut(F_r) 在多项式函子系数下的稳定同调问题，约化为 Sc(gr) 上的函子同调与对称群同调问题。
• 在多项式性假设下，利用由 β 函子 β: Sc(gr) → grop 诱导的同构，简化计算。

实验结果

研究问题

• RQ1 能否为自由群自同构群在多项式反变系数下的稳定同调建立 Hodge 型分解？
• RQ2 导出 Kan 扩张与函子同调方法如何实现扭曲上同调群的显式计算？
• 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 的导出 Kan 扩张实现，将问题约化为 Sc(gr) 上的函子同调与对称群同调。
• 当系数为多项式时，函子 β: Sc(gr) → grop 在挠群上诱导同构，从而实现有效计算。
• 结果推广并恢复了 Randal-Williams 的有理上同调计算，将其扩展至整系数与新的表示。