[论文解读] Théorème de Chebotarev effectif

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

Algebraic Geometry and Number Theory被引用 10

一句话总结

本文为Chebotarev密度定理中的误差项提供了显式且有效的界，改进了Lagarias与Odlyzko的早期工作。通过在Chebotarev密度的显式公式中仔细估计零点自由区域和指数和，该文在误差项中建立了绝对常数，无论在广义黎曼猜想下还是无条件地，显著提高了对数域扩张中Frobenius共轭类渐近估计的精度。

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的工作提供数值常数，进一步改进其误差界。
• 支持需要在Galois扩张中Frobenius分布有效界的各种丢番图应用。
• 为数域扩张中具有给定Frobenius共轭类的素理想数量提供定量估计。

提出的方法

• 利用Artin L-函数的Mellin变换，推导加权素数计数函数 $\psi_C(x)$ 的显式公式。
• 通过特征正交性将问题约化为Hecke L-函数，简化极点与零点的分析。
• 通过L-函数对数导数的界，估计沿平移围道的积分。
• 建立Dedekind zeta函数及其Artin L-函数的零点自由区域，特别是在 $s=1$ 附近，以控制异常零点带来的误差。
• 应用经典的围道平移方法与指数积分估计，以界定逆Mellin变换中的误差。
• 使用积分的二元分解与仔细的控制估计，推导误差项中的显式常数，特别是 $\exp(-c\sqrt{\ln x / n_L})$ 项。

实验结果

研究问题

• RQ1 在无条件与广义黎曼猜想下，有效Chebotarev定理中误差项的显式绝对常数是什么？
• RQ2 如何使Chebotarev定理的误差项具有显式数值界，以明确依赖于数域的判别式与次数？
• RQ3 Dedekind zeta函数 $\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]$，提供了显著更紧的界。
• Dedekind zeta函数 $\zeta_L(s)$ 的异常零点 $\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)$。
• 通过改进围道积分估计与显式控制显式公式中的指数和，该方法实现了显式常数，避免了依赖于先前工作中隐式常数的缺陷。
• 非异常零点自由区域带来的误差界被证明以快于任何 $\ln x$ 幂次的速度衰减，衰减速率由 $\sqrt{\ln x / n_L}$ 控制，常数 $\frac{1}{99}$ 来自对围道平移的仔细分析。
• 通过 $\theta_C(x)$ 的Abel变换得到 $\pi_C(x)$ 的最终结果，其中积分误差通过界 $\int_2^x \frac{dt}{\sqrt{t} \ln t} \leq \frac{4\sqrt{x}}{\ln x}$ 控制，这对最终误差估计至关重要。