Mucking about with Quadratic Reciprocity June 17, 2007Posted by David Speyer in Uncategorized.
I think I’m going to use this blog mostly to write up elegant ideas that I don’t think are well enough known and various computations that I do in the course of trying to learn new things. Last week, John Baez started a conversation on why quadratic reciprocity works. That didn’t really take off, so I’m going to write some more thoughts over here.
Quadratic reciprocity is the following theorem, first proven by Gauss: Let p be an odd prime and let a be an integer not divisible by p. Define (a/p) to be 1 if a is a square modulo p and -1 otherwise. (The standard notation is to write (a/p) as an upright fraction, with a horizontal bar, but I’m trying to minimize the number of LaTeX equations you have to load.) Then, if p and q are both (positive) odd primes, we have
For example, 5 is a square modulo p if and only if p is 1 or 4 modulo 5. The number 3 is a square modulo p if and only if p is 1 or 11 modulo 12. In general, for any given odd integer a, we can use the law of quadratic reciprocity to give a simple rule for deciding whether or not a is a square modulo p. This rule will depend only on the residue class of p modulo a if a is 1 mod 4, or on the class of p modulo 4a if a is 3 modulo 4. Everything I have said is perfectly valid when a is negative, by the way.
To my mind, the amazing part of QR is that (a/p) should be periodic at all as a function of p. Of course, strictly speaking it doesn’t make sense to say that (a/p) is periodic because it is only defined for prime p. So here is a better statement. Let a and b be any relatively prime odd integers, with b positive. Let be the factorization of b into odd primes. Then define (a/b) as . Then, to my mind, the essence of QR is the theorem that (a/b) is periodic as a function of b, with period either a or 4a (depending on whether a is 1 or 3 modulo 4.) Once we know this, deducing the precise form of QR is not bad. I’ll do the case where q is a prime which is 1 modulo 4. The function must be a function on (by the periodicity claim) which takes only the values and which is multiplicative. Other than the function which is identically 1, it turns out that is the only option, so . (Actually, I don’t know a simple proof that is not identically one as a function of b, but I don’t regard this as the hard step.) A slightly messier but similar argument works when q is 3 modulo 4.
So, why does this periodicity hold? To my mind, we don’t really have a good answer. There are many proofs. One of the cleanest elementary proofs (due to Zolotarev) is to notice that (a/b) is the sign of the permutation induced on the residue classes of under multiplication by a. One then adapts Eisenstein’s proof to work with the possibility of a composite number in the base. But I don’t feel that any of these proofs are really an explanation.
However, there is a principle in number theory that, if you can’t understand a property of the integers, you should think about the corresponding property for polynomials over finite fields. In this case, the corresponding property is the following. Let p be an odd prime and let be a polynomial with coefficients in . Define . Then, if f and g are relatively prime monic polynomials in , we have
The condition that f and g are monic should be thought of as analogous to the condition that p and q are positive back in ordinary QR. This theorem has a beautiful geometric proof. As above, I won’t actually write out all of the details, but I’ll get you far enough to see that (f/g) should have some sort of periodicity as a function of g.
Some shorthand is in order. Let k denote and let K denote the algebraic closure of k. Also, will be the unit group of K. There is a map called the Frobenius map, which we will denote by F, given by . Note that k is exactly the fixed point set of F. If x is in k and is any square root of x, then (x/p) is . More generally, let be an irreducible polynomial of degree d and let be relatively prime to g. Let be a root of g and let b be a square root of f(a). Then . (Use the isomorphism between k[x]/g and the subfield of K generated by k and a.)
Here is a more geometric way to think of this. Let X, Y and G all denote . This may seem silly, but is actualy playing three roles here, and I want to seperate them. We have a map given by , this is a two-fold cover. The map F acts on both X and Y, compatibly. Let U denote the subset of K where f is not zero. Then we map U to Y by . Now, suppose that a, an element of U, is a root of the irreducible polynomial g of k[x]. Then the roots of g are , , , …, . So the orbit of F acting on f(a) (which is a point of Y) is a cycle of length d. The preimage of this cycle up in X has cardinality 2d. The action of F on this preimage is either two cycles of length d, in which case (f/g) is 1, or is one cycle of length 2d, in which case (f/g) is -1.
This suggests a definition. X is a principal homogenous space for the action of G. For any a in U, define an element [f/a] of G by , where b is any square root of f(a). Note that this is independent of the choice of b. This can be seen by direct computation; the conceptual argument is that the two square roots of f(a) are related by multiplication by the element -1 of G, the group G is abelian and F(-1)=-1. We then have
(Plug in the definition of [f/F^i(a)] and watch the sum telescope.) We then obtain immediately from the definitions that, even if g is not irreducible in k[x], we have
where is the factorization of g in K[x].
Now, here is the geometric statement we will prove. Let U be any subset of K with a finite complement and let s be a map from U to G given by a rational function. Then there exists a polynomial m with the following property: If and are two polynomials of the same degree which are nonzero at the points of K-U and if then . Moreover, we can choose m to only have roots on the complement of U. Applying this theorem to will tell us that (f/g) has some sort of periodicity in terms of the degree of g and the value of f modulo some power of g; as before, getting the exact form of (f/g) at this point is relatively easy. This is a good point to pause and make sure you have understood everything.
Notice that this statement makes complete sense when K is the complex numbers (and G the nonzero complex numbers.) Moreover, when K is the complex numbers, it is natural to think of U not as an open subset of the complex plane but as an open subset of the Riemman sphere. In this context, the two conditions that g and g’ have the same degree and that they have no zeroes in K-U are really the same condition — that g and g’ have poles of the same order at each point in the complement of U or, in other words, that the meromorphic function g/g’ is well defined in the complement of U. From now on, I’ll state things in terms of the complex numbers. If you want to know how to make this argument rigorous back in the original finite field setting, you should learn algebraic geometry. (Really, you should learn algebraic geometry. If you have been enjoying and understanding up to this point, you’ll find algebraic geometry beautiful.)
So, here is the right formulation. Let be a subset of the Riemann sphere with finite complement. Let s be a map from U to given by a rational function. Then we can assign an integer to each point of the complement of U such that the following holds — if h is a meromorphic function on which, near , is equal to 1 to order then where are the zeroes and poles of h on U and is the order of the pole .
There are lots of proofs of this theorem in the complex world, and I urge you to try to find one. Here is a proof which will generalize to the finite field case. Let be the pull back to U of the differential form on . Then is a meromorphic differential form on all of which is holomorphic on U. Take to be one more than the order of the pole of at . Now, consider the meromorphic map given by . We want to show that . Now is holomorpic everywhere except at the points (where i runs from 1 to r). By our hypothesis on h, all of these points are 1. But a local computation at 1 shows that is also holomorphic there. So is a global holomorphic one-form, and hence is zero. Then is a constant map, and we are done.
I’m not sure who first worked out this idea, but Serre in his elegant little book Algebraic Groups and Class Fields presents a huge generalization of it. Basically, for any abelian extension of k[x], Serre shows how to build G, X and Y (which will no longer all be the same) and run this argument. I am basically simplifying Serre’s argument for the special case of quadratic extensions here; the reader who wants to see the original should read Serre, particularly sections VI.2.8 and III.2.