[논문 리뷰] Malle's Conjecture for $G imes A$, with $G = S_3, S_4, S_5$

Riad Masri, Frank Thorne외 2명|arXiv (Cornell University)|2020. 04. 09.

Algebraic Geometry and Number Theory참고 문헌 20인용 수 4

한 줄 요약

이 논문은 $G \times A$에서 $G = S_3, S_4, S_5$이고 $A$가 임의의 유한 아벨 군인 갈루아 군에 대해 말레의 추측을 증명하며, 유계 판별식을 가진 이러한 수체의 점 渐近 수를 확립한다. 저자들은 이전 연구에서 $A$를 나누는 소수에 대한 제약 조건을 제거하기 위해 보다 정교한 평균화 방법과 통일성 추정을 사용하여 예측된 거듭제곱 성장률 $N(X, G \times A) \sim c(G \times A) X^{1/|A|}$을 확인한다. 이 경우 $b(G \times A) = 1$이므로 로그 인자가 없으며, 이는 수론 통계에서 핵심적인 사례를 해결하고 $S_d$-unitary CM 체에 대한 콜름스 추측을 지지한다.

ABSTRACT

We prove Malle's conjecture for $G imes A$, with $G=S_3, S_4, S_5$ and $A$ an abelian group. This builds upon work of the fourth author, who proved this result with restrictions on the primes dividing $A$.

연구 동기 및 목표

• 갈루아 군 $G \times A$에서 $G = S_3, S_4, S_5$이고 $A$가 임의의 유한 아벨 군인 경우 말레의 추측을 증명한다.
• 이전 결과에서 $A$를 나누는 소수에 대한 제약 조건이 있었음을 고려하여, 향상된 해석 기법을 통해 이를 제거한다.
• 유계 판별식을 가진 $G \times A$-확장의 수에 대한 정확한 점 渐近 공식을 수립한다.
• 이러한 체의 분포를 수론 기하학에서의 콜름스 추측과 연결하며, 특히 $S_d$-unitary CM 체에 대해 논의한다.
• 다른 경우, 예를 들어 $A_d$- 및 $\mathrm{PSL}_2(\mathbb{F}_q)$-unitary CM 체에 대한 추측적 점 渐近 수를 위한 프레임워크를 제공한다.

제안 방법

• compositum 구성으로 $S_d$-확장과 $A$-확장을 조합하는, $S_d$-확장과 $A$-확장에 대한 정교한 평균화 방법을 사용한다.
• 카운팅 함수의 오차 항을 제어하기 위해 $L$-함수 모멘트에 대한 통일성 가정 (1.2.B)을 적용한다.
• 판별식 범위의 이진 분할을 $Y$로 인덱싱하여 큰 판별식을 가진 체의 합을 잘라내기 위한 방법을 사용한다.
• 오차 항 $\ll Y^{\beta + \varepsilon}$에서 지수 $\beta < 0$임을 보여, $Y$에 대해 지수 감소함을 입증함으로써 핵심 오차 bound를 확립한다.
• 수열 $C_Y = \lim_{X \to \infty} N_Y(X, S_d \times A)/X^{1/|A|}$의 단조성과 유계성을 이용하여 주항목의 수렴을 증명한다.
• 키홀 루프와 모멘트 추정을 적용하여 큰 분할 또는 큰 판별식을 가진 체의 기여를 제어한다.

실험 결과

연구 질문

• RQ1 갈루아 군이 $G \times A$이고 $G = S_3, S_4, S_5$, $A$가 임의의 유한 아벨 군인 경우, $A$를 나누는 소수에 대한 제약 없이 말레의 추측이 성립하는가?
• RQ2 유계 판별식을 가진 $S_d \times A$-수체의 점 渐近 수는 말레의 추측이 예측한 바와 같이 정확한 거듭제곱 성장률 $X^{1/|A|}$을 가질 수 있는가?
• RQ3 점 渐近 공식에서 상수 $c(G \times A)$의 역할은 무엇이며, 갈루아 군의 구조와 분할 조건과 어떻게 관련되는가?
• RQ4 $S_d$-unitary CM 체의 분포는 콜름스 추측과 어떻게 관련되며, 그 점 밀도는 계산할 수 있는가?
• RQ5 이 논문에서 사용된 방법은 $A_d$ 또는 $\mathrm{PSL}_2(\mathbb{F}_q)$와 같은 다른 군으로 일반화될 수 있으며, 그들의 unitary CM 체에 대한 점 渐近 수를 예측할 수 있는가?

주요 결과

• 갈루아 군이 $G \times A$이고 $G = S_3, S_4, S_5$, $A$가 임의의 유한 아벨 군인 경우 말레의 추측이 증명되었으며, 이는 이전에 $A$를 나누는 소수에 대한 제약 조건을 제거한 것이다.
• 점 渐近 공식 $N(X, S_d \times A) \sim c(S_d \times A) X^{1/|A|}$는 $X \to \infty$일 때 성립하며, $b(S_d \times A) = 1$이므로 로그 인자가 없다.
• $c(S_d \times A)$는 양수이자 유한하므로, 예측된 밀도를 가진 무한히 많은 수의 이러한 체가 존재함을 확인한다.
• 이 결과는 임의의 유한한 분할 조건 집합을 가진 체의 수를 세는 데까지 확장되며, 여전히 점 渐近 거듭제곱 법칙을 유지한다.
• 이 방법은 잘라낸 합 $N_Y(X, S_d \times A)$와 전체 수 $N(X, S_d \times A)$ 사이의 오차가 $Y^{\beta + \varepsilon}$로 감소함을 입증하며, $\beta < 0$ 이므로 수렴이 보장된다.
• 이 프레임워크는 $S_d$-unitary CM 체에 대한 추측적 점 渐近 수를 지지하며, 결과적으로 $N_{2d}^\textrm{unitary}(X, S_d \times C_2) \sim c'(S_d \times C_2) X^{1/2}$가 $X \to \infty$일 때 성립함을 시사한다.