[论文解读] Stable homology of automorphism groups of free groups

Søren Galatius|ArXiv.org|Oct 6, 2006

Geometric and Algebraic Topology被引用 5

一句话总结

该论文证明了自由群自同构群 Aut(Fₙ) 的积分上同调在 n > 2k+1 时趋于稳定，此时其上同调同构于对称群 Σₙ 的上同调。通过使用同伦论工具，包括图 cobordism 范畴和外空间的层论模型，作者证明了分类空间 BAutₙ(F) 与 BΣₙ 之间存在上同调等价，从而确认 Aut(Fₙ) 的稳定有理上同调为零，并建立了 Z × BAut∞⁺ ≃ QS⁰ 的同伦等价关系。

ABSTRACT

Homology of the group Aut(F_n) of automorphisms of a free group on n generators is known to be independent of n in a certain stable range. Using tools from homotopy theory, we prove that in this range it agrees with homology of symmetric groups. In particular, Aut(F_n) has no stable rational homology, settling a conjecture of Hatcher and Vogtmann.

研究动机与目标

• 确定自由群上 n 个生成元的自同构群 Aut(Fₙ) 的稳定上同调。
• 解决 Hatcher 和 Vogtmann 提出的猜想，即 Aut(Fₙ) 的稳定有理上同调为零。
• 建立 Z × BAut∞⁺ 与 QS⁰ 之间的同伦论等价关系，推广 Barratt-Priddy-Quillen 定理。
• 通过外空间的层论模型，统一 Aut(Fₙ) 的上同调稳定性模式与映射类群及对称群的上同调稳定性模式。

提出的方法

• 在 R^N 上构造图的层，以建模嵌入图及其自同构的空间。
• 引入图 cobordism 范畴 Cₙ^N，其分类空间用于建模稳定同伦类型。
• 使用 cobordism 范畴的偏序集模型，通过同伦列极限分解分析其同伦类型。
• 应用上面对图谱的同伦类型进行计算。
• 建立 cobordism 范畴的分类空间与 Thom 空间之环路空间之间的弱同伦等价。
• 利用图谱弱同伦等价于无限环空间 QS⁰ 的事实，通过与正交补丛的 Thom 空间的弱同伦等价关系。

实验结果

研究问题

• RQ1 Hatcher 和 Vogtmann 的猜想是否成立，即 Aut(Fₙ) 的稳定有理上同调是否为零？
• RQ2 是否存在类似于 Barratt-Priddy-Quillen 定理的 Z × BAut∞⁺ 与 QS⁰ 之间的同伦论等价关系？
• RQ3 在稳定范围内，Aut(Fₙ) 的上同调如何与对称群 Σₙ 的上同调相关联？
• RQ4 能否通过图的 cobordism 范畴来描述 Aut(Fₙ) 的分类空间的同伦类型？
• RQ5 图谱在实现 Aut(Fₙ) 的稳定同伦类型中起什么作用？

主要发现

• 当 n > 2k+1 时，映射 φₙ: Σₙ → Aut(Fₙ) 在积分上同调 Hₖ(Σₙ) → Hₖ(Aut(Fₙ)) 上诱导出同构。
• Aut(Fₙ) 的稳定有理上同调在所有次数上均为零，从而证实了 Hatcher-Vogtmann 的猜想。
• 分类空间 BAut∞⁺ 通过 BAut∞ 的加号构造，与 QS⁰ 之间存在弱同伦等价。
• 图 cobordism 范畴 Cₙ^N 的分类空间弱同伦等价于 Ω^{N-1}Ψ_d(R^N)，即 d 维子流形空间的环路空间。
• Th(U_d,N^⊥) 与 R^N 中 d 维闭子流形空间 Ψ_d(R^N) 之间存在弱同伦等价，通过映射 q 将 (V,v) 映射为 V−v。
• 无限环空间 QS⁰ 作为 B𝒞_d^N 的极限被恢复，从而在自同构群的背景下重新获得了 Madsen-Weiss 定理对映射类群的推广。