[论文解读] The mean number of 2-torsion elements in the class groups of $n$-monogenized cubic fields

Manjul Bhargava, Jonathan Hanke+1 more|arXiv (Cornell University)|Oct 29, 2020

Algebraic Geometry and Number Theory参考文献 28被引用 4

一句话总结

本文研究了按高度排序的 $n$-单态化的三次域类群中 2-挠元的平均数量。通过三次与四次环的参数化、局部质量公式及体积计算，作者证明 $n$-单态性显著改变了 2-挠子群的平均大小，当 $n$ 固定时，其平均大小与经典情形不同，并为全实与复三次域分别推导出明确的渐近公式。

ABSTRACT

We prove that, on average, the monogenicity or $n$-monogenicity of a cubic field has an altering effect on the behavior of the 2-torsion in its class group.

研究动机与目标

• 确定 $n$-单态性如何影响三次域类群中 2-挠子群的平均大小。
• 将经典关于平均 2-挠大小的结果（如 Davenport–Heilbronn）推广至 $n$-单态化三次域的情形。
• 证明单态性——此前被认为在平均统计中可忽略——实际上对类群 2-挠分布有可测量的、非平凡的影响。
• 发展对 $n$-单态化三次环及其四次解耦环的精细化参数化，以实现基于体积的计数。

提出的方法

• 通过固定 $n$-指数的二元三次型参数化 $n$-单态化三次环，利用不变量 $I(f)$ 与 $J(f)$ 定义高度函数。
• 通过解耦映射 $\mathrm{Res}(A,B) = 4\det(Ax - By)$，将 $n$-单态化三次域与具有 $n$-单态化三次解耦环的四次环联系起来。
• 在 $\mathbb{Z}_p$ 与 $\mathbb{R}$ 上应用局部质量公式，计算算术群作用下轨道空间的体积。
• 利用一致性估计与平方自由筛法，控制具有平方自由判别式的整数轨道的密度。
• 在二元三次型与四次环的空间中执行体积计算，推导 $n$-单态化域的渐近计数。
• 通过 $\mathrm{SL}_3(\mathbb{Z})$ 与 $\mathrm{M}(\mathbb{Z})$ 的作用，建立 $V(\mathbb{Z})$ 中通解轨道与 $n$-单态化三次域之间的对应关系。

实验结果

研究问题

• RQ1 $n$-单态性如何影响三次域类群中 2-挠子群的平均大小？
• RQ2 当限制在 $n$-单态化三次域时，$\mathrm{Cl}_2(K)$ 的平均大小是否保持不变，如同在局部条件下一样？
• RQ3 有界高度的 $n$-单态化三次域的渐近密度是多少？其随 $n$ 如何变化？
• RQ4 能否通过参数化与体积方法，将 Davenport–Heilbronn 的经典平均值推广至 $n$-单态化情形？
• RQ5 整除 $n$ 的素数处的局部条件如何影响 2-挠元素的全局平均？

主要发现

• 当 $n$ 固定时，$n$-单态化全实三次域类群中 2-挠子群的平均大小为 $5/4$，与经典 Davenport–Heilbronn 平均值一致。
• 当 $n$ 固定时，$n$-单态化复三次域类群中 2-挠子群的平均大小为 $3/2$，同样与经典平均值一致。
• 当对所有满足 $n < cH^\delta$ 的 $n$-单态化三次域取平均时，$\mathrm{Cl}_2(K)$ 的平均大小为 $1 + \frac{1}{2}\zeta(2)^{-1} = \frac{4}{3}$，此结果与经典情形不同。
• 作者证明了 $n$-单态性对平均 2-挠大小有非平凡影响，与最初认为此类全局条件不会改变经典平均值的预期相反。
• 通过四次环的参数化（其具有 $n$-单态化三次解耦环）计算了 $n$-单态化三次域空间的体积，从而实现了精确的渐近计数。
• 本文确立了 2-挠元素的平均数量对单态化生成元的指标 $n$ 敏感，且这种敏感性由局部质量公式与平方自由筛法所捕捉。