[论文解读] Counting $S_5$-fields with a power saving error term

Arul Shankar, Jacob Tsimerman|arXiv (Cornell University)|Oct 8, 2013

Advanced Algebra and Geometry参考文献 6被引用 3

一句话总结

该论文通过将 Selberg $\Lambda^2$-sieve 应用于数的几何中的计数方法，首次建立了计数 $S_5$-五次域时的节能误差项。证明了判别式有界于 $X$ 的 $S_5$-五次域的数量渐近为 $d_i \prod_p(1 + p^{-2} - p^{-4} - p^{-5})X + O_\epsilon(X^{399/400 + \epsilon})$，其中 $d_0 = 1/240$，$d_1 = 1/24$，$d_2 = 1/16$，实现了对主项的非平凡误差节省。

ABSTRACT

We show how the Selberg $Λ^2$-sieve can be used to obtain power saving error terms in a wide class of counting problems which are tackled using geometry of numbers. Specifically, we give such an error term for the counting function of $S_5$-quintic fields.

研究动机与目标

• 建立有界判别式下 $S_5$-五次域计数函数的节能误差项。
• 将 Selberg $\Lambda^2$-sieve 的应用扩展到具有退化轨道的数的几何计数问题。
• 通过获得形式为 $O(X^{a - \delta})$ 且 $\delta > 0$ 的非平凡误差项，改进先前的渐近计数。
• 在 $S_5$-五次域上展示该方法，首次在此背景下实现此类节能结果。

提出的方法

• 应用 Selberg $\Lambda^2$-sieve 控制五次环空间中 $G_\mathbb{Z}$-轨道的退化数量。
• 使用模 $m$ 的同余条件的统一密度估计，确保对固定 $A$ 有 $|L \cap F_0(X)| = \mu(L)cX^a\log^bX + O(X^{a - \delta}m^A)$。
• 采用混合筛法策略：首先对素数进行筛分，通过 $\bigcap_p S_p(5)$ 和 $\bigcap_p S_p(1112)$ 控制退化点，然后应用第二次筛分，从环过渡到域。
• 利用 Bhargava 对五次环的参数化方法，通过 $G_\mathbb{Z}$-轨道在 $V_\mathbb{Z}$ 上的作用，其中 $V_\mathbb{Z}$ 由五阶交错矩阵的四元组构成。
• 将 [5, 命题 19] 中的统一性估计推广至 $N(W_d, X) = O_\epsilon(X/d^{2 - \epsilon})$，适用于最大环。
• 通过优化筛分参数 $T = X^{1/400}$ 来平衡最终渐近展开中的误差项，从而得到 $O_\epsilon(X^{399/400 + \epsilon})$。

实验结果

研究问题

• RQ1 Selberg $\Lambda^2$-sieve 能否系统性地应用于数的几何计数问题，以获得节能误差项？
• RQ2 有界判别式下 $S_5$-五次域计数的最优误差项是什么？
• RQ3 如何利用筛法以节能误差项控制退化的 $G\mathbb{Z}$-轨道（非 $S_5$-域）？
• RQ4 能否通过第二次筛分，以节能误差项实现从 $S_5$-环到 $S_5$-域的过渡？

主要发现

• 具有 $i$ 个复共轭对且判别式有界于 $X$ 的 $S_5$-五次域的数量渐近为 $d_i \prod_p(1 + p^{-2} - p^{-4} - p^{-5})X + O_\epsilon(X^{399/400 + \epsilon})$，其中 $d_0 = 1/240$，$d_1 = 1/24$，$d_2 = 1/16$。
• 误差项 $O_\epsilon(X^{399/400 + \epsilon})$ 相对于主项实现了节能改进，指数为 $399/400 = 1 - 1/400$。
• 通过将 Selberg $\Lambda^2$-sieve 应用于控制退化的 $S_5$-环的数量，实现了节能，得到 $N^*(V^{\rm deg,(i)}_\mathbb{Z}, X) \ll_\epsilon X^{199/200 + \epsilon}$。
• 从环到域的最终筛分利用了统一性 $N(W_d, X) = O_\epsilon(X/d^{2 - \epsilon})$，通过 $T = X^{1/400}$ 实现了误差项的平衡。
• 证明表明，最大 $S_5$-环的密度为 $\prod_p(1 - c_p)$，其中 $c_p = O_\epsilon(p^{-2 + \epsilon})$，且主项与已知渐近常数一致。
• 该结果是目前已知首个 $S_5$-五次域的节能误差项，解决了低零点统计和算术统计中的一个关键挑战。