Stark–Heegner theorem
In number theory, a branch of mathematics, the Stark–Heegner theorem states precisely which quadratic imaginary number fields admit unique factorisation in their ring of integers. It solves a special case of Gauss's class number problem of determining the number of imaginary quadratic fields that have a given fixed class number.
Let Q denote the set of rational numbers, and let d be a square-free integer (i.e., a product of distinct primes) other than 1. Then Q(√d) is a finite extension of Q, called a quadratic extension. The class number of Q(√d) is the number of equivalence classes of ideals of the ring of integers of Q(√d), where two ideals I and J are equivalent if and only if there exist principal ideals (a) and (b) such that (a)I = (b)J. Thus, the ring of integers of Q(√d) is a principal ideal domain (and hence a unique factorization domain) if and only if the class number of Q(√d) is equal to 1. The Stark–Heegner theorem can then be stated as follows:
- If d < 0, then the class number of Q(√d) is equal to 1 if and only if
These are known as the Heegner numbers.
This list is also written, replacing −1 with −4 and −2 with −8 (which does not change the field), as:[1]
where D is interpreted as the discriminant (either of the number field or of an elliptic curve with complex multiplication).
Contents
History
This result was first conjectured by Gauss. It was essentially proven by Kurt Heegner in 1952, but Heegner's proof had some minor gaps and the theorem was not accepted until Harold Stark gave a complete proof in 1967, which Stark showed was actually equivalent to Heegner's. Heegner "died before anyone really understood what he had done".[2] Stark formally filled in the gap in Heegner's proof in 1969.[3] Alan Baker gave a completely different proof at about the same time (or more precisely reduced the result to a finite amount of computation). Stark's 1969 paper also cited the widely known 1895 text by Heinrich Martin Weber and noted that had Weber "only made the observation that the reducibility of [a certain equation] would lead to a Diophantine equation, the class-number one problem would have been solved 60 years ago".
In 1985, Monsur Kenku[4] gave a novel proof using the Klein quartic. Noam Elkies gives an exposition of this result.[5]
Real case
On the other hand, it is unknown whether there are infinitely many d > 0 for which Q(√d) has class number 1. Computational results indicate that there are many such fields.
Notes
- ↑ Elkies (1999), p. 93.
- ↑ Goldfeld (1985).
- ↑ Stark (1969).
- ↑ Kenku (1985).
- ↑ Elkies (1999), section 4.3.
References
- Lua error in package.lua at line 80: module 'strict' not found.
- Lua error in package.lua at line 80: module 'strict' not found.
- Lua error in package.lua at line 80: module 'strict' not found.
- Lua error in package.lua at line 80: module 'strict' not found.
- Lua error in package.lua at line 80: module 'strict' not found.
- Lua error in package.lua at line 80: module 'strict' not found.