Average divisibility in character tables of $\mathrm{GL}_2(\mathbb{F}_q)$

기술 요약: $GL_2(\mathbb{F}_q)$의 캐릭터 표에서의 평균 가해성(Divisibility)

문제 정의
본 논문은 홀수 소수 거듭제곱 $q$에 대해 변화하는 유한 일반 선형 군(finite general linear groups) $G_q = GL_2(\mathbb{F}_q)$의 캐릭터 표(character tables)에 관한 산술적 성질을 조사한다. 저자들은 대수적 정수 환(ring of algebraic integers) 내에서의 가해성을 고려하여, 고정된 소수 $\ell$로 나누어떨어지지 않는 캐릭터 표 엔트리의 비율을 연구한다. 이러한 탐구는 $S_N$의 밀러 추측(Miller's conjecture)에 관한 Peluse와 Soundararajan의 최근 연구에서 비롯되었으며, 해당 연구는 $N \to \infty$일 때 $S_N$의 캐릭터 표에서 거의 모든 엔트리가 임의의 고정된 소수 $\ell$로 나누어떨어진다는 것을 확립하였다. 핵심 질문은 $q \to \infty$일 때 $GL_2(\mathbb{F}_q)$에서도 유사한 현상이 발생하는지, 아니면 행동 양상이 크게 달라지는지 여부이다. 또한, 본 논문은 복소 평면에서 0이 아닌 캐릭터 값들의 인자(arguments, 각도)의 분포를 다룬다.

방법론
저자들은 $GL_2(\mathbb{F}_q)$의 기약 복소 표현(irreducible complex representations)의 분류와 켤레류(conjugacy classes)에 기반한 구조적 접근 방식을 채택한다.

1. 분류: 기약 표현은 1차원, 주 시리즈(principal series), 스타인버그 트위스트(Steinberg twists), 그리고 커스피달(cuspidal)의 네 가지 가족으로 분류된다. 마찬가지로 켤레류는 스칼라(scalar), 분리된 정규 반단순(split regular semisimple), 타원형(elliptic), 그리고 비반단순(non-semisimple, Jordan)의 네 가지 가족으로 나뉜다.
2. 블록 분해: 캐릭터 표는 $4 \times 4$ 블록 행렬로 분석된다. 저자들은 1차원 및 스타인버그 표현에 대응하는 행과 스칼라 및 조던 클래스에 대응하는 열이 "작은" 크기($O(q)$)를 가지며, 전체 표 크기($O(q^4)$)에 대해 영(zero) 밀도를 기여한다는 점을 관찰한다.
3. 지배적 블록: 점근적 행동은 일반적으로 값이 0이 아닌 두 개의 큰 블록에 의해 결정된다:
   • 분리된 정규 반단순 클래스 상의 주 시리즈 표현.
   • 타원형 클래스 상의 커스피달 표현.
     다른 두 개의 큰 블록(타원형 클래스 상의 주 시리즈, 분리된 정규 반단순 클래스 상의 커스피달)은 전적으로 0으로 구성된다.
4. 가해성 분석: 지배적인 0이 아닌 블록들에 대해, 캐릭터 값은 1의 거듭제곱들의 합(예: $\chi_1(a)\chi_2(b) + \chi_1(b)\chi_2(a)$) 형태를 취한다. 저자들은 원분 다항식(cyclotomic polynomials)과 1의 거듭제곱의 기초적 성질(특히 $1+\zeta$의 가해성에 관한 보조정리 2.2)을 활용하여 이러한 합이 $\ell$로 나누어떨어지는 빈도를 계산한다. 이들은 그러한 가해성이 매우 희소한 매개변수 집합에서만 발생하는 드문 사건임을 보인다.
5. 각도 분포: 인자의 분포를 다루기 위해, 저자들은 바이어의 정리(Weyl's criterion)의 변형을 적용한다. 그들은 $\mathbb{F}_q^\times$의 캐릭터 군이 표현 집합에 작용하는 것을 이용하여 지수 합(exponential sums)을 분석함으로써, 합이 점근적으로 소멸함을 보여주며 이는 균등 분포(equidistribution)를 함의한다.

주요 결과
본 논문은 다음과 같은 정량적 및 점근적 결과를 확립한다:

1. 가해성 점근식:
   $N_\ell(q)$를 $G_q$의 캐릭터 표에서 $\ell$로 나누어떨어지지 않는 엔트리의 수라고 하고, $M_0(q)$를 0인 엔트리의 수라고 하자. 총 엔트리 수는 $(q^2-1)^2$이다. 저자들은 다음을 증명한다:
   $$N_\ell(q) = \frac{q^4}{2} + O_\epsilon(q^{3+\epsilon})$$
   $$M_0(q) = \frac{q^4}{2} + O_\epsilon(q^{3+\epsilon})$$
   결과적으로, $\ell$로 나누어떨어지지 않는 모든 엔트리의 비율은 $1/2$로 수렴한다:
   $$\lim_{q \to \infty} \frac{N_\ell(q)}{(q^2-1)^2} = \frac{1}{2}$$
   나아가, 0이 아닌 엔트리 중 $\ell$로 나누어떨어지지 않는 비율은 1로 수렴한다:
   $$\lim_{q \to \infty} \frac{N_\ell(q)}{(q^2-1)^2 - M_0(q)} = 1$$
   이 결과는 임의의 고정된 소수 거듭제곱 $\ell^r$에 대해서도 성립한다.

2. 각도 균등 분포:
   $P_q(I)$를 0이 아닌 캐릭터 값들의 인자가 구간 $I \subseteq [0, 2\pi]$에 속하는 비율이라고 하자. 저자들은 $q \to \infty$일 때 이 인자들이 균등 분포됨을 증명한다:
   $$\lim_{q \to \infty} P_q(I) = \frac{b-a}{2\pi}$$
   여기서 $I = [a, b]$이다.

의의 및 주장
본 논문은 대칭군($S_N$)과 일반 선형 군($GL_2(\mathbb{F}_q)$)의 캐릭터 표 사이의 근본적인 차이를 입증한다고 주장한다.

• 대칭군과의 대비: $N \to \infty$일 때 $S_N$의 캐릭터 표에서 거의 모든 엔트리가 고정된 소수 $\ell$로 나누어떨어지는 것과 달리, $GL_2(\mathbb{F}_q)$의 극한값은 정확히 $1/2$이다. 저자들은 이러한 차이가 "가해적인" 엔트리들이 주로 0인 엔트리들이기 때문이며, 0이 아닌 엔트리들은 거의 $\ell$로 나누어떨어지지 않는다는 점에 기인한다고 설명한다.
• 밀러의 질문에 대한 대응: 각도 균등 분포 결과는 $S_N$의 캐릭터 표 내 0이 아닌 엔트리들 사이의 부호(양수 vs 음수) 분포에 관한 밀러의 질문에 대한 대응물로 제시된다. $GL_2(\mathbb{F}_q)$의 캐릭터 값은 일반적으로 복소수이므로, "부호" 문제는 "각도 분포" 문제로 대체되며, 저자들은 이를 긍정적으로 해결한다.
• 방법론적 차이: 저자들은 자신들의 증명이 $S_N$ 연구에 사용된 조합론적 분할 방법과는 다른, $GL_2(\mathbb{F}_q)$의 명시적 표현 및 켤레류 분류에 의존하고 있음을 언급한다.

본 논문은 고정된 $n$에 대해 $q \to \infty$인 경우, 그리고 고정된 $q$에 대해 $n \to \infty$인 경우, 그리고 다른 유형의 리 군(Lie type groups)의 가족으로 이러한 결과들을 확장하는 것에 관한 열린 질문을 던지며 결론을 맺는다.