[論文レビュー] A short proof of a Chebotarev density theorem for function fields

Michiel Kosters|arXiv (Cornell University)|Apr 25, 2014

Advanced Topology and Set Theory参考文献 1被引用数 5

ひとこと要約

本稿は、プロシクルの絶対ガロア群をもつ完備体上の関数体に対して、チホバレフ密度定理の新しい定式化を提示し、捩じれによるベース関数体のパrametrization を用いて、分岐素数を含む短く誤差のない証明を提供する。主な貢献は、定数体拡張における有理素数を用いた測度論的パラメータ化を通じて、誤差項を避け、幾何学的およびガロア理論的技法を用いて共轭類をパラメータ化することにある。

ABSTRACT

In this article we discuss a version of the Chebotarev density for function fields over perfect fields with procyclic absolute Galois groups. Our version of this density theorem differs from other versions in two aspects: we include ramified primes and we do not have an error term.

研究の動機と目的

• 有限体に限らない、プロシクルの絶対ガロア群をもつ完備体上の関数体へのチホバレフ密度定理の一般化。
• 古典的なバージョンが非分岐素数に制限するのとは異なり、分岐素数を密度の記述に含めること。
• 定数体拡張とガロア捩じれを用いたパラメータ化により、等分布記述における誤差項を排除すること。
• 非有限体のベース体および非完全な定数体を許容することで、既存の結果を統一的かつ一般化すること。

提案手法

• 拡張 M/K の素数からのフロベニウスデータに基づいて、共轭類に質量を割り当てるガロア群 G 上の確率測度 (P,M)(γ) を定義する。
• 分解群およびインertie群を用いて、分岐が存在する場合でもフロベニウス類 (P,M/K) を共轭類の和集合として定義する。
• 定数体拡張 k_m を用いて、関数体 M の捩じれ Mγ を構成し、Mγ の有理素数が、特定のフロベニウス類をもつ K の素数に対応するようにする。
• ガロア降下および固定体論を用いて、写像 φ を介して Mγ の有理素数と、指定されたフロベニウス類をもつ K の素数との間の全単射を確立する。
• γ ∈ (P',M/K)、Δ ∈ (P',k_mM/K)、および P'|_{M_γ} が有理的であるという3条件の同値性を証明し、パラメータ化を元のフロベニウス条件に関連付ける。
• ハッセ＝ヴェイルの評価を用いて Mγ の有理素数の数を推定し、主定理の定量的結論に至る。

実験結果

リサーチクエスチョン

• RQ1 誤差項を導入せずに、分岐素数を含むチホバレフ密度定理を再定式化することは可能か？
• RQ2 捩じれた関数体における有理素数を用いて、フロベニウス共轭類をどのようにパラメータ化できるか？
• RQ3 定数体拡張がフロベニウス類のパラメータ化を構成する上で果たす役割は何か？
• RQ4 誤差項が存在しないことで、関数体設定における密度記述の構造にどのような影響が生じるか？
• RQ5 古典的チホバレフ定理は、この新しいパラメータ化フレームワークの特別な場合として回復可能か？

主な発見

• 本稿は、定数体の捩じれにおける有理素数を用いた測度論的パラメータ化により、フロベニウス共轭類を誤差なしにパラメータ化することを確立した。
• 任意の γ ∈ G でその共轭類が Γ であるとき、(P,M/K) ∩ Γ ≠ ∅ をみたす K の有理素数 P の個数は、#N × (P,M)(γ) に等しい。ここで #N は幾何的ガロア群の位数である。
• Mγ に含まれる有理素数の個数はハッセ＝ヴェイルの評価により漸近的に有界され、|#S - (q+1)| ≤ 2g_{k'}(M)√q が成り立つ。
• 捩じれによるパラメータ化により、写像 φ のファイバー構造を通じて、すべてのフロベニウス類が正確に捉えられ、ファイバーのサイズは deg_k(Q)/h に比例する。
• 証明により、分岐の場合であっても、フロベニウス類 (P,M/K) が、P 以上の素数の選び方によらずにwell-defined であることが示された。
• この構成は、プロシクルの絶対ガロア群をもつ任意の完備体 k に対して有効であり、有限体からの結果を、準有限体や最大の p-冪拡張など、より広いクラスに一般化している。