Hostname: page-component-586b7cd67f-rcrh6 Total loading time: 0 Render date: 2024-11-25T04:21:58.928Z Has data issue: false hasContentIssue false

DIVISIBILITY OF CLASS NUMBERS OF IMAGINARY QUADRATIC FIELDS

Published online by Cambridge University Press:  01 June 2000

K. SOUNDARARAJAN
Affiliation:
Department of Mathematics, Princeton University, Princeton, NJ 08544, USA; [email protected] Current address: School of Mathematics, Institute for Advanced Study, Princeton, NJ 08540, USA; [email protected]
Get access

Abstract

Let d be a square-free number and let CL(−d) denote the ideal class group of the imaginary quadratic number field ℚ(√−d). Further let h(−d) = #CL(−d) denote the class number. For integers g [ges ] 2, we define [Nscr ]g(X) to be the number of square-free d [ges ] 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 ℤ2 as a subgroup. Thus N2(X) ∼ 6X2. The behaviour of [Nscr ]g(X) is not understood for any other value of g. It is believed that [Nscr ]g(X) ∼ CgX for some positive constant Cg. For odd primes g, H. Cohen and H. Lenstra [3] conjectured that

formula here

N. Ankeny and S. Chowla [1] first showed that [Nscr ]g(X) → ∞ as X → ∞. Although they did not point this out, their method demonstrates that [Nscr ]g(X) [Gt ] X1/2. Recently, M. R. Murty [11] improved this to [Nscr ]g(X) [Gt ] X1/2+1/g. Hitherto this represented the best known lower bounds for [Nscr ]g(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 [Nscr ]g(X) [Gt ] X1−ε. 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 = ℤr2 × ℤs4 × ℤt8 (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 [Gt ] √X/log X square- free integers d [les ] X such that p [nmid ] h(−d).

In this paper, we sharpen Murty's lower bounds on [Nscr ]g(X) for all values of g; see Theorem 1 below. We also offer a simple proof that [Nscr ]4(X) [Gt ] X/√log X; see Proposition 2 below. In §5 we express the hope that these methods may lead to [Nscr ]3(X) [Gt ] X1−ε.

Type
Research Article
Copyright
The London Mathematical Society 2000

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)