Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

This is a bit fluffier of a question than I usually aim for, so apologies in advance if this doesn't pass the smell test for suitability.

Likely my favorite fun fact in all of number theory is the juxtaposition of two "extremal and opposite" properties about the prime 163 in relation to class numbers:

  • $p=163$ is the largest value of $p$ for which the quadratic imaginary number field $\mathbb{Q}(\sqrt{-p})$ has class number equal to one. (Baker-Heegner-Stark)
  • $p=163$ is the smallest value of $p$ for which the real cyclotomic field $\mathbb{Q}(\zeta_p+\zeta_p^{-1})$ has class number greater than one. (Schoof)

Of the various ways I know of "pushing up" and "pushing down" class numbers (class field theory, Herglotz-type formulas, Scholz-type reflection theorems), none seem to give any indication that these two class numbers should be related, let alone inversely so. Of course, since the smaller Heegner discriminants don't correspond to analogous real cyclotomic fields with positive class number, this is not surprising.

This leads me to wonder if there's an analytic link between these two quantities -- for example, by relating their zeta-functions and looking at the corresponding class number formulas. My initial, admittedly naive, attempts to extract anything from the relationship between the zeta-functions for $\mathbb{Q}(\zeta_p)$ and $\mathbb{Q}(\zeta_p+\zeta_p^{-1})$ have come up empty. So my question is:

Are there fancier analytic (or other) techniques that might shed some light on the "miracle" above?

Of course, I'm also aware that this juxtaposition might be purely coincidental, a mildly large example of the law of small numbers at work. I might even prefer it that way.

Edit to incorporate some computations and comments from below.

For primes congruent to 7 mod 12, the real cyclotomic field of conductor p contains a unique cyclic cubic subfield. By class field theory, there is a surjection of class groups from the real cyclotomic to the cubic. Since for 163, the cyclic cubic has class number 4, the non-triviality of the class number for the real cyclotomic can be said to "come from" the cubic. In a sense, the coincidence thus reduces to the fact that the first cyclic cubic field ("first" with respect to ordering by conductor) of prime conductor 7 mod 12 with non-trivial class group is the one of conductor 163. The fact that 163 is only the 11th prime in this congruence class may modify (in which direction I'm not sure) your opinion of whether or not this is a coincidence.

Barring any insight as to why the class number of this quadratic and cubic would be related, which may be unlikely given Franz Lemmermeyer's answer, it would be interesting to know if one could devise a clever probabilistic test for evaluating how surprised one should be to see ten class-number-one cubics in a row. I imagine that it's not very unlikely -- I just ran a computation, and class number 1 seems to very prevalent for cyclic cubics of small conductor ($p<5000$), and some heuristic (sorry, Andrew) evidence in the literature seems to agree.

share|improve this question
8  
My computer screen smells the same with this displayed as it usually does. –  Will Jagy Sep 10 '10 at 19:24
2  
That is indeed reassuring. –  Cam McLeman Sep 10 '10 at 19:25
    
Cam, a possibly easier question is whether the Baker-Heegner-Stark answer had to be less than or equal to the Schoof answer, once the former was known to be finite. –  Will Jagy Sep 10 '10 at 19:58
1  
No, I take it back. Stark has a very accurate test for conjectures based on the first result being the most difficult proof in that area of mathematics. As the number 163 was surely known for both problems, an easy answer to my problem, or your original, gives an easy proof of Baker-Heegner-Stark, therefore there is no such easy relationship. The relationship is a coincidence. Quod Erat Demonstarkum. –  Will Jagy Sep 10 '10 at 20:10
    
See if I can get Stark's test correct. Use apostrophe for negation, S for Baker-Heegner-Stark, C for some conjecture. If we have the implication S' --> C, then Stark believes C pending further investigation. Why, you ask? Worry not, I shall tell you. The contrapositive is C' --> S. If C actually turned out to be false, this would provide an easy proof of S –  Will Jagy Sep 10 '10 at 20:32
show 7 more comments

2 Answers

If I recall it correctly, the class number of the real cyclotomic field comes from its cubic subfield. Thus you might as well ask whether there is a connection between class numbers of quadratic fields ${\mathbb Q}(\sqrt{-p})$ and real cubic fields with prime conductor $p$ for primes $p \equiv 7 \bmod 12$. What little we know about class numbers comes either from analytic objects (zeta functions, class number formulas), class field theory, or elliptic curves. Since we are talking about abelian extensions of the rationals, I would expect an explanation for such a result to come from class field theory. But nothing I know could even be remotely responsible for such a relation. Indeed the only results that might be within reach would be "independence" results claiming that there are infinitely many fields for which one class number is divisible by a certain prime but the other is not.

The problem why there are so few relations between the two objects has to do with the fact that the compositum of the two fields is a cyclic sextic field, which only has two nontrivial subfields. The units of these subfields do not generate a group of finite index in the whole unit group, which for me means that we should not expect any relation between the class numbers of these objects.

On the other hand you never know; the class number $1$ for the quadratic field is connected with continued fraction expansions (see Zagier's book on quadratic fields and forms) - but real cubic cyclic fields seem to have preciously little to do with continued fractions.

share|improve this answer
    
For the first part: Agreed, this is one of the "pushing down" theorems I meant. If p is 7 mod 12, then the real cyclotomic field contains a real cyclic cubic. For p=163, the cubic is the spliting field of $x^3 + x^2 - 54*x - 169$, and has class number 4. –  Cam McLeman Sep 11 '10 at 11:25
add comment

After examining the tables of class numbers in Washington and Borevich/Shafarevich, I can't rule out a connection, but if anyone is willing to bet on this I will offer 3:1 odds that it is just a coincidence.

The first few primes where the real part of the cyclotomic class number h is greater than 1 are (h'=imaginary quadratic class number)
163 (h=4, h'=1), 191 (h=11, h'=13) 229 (h=3, h'=10) 257 (h=3, h'=16), ...
which does not look promising. The published tables of class numbers of quadratic/cyclotomic fields contain hundreds of numbers of about this size, so a few meaningless coincidences are to be expected.

share|improve this answer
    
Indeed. I've spent many hours poring over such tables (which have been greatly extended since Washington and Borevich/Shafarevich!), and I certainly agree that meaningless coincidences are sure to abound, and this may be one of them. On the other hand, this is a very specific coincidence, and because of the significance of the two events in question, I think it's worth wondering if there's an explanation. –  Cam McLeman Sep 11 '10 at 0:18
5  
Since it's impossible to prove that something is just a coincidence, I don't see the downside of betting against you. Maybe you could run the bet like insurance; somebody pays you x, and if anybody figures out why it's not a coincidence, you pay 4x back. –  Peter Shor Sep 11 '10 at 18:54
2  
Of course. I expect your check. –  Richard Borcherds Sep 11 '10 at 23:22
2  
As soon as I figure out why it's not a coincidence, I'll send you a check. –  Peter Shor Sep 12 '10 at 19:21
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.