问题
虚二次域 ℚ(√−d) 的类群 Cl(d) 度量 «唯一分解失效的程度»。经验数据（Davenport–Heilbronn 的早期表格到现代大规模计算）显示类群遵从一条惊人的概率律——科恩–伦斯特拉启发式（1983）：
于是：循环群最常见；«奇数部分无平方因子» 型结构占压倒优势；r-秩 ≥ 3 的概率为正（对虚二次域的奇部）；类数 1 的域恰好 9 个（1, 2, 3, 7, 11, 19, 43, 67, 163）不再神秘——它只是分布的 «第一个下降点»。问题：任何一条非平凡的分布预测能否被证明？现状：能证的部分只有亏格理论（2-秩，命题 1）；奇部的任何分布断言（哪怕 «r-秩 ≥ 3 的域有无穷多个»）都未证。唯一的完整 «实验场» 在函数域上——那里启发式成了定理。
主要概念
类群与类数
Cl(d) 是 ℚ(√−d) 的理想类群，阶 h(d) 为类数。高斯时代起的两百年积累出庞大的数据表：类数 1 的九个值（Heegner–Stark 证明）、类数 2 的十八个（Baker–Stark）、类数 3 的十六个（Oesterlé）…… «固定 h 的完备清单» 全部可算，但 «h 的分布»（类群结构层面的）没有任何定理。
自同构倒数的哲学
1/|Aut(G)| 权重的直观：把 «所有阶 ≤ N 的阿贝尔群» 视为等可能，按 «生成它的方式数» 加权归一后，概率恰 ∝ 1/|Aut(G)|—— «对称性越高的群越罕见»。该哲学在 «随机阿贝尔群» 与 «随机矩阵»（科恩–伦斯特拉–马蒂内的 ℓ-adic 版本：类群 ≈ 随机酉辛矩阵的特征空间）两个方向都有精确化。
主要命题与证明
命题 1（亏格理论，完整陈述与证明骨架） 设 K = ℚ(√−d)，判别式 D 有 t 个不同素因子，则 Cl(K) 的 2-秩等于 t − 1（D ≡ 分歧全 «负» 的标准情形）。
骨架 由高斯亏格理论：Amb(K)（两元组 (Cl/2Cl, ...) 的歧类群）↔ 分歧素因子的 «亏格群»，精确序列 (ℤ/2)t−1 → Cl/2Cl → 单位类 → 1。歧类由 «分歧点上的特征标» 生成（每个素因子给一个 2 阶特征标，唯一的整体关系来自乘积公式/希尔伯特符号 πv(−1, −1) 型），故 2-秩 = t − 1。这是 «类群分布» 中唯一被定理锁住的一层——恰因它 «可见»（判别式的素因子结构），而科恩–伦斯特拉管辖的 «奇部» 不可见。□
命题 2（类数 1 的九个值，完整陈述与证明梗概） ℚ(√−d) 类数 1 当且仅当 d ∈ {1, 2, 3, 7, 11, 19, 43, 67, 163}。
梗概 高斯类数问题（«类数 1 的虚二次域是否只有有限多个»）经 Heegner（1952，有漏洞）、Stark（1967）与 Baker（1966/1971，用超越性）独立解决：eπ√163 ≈ 640320³ + 744 − ε 的 «近整数» 现象来自模函数 j(τ) 在虚二次点的代数性（CM 理论：j(τd) 是代数整数），而 «类数 1 ⟺ j 值极小» 的单向推进把 d 压到 163 以下逐个排除。□
命题 3（科恩–伦斯特拉的函数域定理，完整陈述） 把 ℚ 换成函数域 𝔽q(t)：对固定有限域 𝔽q 上的虚二次 «函数域»（超椭圆曲线的二次扩张），随亏格/度数趋于无穷，类群的分布严格收敛到科恩–伦斯特拉预测（奇部按 1/|Aut| 权重；ℓ-秩分布与随机矩阵模型的预测吻合）。证明路线：把类群实现为 «除子类数»，用 zeta 函数的显式分解（函数域的哈斯–韦伊公式）+ 随机图/随机矩阵的标准极限定理。□
进展与文献
Cohen–Lenstra 1983（《Heuristics on class groups》）与 Cohen–Martinet 1990 的 ℓ-adic 推广；Davenport–Heilbronn 1971 的 «三次域 3-挠» 精确定理（唯一能 «指定族» 证明的分布结果：3- torsion 平均大小 = 常数的判别式加权版本——Bhargava 等最近把它推进到平均 3-秩 = 1 + …）；函数域验证见 Rosen《Number Theory in Function Fields》。最诱人的具体目标（科恩–伦斯特拉的直接推论）：«奇 4-秩 ≥ 3 的虚二次域有无穷多个»——比 «类数分布» 弱得多，仍然全无证明；Bhargava–Varma 的 «3-挠平均» 与 Alexander–Smith 的 «8-秩分布»（2020s，用隐形魔群谱系）是目前最接近的两块拼图——后者首次把 «固定 ℓ 的完整分布» 对 8-秩（实二次域）严格证明，被视为该纲领 40 年来的最大突破。