[논문 리뷰] Dirichlet series associated to cubic fields with given quadratic resolvent

Henri Cohen, Frank Thorne|arXiv (Cornell University)|2013. 01. 15.

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

한 줄 요약

이 논문은 ℚ에서의 특성 합과 레이 클라스 군 구조를 사용하여 주어진 이차 잠재체를 가진 삼차 체의 수를 세는 명시적 딜리클레 급수 공식을 제공한다. 핵심 기여는 삼차 체의 판별식 −D/3, −3D, 및 −27D와 연결된 오일러乘수를 포함하는 폐쇄형 표현식이며, 이를 통해 PARI/GP 구현을 통해 판별식 10²³ 이하의 S₃-육차 체를 효율적으로 계산할 수 있다.

ABSTRACT

Let k be a quadratic field. We give an explicit formula for the Dirichlet series enumerating cubic fields whose quadratic resolvent field is isomorphic to k. Our work is a sequel to previous work of Cohen and Morra, where such formulas are proved in a more general setting, in terms of sums over characters of certain groups related to ray class groups. In the present paper we carry the analysis further and prove explicit formulas for these Dirichlet series over Q. In a companion paper we do the same for quartic fields having a given cubic resolvent. As an application (not present in the initial version), we compute tables of the number of S_3-sextic fields E with |Disc(E)| < X, for X ranging up to 10^23. An accompanying PARI/GP implementation is available from the second author's website.

연구 동기 및 목표

• 고정된 이차 잠재체 ℚ(√D)를 가진 삼차 체 K에 대해 ∑|Disc(K)|⁻ˢ의 명시적 공식 유도.
• 이전 연구에서 유도된 일반적 특성 합 공식을 ℚ에서 명시적이고 계산 가능한 형태로 단순화.
• 이 공식을 사용하여 Galois 군이 S₃인 S₃-육차 체(ℚ에서 Galois)의 대규모 판별식 기준까지 수를 세는 데 응용.
• 이러한 수를 효율적으로 계산할 수 있도록 PARI/GP 구현 제공하며, 기존 이론적 및 수치적 자료와의 검증 포함.

제안 방법

• 레이 클라스 군에서의 특성 합을 사용하여, 이차 잠재체 ℚ(√D)를 가진 삼차 체 K에 대해 Φ_D(s) = 1/2 + ∑ f(K)⁻ˢ의 명시적 딜리클레 급수 유도.
• Kummers 이론과 이진 삼차 형식(Ohno, Nakagawa)의 결과를 적용하여 급수를 소수에 대한 오일러 곱으로 연결.
• −D/3, −3D, 및 −27D 판별식을 가진 삼차 체를 통해 보정 항을 포함하여 곱의 구조를 완성.
• Disc(Ẽ) = Disc(k)³ f(K)⁴와 같은 항등식을 사용하여 삼차 체 데이터를 S₃-육차 체의 판별식과 연결.
• Belabas의 삼차 체 표를 파싱하고 (X/D³)¹⁴까지 부분 급수를 합산하여 PARI/GP에서 공식을 구현.
• 기존 점근적 결과 및 N⁺(X;S₃), N⁻(X;S₃)의 이전 계산 결과와 비교하여 결과 검증.

실험 결과

연구 질문

• RQ1 고정된 이차 잠재체를 가진 삼차 체에 대한 일반적 특성 합 공식을 ℚ에서 명시적으로 만들 수 있는가? 이는 추상적 군론적 구성 방식을 피할 수 있는가?
• RQ2 이차 잠재체 ℚ(√D)를 가진 삼차 체에 대한 딜리클레 급수 Φ_D(s)의 정확한 구조는 무엇이며, 관련 판별식을 가진 삼차 체와의 관계는 어떻게 되는가?
• RQ3 이러한 공식을 어떻게 효율적으로 구현하여 유계 판별식을 가진 S₃-육차 체의 수를 계산할 수 있는가?
• RQ4 X = 10²³까지의 수량 함수 N⁺(X;S₃) 및 N⁻(X;S₃)의 수치적 행동은 어떻게 되며, 이는 이론적 예측과 어떻게 비교되는가?

주요 결과

• 논문은 Φ_D(s)에 대한 명시적 공식을 소수 p ≡ 1 mod 6에 대한 곱과 함께 유도하였으며, −D/3, −3D, 및 −27D 판별식을 가진 삼차 체와 연결된 추가 오일러 인자도 포함한다.
• 이 공식을 통해 |Disc(Ẽ)| < X를 만족하는 S₃-육차 체 Ẽ의 수를 X = 10²³까지 계산할 수 있으며, X = 10¹²에서 3×10²³까지의 결과를 표로 정리하였다.
• 양의 판별식의 경우 X = 10²³에서 N⁺(X;S₃)는 5,207,310에 도달하고, 음의 판별식의 경우 X = 10²³에서 N⁻(X;S₃)는 16,399,890에 도달한다.
• Belabas의 삼차 체 표를 사용하고 사용자 정의 파서를 적용한 PARI/GP 구현은 음의 판별식의 경우 약 3시간, 양의 판별식의 경우 약 10시간 소요되었다.
• 계산된 수는 점근적 예측 N±(X;S₃) ∼ B±X¹³과 Taniguchi 및 Thorne의 이전 연구 결과와 일치하며, X⁵¹⁸ 주도 항이 존재함을 지지한다.
• 이 방법은 효율적이고 확장 가능하며, Belabas의 코드에 직접 통합함으로써 X = 10²⁷까지의 확장이 가능할 것으로 기대된다.