On the computation of all imaginary quadratic fields of class number one
HTML articles powered by AMS MathViewer
- by Juergen M. Cherubini and Rolf V. Wallisser PDF
- Math. Comp. 49 (1987), 295-299 Request permission
Abstract:
Let d be the discriminant of an imaginary quadratic field with class number one. If $d \leqslant - {10^4}$ it is easy to show, using an idea from Stark, that $h(12d) \leqslant 2\sqrt {|d|}$, $h(24d) \leqslant 2\sqrt {|d|}$ and $|h(24d)\ln (5 + 2\sqrt 6 ) - 2h(12d)\ln (2 + \sqrt 3 )| < 50\exp ( - \pi /24 \cdot \sqrt {|d|} )$. This linear form is estimated for large $|d|$ from below with the aid of the quantitative version of Schneider’s ${\alpha ^\beta }$-theorem by Mignotte and Waldschmidt. In the "medium large" region $2 \cdot {10^4} \leqslant |d| \leqslant {10^{34}}$ it is shown by computing the beginning of the continued fraction of $\ln (5 + 2\sqrt 6 )/\ln (2 + \sqrt 3 )$ that the above relations cannot hold.References
- A. Baker, Linear forms in the logarithms of algebraic numbers. IV, Mathematika 15 (1968), 204–216. MR 258756, DOI 10.1112/S0025579300002588
- Peter Bundschuh and Alfred Hock, Bestimmung aller imaginär-quadratischen Zahlkörper der Klassenzahl Eins mit Hilfe eines Satzes von Baker, Math. Z. 111 (1969), 191–204 (German). MR 248109, DOI 10.1007/BF01113285 J. Cherubini, Ein neuer Beweis des Stark-Heegnerschen Satzes, Diplomarbeit, Freiburg, 1985.
- L. E. Dickson, On the negative discriminants for which there is a single class of positive primitive binary quadratic forms, Bull. Amer. Math. Soc. 17 (1911), no. 10, 534–537. MR 1559109, DOI 10.1090/S0002-9904-1911-02102-4 N. I. Fel’dman & N. G. Chudakov, "On Stark’s theorem," Math. Notes, v. 11, 1972, pp. 204-210. C. F. Gauss, Untersuchungen über höhere Arithmetik, Göttingen, 1889 (Neuauflage, Chelsea, 1965). A. O. Gel’fond, "Approximating algebraic numbers by ratios of logarithms of two algebraic numbers," Izv. Akad. Nauk SSSR Ser. Mat., Nos. 5-6, 1939, pp. 509-518. (Russian)
- 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
- Kurt Heegner, Diophantische Analysis und Modulfunktionen, Math. Z. 56 (1952), 227–253 (German). MR 53135, DOI 10.1007/BF01174749 H. Heilbronn & E. H. Linfoot, "On the imaginary quadratic corpora of class-number one," Quart. J. Math. Oxford Ser., v. 5, 1934, pp. 293-301.
- Maurice Mignotte and Michel Waldschmidt, Linear forms in two logarithms and Schneider’s method, Math. Ann. 231 (1977/78), no. 3, 241–267. MR 460247, DOI 10.1007/BF01420244
- 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, 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
- H. M. Stark, A complete determination of the complex quadratic fields of class-number one, Michigan Math. J. 14 (1967), 1–27. MR 222050
- H. M. Stark, On the problem of unique factorization in complex quadratic fields. , Number Theory (Proc. Sympos. Pure Math., Vol. XII, Houston, Tex., 1967) Amer. Math. Soc., Providence, R.I., 1967, pp. 41–56. MR 0252350
Additional Information
- © Copyright 1987 American Mathematical Society
- Journal: Math. Comp. 49 (1987), 295-299
- MSC: Primary 11R29; Secondary 11R11
- DOI: https://doi.org/10.1090/S0025-5718-1987-0890271-1
- MathSciNet review: 890271