In which we explore reduced binary quadratic forms.
- Lemma 33: Let be a reduced form. Then the smallest values represented by for coprime and are , , and , in that order. We showed that if and are non-zero integers then . (In the lecture, I forgot to include the condition that and are coprime. This doesn’t matter if they’re both non-zero, but it does matter when one variable is zero, because it means that the only pairs that we need to consider are and and . It also doesn’t affect our application of Lemma 33 in Theorem 34. I’ll say something about this at the start of the next lecture.)
- Theorem 34: Each positive definite binary quadratic form is equivalent to a unique reduced form. We have already seen that each positive definite binary quadratic form is equivalent to some reduced form, so it suffices to check that no two reduced forms are equivalent. We did this using Lemma 33.
- Proposition 35: Let be a fixed negative integer. Then there are finitely many reduced forms of discriminant . We used the condition together with the criterion for being a reduced form to obtain bounds on the coefficients, from which the result follows.
- Definition of the class number.
Baker (A concise introduction to the theory numbers) covers all of this material. Davenport (The Higher Arithmetic) doesn’t go into the details of the proof of Theorem 34, but discusses many of the other ideas in today’s lecture. There are some online notes by Andrew Granville that cover this material.
I mentioned the class number problem. There are many places where you can read about this, including this paper by Stark, and this paper by Goldfeld, to give just two examples. Either of these would give you a sense of the breadth of mathematical ideas that go into the study of the class number.
We’ve only discussed the reduction of definite binary quadratic forms. There is also a very interesting theory of indefinite forms. The bad news is that we don’t have time to explore it in lectures. The good news is that there is a CATAM project that invites you to do exactly that, and you should now be well placed to tackle this project.
Preparation for Lecture 12
Next time we’ll be tackling the question of which numbers can be represented by binary quadratic forms.
One thing to consider is whether we need to study representations by all pairs , or whether we can concentrate on pairs where the variables are coprime. If we start with coprime and and apply a unimodular substitution, do we still get coprime values of the variables?
And here’s another question to consider. If is a binary quadratic form, then can certainly be represented (because ). It would be interesting to know whether the converse is true, at least once we’re clear what the converse might be. Let be a form that represents . We know that might not have first coefficient , not least because there are many forms equivalent to that represent the same set of numbers, and they don’t all have the same first coefficient. But is it the case that if represents then is equivalent to a form with first coefficient ?