The classification of real quadratic fields which satisfy Hammarhjelm's condition

技术摘要：满足 Hammarhjelm 条件的实二次域分类

问题陈述
本文旨在对满足“Hammarhjelm 条件”的实二次域 $K = \mathbb{Q}(\sqrt{D})$（其中 $D > 1$ 为无平方因子数）进行分类。一个域若满足该条件，需同时满足以下两个准则：

1. 整数环 $\mathcal{O}_K$ 具有唯一分解性质（即类数 $h_K = 1$）。
2. 由嵌入 $\alpha \mapsto (\alpha, \sigma(\alpha))$ 定义的 Minkowski 格 $f(\mathcal{O}_K) \subset \mathbb{R}^2$ 中，不包含位于开矩形 $(1, \lambda) \times (-1, 1)$ 内的点，其中 $\lambda > 1$ 是 $K$ 的基本单位。

这些域最近出现在代数切片投影集（cut-and-project sets）中可见点（visible points）的研究中。在此项工作之前，已知的示例仅限于 $D \in \{2, 5, 13, 29, 53\}$。本研究的目标是确定此类场的完整列表。

方法论
证明过程通过建立 Hammarhjelm 条件与基本单位相对于判别式的大小之间的关系，并结合基于类数一领域的生成理论（genus theory）和现有分类进行逐情况分析来展开。

1. 限制基本单位：
   作者首先证明了 Hammarhjelm 条件强制要求基本单位 $\lambda$ 相对于判别式 $\Delta_K$ 较小。

• 若 $D \equiv 2, 3 \pmod 4$，则 $\lambda < 2\sqrt{D} = \sqrt{\Delta_K}$。
• 若 $D \equiv 1 \pmod 4$，则 $\lambda < \frac{\sqrt{D}+1}{2} = \frac{\sqrt{\Delta_K}+1}{2}$。
  该界限是通过构造 $\mathcal{O}_K$ 中的特定元素导出的，如果 $\lambda$ 更大，这些元素将会落入上述禁忌矩形内。

2. 生成理论与窄类群：
   本文利用生成理论来限制具有类数为一的判别式。具体而言，窄类数 $h_K^+$ 可被 $2^{r(K)-1}$ 整除，其中 $r(K)$ 是 $\Delta_K$ 的不同素因子个数。对于 $h_K=1$，这意味着 $r(K) \le 2$。

• 对于 $D \equiv 1 \pmod 4$ 且 $r(K)=2$（即 $\Delta_K = pq$）的情况，利用 Rédei 矩阵分析了窄类群的 4-秩（4-rank）。研究表明，如果 $p, q \equiv 1 \pmod 4$ 且 $q = p+4$，则 4-秩为 1，这意味着 $h_K > 1$。

3. 按判别式类型分类：
   证明根据 $D$ 模 4 的同余情况将问题分为以下几类：

• $D \equiv 2, 3 \pmod 4$： 作者证明了对于 $D > 2$，不存在满足条件的此类场。对于 $D=2$，条件成立。对于 $D \equiv 3 \pmod 4$，由于缺乏范数为 $-1$的单位以及对$\lambda$的限制，对于任何素数$D$ 都会导致矛盾。
• $D \equiv 1 \pmod 4$：
  • 素判别式 ($D=p$)： 对 $\lambda$ 的限制强制要求基本单位的范数为 $-1$，从而使$D$ 属于 Yokoi 族的形式。这确定了这些场是 Yokoi 族的一个子集。
  • **合数判别式 ($D=pq$)：** 分析排除了$p, q \equiv 1 \pmod 4$的情况（基于 4-秩论证），同时也排除了$p, q \equiv 3 \pmod 4$ 的情况（这类情况属于“窄 Richaud-Degert”族，已被证明对于 $D > 5$ 不满足条件 H）。

4. 应用 Biró 的分类：
   对于被确定属于 Yokoi 族的场（即 $D = m^2 + 4$），本文依赖于 Biró (2003) 对该族中类数为一的场的分类。Biró 确定了该形式下具有类数为一的唯一无平方因子判别式为 $D \in \{5, 13, 29, 53, 173, 293\}$。

主要贡献与结果
主要结果为 定理 1.1，该定理指出恰好有七个实二次域满足 Hammarhjelm 条件。它们对应的判别式为：
$$D \in \{2, 5, 13, 29, 53, 173, 293\}$$

本文提供了严格证明，表明：

• 此前已知的示例（$D=2, 5, 13, 29, 53$）是完整列表的一部分。
• 另外两个场 $D=173$ 和 $D=293$ 也满足该条件。
• 没有其他实二次域满足该条件。

证明过程确立了 Hammarhjelm 条件意味着基本单位相对于判别式较小，这使得搜索空间被限制在特定的场族（Yokoi 族和窄 Richaud-Degert 扩张）中，而这些场的类数为一的情况已被分类。

意义
本文解决了确定所有满足 Hammarhjelm 条件的实二次域的问题，这一问题是由近期关于代数切片投影集中可见点研究的发展所驱动的。通过将基本单位的初等界限与来自生成理论及 Yokoi 族分类的深刻结果相结合，作者提供了一个确定且有限的此类场列表，将已知集合从五个扩展到了七个。