On the number of binary quadratic forms having discriminant $1-4p$, $p$ prime

这是一份关于论文《ON THE NUMBER OF BINARY QUADRATIC FORMS HAVING DISCRIMINANT 1−4p, p PRIME》（判别式为 $1-4p$ 的二元二次型的数量，其中 $p$ 为素数）的详细技术总结。

1. 研究背景与问题 (Problem)

核心问题：
论文旨在解决一个纯数论问题：计算判别式形式为 $\Delta = 1 - 4p$（其中 $p$ 为素数）且绝对值有界（$\le X$）的正定二元二次型（integral, positive definite binary quadratic forms）的 $SL_2(\mathbb{Z})$ 等价类的数量。

背景动机：

• 纽结理论联系： 该问题源于高维纽结理论。作者之前的工作（[10]）建立了简单 $(4a+1)$-纽结（genus 1）与判别式为 $1-4m$ 的二元二次型之间的对应关系。特别是，当 $m = \pm p$ 为素数时，这种对应是单射的。
• 启发式猜测： 之前的启发式分析认为，素数 $p$ 对应的纽结在总数中占主导地位。然而，之前的猜测假设素数情形下的类数统计行为与普通整数情形相同，这被证明是不准确的。
• 具体目标： 确定和式 $\sum_{p \le X} H(1-4p)$ 的渐近公式，其中 $H(D)$ 表示判别式为 $D$ 的正定二元二次型的 $SL_2(\mathbb{Z})$ 等价类总数（包含非本原形式）。

2. 主要结果 (Key Results)

论文给出了该计数问题的精确渐近公式，并修正了之前的启发式猜测。

定理 1.1 (Theorem 1.1)：
对于 $X \ge 2$，有如下渐近公式：
$$\sum_{p \le X} H(1 - 4p) = C_{\text{Art}} \cdot \frac{2\pi}{9} \cdot \frac{X^{3/2}}{\log X} + O\left(\frac{X^{3/2}}{(\log X)^2}\right)$$
其中 $C_{\text{Art}}$ 是 Artin 常数，定义为：
$$C_{\text{Art}} = \prod_{\ell \ge 2} \left(1 - \frac{1}{\ell(\ell-1)}\right)$$

关键发现：

• Artin 常数的出现： 与所有整数 $m$ 的类数和 $\sum_{m \le X} H(1-4m) \sim \frac{2\pi}{9} X^{3/2}$ 相比，素数情形的结果多了一个因子 $C_{\text{Art}}$。这表明素数判别式的类数平均值比一般整数情形要小，且这种差异不能通过简单的素数分布密度解释。
• 拓扑推论 (Corollary 1.2)： 该结果直接转化为纽结理论中的结论：具有特定亚历山大多项式 $\Delta_p(t) = pt^2 + (1-2p)t + p$ 的简单 $(4a+1)$-纽结（$p \le X$ 为素数）的数量渐近于 $C_{\text{Art}} \frac{4\pi}{9} \frac{X^{3/2}}{\log X}$。
• 塞弗特矩阵 (Seifert Matrices)： 结果也等价于计算具有特定行列式性质的 $2 \times 2$ 塞弗特矩阵的 $S$-等价类数量。

3. 方法论 (Methodology)

作者采用了解析类数公式 (Analytic Class Number Formula) 结合筛法 (Sieve Methods) 和随机欧拉乘积模型 (Random Euler Product Model) 的策略。

3.1 解析类数公式与求和分解

• 利用 Hurwitz 类数 $Hur(D)$与$L$-函数的关系：$Hur(D) = \frac{1}{\pi} L(1, \chi_D) |D|^{1/2}$（对于非本原形式需考虑本原形式的缩放）。
• 将总计数 $Q(X) = \sum_{p \le X} Hur(1-4p)$ 分解为不同“内容”（content）$d$ 的部分：
  $$Q(X) = \sum_{d \ge 1} Q_d(X)$$
  其中 $Q_d(X)$ 统计内容为 $d$ 的二次型。这转化为估计加权的双线性特征和：
  $$T_d(X) = \sum_{p \le X, d^2 | 1-4p} L(1, \chi_{(1-4p)/d^2})$$

3.2 特征和的估计 (Estimating Character Sums)

这是证明中最技术性的部分，分为三个区间处理：

1. 小 $n$ 区间 ($n \le (\log X)^B$)： 使用 Siegel-Walfisz 定理。由于 $1-4p$ 模 $n$ 的分布涉及素数在算术级数中的分布，作者计算了主项系数，发现其依赖于 $A(n, d)$ 的求和。
2. 中间 $n$ 区间 ($(\log X)^B < n < X^{1/2+\epsilon}$)： 将区间划分为二进区间（dyadic intervals），应用 双线性特征和界限 (Bilinear Character Sums Bounds)（基于 Lemma 4.2，推广了 Polya-Vinogradov 不等式以处理非无平方因子数）。这一部分被证明是误差项。
3. 大 $n$ 区间 ($n \ge X^{1/2+\epsilon}$)： 直接截断，利用 $L(1, \chi)$ 的截断误差界限，这部分也是误差项。

3.3 主项的求和与 Artin 常数的推导

• 对所有 $d$ 求和时，主项系数涉及一个算术函数 $c(d)$ 的欧拉乘积。
• 通过计算 $\sum c(d)$ 的欧拉乘积，作者发现该乘积恰好收敛于 Artin 常数 $C_{\text{Art}}$。
• 关键差异解释： 在一般整数情形下，限制 $D$ 为素数形式 $1-4p$ 会改变局部因子（local factors）的分布。作者通过随机模型展示了，对于素数 $p$，$1-4p$ 模 $\ell$ 的二次剩余分布概率与一般整数不同，导致每个局部 $L$-因子的期望值乘以了因子 $(1 - \frac{1}{\ell(\ell-1)})$，累积起来即为 $C_{\text{Art}}$。

4. 随机欧拉乘积模型 (Random Euler Product Model)

为了直观理解为何会出现 Artin 常数，论文第 3 节建立了一个随机模型：

• 将 Hurwitz 类数视为 Zagier $L$-函数 $L_D(s)$ 在 $s=1$ 处的值。
• $L_D(s)$ 可以分解为局部因子的乘积。
• 作者分析了当 $D$ 遍历所有 $0, 1 \pmod 4$ 的整数与 $D = 1-4p$ ($p$ 为素数) 时，局部因子 $L_{D, \ell}(1)$ 的期望值差异。
• 结论： 限制 $D = 1-4p$ 使得 $D \equiv 1 \pmod \ell$ 的概率为 0（对于 $\ell > 2$），从而改变了局部因子的统计分布。这种分布的改变恰好对应于 Artin 原始猜想中关于原根的密度因子。

5. 意义与贡献 (Significance)

1. 修正启发式猜测： 论文证明了在涉及素数判别式的类数求和问题中，不能简单假设其统计行为与所有整数相同。素数约束引入了一个非平凡的常数因子（Artin 常数），这是之前文献（如 Friedlander-Iwaniec 处理 $-4p$ 或 Nagoshi 处理 $-p$）中未出现过的现象。
2. 纽结理论的定量结果： 为高维纽结分类提供了精确的渐近计数公式，确认了具有素数参数亚历山大多项式的纽结在拓扑分类中的主导地位，并给出了精确的密度系数。
3. 技术突破： 成功处理了“非本原形式”计数与“素数判别式”约束的叠加问题。这导致了无穷多个主项（来自不同的 $d$）的求和，且这些主项的系数结构复杂，最终通过精细的解析数论技巧（结合 Siegel-Walfisz 和双线性和界限）求和得到了封闭形式。
4. 模型创新： 提出了针对 Zagier $L$-函数（而非标准二次域 $L$-函数）的随机欧拉乘积模型，为研究 Hurwitz 类数的分布提供了新的理论工具。

总结

这篇文章通过结合解析数论中的类数公式、特征和估计以及概率模型，精确计算了特定判别式形式的二元二次型数量。其核心贡献在于揭示了素数约束对类数平均值的微妙影响（Artin 常数因子），并将这一数论结果成功应用于高维纽结理论的计数问题。