[論文レビュー] 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)における、年齢幾何的でない単一軸をもつ完全不可約外自己同型の生成する巡回部分群の中心化群と正規化群を特定する。唯一の軸に沿った符号付き移動距離を測る (R, +) への準同型を用いて、中心化群が吸引ラミネーションの安定化群に等しく、Zに同型であることを証明する。正規化群は、ZまたはZ₂⁎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$.

研究の動機と目的

• 年齢幾何的でない単一軸をもつ完全不可約外自己同型の生成する巡回部分群の中心化群および正規化群の構造を特定すること。
• 中心化群が吸引ラミネーション Λ⁺_φ の安定化群に等しく、Zに同型であることを確立すること。
• 正規化群の可能な同型型を分類し、それがZまたは自由積 ℤ₂⁎Z₂であることを示すこと。
• 正規化群が非アーベルとなる条件を特定すること、特にφ⁻¹も単一軸をもつときである。
• 共役の可換化群と移動長準同型を用いた群論的特徴づけを提供すること。

提案手法

• φ の唯一の軸に沿った符号付き移動距離を測る準同型 ρ: Stab(Λ⁺_φ) → (ℝ, +) を構成する。
• ρ の核が自明であることを証明し、Stab(Λ⁺_φ) が ℝ に埋め込まれ、したがって Z に同型であることを示す。
• 補題 3.3 を用いて、Cen(⟨φ⟩) = Stab(Λ⁺_φ) ≅ ℤ を結論づける。
• 短完全列 1 → Cen(⟨φ⟩) → Comm(⟨φ⟩) → ℤ₂ → 1 を用いて共役の可換化群 Comm(⟨φ⟩) を分析する。
• 群コホホロジー H²(ℤ₂, ℤ) ≅ 0 を用いて可能な群拡張を決定し、唯一の可能な拡張が ℤ ⋊ ℤ₂ ≅ ℤ₂⁎Z₂ であることを示す。
• 非アーベルの場合に、φ⁻¹ が φ に共役であることを示し、したがって φ⁻¹ も単一軸をもち、年齢幾何的でない完全不可約であることを示す。

実験結果

リサーチクエスチョン

• RQ1 年齢幾何的でない単一軸をもつ完全不可約外自己同型 φ に対して、中心化群 Cen(⟨φ⟩) の構造は何か？
• RQ2 正規化群 N(⟨φ⟩) が中心化群を真に含むのはいつか？ その同型型は何か？
• RQ3 共役の可換化群 Comm(⟨φ⟩) が ℤ₂⁎Z₂ に同型となる条件は何か？
• RQ4 φ が単一軸をもつということは、φ⁻¹ も単一軸をもつことを意味するか？
• RQ5 中心化群と正規化群は、φ の動的および幾何的不変量を用いて明示的に記述できるか？

主な発見

• 中心化群 Cen(⟨φ⟩) は Z に同型であり、吸引ラミネーションの安定化群 Stab(Λ⁺_φ) に等しい。
• 正規化群 N(⟨φ⟩) は、共役の可換化群の拡張が自明か非自明かに応じて、Z または ℤ₂⁎Z₂ に同型である。
• N(⟨φ⟩) ≅ ℤ₂⁎Z₂ の場合、ある ψ ∈ N(⟨φ⟩) が存在して ψφψ⁻¹ = φ⁻¹ を満たす。これは、共役による反転を示している。
• 正規化群が ℤ₂⁎Z₂ である場合、逆元である φ⁻¹ も年齢幾何的でない完全不可約外自己同型であり、唯一の軸をもつ。
• 中心化群は常に共役の可換化群の有限指数部分群であり、共役の可換化群は常に Z または ℤ₂⁎Z₂ に同型である。
• これらの部分群の構造は、自己同型が唯一の軸上でどのように作用するかに依存し、移動長準同型を用いて ℝ に写すことで捉えられる。