[논문 리뷰] A presentation for the mapping class group of a nonorientable surface

Luis Paris, Błażej Szepietowski|arXiv (Cornell University)|2013. 08. 27.

Geometric and Algebraic Topology참고 문헌 27인용 수 10

한 줄 요약

이 논문은 $n \in \{0,1\}$ 이고 $g+n > 3$ 인 비유도 가능 표면 $\mathcal{M}(N_{g,n})$ 의 맵핑 클래스 군에 대한 최초의 명시적 유한 표현을 제공한다. 브라운의 방법에 기반한 알고리즘과 곡선 복합체 위의 작용을 이용하여, 임베딩된 유도 가능 표면에서 온 디한 트위스트와 브레인드 유사 구조에서 온 크로스캡 트랜스포지션을 조합함으로써 표현을 구성한다. 관계는 세 가지 가족으로 분류된다: 디한 트위스트 관계, 브레인드 관계, 혼합 관계.

ABSTRACT

Let $N_{g,n}$ denote the nonorientable surface of genus $g$ with $n$ boundary components and $M(N_{g,n})$ its mapping class group. We obtain an explicit finite presentation of $M(N_{g,n})$ for $n=0,1$ and all $g$ such that $g+n>3$.

연구 동기 및 목표

• 유도 가능 표면의 맵핑 클래스 군에 대한 명시적 유한 표현을 제공하는 것, $\mathcal{M}(N_{g,n})$ 는 계수 $g$ 와 $n \in \{0,1\}$ 인 경계 성분을 가진 비유도 가능 표면이다.
• 기존에 소수의 계수에서만 알려져 있던 맵핑 클래스 군의 유한 표현을 유도 가능 표면에서 비유도 가능 표면으로 확장하는 것.
• 순서화된 곡선 복합체 위의 작용을 이용한 통일된 표현 구성 방법을 확립하는 것.
• 기저 사례 $ (g,n) = (3,1) $ 과 $ (4,0) $ 를 사용한 귀납법을 통한 증명을 수행하며, 안정자 계산과 단순체 복합체 분석을 통해 관계를 검증하는 것.

제안 방법

• 단순 연결 복합체 위의 군 작용으로부터 군 표현을 계산하는 데 기반한 브라운의 방법에 기반한 알고리즘을 적용한다.
• $\mathcal{M}(N_{g,n})$ 이 순서화된 곡선 복합체 위에 작용함으로써 정점과 변의 안정자를 계산한다.
• $\mathcal{M}(N_{g,1})$ 을 자유곱 $\mathcal{M}(S_{\rho,r}) \ast \mathcal{M}(S_{0,1}, \mathcal{P}_g) $ 의 몫으로 구성한다. 여기서 $g = 2\rho + r$, $r \in \{1,2\}$.
• 생성자를 식별한다: $\mathcal{M}(S_{\rho,r})$ 에서 온 디한 트위스트와 $g-1$ 개의 크로스캡 트랜스포지션.
• 세 가지 유형의 관계를 유도한다: (A) $\mathcal{M}(S_{\rho,r})$ 에서의 디한 트위스트 관계, (B) 크로스캡 트랜스포지션 간의 브레인드 관계, (C) 두 유형 간의 혼합 관계.
• $\mathcal{M}(N_{g,0})$ 을 $\mathcal{M}(N_{g,1})$ 에서 세 가지 특정 관계를 추가하여 얻으며, 닫힌 경우의 표현을 완성한다.

실험 결과

연구 질문

• RQ1 $n \in \{0,1\}$ 이고 $g+n > 3$ 인 경우 $\mathcal{M}(N_{g,n})$ 에 대해 명시적 유한 표현을 구성할 수 있는가?
• RQ2 $\mathcal{M}(N_{g,n})$ 이 유도 가능 표면의 임베딩과 브레인드 유사 구조를 이용해 대수적으로 어떻게 분해될 수 있는가?
• RQ3 $\mathcal{M}(N_{g,n})$ 에서 디한 트위스트와 크로스캡 트랜스포지션 간의 상호작용을 규정하는 정의 관계는 무엇인가?
• RQ4 $\mathcal{M}(N_{g,n})$ 이 순서화된 곡선 복합체 위에 작용함으로써 어떻게 명시적 유한 표현을 도출할 수 있는가?
• RQ5 비유도 가능 표면의 맵핑 클래스 군과 그 이중 덮개의 맵핑 클래스 군 간의 관계는 무엇인가?

주요 결과

• 논문은 모든 $g > 3$ 에 대해 $\mathcal{M}(N_{g,1})$ 에 대한 명시적 유한 표현을 제공하며, 이는 자유곱 $\mathcal{M}(S_{\rho,r}) \ast \mathcal{M}(S_{0,1}, \mathcal{P}_g)$ 의 몫으로 표현된다. 여기서 $g = 2\rho + r$, $r \in \{1,2\}$.
• $\mathcal{M}(N_{g,1})$ 의 표현은 세 가지 유형의 관계로 주어진다: (A) $\mathcal{M}(S_{\rho,r})$ 에서의 디한 트위스트 관계, (B) $g-1$ 개의 크로스캡 트랜스포지션 간의 브레인드 관계, (C) 디한 트위스트와 크로스캡 트랜스포지션 간의 혼합 관계.
• $\mathcal{M}(N_{g,0})$ 의 표현은 $\mathcal{M}(N_{g,1})$ 에서 정확히 세 개의 추가 관계를 추가함으로써 도출된다.
• 기저 사례인 $\mathcal{M}(N_{3,1})$ 과 $\mathcal{M}(N_{4,0})$ 는 4장에서 검증되어 귀납 증명의 기초가 된다.
• 주요 정리의 증명은 순서화된 곡선 복합체에서 정점과 변의 안정자를 계산하고, 차원 1 및 2의 단체에 대한 관계를 검증하는 데 의존한다.
• 저자는 모든 관계 (2)–(9) 및 (H1)–(H6) 가 초기 관계 (0), (1), 및 (H1)–(H6) 의 결과임을 보여주며, 표현의 일관성을 확인한다.