Diophantine equations in semiprimes

• Published in: Discrete analysis 2019-11
• Main Author: Shuntaro Yamagishi
• Format: Article
• Language: English
• ISSN: 2397-3129
• DOI: 10.19086/da.11075

Diophantine equations in semiprimes, Discrete Analysis 2019:17, 21 pp. This paper considers the problem of finding integer solutions to integral polynomial equations of the form $$f(x_1,\dots,x_n)=0\qquad\qquad (*)$$ with the condition that each coordinate $x_i$ has a 'small' number of prime factors. This is a very general problem, and even without any added restrictions on the coordinates, determining whether there exists an integral solution to $(*)$ is known to be an impossible task (this is a consequence of the work on Hilbert's 10th problem). However, it was shown by Bryan Birch that under some suitable nondegeneracy conditions on $f$ one can give local-to-global general results. Loosely, these conditions can be interpreted as the statements that $f$ is a function in sufficiently many variables (as a function of the degree) and also that there are no divisibility obstructions to $(*)$. More precisely, the polynomial $f$ needs be large with respect to a certain notion of rank and $(*)$ needs to have solutions over the $p-$adics for all primes $p$. This lower bound on the rank is what is meant by 'sufficiently many variables', and in Birch's result the bound is roughly $2^d$, where $d$ is the degree of the polynomial. A recent paper of Brian Cook and Ákos Magyar proves a variant of Birch's result that counts solutions to $(*)$ in which all the coordinates are primes. The style of that result is in line with Birch's result, but they need far more variables than the $2^d$ benchmark set by Birch. In a slightly different direction, a more recent paper of Magyar and Tatai Titichetrakun gives a Birch-type result on solutions to $(*)$ in which the coordinates are required to be _almost_ primes, which means that they have a small number of prime factors. Interestingly, their result of matches the results of Birch from the point of view of the 'sufficiently many variables' requirement. On the other hand, the notion of an almost prime adds a new quantitative parameter -- how small a number of prime factors we can take. In the paper of Magyar and Titichetrakun, the number of prime factors needed for the main result is $384n^{3/2}d(d+1)$. In particular, it depends on both the degree and the number of variables. It is believed that one can obtain prime solutions -- that is, solutions where there is just one prime factor -- so there is expected to be a great deal of room for improvement. The main result of the current paper does indeed prove a drastic reduction on th