Class numbers and integer points on some Pellian surfaces

技术摘要：类数与某些佩尔曲面上的整点问题

问题陈述
本文研究了佩尔曲面（Pellian surfaces）中非平凡整点的分布，具体研究在有界区域内满足方程 $t^2 - du^2 = 1$ 的整数三元组 $(t, d, u)$。研究的核心对象是计数函数 $N(B)$，它统计满足该方程且 $\max(|t|, |d|, |u|) \le B$ 且 $u \neq 0$ 的整数三元组数量。$N(B)$ 的增长率与佩尔方程基本解 $\varepsilon_d$ 的大小有着本质的联系。

本文旨在解决两个主要问题：

1. $N(B)$ 的渐近行为是什么？
2. 在假设关于对数 K3 曲面上整点猜想的前提下，对于特定的 $d$ 族，可以对基本解 $\varepsilon_d$ 的典型大小以及平均类数 $h(d)$ 做出怎样的推论？

方法论
作者结合了解析数论、几何数论和算术几何的方法。

• 分解与计数： 对于 $N(B)$ 的无条件上界，论文利用了佩尔方程的“初始分解” $(t+1)(t-1) = du^2$。该方法根据 $t$ 的奇偶性和 $d$ 的整除性将问题进行拆分。作者应用了 Fouvry、Jouve 和 Reuss 的结果，利用近似行列式方法来限制辅助方程 $d_1 u_1^2 - d_2 u_2^2 = \theta$ 的解的数量。
• 对数 K3 曲面与 $A_1$-曲线： 论文将重点转向由 $t^2 - (z^2+3)u^2 = 1$（或等价于 $2uyz = y^2 - 3u^2 - 1$）定义的曲面 $U$。作者识别出原始佩尔曲面上的整点通常位于“$A_1$-曲线”（定义在 $\mathbb{Z}$ 上的有理曲线）上。通过移除这些点，我们研究其子集 $U^\circ$。
• 猜想框架： 分析在很大程度上依赖于 Browning 和 Wilsch 的猜想 1.2，该猜想预测对于光滑对数 K3 曲面 $U$，不在 $A_1$-曲线之外的整点数量呈对数级增长：$N^\circ_U(B) \ll (\log B)^{\rho_U + b}$，其中 $\rho_U$ 是 Picard 数，$b$ 是边界除子的实分量个数。
• 几何计算： 为了应用 Browning-Wilsch 猜想，作者显式地计算了由 $k=3$ 定义的曲面 $U$ 的不变量。这包括通过解析奇异性（具体为 $A_2$ 型奇异性）来确定 Picard 数 $\rho_U = 2$ 和边界分量数 $b=2$，从而得出指数为 4。
• 类数公式： 论文通过狄利克雷类数公式将基本单位的大小与类数联系起来：$h(d) \log \varepsilon_d = \sqrt{d} L_d(1)$。

主要贡献与结果

1. 整点界限 $N(B)$：

   • 定理 1.1： 作者利用 Hooley 关于基本解密度的定理，建立了下界 $N(B) \gg B^{1/2}(\log B)^2$。
   • 无条件上界： 在不假设未证明猜想的情况下，论文证明了 $N(B) \ll_\epsilon B^{7/12 + \epsilon}$。通过结合初始分解与近似行列式方法，这一结果改进了以往的无条件估计。
   • 有条件上界： 在假设 Hooley 猜想 (1.7) 对于 $\alpha = 3/2$ 成立的情况下，作者表明 $N(B) \ll B^{1/2}(\log B)^2$，与下界相匹配。

2. 基本解的下界：

   • 定理 1.3： 假设针对特定对数 K3 曲面 $U$ 的 Browning-Wilsch 猜想成立，论文证明了对于几乎所有的 $z$（满足 $3 \nmid z$ 且 $z^2+3$ 为无平方因子数），基本解满足 $\log \varepsilon_{d(z)} \gg d(z)^{1/8 - \epsilon}$。
   • 该结果是通过以下逻辑导出的：如果基本解更小，那么该曲面上的整点数量将会超过猜想所预测的对数增长界限。
   • 推论 1.5： 这意味着存在无穷多个实二次域 $K$，其判别式为 $\Delta_K$，使得 $\log \varepsilon_K \gg \Delta_K^{1/8 - \epsilon}$。

3. 类数的平均值：

   • 定理 1.6： 假设 Browning-Wilsch 猜想，论文为 $z^2+3$ 在 $3 \nmid z$ 的平方因子值上的类数平均值提供了一个改进的上界。具体为：
     $$\sum_{\substack{z \le Z \\ 3 \nmid z \\ \mu^2(z^2+3)=1}} h(z^2+3) \ll Z^{9/5} (\log Z)^{3/5}$$
   • 这改进了由 Yamamoto 定理导出的平凡界限，后者对于同一求和项的界限为 $Z^2 (\log Z)^{-2}$。

意义与主张
本文声称架起了佩尔方程算术与对数 K3 曲面几何之间的桥梁。

• 逆向工程： 一个主要的贡献是使用“逆向过程”，即利用关于对数 K3 曲面上整点稀缺性（特别是那些不在 $A_1$-曲线上的点）的猜想，来推导出基本单位大小的下界。
• 界限精细化： 该工作提供了计数函数 $N(B)$ 的第一个无条件上界 $B^{7/12+\epsilon}$，精细化了对这些曲面上整点分布的理解。
• 有条件改进： 通过假设 Browning-Wilsch 猜想，本文展示了对于族 $d=z^2+3$，在 $d$ 为平方因子数时，其基本解比此前已知的要大得多，且该族的平均类数增长速度慢于标准的 $Z^2$ 速率。

作者指出，虽然关于基本解的结果是有条件的（依赖于 Browning-Wilsch 猜想），但关于 $N(B)$ 的无条件界限是严谨的。本文并不声称证明了 Browning-Wilsch 猜想本身，而是将其作为一种工具，用以提取目前仅靠标准解析方法难以获取的算术信息。