[論文レビュー] Weak approximation results for quadratic forms in four variables

Sofia Lindqvist|arXiv (Cornell University)|Apr 3, 2017

Analytic Number Theory Research参考文献 2被引用数 4

ひとこと要約

本稿は、4変数の二次形式の整数解について、合同条件を課したもとでの弱近似結果を確立し、原始的解の障害によって、古典的な Hardy–Littlewood の期待と大きく異なる漸近的挙動が生じることを示している。主な貢献は、ディリクレL関数と修正された特異級数を含む、洗練された漸近公式であり、原始的解が存在しない場合に、非制限解の数え上げに非自明なバイアスが生じることを明らかにしている。

ABSTRACT

Let $F$ be a quadratic form in four variables, let $m\in\mathbb{N}$ and let $\mathbf{k}\in \mathbb{Z}^4$. We count integer solutions to $F(\mathbf{x})=0$ with $\mathbf{x}\equiv \mathbf{k}\:\mathrm{mod}(m)$. One can compare this to the similar problem of counting solutions to $F(\mathbf{x})=0$ without the congruence condition. It turns out that adding the congruence condition sometimes gives a very different main term than the homogeneous case. In particular, there are examples where the number of primitive solutions to the problem is $0$, while the number of unrestricted solutions is nonzero.

研究の動機と目的

• 4変数の二次形式の整数解の漸近的分布を、法mに関する合同条件のもとで分析すること。
• 合同条件 x ≡ k (mod m) が課されたとき、古典的な Hardy–Littlewood の特異級数フレームワークが正しい主要項を予測できない理由を調査すること。
• 原始的解の役割が、特に非原始的解が存在するにもかかわらず原始的解が存在しない場合に、解の数え上げをどのように歪めているかを理解すること。
• F(x) = 0 および x ≡ k (mod m) を満たす解の数の洗練された漸近公式を、ディリクレL関数と修正された特異級数を用いて導出すること。

提案手法

• 著者たちは、サイズPのボックス内の解を数えるために、compactly supporedな滑らかな重み関数を用い、Heath-Brown (1996) のフレームワークに従った調和解析と円周法を適用している。
• 解が F(x) = 0 および x ≡ k (mod m) を満たすような重み付き数え上げ関数 N_{F,w}(P; m, k) を定義し、モービウスの反転公式と乗法的算術関数を用いて原始的解と関連づけている。
• 問題を F'(x) = F(mx + k) および w'(x) = w(mx + k) に変換することで扱うが、F' は二次形式ではないため、標準的な定理は適用できない。
• 重要な要素として、修正された特異級数 σ*(F, m, k) と、L(2, χ₀) および L(2, χ₀χΔ) を含む補正因子を導入している。ここで χΔ はヤコビ記号 (det F / ·) である。
• det F が平方数かどうか、およびディリクレ指標 χΔ が自明かどうかに応じた場合分けを行い、異なる漸近的主要項が得られる。
• 著者たちはモービウスの反転公式 (1.3) および (1.4) を用いて、非制限解と原始的解の数え上げを関連づけ、異なる条件下での漸近公式の導出を可能としている。

実験結果

リサーチクエスチョン

• RQ1 なぜ4変数の二次形式に対する古典的漸近公式は、x ≡ k (mod m) という合同条件が課された場合に、正しい主要項を予測できないのか？
• RQ2 なぜ、グローバルな解の数が非ゼロであっても、特定の合同類では原始的解の数と非制限解の数に乖離が生じるのか？
• RQ3 ディリクレL関数と修正された特異級数は、原始的解が存在しない場合に解の数え上げに生じるバイアスをどのように説明するのか？
• RQ4 原始的解が存在しない場合に、漸近的主要項に非自明な補正が生じる条件は何か、そしてその補正はどのように定量化されるのか？
• RQ5 標準的な特異級数が失敗する場合でも、解の数え上げをL関数と算術的指標を用いて表現できるか？

主な発見

• 原始的解が存在しない場合、非制限解の数 N_{F,w}(P; m, k) は非ゼロであり、漸近的に CP²(1 - L(2, χ₀χΔ)/L(2, χ₀)) で与えられる。ここでCは古典的公式の主要係数である。
• 例として F(x) = x₁² - pqx₂² - x₃x₄ において、p ≡ q ≡ 1 (mod 8)、m = pq、(k/p) = 1、(k/q) = -1 となるkに対して、解の数え上げは L(2, χΔ)/L(2, χ₀) を含む因子によってバイアスを受けており、非自明な補正が生じている。
• 原始的解が存在しないのは、x₃ の奇素因数がpqを法として二次非剰剰である必要があるが、x₃ ≡ k (mod pq) および (k/p) = 1、(k/q) = -1 という条件と矛盾するためである。
• N_{F,w}^prim(P; m, d·k) の漸近的公式は、χΔ(d) = 1 のときは0、χΔ(d) = -1 のときは P² / L(2, χ₀) の定数倍で与えられる。
• 非制限解の数 N_{F,w}(P; m, d·k) は χΔ(d) に依存する補正因子を経て修正され、主要項は CP²(1 - χΔ(d) · L(2, χ₀χΔ)/L(2, χ₀)) で与えられ、指標の値に依存する。
• 本稿は、古典的特異級数が正しい主要項を捉えられない理由が、F(x) = 0 の局所的可解性と法mに関するkの算術的性質の間の相互作用に起因することを確立しており、特に χΔ の導手Δ が m^∞ に含まれる場合に顕著である。