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

技術要約：ランダムな二項形式におけるリウヴィル関数、フォン・マンゴルト関数、およびノルム形式

問題設定
本論文は、ランダムな次数 $d$ の二項形式の値に対して評価された算術関数の平均的な振る舞いについて調査するものである。具体的には、以下の相互に関連する3つの問題に取り組む：

1. 長（Chowla）の予想： 二項形式の値におけるリウヴィル関数 $\lambda(n)$ の打ち消しに関する解析。
2. ベイトマン–ホーン（Bateman–Horn）の予想： フォン・マンゴルト関数 $\Lambda(n)$ を用いた、二項形式のタプルが同時に素数値をとる場合の漸近公式の確立。
3. ハッセ原理： ノルム形式によって定義されるシャトレーレ（Châtelet）多様体が、有理的ハッセ原理を満たす割合の決定。

Browning, Sofos, および Teräväinen [5] による先行研究では、一変数におけるランダムな多項式に対して類似の結果が確立されているが、本論文はこれを二変数における二項形式へと拡張するものである。中心となる課題は、「ほとんどすべての」二項形式（組合せ論的な意味において）が、その背後にある幾何学的および算術的な複雑さが増大しているにもかかわらず、これらの予想によって予測される期待される統計的振る舞いを示すことを証明することである。

手法
本論文は、**組合せ的キューブ（combinatorial cubes）**の概念を中心とした、確率論的および解析的数論の手法を採用している。組合士的キューブ $C$ は、特定の係数が固定され、他の係数が範囲 $[-H, H]$ 内で変化する係数ベクトル $(c_0, \dots, c_d) \in \mathbb{Z}^{d+1}$ の部分集合として定義される。目標は、サイドレングス $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)$ が稀にしか小さくならないこと（すなわち、解の存在を保証するのに十分な大きさを持つこと）の証明が含まれる。
• 幾何学的および代数的制約： 解析では、「分離可能」な形式と、整数零点または高いコンテンツを持つ形式を区別している。これらの「適格性」条件に適合しない形式が稀であることを示すための補題が提供されている。また、証明にはデデキント・ゼータ関数および $p$ 進体上の局所密度の性質が利用されている。

主な貢献および結果

1. 二項形式に対する平均化された長（Chowla）の予想（定理 1.2）：
   本論文は、組合士的キューブ内の係数を持つ次数 $d$ の二項形式 $g \in \mathbb{Z}[s, t]$ のほとんどすべてにおいて、形式の値上のリウヴィル関数の和が打ち消しを示すことを証明する。具体的には、$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$ タプルに対して、フォン・マンゴルト関数の積の和が以下を満たすことを示す：
   $$\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）多様体に関する有理的ハッセ原理（定理 1.5）：
   固定された次数 $e$ のノルム形式 $N_K$ と、次数 $d$ の変化する二項形式 $g$（ここで $e|d$）に対し、関連するシャトレーレ多様体 $N_K(x) = g(u)$ が、100% の係数ベクトルに対して有理的ハッセ原理を満たすことを証明する。
   $$\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 の予想の平均版を提供している。先行研究では特定のケース（例：線形多項式や特定の次数）を扱っていたが、本論文は、ノルムの次数が二項形式の次数を割り切る場合、指定された型のノルム形式方程式の100%において、この原理が成立することを証明している。
• 定量的精度： 結果は定量的であり、$(\log H)^{-A}$ のオーダーの明示的な誤差項を提供している。これにより、高さ順に並べられた二項形式の文脈において、「ほとんどすべて」を厳密に定義することが可能となっている。
• 方法論的進展： 著者は、シャトレーレ多様体の方程式における非同次性を扱うために、洗練された局所的計数関数と、アルキメデス密度および非アルキメデス密度の詳細な解析を導入している。

著者は、自らの結果が、検討されているノルム形式方程式の100%に対して有理的ハッセ原理を証明していることを明示している。これは、[5] における多項式の積分的ハッセ原理よりも強い結果である。なぜなら、[5] の結果は非同次性により確率1での有理的なケースを保証していなかったからである。本論文は、個々のすべての形式に対してこれらの予想を解決すると主張しているのではなく、係数の空間における統計的極限において、それらの妥当性を確立している。