Skip Navigation

Journal of the London Mathematical Society 2000 61(3):681-690; doi:10.1112/S0024610700008887
© 2000 by London Mathematical Society
This Article
Right arrow Full Text (PDF)
Right arrow Alert me when this article is cited
Right arrow Alert me if a correction is posted
Services
Right arrow Email this article to a friend
Right arrow Similar articles in this journal
Right arrow Alert me to new issues of the journal
Right arrow Add to My Personal Archive
Right arrow Download to citation manager
Right arrowRequest Permissions
Google Scholar
Right arrow Articles by Soundararajan, K.
Right arrow Search for Related Content
Social Bookmarking
 Add to CiteULike   Add to Connotea   Add to Del.icio.us  
What's this?

© The London Mathematical Society

Divisibility of Class Numbers of Imaginary Quadratic Fields

K. Soundararajan

Department of Mathematics, Princeton University Princeton, NJ 08544, USA, skannan{at}math.princeton.edu

Received 24 September 1998. Revision received 10 April 1999.

Let d be a square-free number and let CL(–d) denote the ideal class group of the imaginary quadratic number field Q({surd}d). Further let h(–d) = #CL(–d) denote the class number. For integers g ≥ 2, we define Ng(X) to be the number of square-free d ≥ X such that CL(–d) contains an element of order g. Gauss' genus theory demonstrates that if d has at least two odd prime factors (in particular, for almost all d) then CL(–d) contains Z2 as a subgroup. Thus N2(X) ~ 6X/{pi}2. The behaviour of Ng(X) is not understood for any other value of g. It is believed that Ng(X) ~ CgX for some positive constant Cg. For odd primes g, H. Cohen and H. Lenstra [3] conjectured that


Formula

N. Ankeny and S. Chowla [1] first showed that Ng(X) -> {infty} as X -> {infty}. Although they did not point this out, their method demonstrates that Ng(X) >> X1/2. Recently, M. R. Murty [11] improved this to Ng(X) >> X1/2+1/g. Hitherto this represented the best known lower bounds for Ng(X) except in the cases g = 4 and g = 8. In the cases g = 4 or 8, P. Morton [9] used class field theory techniques to show that Ng(X) >> X1–{varepsilon}. In fact, he demonstrated the elegant result that given any non-negative integers r, s and t, there are ‘many’ d with CL(–d)/CL(–d)8 = Formula(see [9] for a precise statement). The complementary question of finding d with p {nmid} h(–d) has also attracted a lot of attention. H. Davenport and H. Heilbronn [5] proved the striking result that the proportion of d with 3 {nmid} h(–d) is at least 1/2. For larger primes p, recently W. Kohnen and K. Ono [7] have shown that there are >> {surd}X/log X square-free integers d ≤ X such that p {nmid} h(–d).

In this paper, we sharpen Murty's lower bounds on Ng(X) for all values of g; see Theorem 1 below. We also offer a simple proof that N4(X) >> X/{surd}log X; see Proposition 2 below. In §5 we express the hope that these methods may lead to N3(X) >> X1–{varepsilon}.


School of Mathematics, Institute for Advanced Study, Princeton, NJ 08540, USA; ksound{at}math.ias.edu


Add to CiteULike CiteULike   Add to Connotea Connotea   Add to Del.icio.us Del.icio.us    What's this?


This article has been cited by other articles:


Home page
Int Math Res NoticesHome page
F. Thorne
Bounded gaps between products of primes with applications to ideal class groups and elliptic curves
Int Math Res Notices, January 1, 2008; 2008(rnm156): rnm156 - 41.
[Abstract] [PDF]



Disclaimer:
Please note that abstracts for content published before 1996 were created through digital scanning and may therefore not exactly replicate the text of the original print issues. All efforts have been made to ensure accuracy, but the Publisher will not be held responsible for any remaining inaccuracies. If you require any further clarification, please contact our Customer Services Department.