[论文解读] 4-ranks and the general model for statistics of ray class groups of imaginary quadratic number fields

Carlo Pagano, Efthymios Sofos|arXiv (Cornell University)|Oct 20, 2017

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

一句话总结

本文将Cohen–Lenstra和Gerth的启发性猜想推广至虚二次数域的ray类群，通过将其中2-部分结构建模为Galois模的正合列，证明了4-秩分布的猜想，方法为通过渐近估计混合矩，建立了ray类群中具有指定4-秩的域的密度的精确公式，与2-群的广义随机模型一致。

ABSTRACT

We extend the Cohen-Lenstra heuristics to the setting of ray class groups of imaginary quadratic number fields, viewed as exact sequences of Galois modules. By asymptotically estimating the mixed moments governing the distribution of a cohomology map, we prove these conjectures in the case of $4$-ranks.

研究动机与目标

• 将Cohen–Lenstra和Gerth的启发性猜想推广至虚二次数域的ray类群，此前尚无一般性模型。
• 提出ray类群4-秩的猜想分布，推广Fouvry与Klüners关于类群4-秩的结果。
• 基于模c的局部环结构，建立预测ray类群中p-挠子群平均大小的框架，其中p为奇素数。
• 通过渐近分析与Galois模理论，建立4-秩分布与上同调映射矩之间的严格联系。

提出的方法

• 将ray类群的2-部分建模为Galois模的正合列，将其视为广义Cohen–Lenstra框架下的随机对象。
• 利用上同调映射的混合矩控制4-秩的分布，通过数论与群论技术对这些矩进行渐近估计。
• 通过生成函数与Euler乘积进行矩反演，特别使用 $ F(t) = \prod_{n=0}^\infty (1 - t 2^{-n}) $，从矩重构分布。
• 利用紧致性与对角线论证，提取 $ \mathbf{m}_\chi(D) $（类群不变量的2-进赋值）在判别式趋于无穷时的极限分布。
• 证明 $ \mathbf{m}_\chi(D) $ 的极限分布与由广义Cohen–Lenstra模型导出的预测测度 $ \mu(\mathbf{m}) $ 一致。
• 通过控制收敛定理与矩匹配，证明密度函数 $ d_\mathbf{v}(X) $ 收敛于预测测度 $ \mu(\mathbf{v}) $。

实验结果

研究问题

• RQ1 Cohen–Lenstra与Gerth启发性猜想在虚二次数域的ray类群上的正确推广是什么？
• RQ2 当 $ K $ 遍历具有固定导子 $ c $ 的虚二次域时，ray类群 $ \operatorname{Cl}(K,c) $ 与 $ \operatorname{Cl}(K) $ 的4-秩如何分布？
• RQ3 能否通过一个考虑 $ c $ 中素数分裂行为的改进模型，预测ray类群中 $ p $-挠子群的平均大小？
• RQ4 给定 $ \operatorname{rk}_4(\operatorname{Cl}(K)) = j_1 $ 与 $ \operatorname{rk}_4(\operatorname{Cl}(K,c)) = j_2 $ 的虚二次域 $ K $ 的自然密度的精确公式是什么？
• RQ5 如何利用矩生成函数从渐近矩数据重构Galois模不变量的分布？

主要发现

• 本文证明了定理1.1：具有 $ \operatorname{rk}_4(\operatorname{Cl}(K)) = j_1 $ 与 $ \operatorname{rk}_4(\operatorname{Cl}(K,c)) = j_2 $ 的虚二次域 $ K $ 的自然密度由涉及 $ \eta_{\infty}(2) $、$ \eta_{j_1}(2)^2 $ 以及指定秩的 $ \mathbb{F}_2 $-线性映射个数之比的公式给出。
• 密度公式涉及 $ \#\{\varphi \in \operatorname{Hom}_{\mathbb{F}_2}(\mathbb{F}_2^{j_1}, \mathbb{F}_2^{\#S_3}) : \operatorname{rk}(\varphi) = \#S - (j_2 - j_1)\} $，即具有指定像维数的线性映射的计数。
• 对于奇素数 $ p $，本文猜想ray类群中 $ p $-秩的密度具有类似公式，其依赖于 $ \mathbb{F}_p $-线性映射与Euler乘积 $ \eta_{\infty}(p) $。
• 当 $ p^2 \nmid c $ 时，$ \#\operatorname{Cl}(K,c)[p] $ 的平均大小被猜想为 $ p^{\#\{l|c, l \equiv 1 \pmod{p}\}} \left(1 + \left(\frac{p+1}{2}\right)^{\#\{l|c, l \equiv \pm 1 \pmod{p}\}}\right) $，当 $ p^2 \mid c $ 时则为修正版本。
• 作者证明了ray类群不变量的2-进赋值 $ \mathbf{m}_\chi(D) $ 的极限分布与预测测度 $ \mu(\mathbf{m}) $ 一致，证明了当 $ X \to \infty $ 时密度函数 $ d_\mathbf{v}(X) $ 收敛于 $ \mu(\mathbf{v}) $。
• 证明依赖于通过生成函数进行矩反演，以及使用 $ \widetilde{F}(\mathbf{z}) = \prod_{\chi} F(z_\chi) $，其中 $ F(t) = \prod_{n=0}^\infty (1 - t 2^{-n}) $，从渐近矩重构分布。