It’s been a while since I saw Serre’s “how to write mathematics badly” lecture, but I’m pretty sure there would have been something about the dangers of using the word “obvious.” After all, if something really is obvious, then it shouldn’t be too difficult to explain why. It is especially embarrassing when someone asks you to clarify a remark/claim in one of your papers which you claim is “obvious” and you find yourself having no idea what the implicit argument was supposed to be. Such a thing happened recently to me, when Toby asked me to explain why the following was true:
Claim: Let be prime, and let be the fundamental unit of . Then where is even and is odd.
Proof of Claim: Between Toby, Kevin, and myself, we managed to come up with the argument below, following a suggestion of
Toby Rebecca Bellovin: It’s easy enough to see (obvious) that and are integers and . Hence, it suffices to rule out the case that even and odd. Write . It follows that , and since is prime, that . Assuming that is odd, write , and . Then the equation above becomes
Without loss of generality, assume that is positive. Then this equation implies that and are squares, say and . But then
and hence is a (smaller) unit (in fact, ), contradicting the assumption that was a fundamental unit.
This argument is really a 2-descent on the unit group. As Kevin remarked: “So this is a descent argument in a completely elementary situation which I don’t think I’d ever seen before and which proves something that I don’t think I knew … What’s ridiculous is that if the equation had been a cubic and we were after rational solutions then I would have instantly leapt on descent as one of my main tools for attacking it We live and learn!”
So what was I thinking when I wrote the paper? The actual claim in the paper is this: “If is the (2 part of the) strict ray class group of of conductor , then , where is the (2 part of the) class group. The “argument” is as follows:
The proof of [the above] is even more straightforward: it follows immediately from a consideration of the units in and the exact sequence
Well, at least the word obvious was only implicit here. I could try to place the blame on my co-author Matt here, but honestly the phrasing of the claim does sound a little like something I would write.
Next up: a report from Luminy!