[논문 리뷰] Problems, Questions, and Conjectures about Mapping Class Groups

Dan Margalit|arXiv (Cornell University)|2018. 06. 22.

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

한 줄 요약

이 논문은 매핑 클래스 군 이론에서 선형성, 교차 하위군, 코homology, 편의-아노소프 스트레치 인자, 토렐리 하위군, 정규 하위군에 중점을 두고 개방 문제와 추측을 종합한다. Lawrence–Krammer 유형의 구성에 의한 충실한 선형 표현에 대한 새로운 질문을 제안하고, 작은 스트레치 인자 매핑 클래스와 모든 편의-아노소프 표면 하위군의 구조를 탐구하여 기하군 이론과 저차원 위상수학 분야의 지속적인 노력에 기여한다.

ABSTRACT

We discuss a number of open problems about mapping class groups of surfaces. In particular, we discuss problems related to linearity, congruence subgroups, cohomology, pseudo-Anosov stretch factors, Torelli subgroups, and normal subgroups.

연구 동기 및 목표

• 기초적인 연구와 최근 발전을 바탕으로 매핑 클래스 군 이론에서의 개방 문제를 체계적으로 정리하고 제시하는 것.
• 특히 일반화된 Lawrence–Krammer 표현을 통한 매핑 클래스 군의 선형성에 대해 연구하는 것.
• 작은 스트레치 인자를 가진 매핑 클래스의 구조와 유한성 성질을 탐구하는 것.
• 매핑 클래스 군 내에서 모든 편의-아노소프 표면 하위군의 존재성과 성질을 검토하는 것.
• 편의-아노소프 원소의 분해에 대한 추측과 매핑 클래스로부터 유도된 특정 3차원 다양체 불변량의 유한성에 대해 다루는 것.

제안 방법

• 매핑 클래스 군 $\operatorname{Mod}(S_g)$의 $k$번째 Lawrence 표현을 $S_g$ 위에 $k$개의 점이 있는 구성공간의 유일한 아벨 커버의 호몰로지 위에 작용하는 것으로 정의한다.
• 브레인드 군에서 Lawrence–Krammer 표현의 충실성과 유사성을 고려하여 매핑 클래스 군 맥락에서의 충실성에 대한 동기를 부여한다.
• Kontsevich가 제안한 선형 표현의 가닥을 매핑 클래스 군에 적용하며, 이 표현이 충실하다는 것이 추측된다.
• 섬기기 3차원 다양체 이론과 모노드로미 다이내믹스를 활용하여 스트레치 인자와 그 점 渐진적 행동을 분석한다.
• Johnson 필터링과 구성공간의 컴acts지지 호몰로지의 조합을 통해 토렐리 하위군과 교차 하위군을 연구한다.
• 편의-아노소프 원소의 정규 닫힘과 그 확장 토렐리 군과의 잠재적 관계를 분석한다.

실험 결과

연구 질문

• RQ1 모든 $k \geq 1$에 대해 $\operatorname{Mod}(S_g)$의 $k$번째 Lawrence 표현은 충실한가?
• RQ2 $g \geq 2$일 때 $\operatorname{Mod}(S_g)$는 모든 편의-아노소프 표면 하위군을 포함하는가?
• RQ3 매핑 클래스 $f$가 $g\log\lambda < C$를 만족하는 편의-아노소프 매핑 클래스로부터 유도되는 3차원 다양체 $M_f^\circ$의 집합 $\Omega_C$의 최소 비영원 카디널리티는 얼마인가?
• RQ4 모든 편의-아노소프 매핑 클래스 중에서 스트레치 인자가 $\lambda$이고 $g\log\lambda < C$를 만족하는 원소는, 복잡도가 $g$에 대해 독립적으로 유계인 유한순환과 축약 가능 원소의 곱으로 표현되는가?
• RQ5 매핑 클래스 군 $\operatorname{Mod}(S_g)$ 내에서 편의-아노소프 원소의 정규 닫힘은 확장 토렐리 군이 될 수 있는가?

주요 결과

• $\operatorname{Mod}(S_g)$의 $k$번째 Lawrence 표현은 브레인드 군에서 Lawrence–Krammer 표현의 충실성에 기반하여 충실한 선형 표현의 후보로 여겨진다.
• $g \geq 3$일 때 $\operatorname{Mod}(S_g)$의 선형성은 여전히 미해결 문제이지만, $g = 2$일 땐 브레인드 군의 선형성에 의해 알려져 있다.
• $P_C$를 $g\log\lambda < C$를 만족하는 편의-아노소프 매핑 클래스의 집합이라 하면, $\Omega_C = \{M_f^\circ \mid f \in P_C\}$는 유한집합이다.
• 대칭성 추측은 작은 스트레치 인자를 가진 모든 편의-아노소프 원소가 유한순환과 복잡도가 $g$에 대해 독립적으로 유계된 축약 가능 원소의 곱으로 표현된다는 것을 시사한다.
• Leininger는 스트레치 인자가 $3/2$ 이하일 경우 원소가 주기적 원소와 축약 가능 원소의 곱임을 증명하여 대칭성 추측에 대한 부분적인 증거를 제공했다.
• Bowditch, Groves, 그리고 Sapir에 의한 결과에 따르면, 각각의 $g$에 대해 $\operatorname{Mod}(S_g)$ 내에서 모든 편의-아노소프 표면 하위군의 동치류는 유한 개 이하이다.