[論文レビュー] On the representation of integers by quadratic forms

T. D. Browning, Rainer Dietmann|arXiv (Cornell University)|Mar 14, 2006

Analytic Number Theory Research参考文献 13被引用数 5

ひとこと要約

本稿は、不定形式 $ Q = 0 $ における最小非自明整数解および、局所的に可解であるにもかかわらず $ \mathbb{Z} $ 上で可解でない正定値形式 $ Q = k $ となる最小の正の整数 $ k $ について、改善された有効な上界を確立する。局所的可解性条件の精密化と反復的上げ上げ法の応用により、特に対角形式および高ランク形式において、Casselsの古典的結果よりも著しく鋭い上界が得られ、形式の高さと判別式に明示的な依存関係を示す。

ABSTRACT

Let Q be a non-singular quadratic form with integer coefficients. When Q is indefinite we provide new upper bounds for the least non-trivial integral solution to the equation Q=0. When Q is positive definite we provide improved upper bounds for the least positive integer k such that the equation Q=k is insoluble in integers, despite being soluble modulo every prime power.

研究の動機と目的

• 不定二次形式における $ Q = 0 $ の最小非自明解に対する Cassels の古典的上界を改善すること。
• すべての素数冪モジュロで可解であるにもかかわらず $ \mathbb{Z} $ 上で可解でない正定値二次形式 $ Q = k $ となる最小の正の整数 $ k $ を特定すること。
• 特に対角形式および高ランク形式において、解の大きさが高さ $ \|Q\| $ および判別式 $ \Delta_Q $ にどのように依存するかを精緻化すること。
• 弱および強局所可解性条件の下で、特異級数 $ \mathfrak{S}(k,Q) $ の定量的下界を確立すること。
• 形式 $ Q $ に追加の構造的仮定（例えば対角形式や有理数的同相性）がある場合、Casselsの上界における指数を著しく改善できることを示すこと。

提案手法

• Hasse–Minkowskiの定理および局所-global原理を用いて、$ Q = 0 $ および $ Q = k $ の可解性条件を分析する。
• 特に $ p = 2 $ に対して $ p $-進体上での反復的上げ上げ法を適用し、$ p $-進解の個数に対する下界を確立する。
• 弱および強局所可解性（LSC）の概念を用いて、$ p $-進密度推定を用いて特異級数 $ \mathfrak{S}(k,Q) $ に対する一様な下界を導出する。
• 2-進設定における還元技術を用い、特に勾配が高次の 2 のべきで割り切れる場合に対処する。具体的には $ x_i = 2x_i' $ の置換を用いる。
• 素数 $ p $ における局所密度 $ \sigma_p $ に対する境界を導出し、$ p > 2 $ に対しては $ \sigma_p \gg 1 $、弱い条件下で $ \sigma_2 \gg 1 $ を示す。
• 局所密度を統合して、$ \mathfrak{S}(k,Q) $ のグローバルな下界を得る。弱LSCの下では $ \gg |\Delta_Q|^{-1/(n-4)-\varepsilon} $、強LSCの下では $ \gg |\Delta_Q|^{-\varepsilon} $ が得られる。

実験結果

リサーチクエスチョン

• RQ1 追加の構造的仮定（例えば対角形式）がある場合、Casselsの上界 $ \Lambda_n(Q) \leq c_n \|Q\|^{(n-1)/2} $ の指数を改善できるか？
• RQ2 すべての素数冪モジュロで可解であるにもかかわらず、$ \mathbb{Z} $ 上で可解でない正定値二次形式 $ Q $ が $ k $ を表現しない最小の正の整数 $ k $ は何か？
• RQ3 特に対角形式において、$ Q = 0 $ の最小解の大きさは高さ $ \|Q\| $ および判別式 $ \Delta_Q $ にどのように依存するか？
• RQ4 弱および強局所可解性条件の下で、特異級数 $ \mathfrak{S}(k,Q) $ の定量的挙動はいかなるものか？
• RQ5 反復的 $ p $-進上げ上げ法は、特に $ p = 2 $ の場合に、$ p $-進解の個数に対するより強い下界をもたらすか？

主な発見

• 対角不定二次形式 $ Q = \sum A_i X_i^2 $ に対して、$ \Lambda_n(Q) \leq \sqrt{2} \|Q\|^{(n-1)/2} $ が確立され、Casselsの結果と比較して定数および指数の両方で改善されている。
• Kneserの反例により、一般には指数 $ (n-1)/2 $ が最良であることが示されている。
• $ n \geq 5 $ において、弱局所可解性の下で、任意の $ \varepsilon > 0 $ に対して $ \mathfrak{S}(k,Q) \gg |\Delta_Q|^{-1/(n-4)-\varepsilon} $ が成り立ち、以前の無効な上界を改善している。
• 強局所可解性の下では $ \mathfrak{S}(k,Q) \gg |\Delta_Q|^{-\varepsilon} $ が成り立ち、特異級数が $ |\Delta_Q| $ に対してあまり速く減少しないことを示している。
• $ p = 2 $ に対して、弱い条件下で $ N(2^t) \gg 2^{t(n-1)} $ が示され、$ \sigma_2 \gg 1 $ が保証され、これはグローバル密度推定にとって重要である。
• 反復的 2-進上げ上げプロセスにより、初期の勾配が高次の 2 のべきで割り切れる場合でも、最終的に $ \sigma_2 \gg 1 $ を得られるように、問題をより高い 2-進付値を持つ形式に還元できる。