[论文解读] The stable cohomology of automorphisms of free groups with coefficients in the homology representation

Oscar Randal‐Williams|arXiv (Cornell University)|Dec 7, 2010

Homotopy and Cohomology in Algebraic Topology参考文献 13被引用 8

一句话总结

本文通过谱序列和关于带标签图空间的同调稳定性猜想，计算了 Aut(Fₙ) 和 Out(Fₙ) 在同调表示 H 的对称幂与外幂系数下的稳定有理上同调。结果表明，低度上同调除在 ⋀^qH 的度数 q 处外均消失，此时同构于 Q^ρ(q)，其中 ρ(q) 为 q 的整数分拆数；类似地，Sym^qH 仅在 q=1 时于度数 1 处非零。

ABSTRACT

We study the cohomology of Aut(F_n) and Out(F_n) with coefficients in the modules \wedge^q H, \wedge H^*, Sym^q H or Sym^q H^*, where H is the Out(F_n)-module obtained by abelianising the free group F_n. For reasons which are not conceptually clear, taking coefficients in H and its related modules behaves in a far less trivial way than taking coefficients in H^* and its related modules. Based on a conjectural homology stability theorem for spaces of graphs labeled by a simply connected background space, we give a stable integral calculation of these groups in low degrees, and modulo a further conjecture a stable rational calculation in all degrees.

研究动机与目标

• 计算 Aut(Fₙ) 和 Out(Fₙ) 在 ⋀^qH、⋀^qH*、Sym^qH 和 Sym^qH* 系数下的稳定有理上同调。
• 理解 H（Fₙ 的阿贝尔化）与 H*（其对偶）之间行为不对称的原因，其中 H-系数产生非平凡上同调，而 H*-系数在低度下消失。
• 基于带标签图空间的同调稳定性，建立一个猜想性框架，以实现在低度下的稳定计算。
• 通过谱序列和 Becker–Gottlieb 转移，描述半直积 Aut(Fₙ) ⋉ H 和 Out(Fₙ) ⋉ H 的上同调上的 Leray 膜层。
• 在稳定范围内，对 H*(Aut(Fₙ); ⋀^qH_Q) 和 H*(Out(Fₙ); ⋀^qH_Q) 提供完整的有理计算，明确依赖于 q 的整数分拆数。

提出的方法

• 使用 Leray–Hochschild–Serre 谱序列分析 Fₙ → Aut(Fₙ) → Out(Fₙ) 的扩张，研究在 H 及其张量幂系数下的上同调。
• 应用 Galatius 的同调稳定性定理，将 BOut(Fₙ) 建模为 ∨ⁿS¹ 型图空间，并通过带标签图空间的猜想同调稳定性将其推广至系数系统。
• 利用涉及 BAut(Fₙ) ⋉ H* 和 BOut(Fₙ) ⋉ H* 的纤维为 ∨ⁿS¹ 的纤维丛的谱序列，计算全空间的上同调。
• 使用 Becker–Gottlieb 转移将类从 H*(Out(Fₙ) ⋉ H*) 提升至 H*(Aut(Fₙ) ⋉ H*)，并推导出限制映射的单性。
• 依赖于猜想 B（带标签图空间的同调稳定性）和猜想 C（谱序列收敛），推导出稳定有理上同调计算。
• 应用普遍系数定理，从上同调计算恢复同调结果，并利用有理化对称幂与外幂是张量幂的直和项这一事实。

实验结果

研究问题

• RQ1 Aut(Fₙ) 在 q 阶外幂同调表示 H 的系数下的稳定有理上同调是什么？
• RQ2 为何 H-系数的上同调行为与 H*-系数截然不同，尽管二者对偶？
• RQ3 H*(Aut(Fₙ) ⋉ H; Q) 上的 Leray 膜层如何与特征类 χ₂、χ₄ 等的次数相关？
• RQ4 Out(Fₙ) 在 Sym^qH 和 ⋀^qH 系数下的稳定有理上同调是什么？其与 q 的整数分拆数有何关系？
• RQ5 与带标签顶点的图空间相关的谱序列在多大程度上可计算 Aut(Fₙ) 和 Out(Fₙ) 在非平凡系数下的上同调？

主要发现

• 当 2* ≤ n - 2q - 3 时，H*(Aut(Fₙ); ⋀^qH_Q) 除在 *=q 处外全为零，此时同构于 Q^ρ(q)，其中 ρ(q) 为 q 的整数分拆数。
• 当 2* ≤ n - 2q - 5 时，H*(Out(Fₙ); ⋀^qH_Q) 除在 *=q 处外全为零，此时同构于 Q^{ρ̄(q)}，其中 ρ̄(q) 为 q 的分拆中不含 1 的分拆数。
• 当 2* ≤ n - 4q - 3 时，H*(Aut(Fₙ); Sym^qH_Q) 除 q=1 且 *=1 时为 Q 外全为零。
• 当 2* ≤ n - 4q - 5 时，H*(Out(Fₙ); Sym^qH_Q) 恒为零。
• 类 χ₂ ∈ H²(BAut(Fₙ) ⋉ H*; Q) 的 Leray 膜层为 0，而 χ₂ᵢ（i > 1）的膜层为 i，单项式 χ₂^a₁χ₄^a₂⋯χ₂ₙ^aₙ 的膜层为 2a₂ + ⋯ + naₙ。
• 在猜想 C 成立下，H*(BAut(Fₙ) ⋉ H*; Q) 的谱序列在有理数上收敛，其关联的分次代数同构于 Q[χ₄, χ₆, χ₈, ...]，在稳定范围内成立。