[논문 리뷰] Bounds on 2-torsion in class groups of number fields and integral points on elliptic curves

Manjul Bhargava, Arul Shankar외 4명|arXiv (Cornell University)|2017. 01. 10.

Algebraic Geometry and Number Theory인용 수 12

한 줄 요약

이 논문은 수체의 차수 $n > 2$에 대해 2-torsion이 클래스군에서 비자명한 상한을 처음으로 확립하며, 소규모 노름을 가진 생성자와 기하적 제약 조건을 연결하는 새로운 방법을 사용한다. 이는 $h_2(K) = O_\epsilon(|\text{Disc}(K)|^{1/2 - \delta_n + \epsilon})$ ($\delta_n > 0$)를 증명하여 이전의 상한보다 크게 향상시키며, 2-Selmer 군, 타원곡선 및 하이퍼타원곡선의 랭크, 그리고 $A_4$-사차 수체의 수를 세는 데 더 강력한 추정치를 제공한다.

ABSTRACT

We prove the first known nontrivial bounds on the sizes of the 2-torsion subgroups of the class groups of cubic and higher degree number fields $K$ (the trivial bound being $O_ε(|{ m Disc}(K)|^{1/2+ε})$ by Brauer--Siegel). This yields corresponding improvements to: 1) bounds of Brumer and Kramer on the sizes of 2-Selmer groups and ranks of elliptic curves; 2) bounds of Helfgott and Venkatesh on the number of integral points on elliptic curves; 3) bounds on the sizes of 2-Selmer groups and ranks of Jacobians of hyperelliptic curves; and 4) bounds of Baily and Wong on the number of $A_4$-quartic fields of bounded discriminant.

연구 동기 및 목표

• 차수 $n > 2$인 수체에 대해 2-torsion 클래스군에 대한 전통적인 Brauer–Siegel 상한인 $O_\epsilon(|\text{Disc}(K)|^{1/2+\epsilon})$ 을 뛰어넘는 비자명한 상한을 확립하기 위해.
• 이러한 상한을 활용해 기존의 2-Selmer 군, 랭크, 타원곡선 및 하이퍼타원곡선의 정수점 추정치를 향상시키기 위해.
• $A_4$-사차 수체 및 관련 수체의 가족에 대한 수를 세는 상한을 정교화하기 위해.
• 모든 차수 $n > 2$에 대해 동일한 방법을 적용할 수 있도록, 이상군의 구조와 생성자의 기하적 제약 조건을 이용한 통일된 방법을 개발하기 위해.

제안 방법

• 각 2-torsion 이상군에 대해, $I^2 = (\beta)$ 이며 $|N(\beta)| \ll |\text{Disc}(K)|, \beta$의 아르키메데스적 삽입이 모두 유사한 크기를 가지는 대표 이상군 $I$ 를 구성하기.
• 수의 기하학과 민코프스키 정리를 사용하여 이러한 생성자 $\beta$ 의 크기를 제어하고, 이는 $K$ 의 판별식과 연결된다.
• 세둔바를 통해 함수체의 Bombieri–Pila 정리의 유사판을 적용하여, 유한체 위의 곡선의 피카르 군에 있는 2-torsion 점의 수를 상한으로 제시하기.
• 공간 $H^0(C, 2E)^{\text{sq}}$ 에서의 제곱 분할의 공간에서 $\text{Pic}^0(C)(k)[2]$ 로의 전성 사상 수립을 통해 선형 계열을 통한 수를 세기 가능하게 하기.
• 리만–로흐 정리를 활용하여 $H^0(C, 2E)$ 의 크기를 상한으로 제시하여, 종수 $g$ 인 곡선에 대해 $|H^0(C, 2E)| = |k|^{g+1}$ 를 도출하기.
• 함수체에서의 통찰을 수체로 이행하기 위해, 이상군 내 소규모 노름 원소의 구조를 이용하여 클래스군의 2-torsion을 상한으로 제시하기.

실험 결과

연구 질문

• RQ1 차수 $n > 2$인 수체에 대해 2-torsion 클래스군에 대한 비자명한 상한을 확립할 수 있는가? 이는 고전적인 Brauer–Siegel 상한 $O_\epsilon(|\text{Disc}(K)|^{1/2+\epsilon})$ 을 뛰어넘는다.
• RQ2 클래스군의 2-torsion에 대한 향상된 상한은 2-Selmer 군과 타원곡선, 하이퍼타원곡선의 랭크에 대해 얼마나 향상된 추정치를 이끌 수 있는가?
• RQ3 3차 수체의 2-torsion에 대한 새로운 상한을 활용해, 유계 판별식을 가진 $A_4$-사차 수체의 수를 더 엄격하게 상한으로 제시할 수 있는가?
• RQ4 모든 차수 $n > 2$에 대해 적용 가능한 통일된 방법이 존재하는가? 이는 2-torsion 클래스군의 경우별 분석을 피할 수 있도록 한다.
• RQ5 함수체 유사법은 수체 설정에서 더 강력한 상한을 증명하는 데 있어 청사진을 제공할 수 있는가? 특히 클래스군의 2-torsion에 대해.

주요 결과

• 삼차 및 사차 수체에 대해, 클래스군의 2-torsion은 $h_2(K) = O_\epsilon(|\text{Disc}(K)|^{0.2784\ldots + \epsilon})$ 를 만족하며, 이는 기존의 $O_\epsilon(|\text{Disc}(K)|^{1/2+\epsilon})$ 상한보다 상당한 향상이다.
• 차수 $n > 4$인 수체에 대해, 상한은 $h_2(K) = O_\epsilon(|\text{Disc}(K)|^{1/2 - \frac{1}{2n} + \epsilon})$ 로 향상되며, $\delta_n = \frac{1}{2n} > 0$ 이다.
• 유리수 위의 타원곡선 $E$ 의 2-Selmer 군은 $|\text{Sel}_2(E)| = O_\epsilon(|\text{Disc}(E)|^{0.2784\ldots + \epsilon})$ 를 만족하며, 이는 이전의 상한을 향상시킨다.
• 타원곡선 $E$ 의 랭크는 $\text{rank}(E) < c_\epsilon + (0.2784\ldots + \epsilon)\log_2(|\text{Disc}(E)|)$ 를 만족하며, 이는 이전의 $1/2 + \epsilon$ 지수를 향상시킨다.
• 타원곡선의 정수점의 수는 최대 $O_\epsilon(|\text{Disc}(E)|^{0.1117\ldots + \epsilon})$ 이며, 이는 이전의 $O_\epsilon(|\text{Disc}(E)|^{0.2007\ldots + \epsilon})$ 상한을 향상시킨다.
• $A_4$-사차 수체의 판별식이 $X$ 이하인 수는 $O_\epsilon(X^{0.7784\ldots + \epsilon})$ 이며, 이는 이전의 $O_\epsilon(X^{5/6 + \epsilon})$ 상한을 향상시킨다.