Bateman-Horn, polynomial Chowla and the Hasse principle with probability 1

技术摘要：Bateman–Horn 猜想、多项式 Chowla 猜想与概率为 1 的 Hasse 原理

问题陈述
本文探讨了分析数论中的三个基本问题，涉及算术函数和丢番图方程在多项式 $f \in \mathbb{Z}[t]$（次数 $d \geq 1$）取值时的行为。具体而言，作者研究了当多项式的系数从组合立方体（系数空间中的一个盒子）中随机选取时，这些对象的平均行为。

1. Bateman–Horn 猜想：该猜想预测不可约多项式 $f(t)$ 取素数值的渐近密度。虽然对于线性多项式已知成立，但对于固定次数 $d \geq 2$ 的多项式，该猜想仍难以企及。本文旨在为“几乎所有”给定次数的多项式建立该猜想。
2. 多项式 Chowla 猜想：该猜想预测，对于任何非 $c g(t)^2$ 形式的多项式 $f$，Liouville 函数 $\lambda(f(n))$ 表现出抵消性（即和为 $o(x)$）。与 Bateman–Horn 猜想类似，对于次数 $\geq 2$ 的不可约多项式，该猜想尚未解决。
3. 范数形式的整 Hasse 原理：本文研究了方程 $N_K(\mathbf{x}) = f(t)$ 在整数上的可解性，其中 $N_K$ 是数域 $K/\mathbb{Q}$ 的范数形式，$f(t)$ 是一个多项式。整 Hasse 原理断言，局部可解性（在 $\mathbb{R}$ 和所有 $p$ 的 $\mathbb{Z}_p$ 上）意味着在 $\mathbb{Z}$ 上的全局可解性。作者旨在确定该原理是否对典型多项式 $f$ 成立。

方法论
核心的技术创新是将随机多项式上算术函数的平均问题归约为短区间和算术级数中的等分布问题。

• 关键技术工具（定理 2.2）：作者证明，如果一个算术函数 $F(n)$ 在算术级数中分布良好（具体而言，如果其在剩余类 $u \pmod q$ 的区间 $I$ 上的和在“大多数”模数 $q$ 下很小），那么 $F(f(n))$ 在随机多项式 $f$ 上的和表现出显著的抵消。该结果依赖于二阶矩方法以及对整数结构（除数、光滑数）的细致分析，以处理多项式值之间的相关性。
• $\Lambda$ 和 $\lambda$ 的等分布：为了应用主要工具，作者证明了 von Mangoldt 函数 $\Lambda$ 和 Liouville 函数 $\lambda$ 满足短区间和算术级数中所需的等分布性质，排除了一组稀疏的“坏”模数。这利用了 Dirichlet $L$-函数的零密度估计和 $L(s, \chi)$ 的无零区域。
• 范数形式与局部计数：针对 Hasse 原理问题，作者构造了一个“局部计数函数”$\hat{N}_c(x)$，用于近似方程 $N_K(\mathbf{x}) = f(t)$ 的整数解数量。该函数结合了局部密度因子（源自 Dedekind zeta 函数和局部可解性）与 Archimedean 密度因子（奇异积分）。作者证明了实际计数函数 $N_c(x)$ 在平均意义上能被 $\hat{N}_c(x)$ 良好近似，且 $\hat{N}_c(x)$ 很少很小。

主要贡献与结果

1. 概率为 1 的 Bateman–Horn 猜想（定理 1.2 与 1.4）：

   • 作者证明，对于系数位于边长为 $H$ 的组合立方体中（且常数项不固定为 0）的几乎所有 $d$ 次多项式 $f$，Bateman–Horn 渐近公式对长度为 $x \asymp H^c$ 的和成立，其中 $c < 5/(31d)$。
   • 这改进了先前的工作（例如 Skorobogatov 和 Sofos 的工作），允许求和范围 $x$ 是 $H$ 的多项式而非对数，并且仅需对两个系数进行平均（立方体维度 $\geq 2$），而非所有系数。
   • 推论 1.3：一个典型的容许多项式至少取 $H^{5/(31d) - \epsilon}$ 个素数值。

2. 概率为 1 的多项式 Chowla 猜想（定理 1.5）：

   • 本文证明，对于几乎所有 $d$ 次多项式 $f$，和 $\sum_{n \leq x} \lambda(f(n))$ 在 $x \in [H^c, 2H^c]$ 范围内被 $x (\log H)^{-A}$ 界定。这确认了几乎所有多项式的多项式 Chowla 猜想，改进了 Teräväinen 的定性结果。

3. 广义 Châtelet 曲面的整 Hasse 原理（定理 1.6）：

   • 对于方程 $N_K(\mathbf{x}) = f(t)$，作者证明，如果 $f$ 是“容许的”（首项系数为正且处处局部可解），则该方程以概率 1 拥有整数解。
   • 在可解多项式比例中的误差项节省了 $\log H$ 的任意次幂。
   • 推论 1.8：对于 100% 的容许多项式，整数解是 Zariski 稠密的（不包含在低次曲线的有限并集中）。
   • 该结果将 Derenthal 和 Wei 的先前工作（处理特定情况，如 $K=\mathbb{Q}(i)$ 和二次 $f$）推广到任意数域和任意次数多项式，且无需依赖 Schinzel 猜想。

意义与主张
本文声称同时解决了这三个主要猜想/问题的平均行为。

• 结果的强度：作者强调，他们的结果对“几乎所有”多项式成立（例外集大小为 $O(\#C / (\log H)^A)$），这比证明对正比例多项式成立的结果更强。
• 不依赖未证明假设：与该领域许多依赖 Schinzel 猜想或广义黎曼猜想 (GRH) 的结果不同，这些结果是无条件的。达到的 $x$ 范围与 GRH 提供的范围相当（除常数 $c$ 外），但证明是无条件的。
• 方法论进展：归约到算术级数中的等分布（定理 2.2）被呈现为一种通用工具，它将特定算术函数（无论是 $\Lambda$、$\lambda$ 还是范数形式表示函数）的难度与多项式结构的难度解耦，前提是函数分布良好。
• Hasse 原理：本文强调，对于整 Hasse 原理，Brauer–Manin 障碍是 100% 容许多项式的唯一障碍，这一结果超出了先前工作的范围（后者局限于特定数域或需要 Schinzel 猜想）。

作者指出，例外集的大小和指数 $c$ 分别受限于当前对 Siegel–Walfisz 定理和零密度估计的认识，而这些领域的进一步改进将直接提高其定理中的定量界限。