[논문 리뷰] Finite p-Irregular Subgroups of PGL(2,k)

Xander Faber|arXiv (Cornell University)|2011. 12. 09.

Algebraic Geometry and Number Theory참고 문헌 3인용 수 12

한 줄 요약

이 논문은 임의의 양의 표수 $p$를 가진 체 $k$에 대해 $\operatorname{PGL}_2(k)$의 유한한 $p$-비정칙 부분군을 동치류에 따라 분류하며, 클라인과 딕슨이 시작한 고전적 프로그램을 완성한다. 군 작용, 시로우 정리, 갈루아 코hom로지 등을 사용하여 이러한 부분군이 $\operatorname{PSL}_2(\mathbb{F}_q)$, $\operatorname{PGL}_2(\mathbb{F}_q)$, $p$-준원소군, 딜레하르군, 또는 $\mathfrak{A}_5$와 동형임을 보이며, 존재성 및 동치류에 따른 유일성 조건을 명시적으로 제시한다.

ABSTRACT

In the late 19th century, Klein inaugurated a program for describing the finite subgroups of $PGL_2(k)$ by treating the case in which the field $k$ is the complex numbers. Gierster and Moore extended Klein's arguments to deal with finite fields. In the past century, additional contributions to this problem were made by Serre, Suzuki, and Beauville, among others. We complete this program by giving a classification of the finite subgroups of $PGL_2(k)$ with order divisible by $p$, up to conjugation, for an arbitrary field $k$ of positive characteristic $p$.

연구 동기 및 목표

• 표수 $p>0$인 체 $k$에 대해 $\operatorname{PGL}_2(k)$의 유한 부분군을 분류하는 것을 완성하며, 특히 순서가 $p$로 나누어지는 $p$-비정칙 부분군에 초점을 맞춘다.
• 클라인, 딕슨, 세르, 르보빌의 고전적 결과를 확장하여, 임의의 표수 $p>0$인 체 $k$에 대해 포괄적이고 자가 포함된 분류를 제공한다.
• 이전 문헌에서 직접 인용 가능한 형태로 명시적으로 분류되지 않았던 $p$-비정칙 부분군의 경우를 해결한다.
• 예를 들어, 소수 모듈로로 환원하여 $\mathbb{Q}$ 위의 유리 함수의 자기동형군을 계산하는 알고리즘적 응용을 위한 기초를 마련한다.

제안 방법

• 기초 군론, 특히 시로우 정리와 $\mathbb{P}^1(k)$ 위의 군 작용을 이용하여 대수적으로 닫힌 체 위에서 $p$-정칙 및 $p$-비정칙 부분군을 분류한다.
• 작은 순서를 가진 원소를 특성화하기 위해 추적 및 행렬식 항등식을 적용하여 순환 및 딜레하르 부분군을 분류한다.
• 갈루아 내림과 코hom로지 방법을 사용하여 분비적으로 닫힌 체에서의 결과를 임의의 체 $k$로 확장하며, $p$-비정칙 군에 대해 관련 코호몰로지 집합이 자명함을 활용한다.
• $\mathbb{P}^1(k)$ 위에서의 작용을 통해 $p$-준원소군을 분석하고, 유일한 $\mathbb{F}_q$-유리점이 고정됨을 보이며, 특정 곱셈 및 덧셈 성분을 가진 상삼각행렬로 동치임을 보인다.
• 이차형식 $q(x,y,z) = x^2 + yz$에 대해 $\operatorname{PGL}_2(k) \cong \mathrm{SO}(k,q)$라는 뜻밖의 동형을 사용하여 르보빌의 코호몰로지 접근법의 기초를 제공한다.
• 수론적 조건을 통해 $\mathfrak{A}_4$, $\mathfrak{S}_4$, $\mathfrak{A}_5$, $\operatorname{PSL}_2(\mathbb{F}_q)$, $\operatorname{PGL}_2(\mathbb{F}_q)$ 부분군의 존재성 및 동치류 조건을 확립한다.

실험 결과

연구 질문

• RQ1 표수 $p>0$인 임의의 체 $k$에 대해 $\operatorname{PGL}_2(k)$의 유한한 $p$-비정칙 부분군의 동형 유형은 무엇인가?
• RQ2 $\operatorname{PSL}_2(\mathbb{F}_q)$ 또는 $\operatorname{PGL}_2(\mathbb{F}_q)$와 동형인 $p$-비정칙 부분군이 존재하기 위한 체 $k$에 대한 조건은 무엇인가?
• RQ3 그러한 부분군의 동치류는 몇 개인가, 그리고 그것들이 동치류에 대해 유일한지를 결정하는 요건은 무엇인가?
• RQ4 $p$-준원소군의 구조는 어떻게 되며, 유한체 위에서 어떻게 매개변수화되는가?
• RQ5 $p$-비정칙 부분군의 분류는 어떻게 활용되어 $\mathbb{Q}$ 위의 유리 함수의 자기동형군을 소수 모듈로로 환원하여 계산할 수 있는가?

주요 결과

• 유한한 $p$-비정칙 부분군은 $\operatorname{PSL}_2(\mathbb{F}_q)$, $\operatorname{PGL}_2(\mathbb{F}_q)$, $p$-준원소군, 딜레하르군, 또는 $\mathfrak{A}_5$와 동형이며, 그 외의 동형 유형은 존재하지 않는다.
• $\operatorname{PSL}_2(\mathbb{F}_q)$ 및 $\operatorname{PGL}_2(\mathbb{F}_q)$의 경우, 이러한 부분군이 $\operatorname{PGL}_2(k)$에 존재하는 것은 $\mathbb{F}_q \subset k$일 때에만 가능하며, 이 경우 유일한 동치류를 이룬다.
• 순서가 $2n$이고 $n$이 홀수이며 $p=2$인 딜레하르 부분군은 $q \equiv \pm 1 \pmod{n}$일 때 존재하며, 이 경우 동치류에 대해 유일하다.
• 정사면체형($\mathfrak{A}_4$) 및 정팔면체형($\mathfrak{S}_4$) 부분군은 $\mathbb{F}_q$에서 $-1$이 두 제곱수의 합임을 조건으로 하며, 이는 $p \neq 2$일 때 항상 성립하고, $p=2$일 경우 $\mathbb{F}_{2^r}$에서 $r$가 짝수여야 한다.
• 이십면체형 부분군($\mathfrak{A}_5$)은 $p \neq 2,5$일 때 $\sqrt{5} \in \mathbb{F}_q$여야 하고, $p=2$일 때는 $q \equiv \pm 1 \pmod{5}$여야 하며, 모든 경우에서 동치류에 대해 유일하다.
• 순서가 $p^m n$인 $p$-준원소군의 동치류는 $\mathbb{F}_q$의 $\mathbb{F}_{p^e}$-벡터 부분공간의 동치류(비례류)로 매개변수화되며, 여기서 $e$는 $p$가 $n$에 대해 모듈로 순서를 가지며 $e \mid \gcd(r,m)$이다.