The Hasse principle for diagonal forms restricted to lower-degree hypersurfaces

We establish the analytic Hasse principle for Diophantine systems consisting of one diagonal form of degree $k$ and one general form of degree $d$, where $d$ is smaller than $k$. By employing a hybrid method that combines ideas from the study of general forms with techniques adapted to the diagonal case, we are able to obtain bounds that grow exponentially in $d$ but only quadratically in $k$, reflecting the growth rates typically obtained for both problems separately. We also discuss some of the most interesting generalisations of our approach.

[1]  W. Schmidt.  The density of integer points on homogeneous varieties , 1985 .

[2]  T. Wooley.  On simultaneous additive equations, IV , 1990 .

[3]  R. Vaughan.  The Hardy-Littlewood Method , 1981 .

[4]  L. Hua.  On Waring's problem , 1936 .

[5]  T. Wooley.  The Asymptotic Formula in Waring's Problem , 2012 .

[6]  S. Parsell.  A Generalization of Vinogradov's Mean Value Theorem , 2005 .

[7]  T. Wooley.  On simultaneous additive equations II. , 1991 .

[8]  T. Wooley.  On Simultaneous Additive Equations, I , 1991 .

[9]  T. Wooley.  APPROXIMATING THE MAIN CONJECTURE IN VINOGRADOV'S MEAN VALUE THEOREM , 2014, 1401.2932.

[10]  D. R. Heath-Brown,et al.  RATIONAL POINTS ON INTERSECTIONS OF CUBIC AND QUADRIC HYPERSURFACES , 2013, Journal of the Institute of Mathematics of Jussieu.

[11]  T. Wooley.  The cubic case of the main conjecture in Vinogradov's mean value theorem , 2014, 1401.3150.

[12]  Rational points on linear slices of diagonal hypersurfaces , 2015, Nagoya Mathematical Journal.

[13]  T. Wooley.  Rational solutions of pairs of diagonal equations, one cubic and one quadratic , 2014, 1404.7161.

[14]  D. Leep.  Systems of quadratic forms. , 1984 .

[15]  Larry Guth,et al.  Proof of the main conjecture in Vinogradov's mean value theorem for degrees higher than three , 2015, 1512.01565.

[16]  Trevor D. Wooley,et al.  Nested efficient congruencing and relatives of Vinogradov's mean value theorem , 2017, Proceedings of the London Mathematical Society.

[17]  D. R. Heath-Brown,et al.  Forms in many variables and differing degrees , 2014, 1403.5937.

[18]  T. Wooley.  On Weyl’s inequality, Hua’s lemma, and exponential sums over binary forms , 1999 .

[19]  S. Parsell.  Pairs of additive equations of small degree , 2002 .

[20]  Forms representing forms and linear spaces on hypersurfaces , 2014 .

[21]  D. Lewis.  Cubic Homogeneous Polynomials Over -Adic Number Fields , 1952 .

[22]  A. Pfister.  Systems of quadratic forms , 1979 .

[23]  Trevor D. Wooley,et al.  Vinogradov's mean value theorem via efficient congruencing, II , 2011, 1112.0358.

[24]  John B. Friedlander,et al.  Opera De Cribro , 2010 .