[논문 리뷰] Constructing and counting number fields

Henri Cohen|arXiv (Cornell University)|2003. 04. 16.

Algebraic Geometry and Number Theory참고 문헌 16인용 수 13

한 줄 요약

이 논문은 아벨 군과 해벌군을 포함한 고도 4 이하의 주어진 갈루아 군을 가진 숫자 체수의 渐近적이고 정확한 수를 세는 고급 방법을 조사한다. 쿠머 이론, 환계론, 선형형공간을 이용한다. 이는 분석적 차수의 제곱근이 ≤ X 인 체수의 수가 $ c_K(G) X^{1/i(G)} ("log X)^{b_K(G)-1} $ 로 渐近적으로 증가함을 증명하며, $ S_3 $, $ D_4 $, $ S_4 $ 와 같은 군들에 대해 정확한 상수와 오차 항을 제시하고, 분석적 차수의 상한 이하에서 숫자 체수의 완전한 표를 구성하는 알고리즘을 제공한다.

ABSTRACT

In this paper we give a survey of recent methods for the asymptotic and exact enumeration of number fields with given Galois group of the Galois closure. In particular, the case of fields of degree up to 4 is now almost completely solved, both in theory and in practice. The same methods also allow construction of the corresponding complete tables of number fields with discriminant up to a given bound.

연구 동기 및 목표

• 지정된 갈루아 군을 가진 숫자 체수의 渐近적 및 정확한 수를 세는 현대적 방법을 개발하고 조사하는 것.
• 분석적 차수의 제곱근이 ≤ X 이고 갈루아 군 G 를 가진 고도 n 숫자 체수의 수에 대한 정확한 渐近 공식을 수립하는 것.
• 특히 고도 ≤ 4 에 대해 주어진 분석적 차수 상한 이하에서 숫자 체수의 완전한 표를 구성하는 알고리즘을 제공하는 것.
• 이러한 수의 세는 함수의 성장률에 관한 말레의 추측의 타당성과 구조를 조사하는 것.
• 기존의 방법들인 환계론과 쿠머 이론을 선형형공간과 순서 분류를 이용해 고차수 확장으로 확장하는 것.

제안 방법

• 아벨 및 해벌 확장에 대해 쿠머 이론을 사용하며, 射류 군과 2-랭크를 통한 순서 분류 및 체수 수 계산에 특히 효과적이다.
• 사실상 渐近적 수 계산에 한계가 있는 射류 군과 모비우스 합산 함수를 사용한 환계론을 적용하여 이차 및 삼차 확장을 수 계산한다.
• 선형형공간을 사용하여 군 작용을 통한 형식(예: 4차 순서의 경우 삼차 이차형식의 쌍)에 의한 순서 분류를 수행한다.
• Bhargava 의 분류를 이용하여 $ \mathbb{Z}^2 \otimes \text{Sym}^2(\mathbb{Z}^3) $ 와 $ \mathbb{Z}^4 \otimes \Lambda^2(\mathbb{Z}^5) $ 를 사용하여 4차 및 5차 순서를 분류하며, $ \text{SL}_2(\mathbb{Z}) \times \text{SL}_3(\mathbb{Z}) $ 와 $ \text{SL}_4(\mathbb{Z}) \times \text{SL}_5(\mathbb{Z}) $ 작용을 활용한다.
• 소수 p 에서 국소 산술 조건을 도입하여 최대 순서로 제한하며, p = 2, 3 와 일반적인 p > 3 에 대해 명시적 계산을 수행한다.
• 고정된 분석적 차수에 대해 궤도 수를 추정하기 위해 기본 영역의 측면 근처의 점 수를 세는 방법을 사용하며, 표현과 군 작용 사이의 차원 차이가 1임에 의존한다.

실험 결과

연구 질문

• RQ1 고도 n 숫자 체수의 수의 渐近적 성장률은 무엇인가? 이는 갈루아 군 G 와 분석적 차수의 제곱근이 ≤ X 인 조건을 만족한다.
• RQ2 특정 군들과 기저 체수에 대해 말레의 추측의 상수들을 명시적으로 계산할 수 있는가?
• RQ3 주어진 갈루아 군에 대해 분석적 차수의 제곱근이 ≤ X 인 숫자 체수의 완전한 표를 알고리즘적으로 구성할 수 있는가?
• RQ4 기존의 방법들인 환계론과 쿠머 이론이 渐近적 수 계산 결과를 도출하는 데 실패하는 정도는 어느 정도이며, 이를 극복하는 현대적 대안은 무엇인가?
• RQ5 고도 4를 초월하는 숫자 체수의 수를 세는 데 있어 선형형공간과 순서 분류의 역할은 무엇인가?

주요 결과

• $ K = \mathbb{Q} $, $ G = S_3 $ 일 때, $ N_{\mathbb{Q},3}(S_3,X) \sim \frac{1}{\zeta(3)} X $, 이는 Davenport-Heilbronn 정리의 확인이다.
• $ K $ 가 임의의 체수일 때, $ N_{K,3}(S_3,X) \sim \left(\frac{2}{3}\right)^{r_1-1} \left(\frac{1}{6}\right)^{r_2} \frac{\zeta_K(1)}{\zeta_K(3)} X $, 일반 숫자 체수로의 결과 확장.
• $ K = \mathbb{Q} $, $ G = S_4 $ 일 때, $ N_{\mathbb{Q},4}(S_4,X) \sim \frac{5}{6} \prod_p \left(1 + \frac{1}{p^2} - \frac{1}{p^3} - \frac{1}{p^4}\right) X $, 오일러 곱으로부터 유도된 정확한 상수.
• $ K $ 가 임의의 체수일 때, $ N_{K,4}(S_4,X) $ 는 $ c_1 X $ 와 $ c_2 X \log^2 X $ 사이로 유계이며, 수렴 가정 하에 渐近적으로 $ c_K(S_4) X $ 로 표현되며, 소수에 대한 곱 공식이 존재한다.
• $ K = \mathbb{Q} $, $ G = S_5 $ 일 때, $ N_{\mathbb{Q},5}(S_5,X) $ 는 모든 $ \varepsilon > 0 $ 에 대해 $ c_1 X < N_{\mathbb{Q},5}(S_5,X) < X^{1+\varepsilon} $ 를 만족하며, 말레의 추측의 약한 형태를 지지한다.
• 논문은 $ \mathbb{Q} $ 위의 삼차 체수에 대해 $ \sum_L |d(L)|^{-s} $ 의 딜리클 급수는 $ \Re(s) = 1 $ 에서조차 해석적 계속이 불가능함을 보여주며, 깊은 열린 문제를 강조한다.