[논문 리뷰] Deformation theory and finite simple quotients of triangle groups I

Michael Larsen, Alexander Lubotzky외 1명|arXiv (Cornell University)|2013. 01. 14.

Finite Group Theory Research참고 문헌 20인용 수 4

한 줄 요약

이 논문은 대수적 군 위의 표현 다양체를 사용하여 초구형 삼각형 군 $T_{a,b,c}$ 의 유한 단순 몫을 분류하는 새로운 변형 이론적 접근을 제시한다. 모든 초구형 삼면체 $(a,b,c)$ 에 대해, 논문은 $T_{a,b,c}$ 가 주어진 기약 딜린 타입 $X$ 의 유한 단순 몫을 무한히 포함함을 증명하며, 논문의 표에 나열된 유한한 수의 예외 케이스를 제외하고는 이를 확인하고 기존 마리온의 추측을 확장한다.

ABSTRACT

Let $2 \leq a \leq b \leq c \in \mathbb{N}$ with $μ=1/a+1/b+1/c<1$ and let $T=T_{a,b,c}=< x,y,z: x^a=y^b=z^c=xyz=1>$ be the corresponding hyperbolic triangle group. Many papers have been dedicated to the following question: what are the finite (simple) groups which appear as quotients of $T$? (Classically, for $(a,b,c)=(2,3,7)$ and more recently also for general $(a,b,c)$.) These papers have used either explicit constructive methods or probabilistic ones. The goal of this paper is to present a new approach based on the theory of representation varieties (via deformation theory). As a corollary we essentially prove a conjecture of Marion [21] showing that various finite simple groups are not quotients of $T$, as well as positive results showing that many finite simple groups are quotients of $T$.

연구 동기 및 목표

• 초구형 삼각형 군의 유한 단순 몫을 연구하기 위해 표현 다양체의 변형 이론에 기반한 새로운 방법을 개발하는 것.
• 마리온이 제기한, 어떤 유한 단순 군이 삼각형 군의 몫이 되지 않는지를 규명하는 추측을 해결하는 것.
• 초구형 삼각형 군이 주어진 딜린 타입의 유한 단순 군으로 전사하는 조건을 설정하는 것.
• 대수적 군 이론의 기하학적 및 코homological 기법을 사용하여 유한 단순 몫을 체계적으로 분류하는 것.

제안 방법

• 표현 다양체 $\mathrm{Hom}(T, \underline{G})$ 를 사용하며, 여기서 $T = T_{a,b,c}$ 는 초구형 삼각형 군이고 $\underline{G}$ 는 체 $\mathbb{F}$ 위의 준단순 대수적 군이다.
• 군 코hom올로지 $H^1(T, \mathrm{Ad} \circ \rho)$ 를 통해 표현 다양체의 자리키 탄성 공간을 분석하기 위해 변형 이론을 적용한다.
• 자리키 조밀한 이미지를 가진 국소적으로 강한 표현의 존재는 유한 체 위의 유한 단순 몫에 대한 포화를 암시한다.
• 형식 $X$ 의 컴팩트 리 군 $G$ 에 대한 표현 $\rho_0^\mathfrak{G}$ 를 구성한 후, $\mathrm{SO}(3,\mathbb{R})$ 에서의 주요 동형사상을 통해 변형을 수행한다.
• 부분 대수 $\mathfrak{h} \subset \mathfrak{g}$ 에 대해 $H^1(T, \mathfrak{g})$ 와 $H^1(T, \mathfrak{h})$ 간의 코homological 비교를 하며, 지수와 내림함수를 사용하여 변형 공간의 영이 아닌 성질을 검증한다.
• 핵심 기술 도구는 정리 5.8이며, 이는 다양한 대수적 군 간의 코homology 차원을 연결하여 비강한, 자리키 조밀한 표현의 구성 가능성을 보장한다.

실험 결과

연구 질문

• RQ1 어떤 초구형 삼각형 군 $T_{a,b,c}$ 와 딜린 타입 $X$ 에 대해 $T_{a,b,c}$ 가 타입 $X$ 의 유한 단순 군으로 무한히 전사하는가?
• RQ2 어떤 유한 단순 군이 주어진 초구형 삼각형 군 $T_{a,b,c}$ 의 몫이 아니며, 이는 코homological 장벽을 통해 결정될 수 있는가?
• RQ3 표현 다양체의 변형 이론을 사용하여 $T_{a,b,c}$ 가 주어진 타입의 유한 단순 몫에 대해 포화됨을 증명할 수 있는가?
• RQ4 $H^1(T, \mathrm{Ad} \circ \rho)$ 가 언제 0이 되거나 비자명하게 유지되는가? 이는 유한 몫의 존재에 어떤 영향을 미치는가?
• RQ5 표 1에 나열된 예외 케이스는 진정한 예외인가, 아니면 더 정교한 분석으로 제거될 수 있는가?

주요 결과

• 논문은 모든 초구형 삼각형 군 $T_{a,b,c}$ 와 모든 기약 딜린 다이어그램 $X$ 에 대해, 표 1에 나열된 유한한 수의 예외 케이스를 제외하고는 $T_{a,b,c}$ 가 타입 $X$ 의 유한 몫을 포함함을 증명한다.
• 예외 케이스는 유한한 수임이 입증되었으며, 논문은 향후 논문에서 더 정교한 기법을 사용하여 이를 해결할 것임을 제안한다.
• 표현 $\rho_3: T \to \underline{G}(\mathbb{R})$ 가 국소적으로 강하지 않고 자리키 조밀한 성질을 갖는다는 사실은, 모든 $\ell \in \mathbb{N}$ 과 충분히 큰 소수 $p$ 에 대해 $T$ 가 $X(q^{e\ell})$ 로 전사함을 암시하며, 이는 양의 밀도를 가진다.
• 비예외 케이스 전반에 걸쳐 $\dim H^1(T, \mathfrak{g}) > \dim H^1(T, \mathfrak{h})$ 라는 코homological 조건이 확립되었으며, 이는 비자명한 변형 공간을 보장한다.
• $X = D_4$ 인 경우, $n_2 \neq 3$ 라면 부등식 $\dim H^1(T, \mathfrak{g}) > \dim H^1(T, \mathfrak{h})$ 가 성립하며, 이는 $(2,3,7)$ 이 예외가 되는 것을 배제한다.
• $X = A_6$ 인 경우, $(a,b,c) \in \{(2,4,5), (2,4,6)\}$ 를 제외한 조건에서 부등식이 성립하며, 이는 이들이 유일한 잠재적 예외임을 확인한다.