Liouville function, von Mangoldt function and norm forms at random binary forms

技术摘要：随机二元型中的 Liouville 函数、von Mangoldt 函数与范数形式

问题陈述
本文研究了在随机二元型的取值上，算术函数表现出的平均行为。具体而言，它探讨了三个相互关联的问题：

1. Chowla 猜想： 分析 Liouville 函数 $\lambda(n)$ 在二元型取值上的抵消情况。
2. Bateman–Horn 猜想： 利用 von Mangoldt 函数 $\Lambda(n)$，建立关于二元型 $r$-元组同时取素数值的渐近公式。
3. Hasse 原则： 确定由范数形式定义的 Châtelet 簇满足有理 Hasse 原则的比例。

虽然 Browning, Sofos, 和 Teräväinen [5] 的前人工作已经建立了关于一元随机多项式的类似结果，但本文将该框架扩展到了两个变量的二元型。核心挑战在于证明“几乎所有”的二元型（在组合意义上）都表现出这些猜想所预测的预期统计行为，尽管其背后的几何与算术复杂性有所增加。

方法论
本文采用了一种基于**组合立方（combinatorial cubes）**概念的概率与解析数论方法。一个组合立方 $C$ 被定义为系数向量 $(c_0, \dots, c_d) \in \mathbb{Z}^{d+1}$ 的子集，其中某些系数是固定的，而其他系数在范围 $[-H, H]$ 内变化。目标是证明对于边长为 $H$ 的系数集合 $C$，那些“坏”的型（即不满足上述猜想的型）所占比例是微不足道的，具体为 $O((\log H)^{-A})$。

其核心技术手段包括：

• 算术级数中的等分布性： 本文推广了 [5] 中的关键工具（定理 2.1），该工具将算术函数在算术级数中的等分布性与其在随机多项式上的平均行为联系起来。通过控制形式 $\sum F(am^k n^{d-k} + bm^l n^{d-l} + g(m,n))$ 的和，该工具被适配到了二元型。
• 筛法与局部计数： 对于范数形式问题，作者引入了一个局部计数函数 $\hat{N}_c(x)$。该函数通过将搜索限制在特定区域 $B$ 内，并结合局部密度（奇异级数）与阿基米德密度，来近似全局整数解计数 $N_K(x) = g_c(u)$。
• 逼近与误差分析： 证明策略涉及展示全局计数函数 $N_c(x)$ 在几乎所有系数下都能被 $\hat{N}_c(x)$ 良好地近似。这需要对误差项 $|N_c(x) - \hat{N}_c(x)|$ 进行界定，并证明局部函数 $\hat{N}_c(x)$ 极少取极小值（即足够大以保证解的存在性）。
• 几何与代数约束： 分析区分了“可分”型与具有整数零点或高内容的型。通过引理证明了未能满足这些“容许性”条件的型是稀少的。证明过程还利用了 Dedekind zeta 函数的性质以及 $p$ 进域上的局部密度。

主要贡献与结果

1. 二元型的平均 Chowla 猜想（定理 1.2）：
   本文证明了对于组合立方中所有次数为 $d$ 的二元型 $g \in \mathbb{Z}[s, t]$，除了极少数情形外，Liouville 函数在形式的取值上的和表现出抵消。具体而言，对于 $x \in [H^c, 2H^c]$，
   $$\sup_{x} \frac{1}{x^2} \left| \sum_{u,v \leq x} \lambda(g(u,v)) \right| \leq (\log H)^{-A}$$
   对几乎所有的型均成立。

2. 二元型的平均 Bateman–Horn 猜想（定理 1.3）：
   作者建立了关于 $r$-元组二元型同时取素数值的渐后公式。他们表明，对于几乎所有的 $r$-元组，von Mangoldt 函数乘积的和满足：
   $$\sum_{m,n \leq x} \Lambda(g_1(m,n)) \cdots \Lambda(g_r(m,n)) \sim x^2 S_{g_1, \dots, g_r}(x)$$
   其中 $S$ 是局部密度的乘积。该结论在指定的 $x$ 范围内是一致成立的。

3. Châtelet 簇的有理 Hasse 原则（定理 1.5）：
   本文证明了对于一个固定的次数为 $e$ 的范数形式 $N_K$ 以及一个变化的次数为 $d$ 的二元型 $g$（其中 $e|d$），相关的 Châtelet 簇 $N_K(x) = g(u)$ 对 100% 的系数向量满足有理 Hasse 原则。
   $$\frac{\#S_{glob}(H)}{\#S_{loc}(H)} = 1 + O((\log H)^{-A})$$
   这里，$S_{loc}(H)$ 代表处处局部可解的型，$S_{glob}(H)$ 代表具有有理点的型。结果意味着对于几乎所有的此类簇，Brauer–Manin 阻碍是唯一的阻碍。

意义与主张
本文声称将 Browning, Sofos, 和 Teräväinen [5] 的“平均”方法论从一元多项式扩展到了二元型，鉴于二元型更高的维度和不同的算术属性，这是一个显著的进步。

• 解决 Colliot-Thélène 猜想（平均情况）： 本研究为 Colliot-Thélène 关于 Châtelet 簇 Hasse 原则的猜想提供了一个平均版本。虽然以往的研究涵盖了特定情形（例如线性多项式或特定次数），但本文证明了只要范数的次数整除二元型的次数，该原则对 100% 的此类类型的范数方程均成立。
• 定量精确性： 结果是定量的，提供了 $O((\log H)^{-A})$ 阶的显式误差项，这使得在高度排序的二元型空间中能够严格定义“几乎所有”。
• 方法论进展： 本文引入了一种精细的局部计数函数以及对阿基米德与非阿基米德密度的详细分析，以处理范数形式方程，克服了 Châtelet 簇方程缺乏齐次性的问题。

作者明确指出，其结果证明了所考虑的 100% 的范数方程满足有理 Hasse 原则，这比 [5] 中建立的关于多项式的整系数 Hasse 原则更强，因为后者由于非齐次性无法保证概率为 1 的有理情况。本文并非声称解决了每一个单独型的猜想，而是确立了它们在系数空间统计极限下的有效性。