[논문 리뷰] The liftable mapping class group of balanced superelliptic covers

Tyrone Ghaswala, Rebecca R. Winarski|arXiv (Cornell University)|2016. 04. 13.

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

한 줄 요약

이 논문은 평형 수퍼에일리틱 커버의 올림 mapping class group, 즉 구에서의 순환 분지 커버로부터 유도되는 구에 구멍이 난 표면의 mapping class group의 유한지수부분군을 조사한다. 평형 수퍼에일리틱 mapping class group의 구조를 분석함으로써, 저자들은 그의 아벨화를 계산하고, 종수가 홀수일 땐 유한하고 짝수일 땐 무한하다는 것을 보이며, liftable mapping class group이 커버 차수에 독립적임을 증명함으로써, 초타원적 경우의 결과를 일반화하기 위한 기초적인 프레임워크를 제공한다.

ABSTRACT

The hyperelliptic mapping class group has been studied in various contexts within topology and algebraic geometry. What makes this study tractable is that there is a surjective map from the hyperelliptic mapping class group to a mapping class group of a punctured sphere. The more general family of superelliptic mapping class groups does not, in general, surject on to a mapping class group of a punctured sphere, but on to a finite index subgroup. We call this finite index subgroup the liftable mapping class group. In order to initiate the generalization of results on the hyperelliptic mapping class group to the broader family of superelliptic mapping class groups, we study an intermediate family called the balanced superelliptic mapping class group. We compute the index of the liftable mapping class group in the full mapping class group of the sphere and show that the liftable mapping class group is independent of the degree of the cover. We also build a presentation for the liftable mapping class group, compute its abelianization, and show that the balanced superelliptic mapping class group has finite abelianization. Although our calculations focus on the subfamily of balanced superelliptic mapping class groups, our techniques can be extended to any superelliptic mapping class group, even those not within the balanced family.

연구 동기 및 목표

• 초타원적 mapping class group의 결과를 더 넓은 수퍼에일리틱 mapping class group의 가족으로 일반화하기 위해.
• 구멍이 난 구의 mapping class group의 유한지수부분군으로서 liftable mapping class group을 정의하고 연구하기 위해.
• 평형 수퍼에일리틱 커버에 대해 liftable mapping class group의 아벨화를 계산하기 위해.
• liftable mapping class group에 대한 표현을 수립하고 그 대수적 구조를 분석하기 위해.
• liftable mapping class group이 커버 차수에 독립적이며, 이는 기법의 광범위한 적용 가능성을 보장함을 보여주기 위해.

제안 방법

• 저자들은 방정정식 $ y^k = (x-a_1)(x-a_2)^{k-1} \cdots (x-a_n)^{k-1}(x-a_{n+1}) $ 를 사용하여 평형 수퍼에일리틱 커버를 정의하며, 이는 구의 순환 분지 커버를 모델링한다.
• 그들은 갈루아 대응을 사용하여 커버링 공간을 표면의 기본군에서 $ \mathbb{Z}/k\mathbb{Z} $ 로 향하는 전사 준동형사상 $ \phi: \pi_1(\mathbb{P}^1 \setminus \mathcal{B}) \to \mathbb{Z}/k\mathbb{Z} $ 와 연결하며, $ \phi(\gamma_i) \equiv d_i \mod k $ 를 만족시킨다.
• liftable mapping class group $ \operatorname{LMod}_{g,k}(\Sigma_0, \mathcal{B}) $ 는 몫사상에 대한 대칭 mapping class group의 상으로 식별된다.
• 브레인드 관계, 코alescence 관계, 기수 반전 대칭을 사용하여 liftable mapping class group의 표현을 구성한다.
• presentation 행렬의 스미스 정규형을 통해 아벨화를 계산하며, 이는 $ H_1(\operatorname{LMod}_{g,k}; \mathbb{Z}) $ 의 구조를 드러낸다.
• 저자들은 아벨화 함자에 대한 오른쪽 완전성(의존성)을 적용하여 대칭 mapping class group의 아벨화와 liftable 그룹의 아벨화를 연결한다.

실험 결과

연구 질문

• RQ1 평형 수퍼에일리틱 커버에 대해 liftable mapping class group의 구조는 어떠한가? 그리고 전체 구에 구멍이 난 표면의 mapping class group과의 관계는 어떠한가?
• RQ2 liftable mapping class group은 커버 차수 $ k $ 에 독립적인가? 만약 그렇다면, 그 이유는 무엇인가?
• RQ3 liftable mapping class group의 아벨화는 무엇이며, 커버링 표면의 종수에 따라 어떻게 변하는가?
• RQ4 브레인드 및 코alescence 관계를 사용하여 liftable mapping class group에 대한 유한 표현을 구성할 수 있는가?
• RQ5 liftable mapping class group의 첫 번째 Betti 수는 어떻게 행동하는가? 그리고 이는 대칭 mapping class group의 구조에 어떤 함의를 갖는가?

주요 결과

• liftable mapping class group $ \operatorname{LMod}_{g,k}(\Sigma_0, \mathcal{B}) $ 는 커버 차수 $ k $ 에 독립적이며, 이는 핵심적인 구조적 통찰이다.
• n 이 홀수일 때 아벨화 $ H_1(\operatorname{LMod}_{g,k}; \mathbb{Z}) $ 는 $ \mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z} \times \mathbb{Z} $ 와 동형이며, n 이 짝수일 땐 $ \mathbb{Z}/2\mathbb{Z} \times \mathbb{Z} $ 와 동형이다.
• liftable mapping class group $ \operatorname{LMod}_{g,k}(\Sigma_0, \mathcal{B}) $ 의 첫 번째 Betti 수는 1이며, 이는 짝수 경우에 아벨화가 무한하다는 것을 의미한다.
• liftable mapping class group의 표현은 브레인드 관계, 코alescence 대칭, 기수 반전 관계로부터 유도되며, 유한 생성 집합을 갖는다.
• 대칭 mapping class group $ \operatorname{SMod}_{g,k}(\Sigma_g) $ 의 아벨화는 유한하지 않고 순환적이지 않으며, 유한 핵을 가진 채널을 통해 $ H_1(\operatorname{LMod}_{g,k}; \mathbb{Z}) $ 에로의 전사 사상이 존재한다.
• presentation 행렬의 스미스 정규형은 아벨화의 토르션 부분과 자유 부분의 구조를 확인하며, 이는 $ n $ 의 기수에 따라 다릅니다.