[论文解读] Moments and interpretations of the Cohen-Lenstra-Martinet heuristics

Weitong Wang, Melanie Matchett Wood|arXiv (Cornell University)|Jul 25, 2019

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

一句话总结

本文通过证明概率与一个稍加扩大的结构——即带无穷远处分解群的类三元组（class group with decomposition group at infinity）——的自同构数成反比，对数域中类群分布的Cohen-Lenstra-Martinet猜想进行了精细化和澄清。证明了所猜想的矩生成函数恰好为 $|H^{\tilde{\nu}}|^{-1}$，且这些矩唯一确定了完整的分布，为该猜想提供了更深层次的理论基础，并通过Hecke模作用和Capitulation核分析，将适用范围扩展至非Galois数域。

ABSTRACT

The goal of this paper is to prove theorems that elucidate the Cohen-Lenstra-Martinet conjectures for the distributions of class groups of number fields, and further the understanding of their implications. We start by giving a simpler statement of the conjectures. We show that the probabilities that arise are inversely proportional the to number of automorphisms of structures slightly larger than the class groups. We find the moments of the Cohen-Lenstra-Martinet distributions and prove that the distributions are determined by their moments. In order to apply these conjectures to class groups of non-Galois fields, we prove a new theorem on the capitulation kernel (of ideal classes that become trivial in a larger field) to relate the class groups of non-Galois fields to the class groups of Galois fields. We then construct an integral model of the Hecke algebra of a finite group, show that it acts naturally on class groups of non-Galois fields, and prove that the Cohen-Lenstra-Martinet conjectures predict a distribution for class groups of non-Galois fields that involves the inverse of the number of automorphisms of the class group as a Hecke-module.

研究动机与目标

• 以更具可及性的概率框架重新表述并澄清Cohen-Lenstra-Martinet猜想。
• 通过引入“类三元组”概念，解释为何预测概率中同时包含 $|H^{\tilde{\nu}}|$ 和 $|\text{Aut}_\Gamma(H)|$。
• 计算并证明Cohen-Lenstra-Martinet分布的 $H$-矩的精确形式，表明其等于 $|H^{\tilde{\nu}}|^{-1}$。
• 确立这些矩唯一确定完整分布，从而增强猜想的预测能力。
• 通过构建整数Hecke代数作用并分析Capitulation核，将猜想扩展至非Galois数域。

提出的方法

• 引入“类三元组”概念——即配备其在无穷远处分解群的Galois数域的类群——以统一概率公式中的自同构计数。
• 证明类三元组的自同构数恰好为 $|H^{\tilde{\nu}}| \cdot |\text{Aut}_\Gamma(H)|$，从而解释预测概率的结构。
• 将Cohen-Lenstra-Martinet分布的 $H$-矩定义并计算为 $\mathbb{E}[|\text{Sur}_\Gamma(X,H)|] = |H^{\tilde{\nu}}|^{-1}$，其中 $H$ 为满足 $H^\Gamma = 1$ 的有限 $\Gamma$-模。
• 构建有限群 $\Gamma$ 的Hecke代数的整模型，并证明其通过Capitulation核自然作用于非Galois域的类群。
• 利用Capitulation核将非Galois域的类群与Galois域联系起来，从而实现猜想在Galois扩张之外的应用。
• 证明Cohen-Lenstra-Martinet猜想预测非Galois域的类群分布时，概率与 $|\text{Aut}_\Gamma(H)|$ 成反比，当 $H$ 视为Hecke模时。

实验结果

研究问题

• RQ1 为何Cohen-Lenstra-Martinet概率中除 $|\text{Aut}_\Gamma(H)|$ 外还包含 $|H^{\tilde{\nu}}|$ 因子？
• RQ2 Cohen-Lenstra-Martinet启发式方法对 $\Gamma$-域类群所预测的 $H$-矩的精确形式为何？
• RQ3 Cohen-Lenstra-Martinet分布的矩是否能唯一确定完整分布？
• RQ4 如何将Cohen-Lenstra-Martinet猜想扩展至非Galois数域？
• RQ5 Capitulation核在连接非Galois域与Galois域的类群中起何作用？

主要发现

• Cohen-Lenstra-Martinet猜想中的概率与类三元组（即类群与无穷远处分解群的组合）的自同构数成反比。
• Cohen-Lenstra-Martinet分布的 $H$-矩恰好为 $|H^{\tilde{\nu}}|^{-1}$，其中 $H$ 是满足 $H^\Gamma = 1$ 的有限 $\Gamma$-模。
• 矩唯一确定Cohen-Lenstra-Martinet分布，为该猜想提供了坚实的理论基础。
• 本文构建了整数Hecke代数作用于非Galois域的类群，使启发式方法得以扩展至Galois扩张之外。
• Cohen-Lenstra-Martinet猜想所预测的非Galois域类群分布中，涉及类群作为Hecke模时的自同构数的倒数。
• 通过Galois闭包证明了Capitulation核的秩可计算，从而在不同域扩张间实现了分布预测的一致性。