[论文解读] Normalizers and centralizers of cyclic subgroups generated by lone axis fully irreducible outer automorphisms

Yael Algom-Kfir, Catherine Pfaff|arXiv (Cornell University)|Mar 23, 2016

Geometric and Algebraic Topology参考文献 13被引用 5

一句话总结

该论文确定了在 Out(F_r) 中由非几何单轴完全不可约外自同构生成的循环子群的中心化子与正规化子。通过构造一个测量沿唯一轴的带符号平移距离的同态 ρ: (ℝ, +)，证明了中心化子等于吸引测度的稳定化子，且同构于 ℤ。正规化子被证明为 ℤ 或 ℤ₂⁎Z₂，后者恰好在自同构在共轭下反转时出现。

ABSTRACT

We let $φ$ be an ageometric fully irreducible outer automorphism so that its Handel-Mosher axis bundle consists of a single unique axis. We show that the centralizer $Cen(\langleφ angle)$ of the cyclic subgroup generated by $φ$ equals the stabilizer $ ext{Stab}(Λ^+_φ)$ of the attracting lamination $Λ^+_φ$ and is isomorphic to $\mathbb Z$. We further show, via an analogous result about the commensurator, that the normalizer $N(\langleφ angle)$ of $\langle φ angle$ is isomorphic to either $\mathbb Z$ or $\mathbb Z_2 * \mathbb Z_2$.

研究动机与目标

• 确定 Out(F_r) 中由具有唯一轴的非几何完全不可约外自同构生成的循环子群的中心化子与正规化子的结构。
• 证明中心化子等于吸引测度 Λ⁺_φ 的稳定化子，且同构于 ℤ。
• 对正规化子的可能同构类型进行分类，表明其为 ℤ 或自由积 ℤ₂⁎Z₂。
• 确定正规化子为非交换的条件，特别是当 φ⁻¹ 也具有单轴时。
• 使用共轭子群与平移长度同态，提供这些子群的群论刻画。

提出的方法

• 构造一个同态 ρ: Stab(Λ⁺_φ) → (ℝ, +)，用于测量 φ 唯一根轴上的带符号平移距离。
• 证明 ρ 的核是平凡的，从而 Stab(Λ⁺_φ) 嵌入 ℝ，因此同构于 ℤ。
• 利用推论 3.3 得出 Cen(⟨φ⟩) = Stab(Λ⁺_φ) ≅ ℤ。
• 通过短正合列 1 → Cen(⟨φ⟩) → Comm(⟨φ⟩) → ℤ₂ → 1 分析共轭子群 Comm(⟨φ⟩)。
• 利用群上同调 H²(ℤ₂, ℤ) ≅ 0 确定可能的群扩张，表明唯一的可能扩张为 ℤ ⋊ ℤ₂ ≅ ℤ₂⁎Z₂。
• 证明在非交换情形下，φ⁻¹ 共轭于 φ，因此 φ⁻¹ 也具有单轴，且为非几何完全不可约自同构。

实验结果

研究问题

• RQ1 对于一个非几何单轴完全不可约外自同构 φ，其中心化子 Cen(⟨φ⟩) 的结构是什么？
• RQ2 何时正规化子 N(⟨φ⟩) 严格包含中心化子，其同构类型为何？
• RQ3 在何种条件下共轭子群 Comm(⟨φ⟩) 同构于 ℤ₂⁎Z₂？
• RQ4 φ 具有单轴是否意味着 φ⁻¹ 也具有单轴？
• RQ5 中心化子与正规化子能否通过 φ 的动力学与几何不变量显式描述？

主要发现

• 中心化子 Cen(⟨φ⟩) 同构于 ℤ，且等于吸引测度 Λ⁺_φ 的稳定化子 Stab(Λ⁺_φ)。
• 正规化子 N(⟨φ⟩) 同构于 ℤ 或 ℤ₂⁎Z₂，取决于共轭子群扩张是否平凡。
• 当 N(⟨φ⟩) ≅ ℤ₂⁎Z₂ 时，存在 ψ ∈ N(⟨φ⟩) 使得 ψφψ⁻¹ = φ⁻¹，表明在共轭下发生反转。
• 当正规化子为 ℤ₂⁎Z₂ 时，逆自同构 φ⁻¹ 也是非几何完全不可约外自同构，且具有唯一轴。
• 中心化子始终是共轭子群的有限指数子群，且共轭子群同构于 ℤ 或 ℤ₂⁎Z₂。
• 这些子群的结构由自同构在唯一轴上的作用决定，通过映射到 ℝ 的平移长度同态来捕捉。