[논문 리뷰] Bounds on the number and sizes of conjugacy classes in finite Chevalley groups with Applications to Derangements

Jason Fulman, Robert M. Guralnick|ArXiv.org|2009. 02. 13.

Finite Group Theory Research참고 문헌 26인용 수 5

한 줄 요약

이 논문은 유한 체발리 군에서 공轭류의 수와 크기의 명시적이고 균일한 상계를 확립하며, $k(G^F) \leq 27.2q^r$임을 증명하고 $q \to \infty$일 때 $q^r$로 수렴함을 보이며, 준단순 및 불변 공轭류에 대해 날카러운 상계를 제공한다. 이러한 결과는 유한 단순군의 임의의 추이적 작용에서의 이동원에 대한 보스턴-샤일레브 추측의 강력한 형태를 해결한다.

ABSTRACT

We present explicit upper bounds for the number and size of conjugacy classes in finite Chevalley groups and their variations. These results have been used by many authors to study zeta functions associated to representations of finite simple groups, random walks on Chevalley groups, the final solution to the Ore conjecture about commutators in finite simple groups and other similar problems. In this paper, we solve a strong version of the Boston-Shalev conjecture on derangements in simple groups for most of the families of primitive permutation group representations of finite simple groups (the remaining cases are settled in two other papers of the authors and applications are given in a third).

연구 동기 및 목표

• 유한 체발리 군에서 공轭류의 수와 크기에 대한 명시적이고 균일한 상계를 얻고자 하며, 이는 랭크에 독립적이다.
• 유한 단순군의 임의의 추이적 작용에서 이동원 비율에 대한 보스턴-샤일레브 추측의 강력한 형태를 해결하고자 한다.
• 유한 리 군의 유형에 대한 제타 함수, 랜덤 워크, 교환자 이론, 표현 이론 등 응용을 위한 도구를 제공하고자 한다.
• 외부 자동환의 임의의 구조를 가진 거의 단순군으로 상계를 확장하고자 하며, 모든 유형의 군 확장을 포함한다.
• 특히 이동원의 맥락에서 거의 단순군의 최대부분군이 공轭류 수 계산에 기여하는 정도를 분석하고자 한다.

제안 방법

• 체발리 군에서 공轭류 수를 제한하기 위해 루스트지의 불변 공轭류 이론과 특성 셰이브 이론을 사용한다.
• 스테인베르그의 텐서곱 정리와 표현 이론을 적용하여 거의 단순군의 최대부분군을 분류한다.
• 표현 유형과 체의 구조에 따라 최대부분군을 네 가지 가족 $\mathcal{S}_1$에서 $\mathcal{S}_4$로 분해한다.
• 랭크에 의존하는 성장 상한과 지수적 추정을 사용하여 각 가족의 공轭류 수를 제한한다.
• 정리 6.15를 통해 공轭류 수와 중심화자 크기의 상한을 결합하여 $G$에서 최대부분군의 측도를 통제한다.
• 생성함수와 점근적 분석을 사용하여 $q \to \infty$일 때 $k(G^F)/q^r$에 대한 균일한 수렴 결과를 도출한다.

실험 결과

연구 질문

• RQ1 유한 체발리 군에서 랭크 $r$인 $\mathbb{F}_q$ 위에서 공轭류의 수에 대한 명시적이고 균일한 상한은 무엇인가?
• RQ2 $q \to \infty$일 때 유한 체발리 군에서 공轭류의 크기와 수는 어떻게 渐近적으로 행동하는가?
• RQ3 거의 단순군의 최대부분군이 총 공轭류 수 계산에 얼마나 기여하는가? 이는 균일하게 제한될 수 있는가?
• RQ4 공轭류 수 상한을 사용하여, 임의의 추이적 작용에서 이동원의 비율에 대한 보스턴-샤일레브 추측을 강력한 형태로 증명할 수 있는가?
• RQ5 고전적 및 예외적 체발리 군에 대해 $k(G^F)$의 정확한 성장률은 무엇이며, $q^r$과 어떻게 비교되는가?

주요 결과

• 유한 체발리 군 $G^F$에서 공轭류의 수 $k(G^F)$는 $\mathbb{F}_q$ 위에서 랭크 $r$을 가지며, $k(G^F) \leq 27.2q^r$를 만족하며, 많은 가족에 대해서는 더 날카운 상한 $15.2q^r$가 존재한다.
• $q \to \infty$일 때 $k(G^F)/q^r \to 1$이며, 이 수렴은 $r$에 대해 균일하며, $k(G^F) \leq q^r + 68q^{r-1}$로 정량적으로 제한된다.
• $G^F$에서 준단순 공轭류가 아닌 공轭류의 수는 최대 $68q^{r-1}$이며, 이는 큰 $q$에 대해 거의 모든 공轭류가 준단순임을 보여준다.
• 랭크 $r$인 체발리 군 $S$를 소체로 가지는 거의 단순군 $G$에 대해 $k(S) \leq 15.2q^r$ 및 $k(G) \leq 100q^r$이며, 외부 자동환 기여에 대한 명시적 상한이 존재한다.
• $\mathcal{S}_i(G)$ 각 가족의 모든 최대부분군의 합집합은 $G$의 원소 중 무시할 만큼 작은 비율을 차지한다: $\mathcal{S}_3$에 대해 $O(q^{-r/3})$, $\mathcal{S}_4$에 대해 $O(q^{-r/2})$, $\mathcal{S}_2$에 대해 $O(r^4(1+\log_q r)/q^{r-1})$이다.
• 이동원에 대한 보스턴-샤일레브 추측은 강력한 형태로 증명되었다: 임의의 추이적 작용에서 고정점이 없는 원소의 비율은 균일하게 0에서 멀리 떨어져 있으며, 이 상한은 공轭류 추정에서 유도되었다.