[論文レビュー] Zeroes of polynomials in many variables with prime inputs

Stanley Yao Xiao, Shuntaro Yamagishi|arXiv (Cornell University)|Dec 3, 2015

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

ひとこと要約

この論文は、ハーディー＝リトルウッドの円周法を用いて、多変数多項式が弱い局所的条件および代数的非退化性を満たす場合に、無限個の素数タプル解をもつことを証明する。これは、幾何的仮定を必要とせず、従来の2次および3次超曲面に関する結果を拡張するものである。主な貢献は、代数的および局所的条件のみに依存する素数解の存在に関する一般基準を提示することにある。

ABSTRACT

In this paper we apply the Hardy-Littlewood circle method to show that a polynomial equation admits infinitely many prime-tuple solutions assuming only that the equation satisfies suitable local conditions and the polynomial is sufficiently non-degenerate algebraically. Our notion of algebraic non-degeneracy is related to the $h$-invariant introduced by W. M. Schmidt and does not require geometric data. This extends the work of B. Cook and A. Magyar for hypersurfaces of degree $2$ and $3$.

研究の動機と目的

• 多変数多項式が無限個の素数タプル解をもつための条件を確立すること。
• クックとマガルの2次および3次形式に関する先行研究を、高次多項式へ一般化すること。
• 幾何的仮定を避けるために、内在的な代数的性質に依存する代数的非退化性の概念を導入すること。
• 局所的可解性および代数的非退化性が、無限個の素数解の存在を保証することを示すこと。
• ハーディー＝リトルウッドの円周法の適用範囲を、素数入力をもつより広範な多項方程式クラスへ拡張すること。

提案手法

• 多項方程式の素数解の個数を分析するために、ハーディー＝リトルウッドの円周法を適用する。
• シュミットの $h$-不変量に関連する代数的非退化性の条件を課す。これにより十分な代数的複雑性が保証される。
• すべての完備化における解の存在を保証するために、局所的可解性条件（p進および実可解性）に依存する。
• 円周法による単位円の主要弧と微小弧への分解を用いて、素数解の個数を推定する。
• 提示された条件下で特異級数および特異積分が収束し、ゼロから離れていることを確立する。
• 素数解の個数に対する漸近公式の主要項が正であることを示し、これにより無限個の解が存在することを示す。

実験結果

リサーチクエスチョン

• RQ1 多変数多項式が無限個の素数タプル解をもつための代数的および局所的条件は何か？
• RQ2 幾何的仮定を必要とせず、2次および3次を超える高次多項式へ円周法を拡張できるか？
• RQ3 提案された代数的非退化性の概念はシュミットの $h$-不変量とどのように関係し、解の密度にどのような保証を与えるか？
• RQ4 特異級数および特異積分が正の解密度を保証するために果たす役割は何か？
• RQ5 幾何的制約が強くない、または超曲面ではない多項式へ、この方法をどの程度まで適用できるか？

主な発見

• 多項式が適切な局所的条件を満たし、$h$-不変量の意味で代数的に非退化であれば、無限個の素数タプル解をもつことが確立された。
• 方法により、ハーディー＝リトルウッドの漸近公式における特異級数および特異積分が、提示された条件下で正であることが確認され、解の正の密度が保証された。
• 非退化性条件が満たされる限り、クックとマガルの2次および3次への先行研究が、任意の次数へ一般化された。
• 代数的非退化性条件は、純粋に代数的に定義されており、多様体の幾何的またはディオファントス的仮定を必要としない。
• 証明により、微小弧寄与は無視可能であることが示され、したがって主要項が素数解の漸近的個数を支配する。
• 漸近公式における主要項の正の下界が存在することにより、無限個の素数解の存在が確立された。