[논문 리뷰] Mapping class groups are not linear in positive characteristic

J. O. Button|arXiv (Cornell University)|2016. 10. 26.

Geometric and Algebraic Topology참고 문헌 2인용 수 4

한 줄 요약

이 논문은 임의의 양의 특성수를 가진 체 위에서, 임의의 표면의 위상수학적 성질이 3 이상인 경우, 그 표면의 매핑 클래스 군은 어떤 유한 차원에서도 충실한 선형 표현을 가지지 못함을 증명한다. 이는 표면이 닫혀 있든 구멍이 있든 경계가 있든 간에 동일하게 성립한다. 이 증명의 핵심은, 이러한 표현에서, 무한 순서를 가진 딜 투습(Dehn twist)이 중심화자(abelianisation)의 무한 순서 원소로 매핑되어야 한다는 점에 있다. 그러나 양의 특성수를 가진 체 위의 선형군에서는 원소의 거듭제곱이 결국 대각화 가능해지며, 이 경우 중심화자의 아벨화에서는 유한 순서 원소만 존재할 수 있다는 알려진 성질과 모순된다.

ABSTRACT

For $Σ$ an orientable surface of finite topological type having genus at least 3 (possibly closed or possibly with any number of punctures or boundary components), we show that the mapping class group $Mod(Σ)$ has no faithful linear representation in any dimension over any field of positive characteristic.

연구 동기 및 목표

• 위수 ≥3인 표면의 매핑 클래스 군이 양의 특성수를 가진 어떤 체 위에서 충실한 선형 표현을 가지는지 여부를 규명하는 것.
• 기하군론에서 오랫동안 미해결된 문제인, 매핑 클래스 군의 양의 특성수에서의 선형성 문제를 해결하는 것.
• 기존의 특성수 0에서의 비선형성 결과를 양의 특성수 설정으로 확장하는 것.
• 무한 순서 원소의 중심화자의 아벨화에 기반한 구조적 장애를 설정하는 것.
• 매핑 클래스 군이 CAT(0) 공간 위에서 올바르고 반단순적으로 작용하는 기하적 성질이 비선형성과 일치한다는 것을 보여주는 것.

제안 방법

• 양의 특성수를 가진 대수적으로 닫힌 체 위의 선형군에서, 임의의 원소의 거듭제곱이 대각화 가능하다는 사실을 이용하는 것.
• 모든 g ∈ GL(d, F)에 대해 g^K 가 대각화 가능해지는 통일된 지수 K(특성수의 거듭제곱)의 존재를 활용하는 것.
• g^K 가 대각행렬일 때, g^K 와 가환하는 행렬의 블록 구조를 분석하여 중심화자의 블록 행렬으로의 분해를 이끌어내는 것.
• 각 블록의 구조를 유지하는 중심화자에서 체의 곱셈군으로의 부분행렬식 준동형사상 det_i 를 정의하는 것.
• g^K 의 모든 고유값이 유한 순서일 경우, g 는 유한 순서를 가져야 한다는 것을 보여, 딜 투습이 무한 순서임에 모순됨.
• 이 모순을 매핑 클래스 군 내의 딜 투습 중심화자에 적용하며, 그 중심화자의 아벨화가 유한하다는 알려진 사실을 활용하는 것.

실험 결과

연구 질문

• RQ1 위수 ≥3인 표면의 매핑 클래스 군이 어떤 양의 특성수 체 위에서라도 충실한 선형 표현을 가질 수 있는가?
• RQ2 양의 특성수에서 선형군 원소의 거듭제곱이 대각화 가능해지는 성질이, 무한 순서 원소의 중심화자에서 구조적 장애를 초래하는가?
• RQ3 CAT(0) 공간 위에서의 적절하고 반단순적인 작용이 존재하지 않는다는 성질과, 양의 특성수에서의 비선형성 사이에 연결 고리가 존재하는가?
• RQ4 매핑 클래스 군 내의 딜 투습 중심화자의 아벨화가, 양의 특성수에서의 선형성 장애를 설명하는 데 사용될 수 있는가?
• RQ5 중심화자의 아벨화에서 무한 순서를 탐지하지 못하는 행렬식 유사 준동형사상의 실패가, 양의 특성수에서의 비선형성과 관련이 있는가?

주요 결과

• 모든 양의 특성수 체에 대해, 일정한 지수 K(특성수의 거듭제곱)가 존재하여, GL(d, F) 내의 모든 g 에 대해 g^K 가 대각화 가능하다.
• 양의 특성수 체 위의 선형군에서, 원소 g 가 무한 순서를 가진다면, 그 중심화자에서의 어떤 부분행렬식 준동형사상도 g 를 중심화자의 아벨화에서 무한 순서 원소로 매핑해야 한다.
• 위수 ≥3인 표면의 매핑 클래스 군 내의 딜 투습 중심화자의 아벨화는 유한하나, 이는 양의 특성수 체 위의 선형 표현에서 요구되는 조건과 모순된다.
• 이 모순은 매핑 클래스 군이 어떤 양의 특성수 체 위에서라도 충실한 선형 표현을 가질 수 없음을 시사한다.
• 표면의 구멍 수나 경계 성분의 수에 관계없이, 위수가 3 이상이면 결과가 동일하게 성립한다.
• 이 증명은 모든 차원과 모든 양의 특성수 체에 대해 균일하게 적용 가능한 구조적 장애를 확립한다.