Class numbers of imaginary quadratic fields

Author:
Mark Watkins

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

Published electronically:
October 2, 2003

MathSciNet review:
2031415

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: The classical class number problem of Gauss asks for a classification of all imaginary quadratic fields with a given class number . The first complete results were for by Heegner, Baker, and Stark. After the work of Goldfeld and Gross-Zagier, the task was a finite decision problem for any . Indeed, after Oesterlé handled , 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 , Wagner remarked that the case seemed impregnable. We complete the classification for all , 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 -function with an order 3 zero at the central critical point, to instead consider Dirichlet -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.

**[1]**Milton Abramowitz and Irene A. Stegun,*Handbook of mathematical functions with formulas, graphs, and mathematical tables*, National Bureau of Standards Applied Mathematics Series, vol. 55, For sale by the Superintendent of Documents, U.S. Government Printing Office, Washington, D.C., 1964. MR**0167642****[2]**Steven Arno,*The imaginary quadratic fields of class number 4*, Acta Arith.**60**(1992), no. 4, 321–334. MR**1159349****[3]**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****[4]**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**0220680****[5]**A. Baker,*Imaginary quadratic fields with class number 2*, Ann. of Math. (2)**94**(1971), 139–152. MR**0299583**, https://doi.org/10.2307/1970739**[6]**A. Baker and H. M. Stark,*On a fundamental inequality in number theory*, Ann. of Math. (2)**94**(1971), 190–199. MR**0302572**, https://doi.org/10.2307/1970742**[7]**P. T. Bateman and E. Grosswald,*On Epstein’s zeta function*, Acta Arith.**9**(1964), 365–373. MR**0179141****[8]**Leonard Palmer, Mangho Ahuja, and Mohan Tikoo,*Finding Pythagorean triple preserving matrices*, Missouri J. Math. Sci.**10**(1998), no. 2, 99–105. MR**1626049****[9]**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****[10]**Carl Friedrich Gauss,*Disquisitiones arithmeticae*, Translated into English by Arthur A. Clarke, S. J, Yale University Press, New Haven, Conn.-London, 1966. MR**0197380**

Carl Friedrich Gauss,*Disquisitiones arithmeticae*, Springer-Verlag, New York, 1986. Translated and with a preface by Arthur A. Clarke; Revised by William C. Waterhouse, Cornelius Greither and A. W. Grootendorst and with a preface by Waterhouse. MR**837656****[11]**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**0450233****[12]**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**, https://doi.org/10.1090/S0273-0979-1985-15352-2**[13]**Benedict H. Gross and Don B. Zagier,*Heegner points and derivatives of 𝐿-series*, Invent. Math.**84**(1986), no. 2, 225–320. MR**833192**, https://doi.org/10.1007/BF01388809**[14]**K. Heegner,*Diophantische Analysis und Modulfunktionen*(German). Math. Z.**56**(1952), pp. 227-253. MR**14:725j****[15]**H. Heilbronn, E. Linfoot,*On the imaginary quadratic corpora of class-number one.*Quart. J. Math. Oxford Ser.**5**(1934), pp. 293-301.**[16]**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****[17]**E. Landau,*Bemerkungen zum Heilbronnschen Satz*(German). Acta Arith.**1**(1935), pp. 1-18.**[19]**Serge Lang,*Real and functional analysis*, 3rd ed., Graduate Texts in Mathematics, vol. 142, Springer-Verlag, New York, 1993. MR**1216137****[18]**Serge Lang,*Complex analysis*, 4th ed., Graduate Texts in Mathematics, vol. 103, Springer-Verlag, New York, 1999. MR**1659317****[20]**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****[21]**J. Littlewood,*On the class number of the corpus*. Proc. London Math. Soc.**27**(1928), pp. 358-372.**[22]**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**, https://doi.org/10.1090/S0002-9939-99-04548-7**[23]**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****[24]**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****[25]**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****[26]**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****[27]**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****[28]**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**, https://doi.org/10.1007/BF02567840**[29]**H. L. Montgomery and P. J. Weinberger,*Notes on small class numbers*, Acta Arith.**24**(1973/74), 529–542. Collection of articles dedicated to Carl Ludwig Siegel on the occasion of his seventy-fifth birthday, V. MR**0357373****[30]**Joseph Oesterlé,*Nombres de classes des corps quadratiques imaginaires*, Astérisque**121-122**(1985), 309–323 (French). Seminar Bourbaki, Vol. 1983/84. MR**768967****[31]**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****[32]**R. Paley,*A theorem on characters.*J. London Math. Soc.**7**(1932), pp. 28-32.**[33]**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`**[34]**Atle Selberg and S. Chowla,*On Epstein’s zeta-function*, J. Reine Angew. Math.**227**(1967), 86–110. MR**0215797**, https://doi.org/10.1515/crll.1967.227.86**[35]**Jean-Pierre Serre,*Δ=𝑏²-4𝑎𝑐*, Math. Medley**13**(1985), no. 1, 1–10. MR**847347****[36]**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**, https://doi.org/10.1090/S0025-5718-1980-0583516-2**[37]**C. Siegel,*Über die Klassenzahl quadratischer Zahlkörper*(German). Acta Arith.**1**(1935), pp. 83-86.**[38]**Harold Stark,*On complex quadratic fields with class number equal to one*, Trans. Amer. Math. Soc.**122**(1966), 112–119. MR**0195845**, https://doi.org/10.1090/S0002-9947-1966-0195845-4**[39]**H. M. Stark,*A complete determination of the complex quadratic fields of class-number one*, Michigan Math. J.**14**(1967), 1–27. MR**0222050****[40]**H. M. Stark,*𝐿-functions and character sums for quadratic forms. I*, Acta Arith.**14**(1967/1968), 35–50. MR**0227122**

H. M. Stark,*𝐿-functions and character sums for quadratic forms. II*, Acta Arith.**15**(1968/1969), 307–317. MR**0242774****[41]**H. M. Stark,*On the “gap” in a theorem of Heegner*, J. Number Theory**1**(1969), 16–27. MR**0241384**, https://doi.org/10.1016/0022-314X(69)90023-7**[42]**H. M. Stark,*A transcendence theorem for class-number problems*, Ann. of Math. (2)**94**(1971), 153–173. MR**0297715**, https://doi.org/10.2307/1970740

H. M. Stark,*A transcendence theorem for class-number problems. II*, Ann. of Math. (2)**96**(1972), 174–209. MR**0309878**, https://doi.org/10.2307/1970897**[43]**T. Tatuzawa,*On a theorem of Siegel.*Jap. J. Math**21**(1951), pp. 93-111 (1952). MR**14:452c****[44]**Christian Wagner,*Class number 5, 6 and 7*, Math. Comp.**65**(1996), no. 214, 785–800. MR**1333327**, https://doi.org/10.1090/S0025-5718-96-00722-3**[45]**M. Watkins,*Real zeros of real odd Dirichlet**-functions.*Math. Comp.,**73**(2004), pp. 415-423.**[46]**G. Watson,*A treatise on the theory of Bessel functions.*Cambridge Univ. Press, 1922. MR**6:64a**(2nd ed.)**[47]**Peter J. Weinberger,*On small zeros of Dirichlet 𝐿-functions*, Math. Comp.**29**(1975), 319–328. Collection of articles dedicated to Derrick Henry Lehmer on the occasion of his seventieth birthday. MR**0376564**, https://doi.org/10.1090/S0025-5718-1975-0376564-7**[48]**Ken Yamamura,*The determination of the imaginary abelian number fields with class number one*, Math. Comp.**62**(1994), no. 206, 899–921. MR**1218347**, https://doi.org/10.1090/S0025-5718-1994-1218347-3**[49]**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**

Retrieve articles in *Mathematics of Computation*
with MSC (2000):
11R29,
11M06,
11Y35

Retrieve articles in all journals with MSC (2000): 11R29, 11M06, 11Y35

Additional Information

**Mark Watkins**

Affiliation:
Department of Mathematics, McAllister Building, The Pennsylvania State University, University Park, Pennsylvania 16802

Email:
watkins@math.psu.edu

DOI:
https://doi.org/10.1090/S0025-5718-03-01517-5

Received by editor(s):
February 27, 2002

Published electronically:
October 2, 2003

Article copyright:
© Copyright 2003
American Mathematical Society