[논문 리뷰] A presentation for the mapping class group of a non-orientable surface from the action on the complex of curves

Błażej Szepietowski|Osaka City University (Osaka City University)|2007. 07. 18.

Geometric and Algebraic Topology인용 수 6

한 줄 요약

이 논문은 곡선 복합체 위의 작용을 통해 비가역 표면의 매핑 클래스 군에 대한 유한 군 표현을 제시한다. Brown의 방법을 순서가 부여된 곡선 복합체에 적용하고 단체의 안정자군을 분석함으로써, 랑턴 및 Y-홈오미오피즘 관계를 포함한 명시적 생성자와 관계를 가진 표현을 유도한다. 이는 비희귀 표면에 대해 유효하다. 주요 결과는 Dehn 회전과 크로스캡 슬라이드를 통해 매핑 클래스 군의 완전한 유한 표현을 제공한다.

ABSTRACT

We study the action of the mapping class group M(F) on the complex of curves of a non-orientable surface F. We obtain, by using a result of K. S. Brown, a presentation for M(F) defined in terms of the mapping class groups of the complementary surfaces of collections of curves, provided that F is not sporadic, i.e. the complex of curves of F is simply connected. We also compute a finite presentation for the mapping class group of each sporadic surface.

연구 동기 및 목표

• Benvenuti와 Brown의 방법을 비가역 경우로 확장하여 군 표현을 구성하는 것.
• 매핑 클래스 군이 곡선 복합체 위에 작용하는 방식을 이용해 비가역 표면의 매핑 클래스 군의 구조를 규명하는 것.
• 매핑 클래스 군 작용 하에서 곡선의 궤도를 분류하여 분리 가능한지 여부, 한쪽 또는 양쪽 면을 가지는지, 그리고 가 orientable 또는 non-orientable 구성요소를 구분하는 것.
• 순서가 부여된 곡선 가족의 안정자군과 Hurewicz–Heller–Shelah 방법을 이용해 매핑 클래스 군에 대한 유한 표현을 도출하는 것.

제안 방법

• 매핑 클래스 군의 작용이 단순 연결일 때, 순서가 부여된 곡선 복합체 $\mathcal{C}^{\mathrm{ord}}(F)$ 에 Brown의 방법를 적용한다.
• 궤도 공간 $X = \mathcal{C}^{\mathrm{ord}}(F)/\mathcal{M}(F)$ 를 정의하며, 이는 $\mathcal{M}(F)$-궤도에 해당하는 단체를 가진 유한 CW-複體이다.
• 순서가 부여된 곡선 가족 $\langle a_1,\dots,a_r\rangle$ 의 안정자 부분군 $\mathrm{Stab}(\langle a_1,\dots,a_r\rangle)$ 을 정의하여 군 작용을 분석하고 관계를 구성한다.
• Hurewicz–Heller–Shelah 방법을 적용하여 궤도 공간의 기본군으로부터의 관계를 매핑 클래스 군으로 옮긴다.
• 생성자를 Dehn 회전과 크로스캡 슬라이드(예: $A_1$, $U$)로 식별하고, 관계를 랑턴 및 코너지션 관계(예: $UA_1U^{-1} = A_1^{-1}$)로 식별한다.
• 경계가 있는 표면에 대한 기하적 임bedding과 패어오브팬츠 분해를 이용해, 표현에 포함된 모든 관계가 $\mathcal{M}(F)$ 에서 실제로 성립함을 검증한다.

실험 결과

연구 질문

• RQ1 비가역 표면의 매핑 클래스 군은 어떻게 곡선 복합체 위의 작용을 통해 표현될 수 있는가?
• RQ2 경계가 있는 비가역 표면의 곡선 복합체에서 매핑 클래스 군 $\mathcal{M}(F)$ 의 정점과 단체의 궤도는 각각 어떻게 되는가?
• RQ3 비가역 경우에서 매핑 클래스 군의 구조를 지배하는 관계들(예: 랑턴, 코너지션)은 무엇인가?
• RQ4 순서가 부여된 곡선 가족의 안정자군은 전체 매핑 클래스 군의 구조와 어떻게 관련되는가?
• RQ5 비희귀 비가역 표면에 대해 매핑 클래스 군의 유한 표현은 무엇인가?

주요 결과

• 비가역 표면 $F = F_g^n$ 의 매핑 클래스 군 $\mathcal{M}(F)$ 는 $F$ 가 비희귀일 때, 즉 $(g,n) \notin \{(1,n)\leq4\} \cup \{(2,n)\leq3\} \cup \{(3,n)\leq2\}$ 일 때 유한 표현을 가진다.
• 비희귀 표면에 대해서는 곡선 복합체 $\mathcal{C}(F)$ 가 단순 연결이므로, 궤도 공간 $X = \mathcal{C}^{\mathrm{ord}}(F)/\mathcal{M}(F)$ 는 기본군이 잘 정의된 유한 CW-複體가 된다.
• 매핑 클래스 군 $\mathcal{M}(F)$ 는 Dehn 회전과 크로스캡 슬라이드로 생성되며, 10개의 특정 관계(1–10)를 포함하는 표현을 갖는다. 이 관계들 중에는 랑턴 및 코너지션 관계가 포함되어 있다.
• 한 개의 경계를 가진 클라인 병($F_2^1$)의 경우, 매핑 클래스 군은 Dehn 회전 $A_1$ 과 변형 $U$ 로 생성되며, $UA_1U^{-1} = A_1^{-1}$ 를 만족한다. 이로부터 유한 표현이 도출된다.
• 궤도 공간의 기본군에서 $\mathcal{M}(F)$ 로 가는 사상의 핵은 중심이며, 군은 $\mathbb{Z}^4 \times G$ 로 분해되며, 여기서 $G$ 는 10개의 관계로 정의된 군이다.
• 모든 관계(1–10)는 네 개의 구멍 또는 경계를 가진 표면에 대한 기하적 임베딩을 통해 $\mathcal{M}(F)$ 에서 실제로 실현되며, 이는 이 관계들이 매핑 클래스 군 내에서 유효함을 확인한다.