Quantitative Oppenheim Conjecture for Random Quadratic Forms and Optimal Variance Bounds in Function Fields

技術要約：関数体におけるランダムな二次形式の定量的オッペンハイム予想と最適分散境界

問題提起
本論文は、関数体（具体的には正の標数を持つ局所体）の設定における、オッペンハイム予想の定量的側面に対処するものである。オッペンハイム予想（非退化で不定な二次形式 $Q$ の $\mathbb{Z}^n$ 上の像は $\mathbb{R}$ で稠密であるという予想）は、マルグリスによって同種ダイナミクスを用いて実数体において証明されたが、定量的なバージョン（密度の速度を推定するもの）は、様々なディオファントス条件の下で実数体において確立されてきた。しかし、関数体における正の標数を持つ局所体に対する定量的な結果は、これまで欠落していた。著者らは、関数体における生成的（generic）な非退化等長二次形式に関するモハマディの定性的結果に対し、定量的なバージョンを証明することで、この空白を埋めることを目的としている。

手法
著者らは、関数体 $K_\infty = \mathbb{F}_q((x^{-1}))$ に適応させた、数の幾何学および同種ダイナミクスを用いている。核心となる手法は以下の通りである：

1. シーゲル変換とモーメント： 著者らは、滑らかでコンパクトな台を持つ関数 $f$ に対する、関数体のシーゲル変換の類似物 $\hat{f}(\Lambda) = \sum_{v \in \Lambda \setminus \{0\}} f(v)$ を定義する。そして、この変換の高次モーメントを計算する。
2. 分散境界： 中心的な技術的要素は、集合内の格子点の数の分散に対する最適な上界の導出である。これは、ロジャースの第2次モーメント公式の関数体における類似物を確立することによって達成される。
3. マルグリス $\alpha$-関数： モーメントを制御するために、著者らは、マルグリス $\alpha$-関数（格子の「薄さ」を測る指標）が関数体の設定において有界なモーメントを持つことを証明する。これは、イワサワ分解および超距離空間における逐次最小値の性質に依拠している。
4. 厳密な体積計算： 実数体の設定では体積推定はしばしば漸近的であるが、著者らは、二次形式とノルム制約によって定義される集合の厳密な体積を計算するために、超距離不等式を活用する。
5. ウィットの定理： 体積の漸近公式の証明は、固定されたノルムと二次形式の値を持つ球面上における直交群の作用の推移性を確立する、関数体におけるウィットの定理の類似物に依存している。

主要な貢献と結果

• 定量的オッペンハイム予想 (Theorem 1.1): $n \ge 3$ のとき、ほとんどすべての非退化等長二次形式 $Q$ に対して、有界な可測集合 $I \subseteq K_\infty$ について、以下の条件を満たす格子点 $v \in R^n$ の個数は次のように与えられる：
  $$\# \{v \in R^n : Q(v) \in I, \|v\| \le q^t\} = C_Q q^{(n-2)t} m_{K_\infty}(I) + O_{Q,I}(q^{\delta t(n-2)})$$
  ここで $1/2 < \delta < 1$ であり、$C_Q$ は $Q$ に依存する定数である。これは、$Q$ の像の有効的な密度を確立するものである。

• 厳密な体積公式 (Theorem 1.2): 著者らは、集合 $\{v \in K_\infty^n : Q(v) \in I, \|v\| = q^t\}$ の体積に関する厳密な公式を導出する。大きな $t$ に対して、この体積は正確に $J_Q q^{(n-2)t} m_{K_\infty}(I)$ となることを示している（ここで $J_Q$ は定数である）。これは、そのような公式が通常は漸近的なものに過ぎない実数体の設定とは対照的である。

• 最適分散境界 (Theorem 1.6 & Proposition 1.7):

  • 本論文は、可測集合 $B$ 内の格子点の数の分散に対する最適な上界 $\text{Var}(X_B) \le C_n \text{Vol}(B)$ を確立する。
  • 決定的なことに、著者らは計量球 $B(\alpha, r)$ に対して厳密な分散を計算している。彼らは、分散が球の中心が原点にあるか否かに依存することを見出し、実数の場合（中心が原点から外れた場合の厳密な分散の決定は困難である）とは異なる精密な公式を提供している。

• 高次モーメント公式 (Theorem 3.3): 著者らは、実数の場合のロジャースの公式と同様に、関数体におけるシーゲル変換の $k$ 次モーメントに関する一般的な公式を証明する。これには、多項式環 $R = \mathbb{F}_q[x]$ 上の有理部分空間および許容行列に基づく、ベクトルの $k$ 個の組の空間の分解が含まれる。

• マルグリス $\alpha$-関数の有界モーメント (Theorem 1.9): 本論文は、マルグリス $\alpha$-関数の $m$ 次モーメントが $m < n$ に対して有限であることを証明しており、これは主証明で使用されるモーメント積分の収束に必要不可欠な条件である。

意義
本論文は、関数体におけるオッペンハイム予想に関する最初の定量的結果を提供することで、文献における重要な空白を埋めるものであると主張している。その意義は以下の点にある：

1. 定量的数論の拡張： 実数の設定においてゼロ標数または特定のディオファントス条件に限定されていた有効的な密度結果が、関数体の設定においても生成的に成立することを示している。
2. 手法の革新： 厳密な体積公式および格子点の厳密な分散境界の導出は、関数体における数の幾何学の独自の利点（例：強三角不等式）を強調しており、これにより実数の場合では漸近的であったり、あるいは計算困難であったりする計算が可能となっている。
3. 基礎的な道具立て： 関数体におけるロジャースの高次モーメント公式の類似物の確立、およびマルグリス $\alpha$-関数の有界モーメントの証明は、関数体における数の幾何学に関する将来の研究のための不可欠な道具を提供する。

著者らは、自らの結果が奇標数の場合に成立することを注記している。標数2の場合は、二次形式と双線型形式の対応が崩れる（2が可逆ではないため）ため、特定の定理（Theorem 4.3など）が成立せず、除外されている。