[논문 리뷰] Malle's conjecture for nonic Heisenberg extensions

Étienne Fouvry, Peter Koymans|arXiv (Cornell University)|2021. 02. 18.

Advanced Topics in Algebra참고 문헌 22인용 수 6

한 줄 요약

이 논문은 ℚ 위의 구차 Heisenberg 확장에 대해 Malle의 추측을 증명하며, X 이하의 판별식을 가진 이러한 확장의 수에 대한 渐近 공식을 확립한다. 저자들은 문자합 분석과 진동 상쇄를 통해 명시적인 주항목을 유도하여, 수가 c(Heis₃)X¹/⁴의 형태로 증가함을 보이며, 정확한 상수 c(Heis₃) > 0를 제공한다.

ABSTRACT

We prove Malle's conjecture for nonic Heisenberg extensions over $\mathbb{Q}$. Our main algebraic result shows that the number of nonic Heisenberg extensions over $\mathbb{Q}$ with discriminant bounded by $X$ is given by a character sum. We then extract the main term from this sum by exploiting oscillation of characters.

연구 동기 및 목표

• ℚ 위의 9차 Heisenberg 확장에 대해 Malle의 추측을 확립하는 것 — 이는 순서 27인 비아벨 군과 동형인 갈루아 확장이다.
• 판별식 ≤ X인 이러한 확장의 수에 대한 명시적인 渐近 공식을 제공하여, 이전 방법이 실패하는 경우를 해결하는 것.
• 渐近 공식의 주상수 c(Heis₃)를 계산하는 것 — 이는 판별식과 국소 조건에 대한 복잡한 산술 조건으로 인해 비단순적임.
• 기존의 경우들인 S₃, S₄, S₅, D₄를 초월하여 비가환, 비아벨 군에 대해 Malle의 추측을 확장하는 것.
• 이전의 고전적 방법(예: 합성체 구성)이 4차 D₄-확장에서 사용되었지만, 구차 Heisenberg 확장에서는 실패하므로, 새로운 문자합 접근법을 개발하는 것.

제안 방법

• Heisenberg 군 Heis₃의 구조를 활용하여, 구차 Heisenberg 확장의 수를 산술 데이터 위의 문자합으로 표현한다.
• 연결류 위에서 원분 문자의 작용을 이용하여 Malle의 추측의 지수 a(G)와 b(G)를 정의하며, a(Heis₃) = 1/4임을 확인한다.
• 진동 상쇄 기법을 적용하여 문자합에서 주항목을 추출하고, 판별식과 국소 조건의 합을 체계적으로 다룬다.
• 표준 델타 함수 대신 3에서의 비자명한 문자값을 탐지하기 위해 단위근(j, j²)을 사용하는 정교한 탐지 방법을 도입한다.
• §5.3의 방법을 통해 오차항을 통일적으로 다루며, 모든 A > 0에 대해 오차항이 Oₐ(X¹/⁴(log X)⁻ᴬ)임을 보인다.
• 3에서의 국소 조건에 따라 경우를 나누어 계산 문제를 다루며, C4–C7의 경우 분석을 통해 주항목에 대한 기여를 별도로 계산한다.

실험 결과

연구 질문

• RQ1 Malle의 추측은 ℚ 위의 구차 Heisenberg 확장에 대해 성립하는가, 특히 X¹/⁴의 渐近 성장률을 갖는가?
• RQ2 渐近 공식의 주상수 c(Heis₃)는 명시적으로 계산될 수 있는가?
• RQ3 특히 판별식에 3이 포함되어 있을 경우, 3에서의 국소 조건이 이러한 확장의 수를 어떻게 영향을 주는가?
• RQ4 디리클레 문자의 진동을 이용하여, 수체를 세는 문자합에서 주항목을 추출할 수 있는가?
• RQ5 왜 D₄-확장에 사용된 표준 방법(예: 이차 확장의 합성체)은 구차 Heisenberg 확장에서는 실패하는가?

주요 결과

• 판별식 ≤ X인 ℚ 위의 구차 Heisenberg 확장의 수는 어떤 명시적인 상수 c(Heis₃) > 0에 대해 c(Heis₃)X¹/⁴의 형태로 渐近적으로 증가한다.
• 주항목은 진동 항의 상쇄를 통해 문자합에서 추출되었으며, 오차항은 모든 A > 0에 대해 Oₐ(X¹/⁴(log X)⁻ᴬ)이다.
• 상수 c(Heis₃)는 α₃, H₂ 및 2와 3의 거듭제곱을 포함하는 산술 인자들의 조합으로 명시적으로 계산된다.
• 3에서의 국소 행동에 따라 네 가지 경우(C4–C7)로 나누어 각각 주 渐近 공식에 별개의 항을 기여한다.
• 고전적 합성체 기반 접근법의 실패를 문자합 분해와 단위근을 이용한 국소 탐지 기법을 통해 성공적으로 다루었다.
• 결과적으로, 비가환, 비아벨 군 Heis₃에 대해 Malle의 추측이 확인되었으며, 이는 순서 27인 비가환, 비아벨 군에 대해 처음으로 증명된 사례이다.