[论文解读] On the Davenport-Heilbronn theorems and second order terms

Manjul Bhargava, Arul Shankar+1 more|arXiv (Cornell University)|May 5, 2010

Advanced Algebra and Geometry参考文献 29被引用 8

一句话总结

本文证明了罗伯茨关于三次域的戴维斯通-海布隆定理中第二项以及二次类群中3-torsion的猜想，确立了明确的 $X^{5/6}$ 二级主项，且常数显式给出。通过一种新颖的方法计数满足同余条件的二元三次型，作者推导出具有幂次误差项的渐近公式，解决了代数数论中这些经典计数问题在误差项大小和形式上的长期悬而未决的问题。

ABSTRACT

We give simple proofs of the Davenport--Heilbronn theorems, which provide the main terms in the asymptotics for the number of cubic fields having bounded discriminant and for the number of 3-torsion elements in the class groups of quadratic fields having bounded discriminant. We also establish second main terms for these theorems, thus proving a conjecture of Roberts. Our arguments provide natural interpretations for the various constants appearing in these theorems in terms of local masses of cubic rings.

研究动机与目标

• 解决长期悬而未决的难题：精确确定有界判别式三次域数量的戴维斯通-海布隆渐近公式中的第二阶项。
• 为二次域类群中3-torsion的和建立相应的第二阶项，从而证实罗伯茨的猜想。
• 开发一种新方法，用于计数满足任意有限个素数处同余条件的二元三次型，从而实现此类计数问题中第二阶项的推导。
• 为原始的戴维斯通-海布隆定理及戴维斯关于二元三次型判别式的结果提供更简单、更直接的证明。
• 通过初等方法推导戴维斯通-申蒂定理中的第二主项，此前该结果依赖于预齐性向量空间上的zeta函数。

提出的方法

• 提出一种新方法，用于计数满足有限个素数处指定同余条件的不可约整系数二元三次型的 ${ m GL}_2(bZ)$-等价类。
• 利用 $p$-进积分和二元三次型空间上的不变测度，计算局部密度，特别关注对本原向量上 $|a(f)|_p^{-2/3}$ 的 $p$-进积分。
• 在每个素数 $p$ 处推导出局部密度 $\nu_p(R)$ 和 $\nu_p^{(2)}(R)$ 的显式公式，这些公式编码了每个同构类的三次环对全局计数的贡献。
• 应用圆法和切片技术，将三次域的全局计数与此类型的数量联系起来，通过指数和估计控制误差项。
• 以简化、更易理解的形式应用预齐性向量空间理论和zeta函数，以恢复申蒂对戴维斯通-申蒂定理第二主项的结果。
• 通过改进计数过程中的误差分析，建立阶为 $O_ ho(X^{5/6 - 1/48 + \rho})$ 的幂次误差项，优于先前的界限。

实验结果

研究问题

• RQ1 在有界判别式三次域的渐近计数中，主项 $X/\big(12\theta(3)\big)$ 之外，第二阶项的确切形式是什么？
• RQ2 二次域类群中3-torsion的戴维斯通-海布隆定理中所猜想的 $X^{5/6}$ 二级项能否被严格证明？
• RQ3 如何在保持渐近公式中第二阶项控制的前提下，计数满足给定同余条件的二元三次型？
• RQ4 在有界判别式二元三次型数量的戴维斯通-申蒂定理中，正确的第二阶项是什么？
• RQ5 能否通过初等方法推导出这些计数问题中的第二主项，而无需使用预齐性向量空间上zeta函数的完整理论？

主要发现

• 满足 $0 < \text{Disc}(K) < X$ 的三次域 $K$ 的数量渐近为 $\frac{1}{12\zeta(3)}X + \frac{4\zeta(1/3)}{5\Gamma(2/3)^3\zeta(5/3)}X^{5/6} + O_\epsilon(X^{5/6 - 1/48 + \epsilon})$。
• 满足 $-X < \text{Disc}(K) < 0$ 的三次域的数量渐近为 $\frac{1}{4\zeta(3)}X + \frac{\sqrt{3} \cdot 4\zeta(1/3)}{5\Gamma(2/3)^3\zeta(5/3)}X^{5/6} + O_\epsilon(X^{5/6 - 1/48 + \epsilon})$。
• 在 $0 < D < X$ 范围内对 $|\text{Cl}_3(D)|$ 求和的结果为 $\frac{4}{3} \sum_{0<D<X} 1 + \frac{8\zeta(1/3)}{5\Gamma(2/3)^3} \prod_p \left(1 - \frac{p^{1/3} + 1}{p(p+1)}\right) X^{5/6} + O_\epsilon(X^{5/6 - 1/48 + \epsilon})$。
• 在 $-X < D < 0$ 范围内对 $|\text{Cl}_3(D)|$ 求和的结果为 $2 \sum_{-X<D<0} 1 + \frac{\sqrt{3} \cdot 8\zeta(1/3)}{5\Gamma(2/3)^3} \prod_p \left(1 - \frac{p^{1/3} + 1}{p(p+1)}\right) X^{5/6} + O_\epsilon(X^{5/6 - 1/48 + \epsilon})$。
• 满足 $0 < \text{Disc}(f) < X$ 的不可约二元三次型的 ${\rm GL}_2(\bbZ)$-等价类数量为 $\frac{\pi^2}{72}X + \frac{\sqrt{3}\zeta(2/3)\Gamma(1/3)(2\pi)^{1/3}}{30\Gamma(2/3)}X^{5/6} + O_\epsilon(X^{3/4 + \epsilon})$。
• 通过 $p$-进积分和不变测度，以初等方法推导出戴维斯通-申蒂定理的第二主项，避免了对预齐性向量空间上zeta函数的依赖。