[논문 리뷰] Generating Mapping Class Groups by Involutions

Martin Kassabov|ArXiv.org|2003. 11. 25.

Geometric and Algebraic Topology참고 문헌 11인용 수 26

한 줄 요약

이 논문은 $g \geq 3$인 곡면의 매핑 클래스 군이 고정된 수의 올림프로 생성될 수 있음을 증명한다. 특히, 큰 곡면과 짝수 개의 구멍이 있는 경우 최소 4개의 올림프로 생성 가능하며, 가장 복잡한 경우(곡면의 곡면이 3이고 구멍 수가 홀수일 때)에는 최대 9개의 올림프로 생성 가능하다. 저자들은 대칭 올림프와 랜턴 관계를 사용하여 명시적인 생성 집합을 구성하였으며, 이는 이전 결과를 확장하고, 모든 경우에 대해 최대 9개의 올림프로 생성 가능하다는 보편적 상한을 확립한다.

ABSTRACT

Let $Σ_{g,b}$ denote a closed oriented surface genus $g$ with $b$ punctures and let $Mod_{g,b}$ denote its mapping class group. Luo proved that if the genus is at least 3, the group $Mod_{g,b}$ is generated by involutions. He also asked if there exists a universal upper bound, independent of genus and the number of punctures, for the number of torsion elements/involutions needed to generate $Mod_{g,b}$. Brendle and Farb gave a partial answer in the case of closed surfaces and surfaces with one puncture, by describing a generating set consisting of 7 involutions. Our main result generalizes the above result to the case of multiple punctures. We also show that the mapping class group can be generated by smaller number of involutions. More precisely, we prove that the mapping class group can be generated by 4 involutions if the genus $g$ is large enough. There is not a lot room to improve this bound because to generate this group we need at lest 3 involutions. In the case of small genus (but at least 3) to generate the whole mapping class group we need a few more involutions.

연구 동기 및 목표

• 매핑 클래스 군을 생성하는 데 필요한 토크션 원소의 수에 대해 보편적인 상한이 존재하는지 여부에 대한 루오의 미해결 질문을 해결하기 위해.
• 브렌들과 파르브의 결과(닫힘된 표면 및 한 개의 구멍이 있는 표면에 대해 7개의 올림프)를 다수의 구멍이 있는 표면으로 일반화하기 위해.
• ${\rm Mod}_{g,b}$를 생성하는 데 필요한 올림프의 수를 최소화하기 위해, 특히 큰 곡면과 다양한 구멍 수에 대해.
• 최소한의 올림프 수에 대한 날카운 상한을 확립하여, 3개는 이론적으로 최소값이며, $g > 7$인 경우 4개로 가능하다는 것을 보여주기 위해.
• ${\rm Mod}^{0}_{g,b}$ (구멍이 점별로 고정된 경우)가 올림프로 생성 가능한 조건을 탐색하기 위해, 특히 $b \leq 2(g-2)$일 때.

제안 방법

• 8개의 경계를 가진 기본 표면 $S_4$를 구성하고, 대칭 올림프 $I$와 $R$을 사용하여 쌍대 변환을 공액을 통해 생성한다.
• 표면에 패딩 쌍을 붙여 $S_5$로 확장하고, $I$를 $S_5$로 확장하며, 남은 표면 $S_6$ (곡면이 $g-7$)에 대해 새로운 올림프 $\tilde{I}$를 정의한다.
• $I$와 $\tilde{I}$를 접합하여 전체 표면 $\Sigma_{g,b}$에서 대칭 올림프로 작용하는 전역 올림프 $J$를 구성한다.
• 그룹 $\rho_1$, $\rho_2$, $\rho_3$, $J$가 생성하는 군이 군 작용에 따른 궤도 폐쇄를 통해 모든 본질적 곡선 도는 쌍대 변환을 생성함을 이용한다.
• 보조정리 12를 적용하여 생성된 군이 ${\rm Mod}^0_{g,b}$를 포함하며, ${\rm Sym}_b$로의 몫 사상에 대한 그림을 통해 전체 ${\rm Mod}_{g,b}$임을 결론짓는다.
• 곡면이 3이고 $b$가 홀수인 경우, 쌍 교환 올림프가 확장되지 않기 때문에, $\rho_1$, $\rho_2$ 및 추가 올림프를 포함한 9개의 올림프로 필요한 변환을 생성한다.

실험 결과

연구 질문

• RQ1 $g$와 $b$에 관계없이 ${\rm Mod}_{g,b}$를 생성하는 데 필요한 올림프의 수에 대해 보편적인 상한이 존재하는가?
• RQ2 ${\rm Mod}_{g,b}$의 올림프 생성 집합을 브렌들과 파르브가 $b \leq 1$에 대해 확립한 7개의 올림프 이하로 줄일 수 있는가?
• RQ3 $g \geq 3$ 및 임의의 $b$에 대해 ${\rm Mod}_{g,b}$를 생성하는 데 필요한 최소 올림프 수는 얼마인가?
• RQ4 $g$와 $b$가 어떤 값일 때, ${\rm Mod}^0_{g,b}$ (구멍이 점별로 고정된 경우)가 올림프로 생성되는가?
• RQ5 곡면이 3이고 $b$가 홀수인 경우 9개의 올림프로 생성 가능한 상한을 개선할 수 있는가, 아니면 이것이 최적인가?

주요 결과

• $g > 7$ 또는 $g = 7$이고 $b$가 짝수일 경우, 매핑 클래스 군 ${\rm Mod}_{g,b}$는 4개의 올림프로 생성된다.
• $g > 5$ 또는 $g = 5$이고 $b$가 짝수일 경우, 군은 5개의 올림프로 생성된다.
• $g > 3$ 또는 $g = 3$이고 $b$가 짝수일 경우, 6개의 올림프로 충분히 ${\rm Mod}_{g,b}$를 생성할 수 있다.
• $g = 3$이고 $b$가 홀수일 경우, 군은 9개의 올림프가 필요하며, 이는 확립된 최대 상한이다.
• 큰 $g$에 대해 4개의 올림프 상한은 최적이다. 이는 두 개의 올림프로는 이방형 군만 생성되기 때문에 최소 3개는 필요하기 때문이다.
• 방향을 반전시키는 올림프를 사용하여 확장된 매핑 클래스 군으로 일반화할 수 있으며, 이 경우 동일한 상한이 유지된다.