[논문 리뷰] The symplectic representation of the mapping class group is unique

Mustafa Korkmaz|arXiv (Cornell University)|2011. 08. 16.

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

한 줄 요약

이 논문은 임의의 비자명한 준동형사상이 존재할 경우, $ g \geq 3 $ 인 경우, 표면의 매핑 클래스 군에서 $ \mathrm{GL}(2g,\mathbb{C}) $ 로의 모든 비자명한 준동형사상이 표준 심플렉틱 표현과 켤레임을 증명한다. 또한 매핑 클래스 군의 충실한 선형 표현이 차원 $ \leq 3g-3 $ 에서 존재하지 않음을 보여, 선형성의 날카로운 경계를 확립하고, 심플렉틱 표현의 유일성을 입증한다.

ABSTRACT

Any nontrivial homomorphism from the mapping class group of an orientable surface of genus $g\geq 3$ to $\GL(2g,\C)$ is conjugate to the standard symplectic representation. It is also shown that the mapping class group has no faithful linear representation in dimensions less than or equal to $3g-3$.

연구 동기 및 목표

• 매핑 클래스 군의 차원 $ 2g $ 에서의 심플렉틱 표현의 유일성을 확립하기 위해.
• 매핑 클래스 군의 충실한 선형 표현이 존재할 수 있는 최소 차원을 규명하기 위해.
• 매핑 클래스 군의 낮은 차원 표현에서의 선형성 문제를 해결하기 위해.
• 모든 비자명한 준동형사상이 $ g \geq 3 $ 인 경우 $ \mathrm{GL}(2g,\mathbb{C}) $ 로 가는 표준 심플렉틱 표현과 켤레임을 보여주기 위해.

제안 방법

• 데인 투습의 동작이 호모로지에 미치는 영향과 $ \mathbb{C}^{2g} $ 내에서의 고유값 구조를 분석한다.
• 비분리 곡선에 대해 데인 투습과 관련된 심플렉틱 행렬을 블록 분해를 통해 표현한다.
• 종수에 대한 귀납법을 사용하고, 매핑 클래스 군의 작용 하에서 고유공간의 불변성을 이용한다.
• 데인 투습 이미지의 브레드 관계와 교환법칙 성질을 활용하여 가능한 표현을 제약한다.
• 매핑 클래스 군의 유한 몫과 도출 부분군에 대한 기존 결과를 활용하여 비자명한 표현이 존재하지 않음을 배제한다.
• 매핑 클래스 군에서 $ \mathrm{Sp}(2g,\mathbb{Z}) $ 로 가는 사상의 핵이 임의의 이러한 표현의 핵에 포함됨을 이용하여, 표준 심플렉틱 표현과 켤레임을 유도한다.

실험 결과

연구 질문

• RQ1 임의의 $ g \geq 3 $ 에 대해, 매핑 클래스 군에서 $ \mathrm{GL}(2g,\mathbb{C}) $ 로의 표준 심플렉틱 표현 이외에 비자명한 준동형사상이 존재하는가?
• RQ2 매핑 클래스 군이 $ \mathrm{GL}(n,\mathbb{C}) $ 로 충실한 선형 표현을 가질 수 있는 최소 차원 $ n $ 은 얼마인가?
• RQ3 차원 $ n \leq 3g-3 $ 에서 매핑 클래스 군에서 $ \mathrm{GL}(n,\mathbb{C}) $ 로의 비자명한 준동형사상이 단사일 수 있는가?
• RQ4 데인 투습 이미지의 고유공간은 매핑 클래스 군의 선형 표현의 구조를 어떻게 제약하는가?
• RQ5 도출 부분군 $ T_X^{(n)} $ 은 매핑 클래스 군의 표현을 분류하는 데 어떤 역할을 하는가?

주요 결과

• $ g \geq 3 $ 인 경우, 모든 비자명한 준동형사상 $ \phi: \mathrm{Mod}(S) \to \mathrm{GL}(2g,\mathbb{C}) $ 는 표준 심플렉틱 표현과 켤레임을 가진다.
• $ g \geq 3 $ 인 경우, 매핑 클래스 군의 충실한 선형 표현은 차원 $ n \leq 3g-3 $ 에서 존재하지 않는다.
• $ n \leq 2g $ 인 경우, 임의의 준동형사상 $ \phi: \mathrm{Mod}(S) \to \mathrm{GL}(n,\mathbb{C}) $ 의 이미지는 아벨화를 통해 인자화되며, $ g \geq 3 $ 인 경우 자명함을 의미한다.
• $ \mathrm{Mod}(S) \to \mathrm{Sp}(2g,\mathbb{Z}) $ 의 핵이 임의의 이러한 표현의 핵에 포함되므로, 표준 심플렉틱 표현과 켤레임을 유도한다.
• $ g \geq 3 $ 인 경우, $ \mathrm{PSp}(2g,\mathbb{Z}) $ 에서 $ \mathrm{GL}(n,\mathbb{C}) $ 로의 모든 준동형사상은 $ n \leq 2g $ 일 때 자명하다.
• $ \mathrm{Mod}(S) $ 의 유한 몫은 $ \mathrm{GL}(2g,\mathbb{C}) $ 로 비자명한 준동형사상을 가지지 않으며, 이는 표현의 강성( rigidity )을 확인한다.