[논문 리뷰] On the linearity of certain mapping class groups

Mustafa Korkmaz|ArXiv.org|2000. 10. 27.

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

한 줄 요약

이 논문은 브레인드 군의 선형성에 기반하여 특정 매핑 클래스 군의 선형성을 확립한다. 특히 브레인드 군의 선형성에 기반하여 군론적 기법—특히 유한지수 부분군과 중심화자 구성—을 사용하여, 구에 구멍이 있는 매핑 클래스 군과 히퍼에일리프틱 매핑 클래스 군이 선형임을 증명한다. 특히, 종수 2 곡면의 매핑 클래스 군은 선형이다.

ABSTRACT

S. Bigelow proved that the braid groups are linear. That is, there is a faithful representation of the braid group into the general linear group of some field. Using this, we deduce from previously known results that the mapping class group of a sphere with punctures and hyperelliptic mapping class groups are linear. In particular, the mapping class group of a closed orientable surface of genus 2 is linear.

연구 동기 및 목표

• 특정 매핑 클래스 군이 선형인지 여부에 대한 열린 문제를 해결한다. 특히 브레인드 군과 히퍼에일리프틱 구조와 관련된 군에 초점을 맞춘다.
• 빅엘로의 브레인드 군 선형성 결과를 군론적 구성 방법을 통해 더 넓은 범주로 확장한다.
• 종수 2 곡면의 매핑 클래스 군이 선형임을 보이며, 이는 저차원 위상수학에서 중요한 결과이다.
• 대수적이고 기하학적인 기법을 사용하여 실수체 위에서 이러한 군에 대한 명시적 선형 표현을 제공한다.
• 기존의 브레인드 군의 선형성 결과를 바탕으로 매핑 클래스 군의 부분군과 몫군의 선형성을 유도하는 프레임워크를 수립한다.

제안 방법

• 빅엘로의 브레인드 군 $ B_n $ 이 선형임을 증명한 바에 기반하여, 특히 $ GL\left(\frac{n(n-1)}{2}, \mathbb{R}\right) $ 에 대한 충실한 표현을 통한 임베딩을 사용한다.
• 구멍이 있는 디스크의 동형변환을 $ n $개의 마킹점이 있는 구로 확장함으로써, $ \varphi: B_{n-1} \to \mathcal{M}_{0,n} $ 라는 준동형사를 구성한다. 이의 핵은 $ B_{n-1} $ 의 중심과 일치한다.
• 정리 2를 적용하여, $ B_{n-1}/C(B_{n-1}) $ 가 $ \mathcal{M}_{0,n} $ 의 유한지수 부분군과 동형임을 보이고, 이 군이 선형임을 증명한다.
• 정리 4를 사용하여, 유한지수 부분군의 선형성이 전체 군의 선형성으로 이어짐을 적용한다.
• 히퍼에일리프틱 매핑 클래스 군의 경우, 짧은 정확수열 $ 1 \to \mathbb{Z}_2 \to C_{\mathcal{M}_g}(\jmath) \to \mathcal{M}_{0,2g+2} \to 1 $ 을 구성한다. 여기서 $ \jmath $ 는 히퍼에일리프틱 반전이다.
• 매핑 클래스 군 $ \mathcal{M}_g $ 의 심플렉틱 표현 $ \rho: \mathcal{M}_g \to Sp(2g,3) $ 의 핵과 히퍼에일리프틱 군의 교차를 취함으로써, 유한지수 선형 부분군을 얻고, 정리 4를 적용하여 전체 군의 선형성을 결론짓는다.

실험 결과

연구 질문

• RQ1 브레인드 군의 선형성은 구에 구멍이 있는 매핑 클래스 군으로 확장될 수 있는가?
• RQ2 히퍼에일리프틱 매핑 클래스 군은 선형인가? 만약 그렇다면 어떤 조건에서인가?
• RQ3 종수 2 곡면의 매핑 클래스 군은 선형인가? 그리고 이는 기존의 선형성 결과로부터 유추될 수 있는가?
• RQ4 이 매핑 클래스 군들의 실수체 위에서의 명시적 선형 표현은 무엇인가?
• RQ5 중앙화자와 유한지수 부분군은 매핑 클래스 군의 맥락에서 선형성을 어떻게 유지하는가?

주요 결과

• 모든 $ n $ 에 대해 $ n $ 개의 마킹점이 있는 구의 매핑 클래스 군 $ \mathcal{M}_{0,n} $ 는 선형이다. 이는 브레인드 군의 선형성과 유한지수 부분군의 선형성 전이에 기반하여 증명된다.
• 종수 $ g $ 의 곡면에 대한 히퍼에일리프틱 매핑 클래스 군은 선형이며, 이 증명은 심플렉틱 표현에 의한 선형 부분군의 유한지수 임베딩에 기반한다.
• 종수 2 곡면의 매핑 클래스 군은 선형이다. 이는 그 군이 히퍼에일리프틱 부분군과 일치하기 때문이며, 이 부분군이 선형임이 입증되었다.
• $ \mathcal{M}_{0,n} $ 에 대한 명시적 선형 표현을 $ GL\left(\frac{n(n-1)^2(n-2)^2}{4}, \mathbb{R}\right) $ 로 구성하였다.
• 종수 $ g $ 의 히퍼에일리프틱 매핑 클래스 군에 대한 명시적 선형 표현을 $ GL\left(2(g+1)g^2(2g+1)^2 3^{g^2} \prod_{i=1}^g (3^{2i}-1), \mathbb{R}\right) $ 로 유도하였다.
• $ \mathcal{M}_2 $ 는 $ GL(2^{10} \cdot 3^5 \cdot 5^3, \mathbb{R}) $ 에 임베딩되며, 이는 선형 표현의 차수에 대한 구체적인 상한을 제공한다.