[論文レビュー] 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ₙ) の有限生成部分群に対して、第二有界コホモロジーの第二の代替的性質を確立する。すなわち、部分群はいずれにしても（1）ほとんどアーベル的であるか、（2）その第二有界コホモロジーに ℓ¹ 空間が埋め込まれている。証明は、自由分割複体における双曲的作用と 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ₙ) の部分群の完全分類への基盤的段階を提供すること。

提案手法

• Out(Fₙ) が作用する双曲的空間である自由分割複体 FS(Fₙ) を用いて、部分群の力学的性質を研究する。
• WWPD（弱く適切に非一様的）性質を適用し、境界対空間 ∂X×∂X−Δ 上で離散的軌道をもつloxodrom的要素を同定する。
• 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 が反復ループに対応する要素を含むことが確認され、有界コホモロジーの枠組みを介して ℓ¹-埋め込みが確立される。