[論文レビュー] Malle's conjecture for nonic Heisenberg extensions

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

Advanced Topics in Algebra参考文献 22被引用数 6

ひとこと要約

この論文は、判別式が X 未満であるような非可換位数 27 の Heisenberg 群に同型なガロア群をもつ ℚ 上の九次拡張について、Malle の予想を証明する。著者らは、特徴和解析と振動項のキャンセルを用いて、明示的な主要項を導出し、その数が 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.

研究の動機と目的

• 位数 27 の非可換群に同型なガロア群をもつ ℚ 上の九次 Heisenberg 拡張について、Malle の予想を確立すること。
• このような拡張の数の明示的漸近公式を、判別式 ≤ X の範囲で導出すること。これは従来の手法が失敗する場合を解決することを目的としている。
• 漸近公式における主要定数 c(Heis₃) を計算すること。これは判別式と局所的条件に関する複雑な算術的制約のため、非自明である。
• Malle の予想を、既知の例（S₃, S₄, S₅, D₄ など）をはるかに超えて、非可解かつ非可換な群へと拡張すること。
• 四次 D₄-拡張で用いられる古典的手法（例えば、二次拡張の合成）が非可換な九次 Heisenberg 拡張では破綻することを克服し、新しい特徴和アプローチを開発すること。

提案手法

• Heisenberg 群 Heis₃ の構造を活用して、非可換 Heisenberg 拡張の数を算術的データ上の特徴和として表現する。
• 共役類への円分的特徴の作用を用いて、Malle の予想における指数 a(G) と b(G) を定義し、a(Heis₃) = 1/4 を得る。
• 振動キャンセル技術を適用して、特徴和から主要項を抽出する。判別式と局所的条件の和を体系的に取り扱う。
• 単位根（j, j²）を用いた精密な検出法を導入し、3 における非自明な特徴値を検出するために標準的なデルタ関数の代わりに用いる。
• §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）に分類され、それぞれが主要漸近項に別個の寄与をしている。
• 古典的手法（合成によるアプローチ）の失敗を、特徴和分解と単位根による局所的検出法を用いることで効果的に処理した。
• この結果により、非可解かつ非可換な位数 27 の群 Heis₃ について Malle の予想が正当化され、これは非可換な非可解群に対して初めての証明である。