[論文レビュー] Geometry-of-numbers methods over global fields I: Prehomogeneous vector spaces

Manjul Bhargava, Arul Shankar+1 more|arXiv (Cornell University)|Dec 9, 2015

Algebraic Geometry and Number Theory参考文献 19被引用数 23

ひとこと要約

本稿は、特徴が 2 でない任意のグローバル体上の、次数 5 以下の体拡大の判別式の密度の決定を可能にするために、グローバル体上での数の幾何学的手法を発展させ、準正則ベクトル空間内の整数軌道を数える。主な結果は、逆自己同型群のサイズによる重み付けを施したような拡大の数について、漸近的公式を確立し、数体および関数体の両方に対して有効である。これは、従来の小次元拡大に関する結果を一般化するものである。

ABSTRACT

We develop geometry-of-numbers methods to count orbits in prehomogeneous vector spaces having bounded invariants over any global field. As our primary example, we apply these techniques to determine, for any base global field $F$, the density of discriminants of field extensions of degree at most 5 over $F$.

研究の動機と目的

• 数体および関数体を含む任意のグローバル体への、数の幾何学的手法の一般化。
• グローバル体上での、不変量が有界な準正則ベクトル空間内の整数軌道の数え上げ。
• 特徴が 2 でない任意のグローバル体 F に対して、次数 5 以下の体拡大の判別式の漸近的密度の特定。
• 従来、Q 上で次数 2, 3, 4 のみに知られていた判別式密度に関する結果を、任意のグローバル体およびより高い次数へと拡張すること。
• 有限個または無限個の素点における局所的条件を、局所代数に適切な条件を満たす場合に含めた数え上げの実現。

提案手法

• アデール環上の調和解析とアデール統合を用いて、グローバル体上での準正則ベクトル空間内の整数軌道の数え上げの枠組みを構築する。
• アデール環上でポアソン和分公式を適用し、軌道の数をゼータ関数および局所密度と関連付ける。
• 導手に基づく測度と局所ゼータ積分を用いて、不変量が有界な軌道の分布をモデル化する。
• 自己同型群の逆数による重み付けを導入することで、次数にわたる一様性を保証する。
• 関数体では、除数類群および線束技術を用いて、射影への格子点の数の上限を求める。
• 線束の全体切断の上限を用いて、アデール空間内の有界集合の射影の体積を推定する。

実験結果

リサーチクエスチョン

• RQ1 特徴が 2 でないグローバル体 F 上の次数 n ≤ 5 の体拡大の判別式の漸近的密度は何か？
• RQ2 数の幾何学的手法は、Z から任意のグローバル体（関数体も含む）へどのように拡張可能か？
• RQ3 有限個または無限個の素点における局所的条件を含めた、準正則ベクトル空間内の整数軌道の数え上げを一般化できるか？
• RQ4 ガロア群は、重み付き体拡大の数え上げにおいて果たす役割は何か？また、密度公式にどのように影響を与えるか？
• RQ5 関数体の場合に、有限素点における局所密度は、判別式のグローバル密度にどのように寄与するか？

主な発見

• 数体 F が r₁ 個の実埋め込みおよび r₂ 個の複素埋め込みを持つ場合、相対判別式が有界な次数 n ≤ 5 の拡大の密度は、F のゼータ関数の留数として与えられ、ガロア群および局所因子によって補正される。
• F_q 上の関数体 F で q ≠ 2 の場合、密度は ζ_F(s) の s=1 における留数として表され、有限素点ごとの局所密度の積（分割関数を含む）と乗じられる。
• 公式には重み (#{Aut(L/F)})⁻¹ が含まれており、n=2 の場合は 1/2、n≥3 の場合は 1 である。これにより、漸近的記述の一様性が保証される。
• 各有限素点 p における局所因子は、分割 q(k,n−k)−q(k−1,n−k+1) の和として表され、平方自由判別式を持つエタール代数の数を反映している。
• 結果は、[5] の予想 A を n ≤ 5 に対して確認し、Davenport–Heilbronn および Datskovsky–Wright の定理を任意のグローバル体へ拡張する。
• 本手法は、有限個の素点における任意の局所的条件、および許容可能な局所条件の特定の無限集合を含む一般化にも適用可能である。