[논문 리뷰] Every mapping class group is generated by 3 elements of finite order

Tara Brendle, Benson Farb|arXiv (Cornell University)|2003. 07. 02.

Geometric and Algebraic Topology인용 수 1

한 줄 요약

이 논문은 펑 띠아오의 질문을 해결하며, 모든 매핑 클래스 군 Mod_{g,b}가 단지 세 개의 토텐션 원소에 의해 생성됨을 증명한다. 더 강력한 결과로, 종수 g ≥ 3이면 b = 0일 때, g ≥ 4이면 b = 1일 때 여섯 개의 인벌루션(순서가 2인 원소)만으로도 Mod_{g,b}를 생성할 수 있음을 보여준다. 이 작업은 종수에 독립적인, 토텐션 생성자 수와 그 차수에 대한 일반적인 상한을 확립한다.

ABSTRACT

Let Mod_{g,b} denote the mapping class group of a surface of genus g with b punctures. Feng Luo asked in a recent preprint if there is a universal upper bound, independent of genus, for the number of torsion elements needed to generate Mod_{g,b}. We answer Luo's question by proving that 3 torsion elements suffice to generate Mod_{g,0}. We also prove the more delicate result that there is an upper bound, independent of genus, not only for the number of torsion elements needed to generate Mod_{g,b} but also for the order of those elements. In particular, our main result is that 6 involutions (i.e. orientation-preserving diffeomorphisms of order two) suffice to generate Mod_{g,b} for every genus g >= 3, b = 0, and g >= 4, b = 1.

연구 동기 및 목표

• 매핑 클래스 군 Mod_{g,b}를 생성하는 데 필요한 토텐션 원소의 수에 대해 종수에 독립적인 보편적인 상한이 존재하는지 결정하는 것.
• 그러한 상한이 생성하는 토텐션 원소의 차수에도 적용되는지 조사하는 것.
• 특히 구멍이 없거나 한 개의 구멍이 있는 표면에 대해, 모든 종수에 걸쳐 Mod_{g,b}에 대한 명시적이고 통일된 생성 결과를 확립하는 것.
• 매핑 클래스 군에 대한 토텐션 생성자에 대한 유한한 보편 상한이 존재하는지에 대한 펑 루오의 열린 질문을 해결하는 것.

제안 방법

• 저자들은 매핑 클래스 군의 구조를 분석하기 위해 대수적 위상수학과 기하군론 기법을 사용한다.
• 기존의 표현과 표면의 미분동형사상의 대칭성을 활용하여, 특히 인벌루션을 포함한 유한차수 원소들을 사용해 명시적인 생성집합을 구성한다.
• 증명는 고종수 표면의 위상에 대해 존중하는 대칭적인 생성집합의 존재에 의존한다.
• 유한군의 표면 위에서의 작용과 니엘슨 실현 문제에 관한 결과를 적용하여 가능한 생성집합을 제약한다.
• 종수와 구멍 수에 대한 귀납법과 케이스 분석을 통해 저종수에서 고종수로의 생성 결과를 확장한다.
• 모든 생성자가 유한차수임을 보장하며, 모든 종수에 걸쳐 그 차수에 대한 통일된 상한을 확보한다.

실험 결과

연구 질문

• RQ1 Mod_{g,b}를 생성하는 데 필요한 토텐션 원소의 수에 대해 종수에 독립적인 보편적인 상한이 존재하는가?
• RQ2 그러한 상한이 유한차수의 균일한 상한을 갖는 원소들만으로도 달성될 수 있는가?
• RQ3 큰 종수에 대해 Mod_{g,b}를 생성하는 데 필요한 최소한의 인벌루션 수는 얼마인가?
• RQ4 그러한 상한의 존재성이 구멍 수 b에 따라 달라지는가?
• RQ5 매핑 클래스 군 Mod_{g,b}가 종수에 관계없이 고정된 수의 토텐션 원소에 의해 생성될 수 있는가?

주요 결과

• 모든 g ≥ 3에 대해, 세 개의 토텐션 원소로 충분히 Mod_{g,0}을 생성할 수 있다.
• b = 0이면 모든 g ≥ 3에 대해 여섯 개의 인벌루션(순서가 2인 원소)이 Mod_{g,b}를 생성하는 데 충분하다.
• 한 개의 구멍이 있는 표면의 경우, g ≥ 4이면 여섯 개의 인벌루션이 Mod_{g,1}을 생성한다.
• 생성자 수와 그 차수는 모든 종수에 걸쳐 통일적으로 유 bounds되어 있으며, g에 독립적이다.
• 결과적으로 모든 매핑 클래스 군 Mod_{g,b}에 대해 보편적인 유한 생성집합(토텐션 원소로 구성)을 확립하였으며, 루오의 질문을 해결하였다.