[論文レビュー] Prime solutions to polynomial equations in many variables and differing degrees

Shuntaro Yamagishi|arXiv (Cornell University)|Mar 9, 2017

Analytic Number Theory Research参考文献 16被引用数 3

ひとこと要約

この論文は、ハリ―ド＝リトルウッドの円周法を用いて、次数が異なる多項式方程式系における素数解の存在の十分条件を確立する。各次数成分の特異点集合の余次元条件を導入することで、以前の結果（すべての多項式が同じ次数である必要があった）を一般化し、素数解の個数に対する漸近公式を証明する。

ABSTRACT

Let $\mathbf{f} = (f_1, \ldots, f_R)$ be a system of polynomials with integer coefficients in which the degrees need not all be the same. We provide sufficient conditions for which the system of equations $f_j (x_1, \ldots, x_n) = 0 \ (1 \leq j \leq R)$ satisfies a general local to global type statement, and has a solution where each coordinate is prime. In fact we obtain the asymptotic formula for number of such solutions, counted with a logarithmic weight, under these conditions. We prove the statement via the Hardy-Littlewood circle method. This is a generalization of the work of B. Cook and Á. Magyar, where they obtained the result when the polynomials of $\mathbf{f}$ all have the same degree. Hitherto, results of this type for systems of polynomial equations involving different degrees have been restricted to the diagonal case.

研究の動機と目的

• 均一な次数を持つ多項式に限らない素数解の理論を拡張すること。
• 次数が異なる多項式方程式系が素数解をもつための十分条件を確立すること。
• 以前はすべての多項式が同じ次数であった系にしか扱わなかったクックとマガルの研究を一般化すること。
• 対数重みを用いた漸近公式により、素数解の個数を定量的に評価すること。
• 各次数成分の特異点集合の余次元条件を主要仮定として導入すること。

提案手法

• 多項式系に関連する指数和を解析するために、ハリ―ド＝リトルウッドの円周法を適用する。
• 次数$ \nu $の同次部分のヤコビ行列のランクが方程式の数より小さい複素数点の集合を、特異点集合$ V_{\boldsymbol{F}_\nu}^* $として定義する。
• この特異点集合の余次元をベルクランク$ \mathcal{B}_\ell(\mathbf{F}_\ell) $として定義し、系の非退化性を測る。
• 系の十分な複雑性を保証するため、$ \mathcal{B}_\ell(\mathbf{F}_\ell) $に$ d $, $ r_d, \ldots, r_1 $に関する下界を課す。
• 局所的条件と円周法を用いて、対数重み付きの素数解の個数に対する漸近公式を導出する。
• 転送原理と指数和の推定を用いて、小域を制御し、主要項を確立する。

実験結果

リサーチクエスチョン

• RQ1 次数が異なる多項式方程式系が素数解をもつための条件は何か？
• RQ2 ハリ―ド＝リトルウッドの円周法は、次数が異なる多項式系に対してもどのように適合可能か？
• RQ3 特異点集合の余次元は、素数解の存在を保証するために果たす役割は何か？
• RQ4 すべての多項式が同じ次数でない場合に、素数解の個数に対する漸近公式を確立できるか？
• RQ5 本研究は、クックとマガルの均一次数系に関する先行研究をどのように一般化するか？

主な発見

• 方程式系$ f_{\ell,r}(x_1,\ldots,x_n) = 0 $（$ 1 \leq \ell \leq d $, $ 1 \leq r \leq r_\ell $）は、ベルクランク$ \mathcal{B}_\ell(\mathbf{F}_\ell) $が$ d $, $ r_d, \ldots, r_1 $に対して十分に大きい場合、素数解をもつ。
• 提示された条件下で、対数重み付きの素数解の個数に対する漸近公式が確立される。
• 本研究は、クックとマガルの定理を一般化し、以前は対角系に限られていた多項式の次数の異なる場合を含めるようになった。
• 証明は、特異点集合に関する新しい推定と、円周法の洗練された応用に依拠している。
• 本手法は、対角でない系に対しても適用可能であり、以前の研究の範囲を超えて一般化されている。
• 条件には局所的可解性と特異点集合の余次元に関する定量的境界が含まれており、系の非退化性を保証する。