[論文レビュー] Théorème de Chebotarev effectif

Bruno Winckler|arXiv (Cornell University)|Nov 22, 2013

Algebraic Geometry and Number Theory被引用数 10

ひとこと要約

この論文は、Chebotarev密度定理における誤差項の明示的で効果的な上限を提供し、LagariasとOdlyzkoの先行研究を精緻化している。Chebotarev密度の明示的公式における零点非存在領域および指数和の鋭い推定を通じて、誤差項に絶対定数を明示的に得ており、一般化されたリーマン仮説の下でも、かつ条件なしでも、数体のガロア拡張におけるフロベニウス共轭類の漸近的推定の精度を著しく向上させている。

ABSTRACT

Let K be a number field, and L be a finite normal extension of K with Galois group G. It is known that the number of Frobenius automorphisms corresponding to prime ideals, whose norms are less than x, is equivalent to the logarithmic integral as x tends to infinity, and these automorphisms are well-distributed among the conjugacy classes of G : this is the Chebotarev theorem. The purpose of this paper is to compute the absolute constants of the error term appearing in a previous work about this theorem, due to Lagarias and Odlyzko.

研究の動機と目的

• 有効なChebotarev密度定理における誤差項に現れる絶対定数を計算すること。これは、従来は暗黙的であった。
• LagariasとOdlyzkoの研究を、数値的定数を明示的に含むように精緻化すること。
• ガロア拡張におけるフロベニウス分布の有効な境界を必要とするディオファントス的応用を支援すること。
• 数体拡張における与えられたフロベニウス共轭類を持つ素イデアルの個数に対する定量的推定を提供すること。

提案手法

• Mellin変換を用いてArtin L関数の重み付き素数計数関数 $\psi_C(x)$ の明示的公式を導出する。
• 特徴関数の直交性を用いて問題をHecke L関数に還元し、極と零点の解析を簡略化する。
• L関数の対数微分の境界を用いて、シフトされた contour における積分を推定する。
• 特に $s=1$ の近傍におけるDedekindゼータ関数およびそのArtin L関数の零点非存在領域を確立し、例外的零点に起因する誤差を制御する。
• 古典的な contour 移動法と指数積分の推定を適用し、逆Mellin変換における誤差を有効に制限する。
• 積分のdyadic分解と鋭い主要化を用いて、特に $\exp(-c\sqrt{\ln x / n_L})$ 項における誤差項に明示的な定数を導出する。

実験結果

リサーチクエスチョン

• RQ1 有効なChebotarev密度定理における誤差項に現れる明示的絶対定数は、一般化されたリーマン仮説の下でも、条件なしでも、それぞれどのように特定されるか？
• RQ2 数体の判別式および次数に依存する誤差項を、明示的な数値的境界を伴って有効化するにはどうすればよいか？
• RQ3 Dedekindゼータ関数 $\zeta_L(s)$ の可能性のある例外的零点 $\beta_0$ の寄与の正確な大きさは何か？
• RQ4 拡張の次数 $n_L$ および判別式 $d_L$ に対して、誤差項の指数的減衰率をどのように定量化できるか？
• RQ5 LagariasとOdlyzkoの手法を精緻化することで、誤差項に絶対定数を導出でき、暗黙の定数に依存しないようにできるか？

主な発見

• この論文は、条件なしの有効なChebotarev定理を確立し、明示的な誤差項を示している：$x \geq \exp\left(8n_L(\ln(150867d_L^{44/5}))^2\right)$ に対して、誤差は $\frac{|C|}{|G|}\mathrm{Li}(x^\beta) + C_0 x \exp\left(-\frac{1}{99}\sqrt{\frac{\ln x}{n_L}}\right)$ で抑えられ、$C_0 < 7.84 \times 10^{14}$ である。
• 一般化されたリーマン仮説の下では、誤差は $\frac{|C|}{|G|}\sqrt{x}\left[\left(32 + \frac{181}{\ln x}\right)\ln d_L + \left(28\ln x + 330 + \frac{1655}{\ln x}\right)n_L\right]$ で抑えられ、著しく鋭い境界が得られる。
• 例外的零点 $\beta_0$ は誤差項 $\frac{|C|}{|G|}\chi_0(g)\frac{x^{\beta_0}}{\beta_0}$ を寄与させ、$\beta_0 < 1 - \frac{1}{c d_L^{1/n_L}}$ となるように、計算可能な定数 $c$ を持つ。残りの項 $R_0(x)$ は $1505234280719 x \exp\left(-\frac{7-4\sqrt{3}}{5}\sqrt{\frac{\ln x}{n_L}}\right)$ で抑えられる。
• 従来の研究に依存しないように、contour 積分の推定と明示的公式における指数和の主要化を精緻化することで、明示的定数を達成している。
• 非例外的零点非存在領域に起因する誤差の下限は、$\ln x$ の任意のべきよりも速く減少し、その速度は $\sqrt{\ln x / n_L}$ によって制御される。定数 $\frac{1}{99}$ は contour 移動の鋭い解析から導出されている。
• 最終的な $\pi_C(x)$ の結果は、$\theta_C(x)$ のAbel変換により得られ、積分誤差は $\int_2^x \frac{dt}{\sqrt{t} \ln t} \leq \frac{4\sqrt{x}}{\ln x}$ という境界により制御されており、これは最終的な誤差推定において極めて重要である。