Gaps between quadratic forms

シドハルト・イヤーによる「二次形式間のギャップ」の技術的概要

問題の提示
本論文は、短い区間内で特定の二次形式によって表される整数の分布を調査する。具体的には、固定された非ゼロ整数 $a$ に対して、$n$ が二次形式 $x^2 + xy + y^2$ によって表される（集合 $\triangle$ と表記）かつ $n+a$ が二乗和として表される（集合 $\mathbb{O}^2$ と表記）ような連続する整数 $n$ 間のギャップを評価する問題に取り組む。対象となる集合は $S(\triangle, \mathbb{O}^2, a) = \{n : n \in \triangle, n+a \in \mathbb{O}^2\}$ と定義される。

この研究は、二次形式の表現の相関に関する古典的な結果に基づいている。エスターマン（1932 年）による表現関数の積 $r_2(n)r_2(n+a)$ の和の漸近公式、およびホーリー、チャミゾ、ミュラーによる誤差項や区間内におけるそのような整数の密度に関するその後の改善を参照している。補題 1.2 により、$S(\mathbb{O}^2, \mathbb{O}^2, a)$ の要素間のギャップは $O(x^{1/2})$ で抑えられることが示されているが、本論文は、混合ケース $S(\triangle, \mathbb{O}^2, a)$ についても同様の、ただしより弱い評価を確立することを目指している。

手法
著者は解析的整数論の手法を用い、乗法的関数や指標和を含む和の漸近的評価に焦点を当てている。

1. 表現関数と指標:
   論文は、$x^2+xy+y^2$ に対する表現数 $R_2(n)$ と、二乗和に対する表現数 $r_2(n)$ がディリクレ指標を用いて表現できるという事実に依拠している。具体的には、$R_2(n) = 6 \sum_{d|n} \chi_3(d)$ かつ $r_2(n) = 4 \sum_{d|n} \chi_4(d)$ であり、ここで $\chi_3$ と $\chi_4$ はそれぞれ法 3 と法 4 に関する非自明な指標である。

2. トレヴの定理の適応:
   中心的な道具は、算術級数における二乗和に関するトレヴ（2012 年）の定理である。著者はこれを、$F_{\chi_3}(n)$ と $F_{\chi_4}(n+a)$ の間の相関を扱うように適応させた。しかし、$\chi_3$ と $\chi_4$ は、原始性を失うことなく、共通の $k$（具体的には $12|k$ となるような $k$）に対する原始指標へ同時に持ち上げることができないため、乗法的関数の和に関するミュラー（1989 年）の定理を直接適用することは不十分である。

3. 乗法的関数の解析:
   非原始指標の制限を克服するために、論文は $\alpha^2 + \beta^2 \equiv a \pmod q$ の解の個数を数える関数 $\eta_a(q)$ を用いる新たなアプローチを導入している。証明の核心（定理 1.6）は、以下の和を解析することを含む：
   $$\sum_{\substack{n \le x \\ (n,b)=1}} F_{\psi}(n) F_{\chi_4}(n+a)$$
   ここで $\psi$ は偶数 $b \ge 4$ を法とする実数の非自明な指標である。著者は、定数関数 1 と $\psi$ の畳み込みの性質（$F_\psi$ と表記）を用いて和を分解する。

4. $\eta_a(d)$ の挙動:
   技術的作業の重要な部分（第 3.1 節）は、関数 $\lambda_a(d) = \eta_a(d)/d$ の挙動の解析に割かれている。著者は、$d$ の素因数分解と $a$ との関係に基づき、$p \equiv 1, 3 \pmod 4$ に関する素数に関する補題を用いて、$\lambda_a(d)$ に対する評価と漸近的性質を確立する。この解析は、主要項の係数 $\beta(\psi, a)$ が厳密に正であることを証明する上で決定的である。

5. パラメトリック族によるギャップ解析:
   ギャップに関する結果（定理 1.7）については、論文は方程式 $c^2 + 3d^2 + a = u^2 + v^2$ の解のパラメトリック族を構成する。この族から導かれる 4 次多項式の値間のギャップを解析することで、著者は $S(\triangle, \mathbb{O}^2, a)$ の要素の間隔に関する評価を導き出す。

主要な貢献と結果

• 定理 1.6（漸近公式）: 論文は、互素条件に制限された表現関数の積の和に対する漸近公式を証明する。偶数 $b \ge 4$ を法とする実数の非自明な指標 $\psi$ に対して、以下が成り立つことを示す：
  $$\sum_{\substack{n \le x \\ (n,b)=1}} F_{\psi}(n) F_{\chi_4}(n+a) = \beta(\psi, a) \eta^*(\psi, a) x + O(x^{5/6} \log^{19} x)$$
  重要なのは、著者が主要係数 $\beta(\psi, a)$ が厳密に正であることを証明し、指定された範囲にそのような整数が存在することを保証している点である。

• 系 1.3（短い区間における数え上げ）: 定理 1.6 に $\psi = \chi_6$ を適用することで、論文は任意の $\epsilon > 0$ に対して、十分大きな $x$ についてある定数 $H_a > 0$ が存在し、
  $$\# S(\triangle, \mathbb{O}^2, a) \cap [x, x + H_a x^{5/6} \log^{19} x] \ge x^{5/6 - \epsilon}$$
  となることを示す。これは、集合 $S(\triangle, \mathbb{O}^2, a)$ が $x^{5/6}$ よりわずかに長い区間に要素を有することを保証するほど十分に稠密であることを確認するものである。

• 定理 1.7（ギャップの評価）: 論文は、$S(\triangle, \mathbb{O}^2, a)$ の要素間の最大のギャップに対する評価を提供する。$x \ge 1$ に対して、区間 $[x, x + D_a x^{\Upsilon(a)}]$ 内に集合の要素が存在することを示す。ここで指数 $\Upsilon(a)$ は以下の通りである：

  • $a$ が整数 $n, m$ に対して $n^2 - 3m^2$ と表せる場合、$1/2$。
  • それ以外の場合、$5/8$。
    この結果は、$S(\mathbb{O}^2, \mathbb{O}^2, a)$ に対して知られている $x^{1/2}$ の評価と比較して「より弱いギャップの結果」として記述されている。

意義と主張
本論文は、エスターマン（1932 年）の古典的な研究とミュラー（1989 年）によるその後の精緻化を、混合二次形式の文脈へ拡張したと主張している。トレヴの定理を活用し、乗法的関数 $\eta_a(d)$ の詳細な解析を行うことで、著者は原始指標に依存する従来の手法が失敗していた場面で、漸近公式の導出に成功している。

意義は、短い区間内で混合二次表現条件を満たす整数の存在を確立し、特にギャップが任意に大きくならないことを証明する点にある。著者は謙虚にも、定理 1.7 の一般化は可能であるが、ここでは追求されていないと注記している。さらに、謝辞において、将来のスペクトル理論を用いた研究が異なる二次形式間の相互作用をよりよく理解できれば、本論文の主要な結果は陳腐化する可能性があると認めており、現在の結果は最終的な解決策というよりは通過点であることを示唆している。また、この研究は二次数体におけるイデアルノルムのより広範な研究と関連しており、二次数体 $K$ におけるイデアルのノルムを表す集合 $\mathfrak{a}_K$ に対して、同様の結果が集合 $S(\mathfrak{a}_K, \mathbb{O}^2, a)$ に対して得られることを示唆している。