Solubility of a family of conics with polynomial coefficients in many variables

技術的サマリー：多変数多項式係数を持つ二次曲線の族の可解性

問題提起
本論文は、二次曲線のファイバー束の底における有理点の数の漸近挙動を調査する。具体的には、同じ次数 $d$ を持つ 3 つの同次多項式 $F_0, F_1, F_2 \in \mathbb{Z}[X_0, \dots, X_n]$ が与えられたとき、以下の方程式で定義される二次曲線の族を研究する：
$$F_0(\mathbf{y})x_0^2 + F_1(\mathbf{y})x_1^2 = F_2(\mathbf{y})x_2^2$$
ここで、$\mathbf{y} \in \mathbb{P}^n(\mathbb{Q})$ かつ $x \in \mathbb{P}^2(\mathbb{Q})$ である。主要な目的は、対応する二次曲線が有理点を持つ（すなわち、至る所局所可解である）ような、有界な反標準高 $H(\mathbf{y}) \leq B$ を持つ点 $\mathbf{y}$ の個数を数える量 $N_{\text{loc}}(\pi_F, B)$ を推定することである。

この問題は、Loughran–Smeets 予想（2016 年）およびその Loughran, Rome, Sofos による改良（2023 年）の文脈に位置づけられる。これらの予想は、幾何学的に既約な一般ファイバーを持つ支配的射 $\pi: Y \to \mathbb{P}^n$ に対して、局所可解なファイバーの数が以下のように漸近的に増加すると予測している：
$$N_{\text{loc}}(\pi, B) \sim c \frac{B}{(\log B)^{\Delta(\pi)}}$$
ここで、$\Delta(\pi)$ は余次元 1 の点におけるファイバーの分裂挙動によって決定される不変量であり、$c$ はタマガワ測度、ブラウア群などの幾何学的および算術的不変量を含む定数である。

手法
証明戦略は、解析的整数論と算術幾何学からのいくつかの高度な手法を組み合わせる：

1. 幾何学的解析（第 2 節）： 著者は従属ブラウア群 $\text{Br}_{\text{sub}}(\mathbb{P}^n, \pi_F)$ と不変量 $\Delta(\pi_F)$ を計算する。「Birch 系」の多項式によって定義される特定の二次曲線の族に対して、ブラウア群の商が $\mathbb{Z}/2\mathbb{Z}$ に同型であり、不変量 $\Delta(\pi_F)$ が $3/2$ に等しいことが確立される。これにより、予想によって予測される定数 $c_{\text{LRS}}(\pi_F)$ の明示的な予測が可能となる。

2. Selberg–Delange 法（第 3 節）： 多変数の多項式における $\tau_z * g$ の形の算術関数の平均を推定するための一般的な補題（補題 3.1）が証明される。これは $(s\zeta(s+1))^z$ のテイラー展開に依存し、特定の成長条件を持つ乗法的関数を含む和を扱うために必要な道具を提供する。

3. 円周法と算術級数（第 4 節および第 5 節）： 核心的な解析的作業は、係数 $t_i$ が特定の算術級数に含まれる対角平面二次曲線 $t_0 x_0^2 + t_1 x_1^2 = t_2 x_2^2$ のうち、有理点を持つものの割合を推定することである。

   • 著者は Hasse–Minkowski 定理を用いて数え上げ関数を分解し、局所可解性の条件を分離する。
   • 問題は、算術級数内の係数に関するヒルベルト記号と算術関数を含む和を推定することに帰着される。
   • 定理 4.2 は、係数が算術級数に含まれるようなそのような二次曲線の個数に対する漸近式を提供する。これは、$q$ が $\log B$ のべきで有界である限り、法 $q$ に関して一様である。この結果は、局所可解性の条件から生じる特定の算術関数に Selberg–Delange 法を適用することで導かれる。

4. Destagnol–Lyczak–Sofos の適用（第 6 節）： 著者は、多変数の多項式の値における算術関数の平均を推定するために円周法を適用する Destagnol, Lyczak, Sofos（2025 年）による最近の結果を利用する。これを算術級数内の二次曲線に対する漸近式（定理 4.2）と組み合わせることで、係数の局所可解性と可解なファイバーの全体的な数え上げとの間のギャップを埋める。

主要な貢献と結果

• 定理 1.7： 主要な結果は、Birch 系の多項式によって定義される特定の二次曲線の族に対して Loughran–Rome–Sofos 予想を確立するものである。$F_i=0$ によって切り出される多様体が滑らかであり、それらの交わりが完全交わりであるという仮定の下で、著者は以下を証明する：
  $$N_{\text{glob}}(\pi_F, B) \sim c_{\text{LRS}}(\pi_F) \frac{B}{(\log B)^{3/2}}$$
  ただし、$B \to \infty$ である。ここで、Hasse–Minkowski 定理により $N_{\text{glob}} = N_{\text{loc}}$ である。

• 明示的な定数： 本論文は、定数 $c_{\text{LRS}}(\pi_F)$ の明示的な式（式 2.2）を提供し、それが予想の予測と一致することを確認する。この定数には、$\mathbb{R}$ 上で二次曲線が可解である領域の体積、$\mathbb{Q}_p$ 上の局所密度の積、および底 $\mathbb{P}^n$ の幾何学的不変量が含まれる。

• 一般的な補題（補題 3.1）： 本論文は、多変数の乗法的関数の畳み込みの平均に対する一般的な推定を提供する。これは、多項式の値における算術関数の分布に関わる他の問題にも適用可能である可能性がある。

• 級数内の二次曲線に対する漸近式（定理 4.2）： 本論文は、有理点を持つ係数が算術級数に含まれる対角二次曲線の個数に対する正確な漸近式を導出する。この結果はそれ自体が独立した興味を引くものであり、主要な証明にとって決定的である。

重要性
本論文は、Loughran–Smeets および Loughran–Rome–Sofos 予想が成り立つことが知られているケースのリストを拡張する。以前の研究は、特定の構造を持つ $\mathbb{P}^n$ 上の二次曲線束（例えば、$D \neq 0$ が平方自由な場合の Destagnol–Lyczak–Sofos、$\mathbb{P}^1 \times \mathbb{P}^1$ 上の二次形式の Wilson など）を扱っていたが、この研究は、Birch 系を形成する一般的な同次多項式によって定義されるより広範な族を扱う。

その重要性は以下の点にある：

1. 予想の検証： 底が $n \geq 1$ の $\mathbb{P}^n$ である非自明な二次曲線束の族に対して、予測されたオーダー $B/(\log B)^{3/2}$ と定数の明示的な形状を確認する。
2. 方法論的統合： 高次元多項式族における局所可解性の条件の算術的複雑さを処理するために、Destagnol–Lyczak–Sofos による円周法と Selberg–Delange 法を成功裡に統合する。
3. 局所 - 大域原理の精緻化： 従属ブラウア群と分裂不変量を明示的に計算することで、この特定の族における有理点の存在に対する幾何学的な障害を明確にする。

著者は、この結果が円周法を効果的に適用するために多項式が十分に一般的であることを保証する「Birch 系」の条件（定義 1.6）に依存していると指摘している。この研究は、すべての支配的射に対する予想の解決を主張するものではないが、検証済みのリストに重要なクラスの例を追加するものである。