[论文解读] Average bounds for the $\ell$-torsion in class groups of cyclic extensions

Christopher Frei, Martin Widmer|arXiv (Cornell University)|Sep 28, 2017

Limits and Structures in Graph Theory参考文献 14被引用 6

一句话总结

本文在无条件前提下建立了任意数域的循环扩张类群中 $\varepsilon$-挠子群的非平凡上界，证明了在某些族中几乎所有此类数域的 $\varepsilon$-挠子群的增长速度均慢于判别式的任意次幂。关键突破在于，通过基于高度的计数方法与筛法，将此前在广义黎曼假设（GRH）下的条件性结果推广至无条件设定，实现了对任意大次数族中平凡上界的改进。

ABSTRACT

For all positive integers $\ell$, we prove non-trivial bounds for the $\ell$-torsion in the class group of $K$, which hold for almost all number fields $K$ in certain families of cyclic extensions of arbitrarily large degree. In particular, such bounds hold for almost all cyclic degree-$p$-extensions of $F$, where $F$ is an arbitrary number field and $p$ is any prime for which $F$ and the $p$-th cyclotomic field are linearly disjoint. Along the way, we prove precise asymptotic counting results for the fields of bounded discriminant in our families with prescribed splitting behavior at finitely many primes.

研究动机与目标

• 为任意数域 $K$ 的类群中 $\varepsilon$-挠子群 $\mathrm{Cl}_K[\ell]$ 建立无条件、非平凡的上界，适用于循环扩张的族。
• 将此前在广义黎曼假设（GRH）下成立的条件性结果推广至任意大次数的循环扩张族的无条件设定。
• 证明：在某些循环扩张族中几乎所有数域，其 $\varepsilon$-挠子群满足 $D_K^{1/2 - \min\{\gamma/\ell, \tilde{\delta}_0\} + \varepsilon}$ 的上界，优于平凡上界。
• 为判别式有界的数域（在有限个素数处具有指定分裂行为）建立精确的渐近计数结果，从而支持筛法的应用。
• 证明对平凡上界的改进是非平凡的，并可在特定子族（如具有受控中间域的族）中实现定量强化。

提出的方法

• 利用基于高度的计数方法，估算循环扩张族中高度有界的代数整数的数量，借助马勒度量与系数范数的界来控制此类整数的数量。
• 对判别式 zeta 函数应用围线积分，推导出在有限个素数处具有指定分裂行为且判别式有界的数域数量的渐近估计。
• 应用 Ellenberg、Pierce 与 Wood 的切比雪夫筛法技术，将其适配至循环扩张族，将计数结果转化为类群 $\varepsilon$-挠子群的上界。
• 引入一个精炼的高度条件 $\eta(K/F) \leq D_K^\gamma$，以控制类群大小，将数论几何与数域的算术性质联系起来。
• 结合第 4.2 段关于小分裂素数的结果与渐近计数，推导出误差项，从而在例外数域的密度中实现幂次节省的改进。
• 利用 Scharnuel 定理与有界高度多项式数量的界，建立 $N_H(P_{\mathscr{F}}, X) \ll_{n,m} X^{n+1}$，这是主定理中最终上界的关键前提。

实验结果

研究问题

• RQ1 能否为任意大次数的循环扩张族建立类群中 $\varepsilon$-挠子群的非平凡、无条件的上界？
• RQ2 在这些族中，对几乎所有的数域，Ellenberg 与 Venkatesh 的 GRH 依赖型上界在无条件设定下能被多大程度地改进？
• RQ3 小分裂素数的存在与受控的高度增长如何影响具有大 $\varepsilon$-挠子群的数域的密度？
• RQ4 在具有中间子域的族中，对平凡上界的改进能否以次数 $n$ 与参数 $\ell$ 的形式进行量化？
• RQ5 对循环扩张族施加何种条件，可确保有界高度的数域数量增长足够缓慢，从而在筛法中实现幂次节省的误差项？

主要发现

• 对任意数域 $F$ 及满足 $F$ 与 $p$-次分圆域线性不相交的素数 $p$，几乎所有 $F$ 上的 $p$ 次循环扩张 $K$ 的类群中 $\varepsilon$-挠子群满足 $D_K^{1/2 - \min\{\gamma/\ell, \tilde{\delta}_0\} + \varepsilon}$ 的上界，其中任意 $\gamma < 1/(p+1)$。
• 本文证明：对 $\mathscr{F} = \mathscr{T}_{F,n}$，满足 $D_K \leq X$ 且 $\eta(K/F) \leq D_K^\gamma$ 的 $K \in \mathscr{F}$ 的数量为 $O_{\mathscr{F},\lambda}(X^{\lambda\gamma})$，这使得切比雪夫筛法可用于控制例外集合。
• 当 $\gamma$ 选取接近 $1/(n+1)$ 且 $\ell > 1/(\tilde{\delta}_0(n+1))$ 时，对 $\mathscr{F}$ 中 100% 的数域（按判别式计数），有 $\#\mathrm{Cl}_K[\ell] \ll D_K^{1/2 - \min\{\gamma/\ell, \tilde{\delta}_0\} + \varepsilon}$ 成立。
• 该方法实现了对平凡上界 $D_K^{1/2 + \varepsilon}$ 的非平凡改进，$D_K$ 的指数减少了 $\min\{\gamma/\ell, \tilde{\delta}_0\}$，当 $\ell$ 足够大时该值为正。
• 对具有 $\mathbb{Q}$ 上度为 $e$ 的中间域的子族 $\mathscr{F}_{\mathbb{Q},n}(e)$，上界可改进为 $D_K^{1/2 - \min\{1/(\ell(e+n/e)), \tilde{\delta}_0\} + \varepsilon}$，当 $n = e^2$ 时，$n$ 的衰减速率更优。
• 本文表明，对完整族 $\mathscr{F}_{F,n}$，要求的生长条件 $N_H(P_{\mathscr{F}}, X) \ll X^\lambda$（其中 $\lambda < 2$）无法成立，但对具有受控中间域的子族，此类界是可能的，从而支持更强的结果。