[论文解读] Hyperbolic actions and 2nd bounded cohomology of subgroups of $ ext{Out}(F_n)$. Part I: Infinite lamination subgroups

Michael Handel, Lee Mosher|arXiv (Cornell University)|Nov 21, 2015

Geometric and Algebraic Topology参考文献 47被引用 4

一句话总结

本文建立了有限生成子群在 Out(Fₙ) 中的第二有界上同调的替代性定理：该子群要么是几乎阿贝尔的，要么其第二有界上同调中包含一个嵌入的 ℓ¹ 空间。证明利用了自由分裂复形上的双曲作用与 WWPD 技术，分析了具有无限多个吸引层的无限层子群——即具有无限多个吸引层的子群——表明非几乎阿贝尔子群可通过双曲动力学获得丰富的有界上同调。

ABSTRACT

In this two part work we prove that for every finitely generated subgroup $Γ< ext{Out}(F_n)$, either $Γ$ is virtually abelian or $H^2_b(Γ;\mathbb{R})$ contains an embedding of $\ell^1$. The method uses actions on hyperbolic spaces, for purposes of constructing quasimorphisms. Here in Part I, after presenting the general theory, we focus on the case of infinite lamination subgroups $Γ$ - those for which the set of all attracting laminations of all elements of $Γ$ is infinite - using actions on free splitting complexes of free groups.

研究动机与目标

• 建立 Out(Fₙ) 的有限生成子群的 H²_b-替代性，将映射类群的结果推广至自由群的外自同构群。
• 利用自由分裂复形上的双曲作用分析无限层子群——即具有无限多个吸引层的子群。
• 将基于双曲动力学的有界上同调技术，特别是 WWPD 性质，扩展至 Out(Fₙ) 的情形。
• 为通过有界上同调与双曲作用对 Out(Fₙ) 的子群进行完整分类提供基础步骤。

提出的方法

• 使用自由分裂复形 FS(Fₙ)，即 Out(Fₙ) 作用的双曲空间，研究子群的动力学。
• 应用 WWPD（弱正则离散）性质，检测在边界对空间 ∂X×∂X−Δ 上具有离散轨道的双曲元素。
• 通过层集 L(Γ) = ∪_{φ∈Γ} L(φ) 分析无限层子群，其中 L(φ) 是 φ 的吸引层的有限集合。
• 在核心图中使用路径提升与组合群论，证明某些环路代表 π₁(G,v₋) 的一个初等子群 B 中的元素。
• 利用有限核心图中度数 ≥3 的顶点的存在性，推导出提升中的周期性，从而表明某些环路代表子群 B 中的元素。
• 通过路径分解与提升唯一性，构造一族环路 σ₁α₁^sσ₂α₂^tσ₃，证明其对所有 s,t∈ℤ 都代表 B 中的元素。

实验结果

研究问题

• RQ1 每个有限生成子群在 Out(Fₙ) 中是否都满足 H²_b-替代性：即为几乎阿贝尔的，或其第二有界上同调中包含 ℓ¹ 的嵌入？
• RQ2 在映射类群中成功的 WWPD 方法，能否通过自由分裂复形上的作用扩展至 Out(Fₙ) 的子群？
• RQ3 在 Out(Fₙ) 中，哪些动力学与上同调性质可将无限层子群与有限层子群区分开来？
• RQ4 吸引层及其在 Out(Fₙ) 中的动力学如何与群作用的双曲性及 WWPD 结构相关联？

主要发现

• 每个有限生成子群在 Out(Fₙ) 中都满足 H²_b-替代性：要么是几乎阿贝尔的，要么 H²_b(Γ;ℝ) 包含一个嵌入的 ℓ¹。
• 无限层子群——即具有无限多个吸引层的子群——在自由分裂复形上存在非初等的双曲作用，且包含 WWPD 元素。
• 存在无限多个吸引层意味着该子群不是几乎阿贝尔的，从而触发了有界上同调中 ℓ¹ 的嵌入。
• 证明依赖于构造一族环路 σ₁α₁^sσ₂α₂^tσ₃，其对所有 s,t∈ℤ 都代表一个初等子群 B 的元素，利用了路径提升与顶点度数的论证。
• 关键步骤在于证明核心图中重复顶点 ζ_l 的存在性意味着提升中的周期性，从而得出 σ₁α₁σ̄₁ 与 σ̄₃α₂σ₃ 代表 B 中的元素。
• 该构造证实子群 B 包含对应于迭代环路的元素，通过有界上同调机制确立了 ℓ¹ 的嵌入。