A fine WordPress.com site

On binary forms

After months of silence, I am finally able to share the research I’ve been doing in the last few months. I’ve dropped hints before in this post and this other one. These are all part of a big project I’ve been working on jointly with my advisor on the representation of integers by binary forms. More recently, I have been working on a project with Cindy Tsang on counting binary quartic forms with small Galois groups. These are all connected by an insight into binary forms essentially due to Hooley.

Let be a binary form of degree , integer coefficients, and non-zero discriminant . Put for the number of integers in the interval for which the equation has a solution in integers . Put . When and is positive definite, Gauss proved that . He conjectured, and then Landau proved, that in this case. Thus most integers cannot be represented by , and for each integer that can be represented, there are many representations on average.

However, this is very atypical behaviour. Indeed, quadratic forms are complete norm forms of degree 2. For incomplete norm forms, i.e., binary forms of degree at least 3, one should expect a totally different behaviour in that and are not that different. This was confirmed by Hooley in a significant paper in 1967 [Hoo1]. Indeed, he showed that when is an irreducible binary cubic form such that is not a perfect integer square, then . We shall refer to this as the `easy cubic case’. In 1986 [Hoo2], he went on to obtain the asymptotic formula for for binary quartic forms of the shape . In this case, one has

when is not a perfect 4-th power of a rational number, and

otherwise. We refer to this as the `easy quartic case’. Finally, he went on to deal with the case when is a binary cubic form such that is a square in . In this case, he showed that there is a positive integer which can be determined explicitly in terms of the coefficients of such that

We will refer to this as the `hard cubic case’.

There is a general theory which applies to all binary forms (of any degree at least three) which allows one recover both the term in the easy quartic case and the in the hard cubic case. This will be fully explained in an joint paper by my advisor Professor Cameron Stewart and I. However, in the cubic and quartic cases specifically, one can resolve the problem more finely, in that not only can one describe the relationship between and , but show that there is a positive rational number which can be given explicitly in terms of the coefficients of when is a binary cubic or quartic form. My contribution to the cubic case is that we can find this rational constant even when is not assumed to be irreducible. Indeed, we find that the most interesting behaviour actually occurs when is completely reducible (but still with non-zero discriminant)! The reducibility of seems to have no effect in the case of quartic forms.

The key observation is that the behaviour of the constant is determined completely by the automorphism group of the binary form in . This appears to be an extraordinary insight made by Hooley in his investigation of the hard cubic case. It appears that almost all authors either explicitly or implicitly assumed that it suffices to look only at the smaller group .