Trevor D. Wooley
Abstract:Fix $k,s,n\in \mathbb N$, and consider non-zero integers $c_1,\ldots ,c_s$, not all of the same sign. Provided that $s\ge k(k+1)$, we establish a Hasse principle for the existence of lines having integral coordinates lying on the affine diagonal hypersurface defined by the equation $c_1x_1^k+\ldots +c_sx_s^k=n$. This conclusion surmounts the conventional convexity barrier tantamount to the square-root cancellation limit for this problem.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is about the existence of rational lines on diagonal hypersurfaces and the estimation of their quantity. Specifically, the author Trevor D. Wooley, by applying the Hardy - Littlewood circle method, established a Hasse principle for determining the cases where lines with integer coordinates exist on affine diagonal hypersurfaces defined by specific equations. These equations are in the following form:
\[c_1x_1^k+\cdots + c_sx_s^k = n\]
where \(c_1,\cdots,c_s\) are non - zero integers, and not all are positive or all are negative; \(n\) is also a non - zero integer. This research pays special attention to the case when the number of variables \(s\geq k(k + 1)\), a condition that goes beyond the traditional convexity barrier (i.e., the square root cancellation limit), thus being able to provide effective existence and quantity estimations of solutions when the number of variables is exactly twice the degree of each term in the polynomial system.
An important conclusion of the paper is that, under the premise of satisfying certain local solvability conditions (such as real number and p - adic solvability conditions), there exists a positive number \(C_{s,k}(y)\) such that the number \(N_{s,k}(B;y)\) of integer solutions \(z\) satisfying the given conditions can be expressed as:
\[N_{s,k}(B;y)=C_{s,k}(y)B^{s - k(k + 1)/2}+o(B^{s - k(k + 1)/2})\]
Here, \(B\) is a sufficiently large positive number, and \(C_{s,k}(y)\) can be interpreted as the product of local densities, and its specific form requires further preparation to be described.
In addition, the paper also explores the sub - convexity estimations of exponential sums related to the above conclusions. These estimations are of great significance when dealing with variants of the Waring problem and other related problems. Through these studies, the author not only solves the problem of the existence of rational lines on diagonal hypersurfaces but also provides new tools and methods for further research in related fields.