[논문 리뷰] 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)|2015. 11. 21.

Geometric and Algebraic Topology참고 문헌 47인용 수 4

한 줄 요약

이 논문은 유한 생성된 Out(Fₙ)의 부분군에 대한 두 번째 유계 코homology의 대체 조건을 확립한다: 부분군은 유한 아벨 부분군이거나, 그 두 번째 유계 코homology에 ℓ¹ 공간이 포함되어 있다. 증명은 자유 분할 복합체 위에서의 쌍곡 작용과 WWPD 기법을 사용하여, 무한한 매력 라미네이션을 가진 부분군—즉, 무한히 많은 매력 라미네이션을 가진 부분군—을 분석하며, 비유한 아벨 부분군은 쌍곡 동역학을 통해 бог따른 코homology를 풍부하게 함을 보여준다.

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 성질을 활용한 쌍곡 동역학 기반의 유계 코homology 기법을 Out(Fₙ)의 맥락으로 확장한다.
• 유계 코hom로와 쌍곡 작용을 통한 Out(Fₙ)의 부분군 분류를 위한 기초 단계를 제공한다.

제안 방법

• Out(Fₙ)가 작용하는 쌍곡 공간인 자유 분할 복합체 FS(Fₙ)의 작용을 사용하여 부분군의 동역학을 연구한다.
• WWPD(약한 제대로된 이산성) 성질을 적용하여 경계 쌍 공간 ∂X×∂X−Δ에서 이심 궤도를 가지는 로크도로픽 원소를 탐지한다.
• L(φ)가 φ의 매력 라미네이션의 유한 집합임을 고려하여, L(Γ) = ∪_{φ∈Γ} L(φ)로 정의되는 라미네이션 집합을 통해 무한한 라미네이션 부분군을 분석한다.
• 코어 그래프에서 경로 올림과 조합적 군론을 사용하여, 특정 루프가 π₁(G,v₋)의 원시 부분군 B에 속하는 원소를 나타냄을 보인다.
• 유한 코어 그래프에서 차수 ≥3인 정점의 존재를 이용하여 올림에서 주기성을 유도함으로써, 특정 루프가 부분군 B에 속하는 원소임을 밝힌다.
• 경로 분해와 올림의 유일성을 이용하여, 모든 s,t∈ℤ에 대해 B의 원소를 나타내는 루프의 가족 σ₁α₁^sσ₂α₂^tσ₃를 구성한다.

실험 결과

연구 질문

• RQ1 Out(Fₙ)의 모든 유한 생성 부분군은 H²_b-대체 조건을 만족하는가? 즉, 유한 아벨이거나, 그 두 번째 유계 코homology에 ℓ¹이 포함되어 있는가?
• RQ2 매핑 클래스 군에서 성공한 WWPD 방법이 자유 분할 복합체 위에서의 작용을 통해 Out(Fₙ)의 부분군으로 확장될 수 있는가?
• RQ3 Out(Fₙ)에서 무한한 라미네이션 부분군과 유한한 라미네이션 부분군은 어떤 동역학적 및 코homological 성질로 구별되는가?
• RQ4 Out(Fₙ)에서의 매력 라미네이션과 그 동역학은 그 군 작용의 쌍곡성과 WWPD 구조와 어떻게 관련되어 있는가?

주요 결과

• 모든 Out(Fₙ)의 유한 생성 부분군은 H²_b-대체 조건을 만족한다: 유한 아벨이거나, H²_b(Γ;ℝ)에 ℓ¹의 포함 사영이 존재한다.
• 무한히 많은 매력 라미네이션을 가진 부분군—즉, 무한한 라미네이션 부분군—은 자유 분할 복합체 위에서 비원시적 쌍곡 작용을 가지며, WWPD 원소를 포함한다.
• 무한히 많은 매력 라미네이션의 존재는 부분군이 유한 아벨이 아니라는 것을 의미하며, 이는 결과적으로 유계 코homology에 ℓ¹이 포함됨을 유도한다.
• 증명은 경로 올림과 정점의 차수를 이용한 논증을 통해, 모든 s,t∈ℤ에 대해 B의 원소를 나타내는 루프의 가족 σ₁α₁^sσ₂α₂^tσ₃를 구성하는 데 의존한다.
• 핵심 단계는 코어 그래프에서 반복되는 정점 ζ_l가 존재하면 올림에서 주기성이 유도됨을 보여, σ₁α₁σ̄₁과 σ̄₃α₂σ₃가 B의 원소임을 도출하는 것이다.
• 이 구성은 부분군 B가 반복 루프에 해당하는 원소를 포함함을 확인하며, 이는 유계 코hom로 기반의 기법을 통해 ℓ¹-포함을 확립한다.