arxiv:math/ v1 [math.nt] 5 Apr 2006

Transcription

1 arxiv:math/ v1 [math.nt] 5 Ar 2006 SUMS OF ARITHMETIC FUNCTIONS OVER VALUES OF BINARY FORMS R. DE LA BRETÈCHE AND T.D. BROWNING Abstract. Given a suitable arithmetic function h : N R 0, and a binary form F Z[x 1,x 2 ], we investigate the average order of h as it ranges over the values taken by F. A general uer bound is obtained for this quantity, in which the deendence uon the coefficients of F is made comletely exlicit. 1. Introduction This aer is concerned with the average order of certain arithmetic functions, as they range over the values taken by binary forms. We shall say that a nonnegative sub-multilicative function h belongs to the class MA, B if there exists a constant A such that h l A l for all rimes and all l N, and there is a function B = Bε such that for any ε > 0 one has hn Bn ε for all n N. Let F Z[x 1,x 2 ] be a non-zero binary form of degree d, such that the discriminant discf is non-zero. Such a form takes the shae Fx 1,x 2 = x d1 1 xd2 2 Gx 1,x 2, 1.1 for integers d 1,d 2 {0,1}, and a non-zero binary form G Z[x 1,x 2 ] of degree d d 1 d 2. Moreover, we may assume that discg 0 and G1,0G0,1 0. Given a function h MA,B and a binary form F as above, the rimary goal of this aer is to bound the size of the sum SX 1,X 2 ;h,f := h Fn 1,n 2, 1 n 2 X 2 1 n 1 X 1 for given X 1,X 2 > 0. For certain choices of h and F it is ossible to rove an asymtotic formula for this quantity. When h = τ is the usual divisor function, for examle, Greaves [3] has shown that there is a constant c F > 0 such that SX,X;τ,F = c F X 2 logx 1+o1, as X, when F is irreducible of degree d = 3. This asymtotic formula has been extended to irreducible quartic forms by Daniel [2]. When d 5 there are no binary forms F for which an asymtotic formula is known for SX,X;τ,F. In order to illustrate the main results in this article, however, we shall derive an uer bound for SX,X;τ,F of the exected order of magnitude. The rimary aim of this work is to rovide general uer bounds for the sum SX 1,X 2 ;h,f, in which the deendence uon the coefficients of the form F is made comletely exlicit. We will henceforth allow the imlied constant in any estimate to deend uon the degree of the olynomial that is under consideration. Any further deendences will be indicated by an aroriate subscrit Mathematics Subject Classification. 11N37 11N32. 1

2 2 R. DE LA BRETÈCHE AND T.D. BROWNING Before introducing our main result, we first need to introduce some more notation. We shall write F for the maximum modulus of the coefficients of a binary integral form F, and we shall say that F is rimitive if the greatest common divisor of its coefficients is 1. These definitions extend in an obvious way to all olynomials with integer coefficients. Given any m N, we set 1 { F m := ϕm # n 1,n 2 0,m] 2 : gcdn 1,n 2,m = 1 Fn 1,n 2 0mod m }, 1.2 where ϕ is the usual Euler totient function. The arithmetic function F is multilicative, and has already layed an imortant role in the work of Daniel [2]. Finally, we define ψn := 1+ 1, 1.3 n and We are now ready to reveal our main result. F := ψ discf. 1.4 Theorem 1. Let h MA,B, δ 0,1 and let X 1,X 2 > 0. Let F Z[x 1,x 2 ] be a non-zero rimitive binary form of the shae 1.1. Then there exist ositive constants c = ca,b and C = CA,B,d,δ such that d< min{x 1,X 2} SX 1,X 2 ;h,f A,B,δ c FX 1 X 2 E for min{x 1,X 2 } Cmax{X 1,X 2 } δd F δ, where F is given by 1.4 and G h 1 E := d ih i=1,2 X i We shall see shortly that the condition > d ensures that G < in 1.5. Our initial motivation for establishing a result of the tye in Theorem 1 arose in a rather different context. It turns out that Theorem 1 lays an imortant role in the authors recent roof of the Manin conjecture for the growth rate of rational oints of bounded height on a certain Iskovskih surface [1]. The recise result that we make use of is the following, which will be established in the subsequent section. Corollary 1. Let h MA,B and let X 1,X 2 > 0. Let F Z[x 1,x 2 ] be a non-zero binary form of the shae 1.1. Then we have h Fn 1,n 2 A,B,ε F ε X 1 X 2 E +max{x 1,X 2 } 1+ε, n 2 X 2 n 1 X 1 for any ε > 0, where E is given by 1.5. An insection of the roof of Corollary 1 reveals that it is ossible to relace the term X 1+ε by XlogX Ad 1, where X = max{x 1,X 2 }. Moreover, it would not be difficult to extend the estimates in Theorem 1 and Corollary 1 to the more general class of arithmetic functions M 1 A,B,ε considered by Nair and Tenenbaum [7]. It is now relatively straightforward to use Theorem 1 to deduce good uer bounds for SX, X; h, F for various well-known multilicative functions h. For examle, on taking h = τ in Theorem 1, and aealing to work of Daniel [2, 7] on the behaviour of the Dirichlet series n=1 F nn s, it is ossible to deduce the following result, which is new for d 5.

3 SUMS OF ARITHMETIC FUNCTIONS OVER VALUES OF BINARY FORMS 3 Corollary 2. Let F Z[x 1,x 2 ] be an irreducible binary form of degree d. Then we have SX,X;τ,F F X 2 logx. The rimary ingredient in our work is a result due to Nair [6]. Given an arithmetic function h MA,B, and a suitable olynomial f Z[x], Nair investigates the size of the sum TX;h,f := h fn, 1 n X for given X > 0. Nair s work has since been generalised in several directions by Nair and Tenenbaum [7]. In order to resent the version of Nair s result that we shall emloy, we first need to introduce some more notation. Given any olynomial f Z[x] and any m N, let fm := #{nmod m : fn 0mod m}. It is well-known that f is a multilicative function. On recalling the definition 1.2 of G, for any binary form G Z[x 1,x 2 ] and any rime, we may therefore record the equalities { G = Gx,1 if G1,0, 1.6 Gx,1 +1 if G1,0. One may clearly swa the roles of the first and second variables in this exression. It follows from these equalities that G < for any rime > degg, as claimed above. Given a ositive integer d and a rime number, we shall denote by F d the class of olynomials f Z[x] of degree d, which have no reeated roots and do not have as a fixed rime divisor. Note that a olynomial has no reeated roots if and only if its discriminant is non-zero. Moreover, recall that a olynomial f Z[x] is said to have fixed rime divisor if fn for all n Z. It will be convenient to abbreviate fixed rime divisor to fd throughout this aer. When f has degree d and is rimitive, then any fd of f satisfies d. Indeed, there are at most d roots of f modulo. We shall write Fd := F d. We are now ready to reveal the version of Nair s result that we shall emloy. Theorem 2. Let h MA,B, let f Fd and let δ 0,1. Then there exists a constant C = CA,B,d,δ such that TX;h,f A,B,δ X 1 f fmhm, m for X C f δ. X 1 m X A few remarks are in order here. First and foremost this is not quite the main result in [6, 4]. In its resentform, Theorem 2 essentiallyamounts to a secial case of a very general result due to Nair and Tenenbaum [7, Eqn. 2]. Following our convention introduced above, the imlied constant in this estimate is comletely indeendent of the coefficients of f, deending only uon the choices of A,B,δ and d. This uniformity will rove crucial in our deduction of Theorem 1. Theorem 2 is

4 4 R. DE LA BRETÈCHE AND T.D. BROWNING in fact already imlicit in the original work of Nair [6], and is a major ste on the way towards his uer bound TX;h,f A,B,δ,discf X 1 f h f ex, 1.7 X for X C f δ. As indicated, there is now an imlicit deendence uon the discriminant of the olynomial f. This arises in assing from the term hm fm m m to the term ex h f. We take this oortunity to correct an aarent oversight in recent work of Heath-Brown [4]. Here, a secial case of Nair s result is used [4, Lemma 4.1], in which the deendence of the imlied constant uon the olynomial s discriminant does not seem to have been accurately recorded. This leads to roblems in the roof of [4, Lemma 4.2], and in articular the estimation of the sum S 0 m, since the relevant discriminant will now vary with the choice m. Similar remarks aly to the estimation of Sd,d in [4, Lemma 6.1]. The roof of these two estimates can now be easily reaired: the first by aealing to Theorem 2 instead of 1.7, and the second via a straightforward alication of Theorem 1. Acknowledgement. Part of this work was undertaken while the second author was visiting the Université de Paris-Sud, the hositality and financial suort of which is gratefully acknowledged. X 2. Preliminaries We begin this section by establishing Corollary 1. Now it is trivial to see that F ε F ε, since the discriminant of a form can always be bounded in terms of the maximum modulus of its coefficients, and we have ψn 2 ωn ε n ε, for any ε > 0. Moreover, it will suffice to establish the result under the assumtion that F is rimitive. Indeed, if k is a common factor of the coefficients of F, then it may extracted and absorbed into the factor F ε, since hab B,ε a ε hb for h MA,B. Let us take δ = ε in the statement of Theorem 1. Suose first that min{x 1,X 2 } Cmax{X 1,X 2 } dε F ε. Then since E ε X 1 X 2 ε in 1.5, we easily deduce that SX 1,X 2 ;h,f A,B,ε F ε max{x 1,X 2 } 1+ε. This is satisfactory for Corollary 1. In the alternative case, Theorem 1 gives a satisfactory contribution from those n for which n 1 n 2 0. The contribution from n 1 = 0 is h F0,n 2 h F0,1 hn d 2 B,ε F ε X2 1+ε, n 2 X 2 n 2 X 2 since h MA,B, which is also satisfactory. On arguing similarly for the contribution from n 2 = 0, we therefore comlete the roof of Corollary 1. We now collect together the reliminary facts that we shall need in our roof of Theorem 1. Let F Z[x] be a non-zero binary form of degree d. Here, as throughout our work, any boldface lowercase letter x will mean an ordered air x 1,x 2. If

5 SUMS OF ARITHMETIC FUNCTIONS OVER VALUES OF BINARY FORMS 5 [α 1,β 1 ],...,[α d,β d ] P 1 C are the d roots of F in C, then the discriminant of F is defined to be discf := α i β j α j β i 2. 1 i<j d It will be convenient to record the following well-known result. Lemma 1. Let M GL 2 Z. Then we have discfmx = detm dd 1 discf. Weshallalsorequiregooduerboundsforthequantity f l, foranyrimitive olynomial f Z[x] and any rime ower l. The following result may be found in unublished work of Stefan Daniel, the roof of which we rovide here for the sake of comleteness. Lemma 2. Let d N, let be a rime, and let f Z[x] be a olynomial of degree d such that does not divide all of the coefficients of f. Then we have for any l N. f l min { d l 1,2d 3 1 1/dl}, Proof. The uer bound f l d l 1 is trivial. The second inequality is easy when d = 1, or when divides all of the coefficients of f aart from the constant term, in which case f l = 0. Thus we may roceed under the assumtion that d 2 and does not divide all of the coefficients in the non-constant terms. We have f l = 1 l amod l bmod l e lafb = l j=0 1 j amod j a bmod j e jafb, where e q z = e 2πiz/q, as usual. But then the roof of [8, Theorem 7.1] imlies that each inner sum is bounded by d 3 1 1/dj in modulus, when j 1. Hence l f l 1+d /dj d 3 1 1/dl 1 1 j=1 The result then follows, since d 2 by assumtion. 1 1/d 1. The remainder of this section concerns the class of rimitive olynomials f Z[x] which have a fd. The following result is self-evident. Lemma 3. Let be a rime number and let f Z[x] be a rimitive olynomial which has as a fd. Then there exists an integer e 0 and olynomials q,r Z[x], such that fx = x xqx+rx, 2.1 where qx = e j=0 a jx j for integers 0 a j < such that a e 0. Our next result examinesthe effect ofmaking the changeofvariablesx x+k, for integers 0 k <. Lemma 4. Let be a rime number and let f Z[x] be a rimitive olynomial of the shae 2.1. Then for each 0 k <, there exists ν k Z such that: 1 0 ν k e.

6 6 R. DE LA BRETÈCHE AND T.D. BROWNING 2 f k x = ν k 1 fx+k Z[x] is a rimitive olynomial. 3 Suose that f k has as a fd, and is written in the form 2.1 for suitable olynomials q k,r k. Then e 1 and degq k e +1. Proof. Without loss of generality we may assume that k = 0. Consider the identity fx = x 1 x 1 1qx+rx, and let b j be the j-th coefficient of rx. It is not hard to see that the coefficient of x j+1 in fx/ is equal to a j +1 a j j +b j+1 j+1, 2.2 where we have introduced the convention that a j = 0 for each negative index j. Let ν 0 be the -adic order of the greatest common divisor of the coefficients of the olynomial fx/, and write f 0 x = fx ν0+1. It is clear that f 0 is a rimitive olynomial with integer coefficients. Moreover, if e 0 denotes the smallest index j for which a j 0 in qx, then it is not hard to deduce from 2.2 that ν 0 e 0. In articular we have 0 ν 0 e. This is enough to establish the first two arts of the lemma. It remains to consider the ossibility that f 0 has as a fd. Suose first that ν 0 < e 0. Then f 0 x g 0 x mod, with ν 0 g 0 x = b l l ν0 x l. l=0 If g 0 has as a fd, then one may write it in the form 2.1 for suitable q 0,r 0 Z[x]. But then 0 degq 0 ν 0 < e 0 e, which is satisfactory for the final art of the lemma. Suose now that ν 0 = e 0. Then f 0 x g 0 x mod, with g 0 x = a e0 x e0+1 + e 0 l=0 b l l ν0 x l. Arguing as above, if g 0 has as a fd, then one may write it in the form 2.1 for suitable q 0,r 0 Z[x] such that 0 degq 0 = e 0 +1 e+1. This therefore comletes the roof of Lemma 4. Our final result combines Lemmas 3 and 4 in order to show that there is always a linear change of variables that takes a olynomial with fd into a olynomial which doesn t have as a fd. Lemma 5. Suose that f Z[x] is a rimitive olynomial that takes the shae 2.1 and has non-zero discriminant. Then there exists a non-negative integer δ e, and ositive integers µ 0,...,µ δ with µ 0 + +µ δ e+1 2, 2.3

7 SUMS OF ARITHMETIC FUNCTIONS OVER VALUES OF BINARY FORMS 7 such that the olynomial g k0,...,k δ x = fδ+1 x+ δ k δ + +k 1 +k 0 µ0+ +µ δ belongs to F d, for any k 0,...,k δ Z [0,. 2.4 Proof. Our argument will be by induction on the degree e of q. We begin by noting that the degree of f is reserved under any linear transformation of the shae x ax+b, rovided that a 0. Similarly, in view of Lemma 1, the discriminant will not vanish under any such transformation. Thus it suffices to show that there exists a non-negative integer δ e, and ositive integers µ 0,...,µ δ, such that 2.3 holds and the olynomial 2.4 has integer coefficients but doesn t have as a fd. Let k 0 be any integer in the range 0 k 0 <. Then it follows from Lemma 4 that there exists ν 0 Z such that 0 ν 0 e and f k0 x = ν0 1 fx+k 0 is a rimitive olynomial with integer coefficients. If e < 1 then the final art of this result imlies that f k0 does not contain as a fd, and so must belong to F d. In this case, therefore, the statement of Lemma 5 holds with δ = 0, µ 0 = ν and g k0 = f k0. This clearly takes care of the inductive base e = 0, since then δ = 0 and µ 0 = 1. Suose now that e 1 and f k0 contains as a fd. Then f k0 can be written in the form 2.1 for suitable olynomials q,r such that degq = e e + 1. We may therefore aly the inductive hyothesis to conclude that there exists a non-negative integer δ e, and ositive integers µ 0,...,µ δ with µ 0 + +µ δ e +1 2, 2.5 such that the olynomial f k0 δ +1 x+ δ k δ + +k 1 +k 0 µ 0 + +µ δ = fδ +2 x+ δ +1 k δ + +k 0 +k 0 µ 0 + +µ δ +ν0+1 belongs to F d, for any k 0,k 0,...,k δ Z [0,. Let δ = δ +1, let k i = k i+1 for i 0, and write µ 0 = ν 0 +1, µ i = µ i 1, for i 1. Then it follows that g k0,...,k δ x F d, in the notation of 2.4, for any k 0,...,k δ Z [0,. Moreover, we clearly have δ e +1 e +2 e, and 2.5 gives µ 0 + +µ δ e e+1 e 2 +e+1 e+1 2. Thus 2.3 also holds, which therefore comletes the roof of Lemma 5. Suose that f Z[x] is a rimitive olynomial that takes the shae 2.1 for some rime, but which does not have q as a fd for any rime q <. Then for any a Z, the linear olynomial δ+1 x+a runs over a comlete set of residue classes modulo q as x does. Thus it follows from the statement of Lemma 5 that g k0,...,k δ q F q d, for any k 0,...,k δ Z [0,, where the intersection is over all rimes q.

8 8 R. DE LA BRETÈCHE AND T.D. BROWNING 3. Proof of Theorem 1 We are now ready to roceed with the roof of Theorem 1. Suose that X 2 X 1 1, and let F Z[x] be a rimitive form of the shae 1.1, Let d = d d 2 and d = d d 1 d 2. We may therefore write Gx = a j x d j 1 x j 2, d j=0 for a j Z such that gcda 0,...,a d = 1 and a 0 a d 0. We begin this section by recording the following easy result. Lemma 6. Let be a rime. Then we have discf for any gcda 0,a 1. Moreover, if d 2 = 1, then we have discf for any a 0. Proof. The first fact follows on observing that the reduction of F modulo has x 2 2 as a factor if gcda 0,a 1. If d 2 = 1, then the same conclusion holds rovided only that a 0. The statement of the lemma is now obvious. We intend to aly Theorem 2, for which we shall fix one of the variables at the outset. Let q m := gcda 0,a 1 m,...,a d m d, for any m N, and define f n2 x := xd1 Gx,n 2 q n2. Then it is clear that f n2 is a rimitive olynomial of degree d with integer coefficients. Moreover, we have SX 1,X 2 ;h,f n d 2 2 q n 2 fn2 n n 2 X 2 h 1 n 1 X 1 h We now want to aly Theorem 2 to estimate the inner sum. For this we must deal with the ossibility that f m contains a fd. Since f m is rimitive of degree d, the only ossible fds are the rimes d. Suose that f m has 1 < < r as fds. We shall combine a reeated alication of Lemma 5 with the observation made at the close of 2. This leads us to the conclusion that there exist non-negative integers δ 1,...,δ r d 2, together with ositive integers m 1,...,m r d 2, such that for any β modulo δ1+1 g β x := f n 2 δ1+1 1 r δr+1 α := δ1+1 1 δr+1 r m1 1 mr r x+β Fd,. It will be convenient to write 1 δr+1 r, γ := m1 1 mr Then it follows from Lemma 1 that αx+β d 1 Gαx+β,n 2 Fαx+β,n2 discg β = disc = disc γq n2 γq n2 n d2 = r. α d n d 2d2 2 γ 2 q 2 n 2 2 d 1 discf. 3.2 Note that α d rd 1 d d2 and γ d rd2 d d3. In articular there are just O1 choices for β modulo α, and hγ B 1.

9 SUMS OF ARITHMETIC FUNCTIONS OVER VALUES OF BINARY FORMS 9 Our investigation so far has therefore led us to the inequality 1 n 1 X 1 h f n2 n 1 B α βmod α 1 n 1 X 1 h g β n 1, 3.3 in 3.1, with g β Fd. It will now suffice to aly Theorem 2 to estimate the inner sum, which we henceforth denote by UX 1. Note that g β f n2 n d 2 F X2 d F. Hence it follows from Theorem 2 that for any δ 0,1 we have UX A,B,δ X 1 g β X 1 m X gβ mhm, 3.4 m for X A,B,δ X2 δd F δ. In estimating the right hand side of 3.4, we shall find that the result is largely indeendent of the choice of β. To simlify our exosition, therefore, it will be convenient to write g = g β in what follows. We begin by estimating the sum over m that aears in 3.4. On combining the sub-multilicativity of h with the multilicativity of g, we see that 1 m X gmhm m X 1+ gh + g l h l l. 3.5 l 2 We must therefore examine the behaviour of the function g l at various rime owers l. This is a rather classic toic and the facts that we shall use may all be found in the book of Nagell [5], for examle. Now an alication of Lemma 2 reveals that g l min { d l 1,2d 3 1 1/d l }, for any l N, since does not divide all of the coefficients of g. Moreover, it is well-known that g l d, if discg or if l = 1. In view of the fact that h l min{a l,b lε }, for any ε > 0, we therefore deduce that l 1 g l h l l d 1 l d h l l 1 l +2d 3 l>d for any rime discg. When discg we obtain g l h l l d h l l B,ε 21 ε. l 2 l 2 h l 1 1/d l l A,B 1. Now 3.2 imlies that ψ discg ψ αn 2 discf F ψn 2, where ψ is given by 1.3 and F is given by 1.4. Drawing our arguments together, therefore, we have so far shown that there is a constant c 1 = c 1 A,B such that 1 m X gmhm m A,B c1 F ψn 2 c1 d< X discg 1+ gh in 3.5. Suose now that > d > d. Then one has g = fn2. We claim that q n2 rovided that n 2 discf. But this follows immediately from the fact that gcda 0,...,a d = 1. Hence we have g = xd 1Gx,n2 = xd 1Gx,1 = Gx,1 +d 1, 3.6,

10 10 R. DE LA BRETÈCHE AND T.D. BROWNING rovided that > d and n 2 discf. We may therefore conclude that there is a constant c 2 = c 2 A,B > c 1 such that gmhm m 1 m X A,B c2 F ψn 2 c2 1+ Gx,1h d< X X 1+ d 1h. We now turn to the size of the roduct over that aears in 3.4, for which we shall use the relation 3.6 for any rime such that > d and n 2 discf. Thus there is a constant c 3 = c 3 A,B such that Let 1 g X E 1 := d< X 1 1 Gx,1 d< X n 2 discf c3 F ψn 2 c3 1 Gx,1 d< X and set c 4 = c 2 +c 3. Then we have shown that X n 2 discf 1 Gx,1 X 1 X 1+ Gx,1h 1 d 1 UX 1 A,B,δ c4 F ψn 2 c4 X 1 E 1 1 d 1 1 d d 1h in 3.4, rovided that X 1 A,B,δ X δd 2 F δ. This latter inequality holds by the assumtion made in the statement of Theorem 1. Once substituted into 3.1 and 3.3, we may conclude that SX 1,X 2 ;h,f A,B,δ c4 F X 1E 1 V d2 X 2, 3.7, where V d2 X 2 = ψn 2 c4 hn d2 2 q n 2. 1 n 2 X 2 We shall estimate V 0 X 2 and V 1 X 2 with a further alication of Theorem 2. To begin with we note that for any rime we have {, if a0 and a q = 1, 1, if a 0. When 2 a 0 and a 1 it is clear that q has 2 as a factor. Lemma 6 imlies that this can only haen when discf. Suose first that d 2 = 0. Then the arithmetic function n ψn c4 hq n satisfies the conditions of Theorem 2. Alying this result with the olynomial fx = x, as we clearly may, it therefore follows that there is a constant c 5 = c 5 A

11 SUMS OF ARITHMETIC FUNCTIONS OVER VALUES OF BINARY FORMS 11 such that V 0 X 2 A X 2 X 2 a 0 X 2 A c5 F X 2 A c5 F X X 2 a 0 X 2 X 2 a X 2 a 0 X 2 a X 2 a 0 1+ h 1+ hq X 2 a 0, 1+ h for X 2 A,B 1. Recall the identities 1.6. Then on inserting this bound into 3.7, we therefore obtain the exected bound in Theorem 1 since Gx,1 G 1, and X 2 a 0 1+ h d< X 1 d< X 1 d< X 1 1+ Gx,1h δ d< X 1 1+ G h. Here we have used the elementary fact that there are at most δ 1 rimes such that a 0 and > a δ 0. Let us now turn to the case d 2 = 1. In articular it follows from Lemma 6 that discf when a 0. Now the function n ψn c4 hnq n again verifies the conditions of Theorem 2. Thus we deduce that there exists a constant c 6 = c 6 A such that V 1 X 2 A c6 F X 2 c6 F X 2 X 2 X 2 1 d 2 1 d 2 X 2 a 0 1+ d 2h 1+ d 2h On inserting this into 3.7, we easily derive the desired uer bound. This comletes the roof of Theorem 1 when X 2 X 1 1. The treatment of the case in which X 1 X 2 1 is handled in recisely the same way, by changing the order of summation at the outset. References [1] R. de la Bretèche and T.D. Browning, Manin s conjecture for a certain Iskovskih surface. In rearation, [2] S. Daniel, On the divisor-sum roblem for binary forms. J. Reine Angew. Math , [3] G. Greaves, On the divisor-sum roblem for binary cubic forms. Acta Arith , [4] D.R. Heath-Brown, Linear relations amongst sums of two squares. Number theory and algebraic geometry, , London Math. Soc. Lecture Note Ser. 303 CUP, [5] T. Nagell, Introduction to number theory. 2nd ed., Chelsea, [6] M. Nair, Multilicative functions of olynomial values in short intervals. Acta Arith ,

12 12 R. DE LA BRETÈCHE AND T.D. BROWNING [7] M. Nair and G. Tenenbaum, Short sums of certain arithmetic functions. Acta Math , [8] R.C. Vaughan, The Hardy Littlewood method. 2nd ed., CUP, Université Paris-Sud, Bâtiment 425, Orsay Cedex address: School of Mathematics, University of Bristol, Bristol BS8 1TW address: