[논문 리뷰] Prime solutions to polynomial equations in many variables and differing degrees

Shuntaro Yamagishi|arXiv (Cornell University)|2017. 03. 09.

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) $ 를 도입하여 시스템의 비퇴화성 정도를 측정한다.
• 소수 해가 존재하기 위해 필요한 복잡성 확보를 위해 $ d $, $ r_d, \ldots, r_1 $ 에 대한 함수로 $ \mathcal{B}_\ell(\mathbf{F}_\ell) $ 에 하한을 둔다.
• 국소 조건과 원주법을 사용하여, 로그 가중치를 부여한 소수 해의 수에 대한 점근 공식을 도출한다.
• 이행 원리와 지수합의 추정을 활용하여 열악한 호를 제어하고 주항목을 확립한다.

실험 결과

연구 질문

• 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 $ 에 대해 충분히 크면 소수 해를 가진다.
• 제시된 조건 하에서, 로그 가중치를 부여한 소수 해의 수에 대한 점근 공식이 확립된다.
• 이 결과는 다항식의 차수를 다르게 허용함으로써 쿡과 마야르의 정리(이전에는 대각선 경우에 국한됨)를 일반화한다.
• 증명은 특이점 집합에 대한 새로운 추정과 원주법의 정교한 응용을 통해 지수합을 제어하는 데 의존한다.
• 이 방법은 대각선이 아닌 경우에도 적용 가능하여, 이전 연구의 범위를 초월한 결과를 도출한다.
• 조건에는 국소 해가 존재하고, 특이점 집합의 여수열에 대한 정량적 경계가 포함되어 있어, 시스템의 비퇴화성을 보장한다.