[論文レビュー] Class Numbers of Orders in Quartic Fields

Mark Pavey|ArXiv.org|Feb 14, 2006

Analytic Number Theory Research参考文献 56被引用数 4

ひとこと要約

本稿は、スペクトル理論とセルバーグの跡公式を用いて、対称空間 SL₄(ℝ)/SO(4) における素測地線定理を確立する。この結果を応用して、実二次部分体をもたない完全複素四次数体の整域の類数について漸近公式を導出し、類数の正規化された和は e⁴ˣ/(2x) に漸近的に増加することを示す。

ABSTRACT

It is shown that the sum of class numbers of orders in totally complex quartic fields with no real quadratic subfield obeys an asymptotic law similar to the prime numbers, as the bound on the regulators tends to infinity. Here only orders which are maximal at a given set of primes containing an even number of elements are considered. The proof is accomplished by means of a Prime Geodesic Theorem for symmetric spaces formed as compact quotients of SL(4,R). This result extends work of Sarnak in the real quadratic case and of Deitmar and Hoffmann in the complex cubic case.

研究の動機と目的

• SL₄(ℝ) の商として得られるコン pact 対称空間に対する素測地線定理を確立し、SL₂(ℝ) の技術を高ランクへ拡張する。
• スレーブの跡公式とスペクトル理論を用いて、対称空間 SL₄(ℝ)/SO(4) 内の閉測地線の分布を分析する。
• 幾何的不変量（特に閉測地線の長さ）と数体の整域における算術的不変量の間の関係を確立する。
• 実二次部分体をもたない完全複素四次体の整域における類数の和の漸近公式を導出する。
• Sarnak の実二次体に対する手法を、Ruelle ゼータ関数とスペクトル系列を用いて四次体へ一般化する。

提案手法

• SL₄(ℝ) の Ruelle ゼータ関数のスペクトル分解を分析するために、セルバーグの跡公式を用いる。
• Hochschild-Serre スペクトル系列を用いて、算術群のコhomological 不変量を研究する。
• Wiener-Ikehara のTauber定理を用いて、測地線の数え上げ関数の漸近的推定値を導出する。
• 指数写像を介して、閉測地線のノルムと数体の整域の正規化因子との関係を確立する。
• Ruelle ゼータ関数とその関数等式を用いて、スペクトル生成関数の解析的性質を制御する。
• 素測地線定理を用いて、ノルムが有界な測地線を数え上げ、体埋め込みと類数公式を介して四次体の整域へ写像する。

実験結果

リサーチクエスチョン

• RQ1 対称空間 SL₄(ℝ)/SO(4) 上の閉測地線の漸近的分布はいかなるものか？
• RQ2 SL₄(ℝ) のスペクトル理論を用いて、素数定理に類似した素測地線定理をどのように導出できるか？
• RQ3 閉測地線の長さと、完全複素四次体の整域の正規化因子との間にはどのような関係があるか？
• RQ4 Ruelle ゼータ関数の幾何的データを用いて、実二次部分体をもたない完全複素四次体の整域における類数を漸近的に推定できるか？
• RQ5 このような体における類数の正規化因子による重み付き和の正確な漸近的増加率は何か？

主な発見

• 対称空間 SL₄(ℝ)/SO(4) 内のノルム ≤ x である閉測地線の数は、漸近的に 2x/log x に比例する。
• 実二次部分体をもたない完全複素四次体の整域について、正規化因子による重み付き類数の和は、x → ∞ のとき π_S(x) ∼ e⁴ˣ/(2x) を満たす。
• κ不変量が自明である整域に制限した場合、類数の和は e⁴ˣ/(8x) に漸近的に増加し、非自明な自己同型の寄与が顕著であることが示された。
• 類数和の漸近公式における誤差項は O(e³ˣ/x) で有界であり、これは基礎となる素測地線定理の誤差と整合的である。
• 非自明な κ不変量をもつ整域からの寄与は o(e⁴ˣ/x) であることが示され、低次の性質が確認された。
• 誤差項を O(e³ˣ/x) に高める予想が提示され、L(4x) + O(e³ˣ/x) の形をとる。ここで L(x) = ∫₁ˣ eᵗ/t dt であり、これはSarnakの実二次体に対する結果を模倣するものである。