Class numbers of imaginary quadratic fields
HTML articles powered by AMS MathViewer
- by Mark Watkins PDF
- Math. Comp. 73 (2004), 907-938 Request permission
Abstract:
The classical class number problem of Gauss asks for a classification of all imaginary quadratic fields with a given class number $N$. The first complete results were for $N=1$ by Heegner, Baker, and Stark. After the work of Goldfeld and Gross-Zagier, the task was a finite decision problem for any $N$. Indeed, after Oesterlé handled $N=3$, in 1985 Serre wrote, “No doubt the same method will work for other small class numbers, up to 100, say.” However, more than ten years later, after doing $N=5,6,7$, Wagner remarked that the $N=8$ case seemed impregnable. We complete the classification for all $N\le 100$, an improvement of four powers of 2 (arguably the most difficult case) over the previous best results. The main theoretical technique is a modification of the Goldfeld-Oesterlé work, which used an elliptic curve $L$-function with an order 3 zero at the central critical point, to instead consider Dirichlet $L$-functions with low-height zeros near the real line (though the former is still required in our proof). This is numerically much superior to the previous method, which relied on work of Montgomery-Weinberger. Our method is still quite computer-intensive, but we are able to keep the time needed for the computation down to about seven months. In all cases, we find that there is no abnormally large “exceptional modulus” of small class number, which agrees with the prediction of the Generalised Riemann Hypothesis.References
- Milton Abramowitz and Irene A. Stegun, Handbook of mathematical functions with formulas, graphs, and mathematical tables, National Bureau of Standards Applied Mathematics Series, No. 55, U. S. Government Printing Office, Washington, D.C., 1964. For sale by the Superintendent of Documents. MR 0167642
- Steven Arno, The imaginary quadratic fields of class number $4$, Acta Arith. 60 (1992), no. 4, 321–334. MR 1159349, DOI 10.4064/aa-60-4-321-334
- Steven Arno, M. L. Robinson, and Ferrell S. Wheeler, Imaginary quadratic fields with small odd class number, Acta Arith. 83 (1998), no. 4, 295–330. MR 1610549, DOI 10.4064/aa-83-4-295-330
- A. Baker, Linear forms in the logarithms of algebraic numbers. I, II, III, Mathematika 13 (1966), 204–216; ibid. 14 (1967), 102–107; ibid. 14 (1967), 220–228. MR 220680, DOI 10.1112/s0025579300003843
- A. Baker, Imaginary quadratic fields with class number $2$, Ann. of Math. (2) 94 (1971), 139–152. MR 299583, DOI 10.2307/1970739
- A. Baker and H. M. Stark, On a fundamental inequality in number theory, Ann. of Math. (2) 94 (1971), 190–199. MR 302572, DOI 10.2307/1970742
- P. T. Bateman and E. Grosswald, On Epstein’s zeta function, Acta Arith. 9 (1964), 365–373. MR 179141, DOI 10.4064/aa-9-4-365-373
- Leonard Palmer, Mangho Ahuja, and Mohan Tikoo, Finding Pythagorean triple preserving matrices, Missouri J. Math. Sci. 10 (1998), no. 2, 99–105. MR 1626049
- Duncan A. Buell, The last exhaustive computation of class groups of complex quadratic number fields, Number theory (Ottawa, ON, 1996) CRM Proc. Lecture Notes, vol. 19, Amer. Math. Soc., Providence, RI, 1999, pp. 35–53. MR 1684589, DOI 10.1090/crmp/019/05
- Charles Hopkins, An extension of a theorem of Remak, Ann. of Math. (2) 40 (1939), 636–638. MR 33, DOI 10.2307/1968948
- Dorian M. Goldfeld, The class number of quadratic fields and the conjectures of Birch and Swinnerton-Dyer, Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 3 (1976), no. 4, 624–663. MR 450233
- Dorian Goldfeld, Gauss’s class number problem for imaginary quadratic fields, Bull. Amer. Math. Soc. (N.S.) 13 (1985), no. 1, 23–37. MR 788386, DOI 10.1090/S0273-0979-1985-15352-2
- Benedict H. Gross and Don B. Zagier, Heegner points and derivatives of $L$-series, Invent. Math. 84 (1986), no. 2, 225–320. MR 833192, DOI 10.1007/BF01388809
- P. Hebroni, Sur les inverses des éléments dérivables dans un anneau abstrait, C. R. Acad. Sci. Paris 209 (1939), 285–287 (French). MR 14
- H. Heilbronn, E. Linfoot, On the imaginary quadratic corpora of class-number one. Quart. J. Math. Oxford Ser. 5 (1934), pp. 293–301.
- A. E. Ingham, The distribution of prime numbers, Cambridge Mathematical Library, Cambridge University Press, Cambridge, 1990. Reprint of the 1932 original; With a foreword by R. C. Vaughan. MR 1074573
- E. Landau, Bemerkungen zum Heilbronnschen Satz (German). Acta Arith. 1 (1935), pp. 1–18.
- Serge Lang, Real and functional analysis, 3rd ed., Graduate Texts in Mathematics, vol. 142, Springer-Verlag, New York, 1993. MR 1216137, DOI 10.1007/978-1-4612-0897-6
- Serge Lang, Complex analysis, 4th ed., Graduate Texts in Mathematics, vol. 103, Springer-Verlag, New York, 1999. MR 1659317, DOI 10.1007/978-1-4757-3083-8
- F. Lemmermeyer, S. Louboutin, and R. Okazaki, The class number one problem for some non-abelian normal CM-fields of degree 24, J. Théor. Nombres Bordeaux 11 (1999), no. 2, 387–406 (English, with English and French summaries). MR 1745886
- J. Littlewood, On the class number of the corpus $P\bigl (\sqrt {-k}\bigr )$. Proc. London Math. Soc. 27 (1928), pp. 358–372.
- Stéphane Louboutin, The nonquadratic imaginary cyclic fields of $2$-power degrees with class numbers equal to their genus class numbers, Proc. Amer. Math. Soc. 127 (1999), no. 2, 355–361. MR 1468198, DOI 10.1090/S0002-9939-99-04548-7
- Stéphane Louboutin, The class number one problem for the dihedral and dicyclic CM-fields, Colloq. Math. 80 (1999), no. 2, 259–265. MR 1703822, DOI 10.4064/cm-80-2-259-265
- Stéphane Louboutin and Ryotaro Okazaki, Determination of all non-normal quartic CM-fields and of all non-abelian normal octic CM-fields with class number one, Acta Arith. 67 (1994), no. 1, 47–62. MR 1292520, DOI 10.4064/aa-67-1-47-62
- Stéphane Louboutin and Ryotaro Okazaki, Determination of all quaternion CM-fields with ideal class groups of exponent $2$, Osaka J. Math. 36 (1999), no. 2, 229–257. MR 1736479
- S. Louboutin and Y.-H. Park, Class number problems for dicyclic CM-fields, Publ. Math. Debrecen 57 (2000), no. 3-4, 283–295. MR 1798714
- R. F. Lukes, C. D. Patterson, and H. C. Williams, Numerical sieving devices: their history and some applications, Nieuw Arch. Wisk. (4) 13 (1995), no. 1, 113–139. MR 1339041
- Ichiro Miyada, On imaginary abelian number fields of type $(2,2,\cdots ,2)$ with one class in each genus, Manuscripta Math. 88 (1995), no. 4, 535–540. MR 1362937, DOI 10.1007/BF02567840
- H. L. Montgomery and P. J. Weinberger, Notes on small class numbers, Acta Arith. 24 (1973/74), 529–542. MR 357373, DOI 10.4064/aa-24-5-529-542
- Joseph Oesterlé, Nombres de classes des corps quadratiques imaginaires, Astérisque 121-122 (1985), 309–323 (French). Seminar Bourbaki, Vol. 1983/84. MR 768967
- J. Oesterlé, Le problème de Gauss sur le nombre de classes, Enseign. Math. (2) 34 (1988), no. 1-2, 43–67 (French). MR 960192
- R. Paley, A theorem on characters. J. London Math. Soc. 7 (1932), pp. 28–32.
- PARI-GP. By C. Batut, D. Bernardi, H. Cohen, and M. Olivier. Currently maintained by K. Belabas at the Université Paris-Sud Orsay. http://www.parigp-home.de
- Atle Selberg and S. Chowla, On Epstein’s zeta-function, J. Reine Angew. Math. 227 (1967), 86–110. MR 215797, DOI 10.1515/crll.1967.227.86
- Jean-Pierre Serre, $\Delta =b^2-4ac$, Math. Medley 13 (1985), no. 1, 1–10. MR 847347
- Bennett Setzer, The determination of all imaginary, quartic, abelian number fields with class number $1$, Math. Comp. 35 (1980), no. 152, 1383–1386. MR 583516, DOI 10.1090/S0025-5718-1980-0583516-2
- C. Siegel, Über die Klassenzahl quadratischer Zahlkörper (German). Acta Arith. 1 (1935), pp. 83–86.
- Harold Stark, On complex quadratic fields with class number equal to one, Trans. Amer. Math. Soc. 122 (1966), 112–119. MR 195845, DOI 10.1090/S0002-9947-1966-0195845-4
- H. M. Stark, A complete determination of the complex quadratic fields of class-number one, Michigan Math. J. 14 (1967), 1–27. MR 222050
- Frederic H. Miller, Calculus, John Wiley & Sons, Inc., New York, 1939. MR 0000037
- H. M. Stark, On the “gap” in a theorem of Heegner, J. Number Theory 1 (1969), 16–27. MR 241384, DOI 10.1016/0022-314X(69)90023-7
- Józef Marcinkiewicz and Antoni Zygmund, Sur la dérivée seconde généralisée, Bull. Sém. Math. Univ. Wilno 2 (1939), 35–40 (French). MR 45
- P. Hebroni, Sur les inverses des éléments dérivables dans un anneau abstrait, C. R. Acad. Sci. Paris 209 (1939), 285–287 (French). MR 14
- Christian Wagner, Class number $5$, $6$ and $7$, Math. Comp. 65 (1996), no. 214, 785–800. MR 1333327, DOI 10.1090/S0025-5718-96-00722-3
- M. Watkins, Real zeros of real odd Dirichlet $L$-functions. Math. Comp., 73 (2004), pp. 415–423.
- Albert Eagle, Series for all the roots of the equation $(z-a)^m=k(z-b)^n$, Amer. Math. Monthly 46 (1939), 425–428. MR 6, DOI 10.2307/2303037
- Peter J. Weinberger, On small zeros of Dirichlet $L$-functions, Math. Comp. 29 (1975), 319–328. MR 376564, DOI 10.1090/S0025-5718-1975-0376564-7
- Ken Yamamura, The determination of the imaginary abelian number fields with class number one, Math. Comp. 62 (1994), no. 206, 899–921. MR 1218347, DOI 10.1090/S0025-5718-1994-1218347-3
- Ken Yamamura, Determination of the imaginary normal octic number fields with class number one which are not CM-fields, Acta Arith. 86 (1998), no. 2, 133–147. MR 1654462, DOI 10.4064/aa-86-2-133-147
Additional Information
- Mark Watkins
- Affiliation: Department of Mathematics, McAllister Building, The Pennsylvania State University, University Park, Pennsylvania 16802
- Email: watkins@math.psu.edu
- Received by editor(s): February 27, 2002
- Published electronically: October 2, 2003
- © Copyright 2003 American Mathematical Society
- Journal: Math. Comp. 73 (2004), 907-938
- MSC (2000): Primary 11R29; Secondary 11M06, 11Y35
- DOI: https://doi.org/10.1090/S0025-5718-03-01517-5
- MathSciNet review: 2031415