[논문 리뷰] Conjugacy classes of finite subgroups of certain mapping class groups

Michał Stukow|arXiv (Cornell University)|2005. 10. 11.

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

한 줄 요약

이 논문은 구면에 $ r $개의 마킹된 점을 가진 매핑 클래스 군 $ { m M}_{0,r} $의 유한부분군의 동치류를 완전히 분류하고, 이를 통해 초타원매핑 클래스 군 $ { m M}^{h}_g $의 최대 유한부분군의 동치류를 묘사한다. 주요 결과는 고정된 종수 $ g $에 대해 $ { m M}^{h}_g $에 최대한 다섯 개의 동치류의 최대 유한부분군이 존재하며, 이 수와 그 위상형식은 $ g $에 대한 정확한 조건에 의해 결정된다는 것이다.

ABSTRACT

We give a complete description of conjugacy classes of finite subgroups of the mapping class group of the sphere with r marked points. As a corollary we obtain a description of conjugacy classes of maximal finite subgroups of the hyperelliptic mapping class group. In particular, we prove that for a fixed genus g there are at most five such classes.

연구 동기 및 목표

• 구면에 $ r \geq 3 $개의 마킹된 점을 가진 매핑 클래스 군 $ {\cal{M}}_{0,r} $의 유한부분군의 동치류를 완전히 분류하는 것.
• 특히 순환군, 이면체군, 다면체군 대칭과 관련하여 $ {\cal{M}}_{0,r} $의 최대 유한부분군의 구조와 동치류를 규명하는 것.
• 초타원매핑 클래스 군 $ {\cal{M}}^{h}_g $로의 분류를 $ {\cal{M}}^{h}_g / \langle \rho \rangle \cong {\cal{M}}_{0,2g+2} $라는 몫사상에 의해 확장하는 것, 여기서 $ \rho $는 초타원적 반사이다.
• 두 최대 유한부분군이 $ {\cal{M}}^{h}_g $에서 동치일 필요충분조건이 서로 동형임을 증명하여 분류를 단순화하는 것.

제안 방법

• Nielsen 실현 정리를 활용하여 $ {\cal{M}}_{0,r} $의 유한부분군을 리만 구면 $ \mathbb{P}^1 $의 방향을 유지하는等급 회전으로서 실현한다.
• 마킹된 점들을 대칭적인 위치(예: 적도 위)로 쌍대화하여 군 작용의 정규 모델을 구성함으로써, 안정자와 궤도의 구조 분석을 단순화한다.
• 유한부분군의 $ \mathrm{PSL}(2,\mathbb{C}) $에서의 분류를 적용하여 기하학적 작용에 기반해 가능한 동형형식을 식별한다: $ \mathbb{Z}_n $, $ D_n $, $ A_4 $, $ S_4 $, $ A_5 $.
• 표준 사영 $ \pi: {\cal{M}}^{h}_g \to {\cal{M}}_{0,2g+2} $를 사용하여 $ {\cal{M}}_{0,r} $에서의 결과를 초타원매핑 클래스 군으로 이행하며, $ r = 2g+2 $로 놓고, $ \pi $ 가 최대 유한부분군의 동치류에 대해 전단사임을 증명한다.
• 군론적 올림 기법을 적용하여 $ {\cal{M}}_{0,2g+2} $의 어떤 부분군이 $ {\cal{M}}^{h}_g $에서 최대 유한부분군으로 올라가는지 판단하며, 중심 반사 $ \rho $를 고려한다.
• 궤도-안정자 분석과 순서 비교를 통해 부분군의 최대성을 증명하며, 특히 알려진 유형을 초월하는 확장은 존재하지 않음을 배제한다.

실험 결과

연구 질문

• RQ1 구면에 $ r $개의 마킹된 점을 가진 매핑 클래스 군 $ {\cal{M}}_{0,r} $의 유한부분군의 동치류는 무엇인가?
• RQ2 어느 유한부분군이 $ {\cal{M}}_{0,r} $에서 최대이며, 이는 어떻게 동치류에 따라 분류될 수 있는가?
• RQ3 $ {\cal{M}}_{0,r} $의 최대 유한부분군의 동치류는 초타원매핑 클래스 군 $ {\cal{M}}^{h}_g $로 어떻게 올라가는가?
• RQ4 고정된 종수 $ g $에 대해 $ {\cal{M}}^{h}_g $에 존재하는 최대 유한부분군의 동치류는 몇 개인가, 그리고 이 수는 무엇에 의해 결정되는가?
• RQ5 두 최대 유한부분군이 $ {\cal{M}}^{h}_g $에서 동치일 조건은 무엇이며, 동형이 동치를 의미하는가?

주요 결과

• 고정된 종수 $ g $에 대해 초타원매핑 클래스 군 $ {\cal{M}}^{h}_g $에는 최대 다섯 개의 동치류의 최대 유한부분군이 존재한다.
• 만약 $ g \equiv 0, 5, 9, 14, 15, 20, 24, 29 \pmod{30} $ 라면, 정확히 다섯 개의 동치류의 최대 유한부분군이 존재한다.
• $ g = 2 $일 경우 정확히 세 개의 동치류의 최대 유한부분군이 존재한다.
• 그 외의 모든 $ g $에 대해서는 정확히 네 개의 동치류의 최대 유한부분군이 존재한다.
• 두 최대 유한부분군이 $ {\cal{M}}^{h}_g $에서 동치일 필요충분조건은 서로 동형임이다. 이는 동형과 동치의 강한 연결을 보여준다.
• 최대 유한부분군은 $ {\cal{M}}^{h}_g $에서 정확히 $ {\cal{M}}_{0,2g+2} $의 최대 유한부분군의 상사임을 보이며, $ g \mod 6 $, $ g \mod 12 $, 또는 $ g \mod 30 $ 에 따라 각 동형형식에 대해 명시적인 표현이 제공된다.