Étienne Fouvry, Philippe Michel and myself have just finished a new paper, which is available on my web page and will soon be also on arXiv. This was quite an extensive project, which also opens many new questions. I will discuss the general problem we consider, and the techniques we use, in other posts, but today I want to discuss a by-product that we found particularly nice (and amusing). It can be phrased as a rather elementary-looking challenge: given a prime number , and an element of which is neither , or modulo , let be the number of solutions of the congruence
The challenge is to prove, bijectively if possible, that
This sounds simple and elegant enough that an elementary proof should exist, but our argument is a bit involved. First, the number is the number of points modulo of the curve with equation above, whose projective (smooth) model is an elliptic curve, say , over . Then we checked using Magma that and are isogenous over , and this is well-known to imply that the two curves have the same nunmber of points modulo . The other two cases are similar, except that for
the relevant isogenies are between and , where denotes the quadratic twist of by . Hence the number of points are the same when is a square modulo .
In the first case, the isogeny is of degree , and the others are of degree , so the formulas which define them are rather unwieldy, at least in the equivalent Weierstrass model.
The best explanation of this has probably to do with the relation between the family of elliptic curves and the modular curve (a relation whose existence follows from Beauville’s classification of stable families of elliptic curves over with four singular fibers, as C. Hall pointed out), but we didn’t succeed in getting a proof of all our statements using that link. In fact, we almost expected to find the identities above already spelled out in some corner or other of the literature on modular curves and universal families of elliptic curvers thereon, but we did not find anything.
In the next post, I’ll come back to this to explain the link with our paper, which ostensibly is about estimates for sums of Fourier coefficients of modular forms multiplied with functions “of algebraic origin”. Kloosterman sums will enter the picture to make the connection (in more ways than one!), and we’ll see a rather elegant formula of Beltrami…
P.S. Here is a link to a transcript of a Magma session proving the existence of the isogenies which imply our formulas, and ending with the formula of the -isogeny, written in terms of the original curve.