[论文解读] 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

一句话总结

本文利用 Hardy-Littlewood 圆法，建立了多项式方程组在不同次数下存在素数解的充分条件。证明了素数解数量的渐近公式，通过在每个次数分量的奇异点集上引入余维条件，推广了以往要求所有多项式次数相同的成果。

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.

研究动机与目标

• 将素数解理论从统一次数多项式的情形推广至更一般情形。
• 建立系统中混合次数多项式方程组存在素数解的充分条件。
• 推广 Cook 与 Magyar 的工作，后者此前仅处理了所有多项式次数相同的系统。
• 通过带对数权重的渐近公式量化素数解的数量。
• 引入每个次数分量奇异点集的余维条件作为关键假设。

提出的方法

• 应用 Hardy-Littlewood 圆法分析与多项式系统相关的指数和。
• 将奇异点集 $ V_{\boldsymbol{F}_\nu}^* $ 定义为复点集合，其中次数为 $ \nu $ 的齐次部分的雅可比矩阵的秩小于方程个数。
• 引入 Birch 秩 $ \mathcal{B}_\ell(\mathbf{F}_\ell) $，即该奇异点集的余维，以度量系统的非退化性。
• 对 $ \mathcal{B}_\ell(\mathbf{F}_\ell) $ 施加关于 $ d $, $ r_d, \ldots, r_1 $ 的下界，以确保素数解所需的足够复杂性。
• 利用局部条件与圆法，推导出带对数权重的素数解数量的渐近公式。
• 采用传递性原理及对指数和的估计，控制小弧并确立主项。

实验结果

研究问题

• RQ1 在何种条件下，混合次数的多项式方程组在素数中存在解？
• RQ2 如何将 Hardy-Littlewood 圆法调整以处理次数各异的多项式系统？
• RQ3 奇异点集的余维在确保素数解存在性中起什么作用？
• RQ4 当多项式并非全为同一次数时，能否建立素数解数量的渐近公式？
• RQ5 该结果如何推广 Cook 与 Magyar 关于统一次数系统的早期工作？

主要发现

• 当 Birch 秩 $ \mathcal{B}_\ell(\mathbf{F}_\ell) $ 相对于 $ d $, $ r_d, \ldots, r_1 $ 足够大时，方程组 $ f_{\ell,r}(x_1,\ldots,x_n) = 0 $（$ 1 \leq \ell \leq d $, $ 1 \leq r \leq r_\ell $）在素数中存在解。
• 在所述条件下，建立了带对数权重的素数解数量的渐近公式。
• 该结果通过允许不同次数的多项式，推广了 Cook 与 Magyar 的定理，后者此前仅限于对角情形。
• 证明依赖于对奇异点集的新估计及对圆法的精细化应用，以控制指数和。
• 该方法即使在系统非对角时也适用，将结果扩展至早期工作未覆盖的范围。
• 条件包括局部可解性及对奇异点集余维的定量控制，以确保系统的非退化性。