[논문 리뷰] $\ell$-torsion bounds for the class group of number fields with an $\ell$-group as Galois group

Jürgen Klüners, Jiuya Wang|arXiv (Cornell University)|2020. 03. 26.

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

한 줄 요약

이 논문은 아미쿠스 통계의 세 가지 핵심 추측—$\varepsilon$-torsion 한계, 수체 확장 수세기의 Malle 추측, 그리고 판별식 다중성 추측—이 가역 확장의 범주 내에서 상등임을 증명한다. $\varepsilon$-확장에 대해 $\varepsilon$-torsion 추측과 노일레르 군에 대해 Malle 추측 및 판별식 다중성 추측을 증명하며, 갈루아 군과 수체의 합성체의 군론적 및 판별식 기반 분석을 사용한다.

ABSTRACT

We describe the relations among the $\ell$-torsion conjecture, a conjecture of Malle giving an upper bound for the number of extensions, and the discriminant multiplicity conjecture. We prove that the latter two conjectures are equivalent in some sense. Altogether, the three conjectures are equivalent for the class of solvable groups. We then prove the $\ell$-torsion conjecture for $\ell$-groups and the other two conjectures for nilpotent groups.

연구 동기 및 목표

• 아미쿠스 통계에서 $\varepsilon$-torsion 추측, Malle 추측, 판별식 다중성 추측 간의 상호관계를 명확히 하기.
• $\varepsilon$-확장에서 $\varepsilon$-torsion 추측을 증명하기, 여기서 갈루아 군은 $\varepsilon$-군이다.
• 노일레르 갈루아 군에 대해 Malle 추측과 판별식 다중성 추측을 확립하기.
• 군론적 및 판별식 분석을 통해 세 추측이 가역 확장에서 상등임을 보여주기.
• 갈루아 군의 구조를 통해 계급군의 토르션, 확장 수세기, 판별식 다중성 간의 통합된 프레임워크 제공하기.

제안 방법

• 군의 $\varepsilon$-torsion 분석을 위해 계급 이론과 순열군 작용을 사용한다.
• 합성체의 판별식을 제한하기 위해 힐베르트의 분기 이론을 적용한다.
• 갈루아 군의 구조와 수세기 함수 간의 관계를 유도하기 위해 군 원소에 대한 인덱스 함수 $\mathop{\rm ind}(g)$ 를 사용한다.
• 주어진 판별식을 가진 확장의 수에 대한 한계를 유도하기 위해 $G^k$ 의 허용 가능한 순열 부분군을 분석한다.
• 계수 $\mathop{\rm Disc}(E/F) \leq C_2 D^{[E:\mathbb{Q}]}$ 를 적용하여 수세기 함수의 성장 조절하기.
• 귀납법과 군의 와이어드 곱을 사용하여 $G$ 에서 $G^k$ 로 결과를 확장하고, $\sum_D a_D^k$ 에 대한 한계를 증명한다.

실험 결과

연구 질문

• RQ1 가역 확장에서 $\varepsilon$-torsion 추측, Malle 추측, 판별식 다중성 추측은 상등인가?
• RQ2 $\varepsilon$-확장에서 $\varepsilon$-torsion 추측은 항상 참인가, 여기서 갈루아 군은 $\varepsilon$-군이다?
• RQ3 노일레르 갈루아 군에 대해 Malle 추측과 판별식 다중성 추측을 증명할 수 있는가?
• RQ4 $G^k$ 의 군 원소의 인덱스는 $G$ 의 인덱스와 어떻게 관련되는가?
• RQ5 고정된 판별식을 가진 $G$-확장의 수는 군 $G$ 의 구조와 어떤 관계가 있는가?

주요 결과

• $\varepsilon$-확장에서 $\varepsilon$-torsion 추측은 참이다. 즉, 모든 $\varepsilon > 0$ 에 대해 $h_\ell(E) = O_{\epsilon,n,\ell,F}(D^\epsilon)$ 이다. 여기서 $D$ 는 절대 판별식이다.
• 노일레르 군 $G$ 에 대해 Malle 추측과 판별식 다중성 추측은 모두 참이다. 즉, $N(F,G;X) = O_{\epsilon,F}(X^{1/a(G)+\epsilon})$ 과 $a_D = O_{\epsilon,F,n}(D^\epsilon)$ 이다.
• 가역 확장에서 세 추측은 상등이다: 추측 B(Malle)는 추측 C(판별식 다중성)를 함의하며, 그 반대도 마찬가지다.
• 인덱스 함수는 $\mathop{\rm ind}(\tilde{g}) \geq d \cdot \mathop{\rm ind}(\bar{g})$ 를 만족하며, 여기서 $\tilde{g}$ 는 $\bar{g} \in G$ 의 전이이다. 이는 합성체에서 판별식의 성장 조절에 기여한다.
• 판별식 $\mathop{\rm Disc}(E_i/F) \leq X$ 를 만족하는 합성체 $E = \prod_{i=1}^k E_i$ 에 대해, 판별식은 $\mathop{\rm Disc}(E/F) \leq C_2 X^{[F:\mathbb{Q}] \cdot a(H) \cdot (\deg/\mathop{\rm ind})(G)}$ 를 만족한다. 이는 수세기 함수의 제어를 가능하게 한다.
• 상수 $C_1 = [F:\mathbb{Q}] \cdot (\deg/\mathop{\rm ind})(G)$ 는 추측 B 하에 $\sum_D a_D^k \ll_{k} X^{C_1 + \epsilon}$ 를 보장하며, 이는 Malle 추측에서 판별식 다중성 추측으로의 함의를 증명한다.