Averages of arithmetic functions over polynomials in many variables
Abstract.
We estimate the average of any arithmetic function over the values of any smooth polynomial in many variables provided only that has a distribution in arithmetic progressions of fixed modulus. We give several applications of this result including the analytic Hasse principle for an intersection of two cubics in at least 21 variables and asymptotics for the number of integer solutions of a non-algebraic variety.
2020 Mathematics Subject Classification:
11N37, 11P55.Contents
1. Introduction
Numerous challenges within the realm of Diophantine geometry can be rephrased in terms of computing averages of arithmetic functions, denoted as , over the values attained by integer polynomials. Examples include, among others, the Hasse principle for conic bundles [9], Manin’s conjecture for Châtelet surfaces [3], [4], [6] and [19] or prime and squarefree values of polynomials (see [24], [23] or [20] for example).
To estimate the average of even over linear univariate polynomials one must plainly assume that has an average over every fixed arithmetic progression . We may thus assume that
for some and a function of class . We may then use the Cramér–Granville model to predict the average of over the values of any polynomial as done, for example in [20, Appendix] when is the indicator function of the primes. The statement analogous to [20, Eq. (A.1)] is that the conditional expectation of given that lies in the progression is . Letting be an integer that is divisible by all primes below some the arguments in [20, pg. 32] lead to the heuristic
We will prove this heuristic for all polynomials in sufficiently many variables. The cases with a small number of variables are harder; in this case if one is allowed to assume that the function is non-negative and has a weak multiplicative property then work of Nair–Tenenbaum [31] or [5] provide sharp upper bounds.
1.1. The general result
Let be and for any and let be a number in . Assume we are given an arithmetic function and define
(1.1) |
We shall henceforth denote by to simplify notation. The function is equidistributed in progressions modulo exactly when has smaller order of magnitude than .
Example 1.1.
Fix any . When is the indicator function of the primes we choose and . The Siegel–Walfisz theorem [28, Eq.(5.77)] is equivalent to
with an implied constant independent of .
Definition 1.1.
Let be an integer polynomial. Let be of the form for some with and define
(1.2) |
Definition 1.2.
For any , assume we have a function and let
We shall assume that is suitably large so that as , where
The number is an upper bound for the probability that a random integer is divisible by a high power of at least one small prime. We abbreviate by .
Our main technical tool expresses the error term as a function of .
Theorem 1.1.
Assume that the positive integers satisfy and let be a smooth form of degree . Let and let be as in Definition 1.1. For any and as in Definition 1.2, let be as in Definition 1.2 and assume that . Then there exist that only depend on such that for any function and all large enough we have
where the implied constant is independent of . Here is defined in (1.2) and
If the densities have a multiplicative structure then the sum over is essentially a truncated Euler product over the primes . The main idea of the proof is to not go through the usual route of major and minor arcs of the circle method but instead approximate the values of by a Cramér–Granville model. Let for . We shall show in Lemmas 2.6-2.7-2.8 that
(1.3) |
This expression is useful in applications as it has and separated.
Remark.
The number of variables can be reduced by half if one has better error terms regarding the distribution of on arithmetic progressions. This was done in [20] for the indicator function of primes and square-free integers.
Remark.
A convenient feature of Theorem 1.1 is that it allows the user to make choices for and the exponents ; this is useful in situations where equidistribution for is easier for moduli of specific factorisation. For example, in certain Diophantine applications it is much easier to prove equidistribution for square-full moduli. Furthermore, is allowed to go to infinity arbitrarily slow; this means that one only needs to prove equidistribution modulo very small moduli.
1.2. A more accessible version
Theorem 1.1 makes no assumptions on the arithmetic function . We give a version that is easier to use if has certain equidistribution properties:
Theorem 1.2.
Assume that the positive integers satisfy and let be a smooth form of degree . Let , let be as in Definition 1.1 and let be given by (1.2). Assume that is any function for which
-
•
or for all ;
-
•
is non-zero for all large enough ;
-
•
For each fixed we have ;
-
•
We have ;
-
•
We have .
Define for any the integer , where are arbitrary positive integers such that for each fixed prime one has . Then the limit
(1.4) |
exists and is independent of the choice of . Furthermore,
A useful feature of Theorem 1.2 is that we only assume equidistribution in arithmetic progressions of fixed modulus and without an explicit error term.
1.3. Analytic Hasse principle for intersections
We say that a family of systems of polynomial equations with integer coefficients satisfies the analytic Hasse principle if the number of integer solutions in an expanding box converges to a constant, strictly positive, multiple of the analogous real and -adic densities. We will prove this for a specific intersection of two degree polynomials. Our intersection is given by
(1.5) |
where is smooth homogeneous of degree in variables. There is recent analytic work in this area by Rydin-Myerson [36] who studied intersections of forms. For intersections of two cubic forms this was recently improved by Northey–Vishe [32] by relaxing the assumption on the number of variables so as to work provided that there are at least . For systems of two diagonal cubic forms work of Brüdern and Wooley [11] proves asymptotics when one has at least variables. The three simplest cases of our next result are
-
•
two quadratic equations in at least variables,
-
•
two cubic equations in at least variables,
-
•
two quartic equations in at least variables.
For any box and any let
where is the number of representations as the sum of two integer squares.
Theorem 1.3.
Assume that is a smooth homogeneous degree polynomial in variables. For any box inside of which only takes non-negative values we have
where is given by
In particular, the analytic Hasse Principle holds for (1.5) as soon as assumes at least one strictly positive value.
1.4. Subsets of integers
During the conference on rational points in BIRS Chennai Pieropan [7] asked the following (see [7]): assume we are given a set whose density we can estimate as
where has the form for some real constants and and where
For an arbitrary polynomial define
The question is under what conditions on and can one prove asymptotics for as ?
Our result states that the condition is sufficient, as long as one has the additional assumption that we can count asymptotically the elements of on any fixed arithmetic progression . To see why this is necessary, just consider the polynomial . For convenience of notation we will assume that consists of strictly positive integers; in applications this does not cause any problems as one can split in cases according to the sign.
Theorem 1.4.
Assume that the positive integers satisfy and let be a smooth form of degree . Let be as in Definition 1.1 and let be given by (1.2). Assume that is a non-empty set for which there exists in and for all and a real number such that we have
Assume, in addition, that
Define for any the integer , where are arbitrary positive integers such that for each fixed prime one has . Then the limit
exists and is independent of the choice of . Furthermore,
1.5. Points on non-algebraic varieties
Exponential Diophantine equations form a considerable area of research in number theory with many results directed at proving finiteness of solutions, see for example the work of Bugeaud–Mignotte–Siksek [12] and the book of Shorey and Tijdeman [38]. Here we change perspective and count asymptotically the number of integer solutions of
where is an integer polynomial in many variables.
Theorem 1.5.
1.6. Chowla’s conjecture
Let denote the Möbius function. Chowla’s conjecture states that for any for which for and one has
as . It has been the focus of intensive investigation recently, see the work of Matomäki–Radziwiłł–Tao [29] and Tao–Teräväinen [39], for example. We prove the analogue of the conjecture for all polynomials in a sufficiently large number of variables.
Theorem 1.6.
Chowla’s conjecture holds for all smooth homogeneous of degree when . In particular, for every box as in Definition 1.1 we have
The proof is given in §3.1.
1.7. Sums of Fourier coefficients of modular forms over values of multivariable polynomials
Asymptotics for averages of coefficients of modular forms over values of irreducible quadratic polynomials in one variable have been studied by Blomer [2], Templier [40] and Templier–Tsimerman [41]. Bounds in the case of higher degree polynomials were later given by Chiriac and Yang [14].
Let be a holomorphic cusp form of weight for with Fourier expansion
for . Let be a normalized Hecke eigenform so that . We have the bound by the work the Ramanujan–Petersson conjecture, proved by Deligne [17] when and by Deligne–Serre[18] when .
Theorem 1.7.
For all smooth homogeneous of degree with and all boxes as in Definition 1.1 we have
The proof is given in §3.2.
1.8. Divisor function over values of polynomials
Let us continue with estimating the average of the divisor function over polynomials. In the case of one variable polynomials, asymptotics are known only for polynomials of degree and (see Hooley [26]), while, for binary forms asymptotics are known for degree by work of Daniel [15]. For a prime and positive integers we define . This is a local model for the divisor function since .
Theorem 1.8.
For every smooth homogeneous of degree with and for every box as in Definition 1.1 we have
1.9. Rational points on a hyperelliptic hypersurface
For an integer polynomial of degree at least the hyperelliptic curve has finitely many rational points by Faltings’ theorem [22]. On the contrary when has many variables one expects infinitely many rational points; here we shall give an asymptotic estimate.
Theorem 1.9.
Fix an integer . For every smooth homogeneous of degree with and for every box as in Definition 1.1 inside which assumes at least one strictly positive value, we have
1.10. -full numbers represented by polynomials
Let , . An integer is called -full if it is divided by the -th power of every of its prime divisors. Values of polynomials that are -full have been studied by various authors; for example, Pasten [33] proved that an integer polynomial should take very few -full values conditionally on Vojta’s conjecture and have applications to the study of Campana points (see for example [34]). The picture for multivariable polynomials is rather different; indeed here one expects infinitely many solutions. We provide asymptotics.
Theorem 1.10.
Fix an integer . For every smooth homogeneous of degree with and for every box as in Definition 1.1 inside which assumes at least one strictly positive value, we have
where is given by
Acknowledgements.
We would like to thank Ping Xi for asking questions during a seminar in Xi’an Jiaotong University that started activities that led to Theorem 1.1. Parts of this investigation too place when the second named author visited the university Paris-Saclay during April , the generous hospitality and support of which is greatly appreciated.
2. Proof of Theorems 1.1 and 1.2
The Hardy–Littlewood singular series for the problem of representing an integer by the polynomial is given by
We start by approximating it by its multiplicative model
Lemma 2.1.
Let be as in Theorem 1.1 and assume that . There exists such that for all we have
where the implied constant is independent of .
Proof.
By [1, §7] we have
where
(2.1) |
The assumption shows that the constant
(2.2) |
is strictly positive. Using [1, pg. 256, Eq. (19)] with we see that
(2.3) |
with an implied constant that depends at most on . We infer that for all one has
(2.4) |
where the implied constant depends at most on . In the special case that this yields
(2.5) |
uniformly in . Hence, for any we have
and therefore
We have independently of due to [1, Corollary, pg.256]. Thus,
with an implied constant independent of . By (2.4) we see that for any ,
This means that
for some quantity that satisfies
due to the assumption . Recalling that the last equation in [1, pg. 259] gives
(2.6) |
which concludes the proof via the Chinese remainder theorem. ∎
The Hardy–Littlewood singular integral for representing by is
We are now in position to start averaging the arithmetic function over the polynomial values.
Lemma 2.2.
Let be as in Theorem 1.1 and assume that . There exists such that for all large one has
Proof.
For suitable large and all we have , hence,
(2.7) |
By [1, Lem.5.5] there is such that
where the implied constant is independent of and . By Lemma 2.1 we can write the right-hand side as
where we used that is bounded only in terms of . Substituting into (2.7) we obtain the claimed error term. In the ensuing main term we can interchange the order of summation and integration owing to the fact that by [1, Lem. 5.2]. This gives
By definition of the function , we obtain
as claimed. ∎
The presence of in the main term shows that only small matter. Therefore, a simple approach to deal with those will suffice.
Lemma 2.3.
For any , with and any we have
where the implied constant is absolute.
Proof.
By partial summation we obtain
Alluding to (1.1) we then obtain
and infer that the difference inside the brackets equals ∎
Define
Lemma 2.4.
Keep the setting of Lemma 2.2. There exists such that for all large one has
Proof.
We inject Lemma 2.3 into Lemma 2.2. The contribution of the error term is
By [1, Lem. 5.2] with being the positive constant in (2.2) we obtain
(2.8) |
hence, . This gives the estimate
∎
To deal with we generalise the Fourier analysis approach in [20]. For let be whose Fourier transform is . Define
Lemma 2.5.
For fixed we have as .
Proof.
By (2.8) and one sees that
In the region one has
with an implied constant that is independent of . Hence,
which concludes the proof. ∎
For and let
Lemma 2.6.
We have
Proof.
By the definition of we can write
where we swapped the order of integration owing to . By Fourier inversion
For we see that
(2.9) |
Hence, by Lemma 2.5 we get
To conclude the proof it will suffice to use the dominated convergence theorem. Its assumptions hold since is bounded independently of and . Indeed,
and note that a linear change of variables makes the integral equal to . ∎
Lemma 2.7.
We have
Proof.
The with have measure , hence, can be ignored. It suffices to show that if then . Indeed, for such we shall see that, for big enough, the range of integration in the definition of is empty. Indeed, if there is some in then
hence, as , we get . This contradicts the definiton of , which includes the condition . ∎
Lemma 2.8.
Let . If then .
Proof.
For each such that we have
thus, as , we can ignore the condition in the definition of . Hence,
Since is continuous and has exponential decay, we infer that
It now suffices to prove that the last limit over equals . By (2.9) we can dispose of the condition as and we can then use the fact ∎
Bringing together Lemmas 2.6, 2.7 and 2.8 yields
Injecting this into the main term present in Lemma 2.4 concludes the proof of Theorem 1.1.
2.1. Proof of Theorem 1.2
We first prove that if for all then . Thus, to complete the proof it suffices to work under the latter assumption only. We write
and divide through by . Letting and using the assumption
we deduce that for all and we have
(2.10) |
Thus, if for all then is uniformly bounded for all .
Next we prove that the limit in (1.4) exists. Fixing the value of we see that
which, by Lemma 2.1 equals
By assumption, is bounded independently of , hence, we obtain
where we used the equation before [1, Lemma 5.5] to express via and the bound (2.4) to change order of summation. The new series over converges absolutely due to (2.4) and
This proves that the limit defining exists and is independent of the choice of due to 2.10.
The remaining claims in Theorem 1.2 will be deduced from Theorem 1.1 with the following choice for . For any prime , define as the largest integer satisfying and let . For a fixed integer note that the primes for which are exactly those in the interval . Summing over all integers in that interval gives
hence, . Since we infer that as and is fixed. Fix any . Then there exists such that
Hence, by Theorem 1.1 we obtain
where the integral is over with and the implied constant depends only on and . By the last two assumptions in the theorem the error term becomes
Using the third assumption shows that for big enough, we have
where the implied constant depends at most on and . Taking arbitrary small concludes the proof.
3. Applications
3.1. The proof of Theorem 1.6
3.2. The proof of Theorem 1.7
3.3. The proof of Theorem 1.8
By [35, Theorem 1.1] one has for all and and fixed that
where is Euler’s constant, is Ramanujan’s sum and the implied constant depends at most on . We apply Theorem 1.2, hence, we do not need to record the dependence of the error term on . The right hand side is , where and the implied constant depends at most on and . Dividing through by and letting shows that . Letting one has
It is now easy to verify all remaining assumptions of Theorem 1.2. The real density in the main term is
This is asymptotic to since by [8, Lemma 1.19].
It remains to study . Since is multiplicative with respect to we write as
Using the fact that when we obtain
(3.1) |
By (2.6) we have the following for each ,
from which it immediately follows that for all one has
Therefore, (3.1) is equal to
Recalling the definition of and taking the limit as , this becomes
which concludes the proof of Theorem 1.8.
3.4. A shifted convolution problem in arithmetic progressions
Let be the non-principal Dirichlet character modulo so that Dirichlet convolution equals times the number of representations of as a sum of two integer squares for any integer . For we shall estimate
(3.2) |
under the conditions
(3.3) |
The case can be treated using a variety of methods, for example, the first proof of Estermann [21] uses Kloosterman sums while the proofs in [13] and [28, Corollary 15.12, part (2)] use spectral methods. We were unable to locate a reference that provides an explicit error term for general arithmetic progressions and we therefore give a proof here.
Theorem 3.1.
For all satisfying and (3.3) we have
where the implied constant is absolute and for any integer
(3.4) |
As a first step we recall that vanishes for , thus,
(3.5) |
where
Indeed, either is odd and for not to vanish, or is odd and for not to vanish, . By Dirichlet’s hyperbola trick when is odd we have
This shows that
(3.6) |
where
and
Since by (3.3) we infer that the three congruences in the sums are soluble if and only if and Denoting the least common multiple by we see that under the aforementioned conditions there exists a unique such that
(3.7) |
Hence,
Lemma 3.1.
Proof.
Applying [42, Theorem, page 262] gives the error term
By (3.3) we have . Indeed, if a prime but , since , we deduce that which is a contradiction. Hence, the error term is
The main term supplied by [42, Theorem, page 262] equals
which takes the required shape in light of (3.7) and the fact that the congruence modulo 4 is implied by the one modulo provided that ∎
One can similarly prove the estimate
(3.8) |
where the implied constant is absolute and
Taking into account the oscillation of , we next show that makes a negligible contribution.
Lemma 3.2.
Proof.
Write where is coprime to and each prime factor of divides . Then the condition becomes and by (3.3) we infer that . Thus,
where
By [25, pages 27–28] we infer that equals
We may view as a character modulo (remember here that ) in . Hence, the Pólya–Vinogradov estimate gives the bound . Hence,
since . ∎
Lemma 3.3.
Proof.
Lemma 3.4.
Proof.
Writing as in the proof of Lemma 3.2 we see that equals
We used [25, pages 27–28] and the fact that is implied by due to . Note that the condition is implied by owing to the assumption . The sum over equals
The sum over can be seen as converging to the value of an -function at with Dirichlet character . Hence, by [37, Lemma 16] for example, it equals
with an absolute implied constant. Thus, the main term becomes
where we used the standard bound for a non-principal character modulo . Finally, we use Lemma 3.3 to deal with the sum over and the calculation
∎
3.5. The proof of Theorem 3.1
Injecting Lemma 3.2 into (3.8) gives an asymptotic for in terms of . By Lemma 3.1 we have a similar asymptotic for . Putting these estimates into (3.6) and then using Lemma 3.4 to estimate yields an asymptotic for . A similar argument works in an identical manner for and that concludes the proof of Theorem 3.1.
3.6. The proof of Theorem 1.3
We shall need the following lemma.
Lemma 3.5.
For every prime , any integer and any with we have
where the implied constant is absolute.
Proof.
We have
where we used the coprimality of to bound . Note that we must have in order to have The result would follow from the work of Nair [30], however, its application is prohibited by the fact that the polynomial has as a fixed divisor. It suffices to work with the multiplicative function . Then the sum in the lemma is
since holds for all integers . Using the bound we see that the contribution of the terms for which for some satisfying is
The assumption implies that , hence, the bound is satisfactory.
When and we can write, in the case with odd to obtain
where we used . If then , hence, we may assume that . Then we can write , thus, we get the bound
where . Since is odd, we can apply Nair’s result [30, Theorem, page 259] with . Indeed, we have because both and are at most . We obtain
with an absolute implied constant. Thus, the overall contribution is
which is sufficient. The contribution of the cases with can be dealt with in an analogous way by making substitutions in the term . ∎
The proof of Theorem 1.3 is an application of Theorem 1.1 with
together with , and
in (1.1). We have since
for all large enough by the Prime Number Theorem. Hence, by Theorem 3.1 we have
as long as we assume and using the case. Thus, the error term in Theorem 1.1 is
since one can show that in a similar manner as in §2.1. For the main term we note that
Since
we see that
The condition is implied by the fact that divides and the presence of the terms . Hence,
which can be shown to exist as in §2.1 by using the fact that . The condition can be ignored since the number of with equals for some by (2.4) and (2.6) and the number of with is by [25, pages 27–28]. Hence,
where . We have since is
which was shown to converge to in §2.1.
3.7. The proof of Theorem 1.4
We shall use Theorem 1.2 with being the indicator function of elements of . By our assumption for we see that is asymptotic to . By assumption, is non-empty, hence is non-zero for all large . This verified the second assumption of Theorem 1.2. Note that is non-negative, it being the limit of non-negative counting functions. The remaining assumptions are easy to verify.
3.8. The proof of Theorem 1.9
We apply Theorem 1.2 with and being the set of -th powers of positive integers. For all and , one has
where and the implied constant is independent of . Recall that we are applying Theorem 1.2 and hence only need to work with fixed modulus and don’t need to record the dependence on in the error terms. Thus, letting we find that
To verify the remaining assumption of Theorem 1.2, we use the assumption that assumes at least one strictly positive value in so that for all large we have
(3.9) |
Invoking Theorem 1.2 allows us to conclude the proof.
3.9. The proof of Theorem 1.10
A positive integer is -full equivalently when it has the shape where is square-free. Thus, for any and , we have
Fixing the values of , this becomes
where is subject to . We obtain
For any the error term contributes
where is the number of ways of writing as the product of positive integers and we used the standard bound . Recall that we are applying Theorem 1.2 and hence only need to work with fixed modulus and don’t need to record the dependence on in the error terms. The main term equals
By the trivial bound we see that the sum is convergent as , hence we have obtained
where
Letting we can then verify the remaining assumption of Theorem 1.2 as in (3.9).
3.10. The proof of Theorem 1.5
Let be the indicator function of the integers that are an integer power of . Then for all and we have
Assume that . Then the congruence is equivalent to . If there exists with such a property then since both are even, one sees that is even, which is a contradiction. Hence, the sum is
We can now define
Then we must have , so we can write for some integer . Then the cardinality becomes
Denoting the order of by this then becomes
Note that . Therefore, if we let
we have shown that
with an absolute implied constant. To use Theorem 1.2 we must verify the remaining assumption regarding . We will show something more, namely,
(3.10) |
where
By (1.3) we have
By the trivial bound we deduce for and all that
with an absolute implied constant. Hence, by (2.8), the contribution of towards is
Similarly, the contribution of is
Thus,
In this range we have , hence,
Substituting in the last expression for leads us to
where is given by
The main term is
which concludes the proof of (1.3).
We are now in position to apply Theorem 1.2. Before doing so, we simplify by noting that
where is Euler’s totient function. Hence, we may write
Let and be as in Theorem 1.2 and let . Each can be uniquely written as where and . We find that
The first fraction in the right hand side converges to as . By the Chinese remainder theorem the second fraction is
and letting completes the proof.
References
- [1] B. J. Birch, Forms in many variables. Proc. R. Soc. Lond. Ser. A, Math. Phys. Sci. 265 (1962), 245–263.
- [2] V. Blomer, Forms in many variables. Sums of Hecke eigenvalues over values of quadratic polynomials. Int. Math. Res. Not. IMRN 16 (2008), 245–263.
- [3] R. de la Bretèche, T. D. Browning and E. Peyre, On Manin’s conjecture for a family of Châtelet surfaces. Ann. of Math. 175 (2012), 297–343.
- [4] R. de la Bretèche and T. D. Browning, Binary forms as sums of two squares and Châtelet surfaces. Isr. J. Math. 191 (2012), 973–1012.
- [5] R. de la Bretèche and G. Tenenbaum, Moyennes de fonctions arithmétiques de formes binaires. Mathematika 58(2) (2012), 290–304.
- [6] R. de la Bretèche and G. Tenenbaum, Sur la conjecture de Manin pour certaines surfaces de Châtelet. Journal of the Institute of Mathematics of Jussieu 12(4) (2013), 759–819.
- [7] M. Bright, S. Ramdorai, A. Skorobogatov, E. Sofos and P. Vishe, New Directions in Rational Points, BIRS Chennai, link to the report, (2024).
- [8] T. D. Browning, Cubic forms and the circle method. Birkhäuser (2021), xiv–166.
- [9] T. D. Browning, L. Matthiesen and A. N. Skorobogatov, Rational points on pencils of conics and quadrics with many degenerate fibers. Ann. of Math. 180 (2014), 381–402.
- [10] T. D. Browning and S. M. Prendiville, Improvements in Birch’s theorem on forms in many variables. J. reine angew. Math. 731 (2017), 203–234.
- [11] J. Brüdern and T. D. Wooley, The Hasse principle for pairs of diagonal cubic forms. Ann. of Math. 166 (2007), 865–895.
- [12] Y. Bugeaud, M. Mignotte and S. Siksek, Classical and modular approaches to exponential Diophantine equations. I: Fibonacci and Lucas perfect powers. Ann. of Math. 163 (2006), 969–1018.
- [13] F. Chamizo, Correlated sums of . J. Math. Soc. Japan 51 (1999), 237–252.
- [14] L. Chiriac and L. Yang, Summing Hecke eigenvalues over polynomials. Math. Z. 302 (2022), 643–662.
- [15] S. Daniel, On the divisor-sum problem for binary forms. J. reine angew. Math. 507 (1999), 107–129.
- [16] H. Davenport, On Some Infinite Series Involving Arithmetical Functions (II), The Quarterly Journal of Mathematics, os-8, (1937), 313–320.
- [17] P. Deligne, La conjecture de Weil. I, Inst. Hautes Études Sci. Publ. Math. 43 (1974), 273–307.
- [18] P. Deligne and J.-P. Serre, Formes modulaires de poids 1. Ann. Sci. École Norm. Sup. (4) 7 (1974), 507–530.
- [19] K. Destagnol, La conjecture de Manin sur les surfaces de Châtelet. Acta Arithmetica. 174(1) (2016), 31–97.
- [20] K. Destagnol and E. Sofos, Rational points and prime values of polynomials in moderately many variables. Bull. Sci. Math. 156 (2019), 102794, 33.
- [21] T. Estermann, An asymptotic formula in the theory of numbers. Proc. London Math. Soc. 34 (1932), 280–292.
- [22] G. Faltings, Endlichkeitssätze für abelsche Varietäten über Zahlkörpern. Invent. Math. 73 (1983), 349–366.
- [23] J. Friedlander and H. Iwaniec, The polynomial captures its primes. Ann. of Math. 148(3) (1998), 945–1040.
- [24] R. Heath-Brown, Primes represented by . Acta Math. 186(1) (2001), 1–84.
- [25] R. Heath-Brown, Linear relations amongst sums of two squares. Number theory and algebraic geometry London Math. Soc. Lecture Note Ser., Cambridge Univ. Press, Cambridge 303 (2003), 133–176.
- [26] C. Hooley, On the number of divisors of a quadratic polynomial. Acta Math. 110 (1963), 97–114.
- [27] H. Iwaniec, Topics in Classical Automorphic Forms. Graduate Studies in Mathematics. American Mathematical Society Providence, RI 17 (1997).
- [28] H. Iwaniec and E. Kowalski, Analytic number theory. Colloquium Publications. American Mathematical Society Providence, RI 53 (2004), xi–615.
- [29] K. Matomäki, M. Radziwiłł and T. Tao, An averaged form of Chowla’s conjecture. Algebra Number Theory 9 (2015), 2167–2196.
- [30] M. Nair, Multiplicative functions of polynomial values in short intervals. Acta Arith. 62 (1992), 257–269.
- [31] M. Nair and G. Tenenbaum, Short sums of certain arithmetic functions. Acta Math. 180 (1998), 119–144.
- [32] M. Northey and P. Vishe, On the Hasse principle for complete intersections. Compos. Math. 160 (2024), 771–835.
- [33] H. Pasten, Powerful values of polynomials and a conjecture of Vojta. J. Number Theory 133 (2013), 2964–2998.
- [34] M. Pieropan and D. Schindler, Hyperbola method on toric varieties. Journal de l’École Polytechnique 11 (2024), 107–157.
- [35] P. Pongsriiam and R. C. Vaughan, The divisor function on residue classes I. Acta Arith. 168 (2015), 369–382.
- [36] S.L. Rydin Myerson, Quadratic forms and systems of forms in many variables. Invent. math. 213 (2018), 205–235.
- [37] W. Schmidt, Nothcott’s theorem on heights II. The quadratic case. Acta Arith. 70(4) (1995), 343–375.
- [38] T. N. Shorey and R. Tijdeman, Exponential Diophantine equations. Cambridge Tracts in Mathematics Cambridge University Press 87 (1986).
- [39] T. Tao and J. Teräväinen, The structure of logarithmically averaged correlations of multiplicative functions, with applications to the Chowla and Elliott conjectures. Duke Math. J. 168 (2019), 1977–2027.
- [40] N. Templier, A nonsplit sum of coefficients of modular forms. Duke Math. J. 157 (2011), 109–165.
- [41] N. Templier and J. Tsimerman, Non-split sums of coefficients of -automorphic forms. Israel J. Math. 195 (2013), 677–723.
- [42] D. I. Tolev, On the remainder term in the circle problem in an arithmetic progression. Proc. Steklov Inst. Math. 276 (2012), 261–274.