[논문 리뷰] Gromov-Hyperbolicity of the ray graph and quasimorphisms on a big mapping class group

Juliette Bavard|arXiv (Cornell University)|2018. 02. 08.

Geometric and Algebraic Topology참고 문헌 7인용 수 3

한 줄 요약

이 논문은 평면에서 칸토어 집합을 뺀 경우의 射선 그래프가 고르모-하이퍼볼릭이면서 무한한 지름을 가지며, 이는 큰 매핑 클래스 군 Γ에 대한 비자명한 쿼심옵미어포즘의 구성 가능성을 보장한다. 이 하이퍼볼릭 공간 위에서의 작용을 통해 저자들은 Γ의 두 번째 유계 코hom올로지가 무한차원임을 증명하고, 안정적 교환계수 길이가 0인 하이퍼볼릭 원소가 존재함을 보여, Danny Calegari의 프로그램을 완성한다.

ABSTRACT

These notes are the English version of the paper "Hyperbolicité du graphe des rayons et quasi-morphismes sur un gros groupe modulaire". The mapping class group Gamma of the complement of a Cantor set in the plane arises naturally in dynamics. We show that the ray graph, which is the analog of the complex of curves for this surface of infinite type, has infinite diameter and is hyperbolic. We use the action of Gamma on this graph to find an explicit non trivial quasimorphism on Gamma and to show that this group has infinite dimensional second bounded cohomology. Finally we give an example of a hyperbolic element of Gamma with vanishing stable commutator length. This carries out a program proposed by Danny Calegari.

연구 동기 및 목표

• 평면에서 칸토어 집합을 뺀 경우의 큰 매핑 클래스 군 Γ를 연구하며, 이는 궤도가 유계인 평면 위의 군 작용을 통해 자연스럽게 나타나는 사례이다.
• 곡선 복합체의 유한형 표면에 대한 하이퍼볼릭 버전인 射선 그래프 위에서의 Γ의 작용을 분석함으로써, Γ의 대규모 기하학적 성질을 이해한다.
• Γ 위에 비자명한 쿼심옵미어포즘을 구성하고, 그 두 번째 유계 코호몰로지가 무한차원임을 보인다.
• 안정적 교환계수 길이가 0인 하이퍼볼릭 원소가 Γ에 존재하는가를 밝혀내며, Calegari가 제기한 질문에 답한다.

제안 방법

• 사슬 그래프를 정의한다. 이는 칸토어 집합의 한 점에서 무한대까지의 임의의 등장성 클래스를 정점으로 하고, 서로 이웃하지 않는 射선 사이에 변을 연결하는 단순 복합체이다.
• 거리가 무한히 증가하는 射선의 수열을 구성함으로써, 사슬 그래프가 무한한 지름을 가짐을 증명한다.
• 사슬 순서에 대한 기하학적 및 귀납적 추론을 통해 사슬 그래프의 고르모-하이퍼볼릭성을 확립한다.
• 순서적으로 시계방향과 반시계방향 전환을 번갈아가며 구성한 사슬의 귀납적 구성법을 사용하여, 기하학적 축 위에서 이동하는 작용을 하는 로크소드로픽 원소 g ∈ Γ를 구성한다.
• Γ가 하이퍼볼릭 사슬 그래프 위에서 작용함을 이용하여, 기하학적 축 위에서의 이동 길이를 통해 비자명한 쿼심옵미어포즘을 정의한다.
• 비자명한 쿼심옵미어포즘의 존재를 활용하여, Γ의 두 번째 유계 코호몰로지가 무한차원임을 증명한다.

실험 결과

연구 질문

• RQ1 평면에서 칸토어 집합을 뺀 경우의 사슬 그래프는 고르모의 의미에서 하이퍼볼릭인가?
• RQ2 사슬 그래프는 무한한 지름을 가지며, 이는 큰 매핑 클래스 군의 대규모 기하학이 비자명함을 나타내는가?
• RQ3 큰 매핑 클래스 군이 사슬 그래프 위에서 작용하는 방식을 이용하여 비자명한 쿼심옵미어포즘을 구성할 수 있는가?
• RQ4 군 Γ는 안정적 교환계수 길이가 0인 하이퍼볼릭 원소를 갖는가?
• RQ5 Γ의 두 번째 유계 코호몰로지 군의 차원은 얼마인가?

주요 결과

• 사슬 그래프는 무한한 지름을 가지며, 이는 큰 매핑 클래스 군의 대규모 기하학이 비자명하고 복잡함을 보여준다.
• 사슬 그래프는 고르모-하이퍼볼릭이며, 이는 큰 매핑 클래스 군이 비자명하게 작용하는 하이퍼볼릭 공간을 제공한다.
• 기하학적 축 위에서의 이동 길이를 통해 구성된 비자명한 쿼심옵미어포즘이 큰 매핑 클래스 군 Γ 위에 존재한다.
• 비자명한 쿼심옵미어포즘의 존재를 통해, Γ의 두 번째 유계 코호몰로지 군이 무한차원임을 증명하였다.
• 안정적 교환계수 길이가 0인 하이퍼볼릭 원소 h ∈ Γ 가 존재하며, 이는 Calegari가 제기한 질문에 대한 답이 된다.
• 군 Γ 는 사슬 그래프 위에서 로크소드로픽하게 작용하며, 특정 원소 g 는 기하학적 순서 (γ_k) 위에서 이동 작용을 하며, 모든 n ∈ ℕ 에 대해 g^n(γ_0) = γ_{2n} 를 만족한다.