# Indivisibility of class numbers of imaginary quadratic fields

- Olivia Beckwith
^{1}Email author

**4**:20

https://doi.org/10.1186/s40687-017-0109-x

© The Author(s) 2017

**Received: **15 December 2016

**Accepted: **5 May 2017

**Published: **9 October 2017

## Abstract

We quantify a recent theorem of Wiles on class numbers of imaginary quadratic fields by proving an estimate for the number of negative fundamental discriminants down to \(-X\) whose class numbers are indivisible by a given prime \(\ell \) and whose imaginary quadratic fields satisfy any given set of local conditions. This estimate matches the best results in the direction of the Cohen–Lenstra heuristics for the number of imaginary quadratic fields with class number indivisible by a given prime. This general result is applied to study rank 0 twists of certain elliptic curves.

## 1 Background

*h*, there are only finitely many negative fundamental discriminants

*D*such that \(h(D) = h\). The history of Gauss’ Conjecture is rich. The conjecture was shown to be true by work of Heilbronn [13], who did not show how to find the imaginary quadratic fields with a given class number. Siegel [26] proved that \(h(-D)\) grows like \(|D|^{1/2}\), but did so ineffectively. In other words, for each \(\epsilon > 0\) he proved that for sufficiently large

*D*there are positive constants \(c_1\) and \(c_2\) for which

*h*(

*D*) which is asymptotically smaller than Siegel’s bound, but is effective and allows one (in principle) to compute the complete list of imaginary quadratic fields with any given class number.

*Cohen–Lenstra heuristics*[5] predict an answer:

*D*are fundamental discriminants. Note that the Cohen–Lenstra heuristics actually predict much more about the structure of the class groups, give similar predictions for real quadratic fields, and have been generalized by others to other number fields. For a concise description for the quadratic number field case, the reader is encouraged to read Chapter 5 Section 10 of [4].

*genus theory*says that the number of order 2 elements of the class group is \(2^{t-1} - 1\), where

*t*is the number of distinct prime divisors of the discriminant (see Proposition 3.11 of [6]). For \(\ell = 3\), a theorem of Davenport and Heilbronn [7] says that if \(\epsilon >0\), then for

*X*sufficiently large we have

*X*we have

*p*(

*x*) in Weierstrass form, we define the twist of

*E*by a fundamental discriminant

*D*to be the elliptic curve defined by

*E*over \(\mathbb {Q} (\sqrt{D})\), but not over \(\mathbb {Q}\). The

*Heegner hypotheses*are a set of conditions about how the rational primes of bad reduction of an elliptic curve split in an imaginary quadratic field. The work of Kolyvagin on the Birch and Swinnerton-Dyer Conjecture (see [19, 20]) is based on the existence of suitable quadratic twists of elliptic curves in which the twisting discriminant satisfies prescribed Heegner hypotheses. Combining his work with an important theorem of Gross and Zagier, who showed that the height of the Heegner point is a multiple of the derivative of the

*L*-series of the elliptic curve at 1, it follows that the Birch and Swinnerton-Dyer Conjecture holds when the analytic rank is at most 1.

*D*varies over the set of fundamental discriminants. Define \(M^r_\mathrm{E} (X) := \# \{D: |D|<X: \text{ ord }_{s=1} L(s, E_\mathrm{D}) = r \}\). If \(E/\mathbb {Q}\) is an elliptic curve and

*r*is 0 or 1, then

Showing that an elliptic curve has a positive proportion of twists with rank one requires more than Waldspurger’s modular forms. Vatsal [30] used a theorem of Gross and Zagier [11] to show that the elliptic curve \(E = X_0(19)\) has \(M^r_\mathrm{E} (X) \gg X\) for \(r = 0,1\). Vatsal’s argument was extended by Byeon [3] to elliptic curves in the isogeny class of an elliptic curve with a nontrivial cuspidal 3-torsion point and square-free conductor.

The results toward Goldfeld’s conjecture described above apply to certain elliptic curves with residually reducible mod 3 Galois representations and rely on a refinement of the theorem of Davenport and Heilbronn due to Horie and Nakagawa [14]. Their refinement showed that a positive proportion of imaginary quadratic fields have trivial \(\ell \)-torsion and satisfy prescribed local conditions. One might hope to extend the work of Horie and Nakagawa to a theorem on \(\ell \)-indivisibility of class groups for \(\ell > 3\) by refining the work of Kohnen and Ono [18] in an analogous way.

A barrier to refining Kohnen and Ono’s theorem shows that the modular forms arising in their argument have Fourier coefficients which are supported on prescribed arithmetic progressions and are nontrivial modulo \(\ell \). This is difficult because for many modular forms this property does not hold. For example, the values of the partition function *p*(*n*) are the Fourier coefficients for the modular form \(1 / \eta (z)\), the Ramanujan congruences tell us \(p(5n + 4) \equiv 0 \pmod {5}\), and so sieving the Fourier expansion of this form can return a modular form which is trivial modulo 5. Here \(\eta (z):=q^{1/24}\prod _{n=1}^{\infty }(1-q^n)\) (here \(q:=\hbox {e}^{2\pi i z}\) throughout) is Dedekind’s eta function, and it is a weight −1/2 weakly holomorphic modular form.

Recently, Wiles [31] established the existence of imaginary quadratic fields with prescribed local data whose class numbers are indivisible by a given odd prime \(\ell \).

### Theorem

- (1)
\(S_0\) does not contain any primes which are \( 1 \pmod {\ell }\)

- (2)
\(S_+\) does not contain any primes which are \( -1 \pmod {\ell }\)

- (3)
\(S_-\) does not contain any primes which are \(1 \pmod {\ell }\) and \(-1 \pmod {4}\).

*D*such that \(\ell \not \mid h(D)\), and \(\mathbb {Q} (\sqrt{D})\) splits at every prime in \(S_+\), is inert at every prime in \(S_-\), and ramifies at every prime in \(S_0\).

In view of the work of Horie and Nakagawa when \(\ell =3\) [14], the goal of the present work is to prove a quantified version of the theorem of Wiles for the \(\ell > 3\) case by obtaining an estimate for the number of imaginary quadratic fields which satisfy the conclusion of Wiles’ theorem, similar to the estimate of Kohnen and Ono.

Our main theorem is the following estimate for the smallest discriminant divisible by a given prime *p* lying in a certain arithmetic progression which satisfies the conclusion of Wiles’ theorem.

### Theorem 1.1

- (1)
We have that \(\left( \frac{p}{\ell } \right) = 1\) and \(p \not \equiv 1 \pmod {\ell }\),

- (2)
We have that \(p \equiv 1 \pmod {8}\),

- (3)
For odd primes \(q \le M_{\Sigma }\), \(q \ne \ell \), we have \(\left( \frac{p}{q} \right) = 1.\)

Combining this result with Dirichlet’s theorem on primes in arithmetic progressions, we obtain the following corollary, which can viewed as an extension of [18] to allow for local conditions. To state it, we let \(T_{\Sigma , \ell }\) denote the set of all fundamental discriminants which satisfy the conclusions of Theorem 1.1. That is, \(T_{\Sigma , \ell }\) contains the set of negative fundamental discriminants *D* of quadratic fields *K* which ramify at all primes of \(S_0\), split at every prime in \(S_+\), are inert at every prime in \(S_-\), and have \(\ell \not \mid h(D)\). Also, let \(r_{\Sigma }\) be the number of odd primes less than \(M_{\Sigma }\), excluding \(\ell \). Then we have the following:

### Corollary 1.2

*X*we have

*E*defined by

*E*. Also, we set

### Corollary 1.3

Suppose \(E/\mathbb {Q}\) is an elliptic curve with odd conductor \(N_\mathrm{E}\), suppose *E* has a \(\mathbb {Q}\)-rational torsion point *P* of odd prime order \(\ell \), and suppose *P* is not contained in the kernel of reduction modulo \(\ell \). Assume \(ord_{\ell } (j(E)) \ge 0\). Also assume \(\widetilde{S}_\mathrm{E} = \emptyset \) and neither \(T_+\) nor \(T_-\) contain a prime which is \(1 \pmod {\ell }\).

### Remark 1.4

As mentioned above, the best general results on Goldfeld’s Conjecture are due to Ono, Perelli, Pomykala, and Skinner (see Eqs. 1.2, 1.3). The corollary given here falls short of improving on this estimate. However, it is a refinement in that it gives rank 0 twists whose \(\ell \)-Selmer groups have trivial \(\ell \)-parts. This is the best known estimate for this type of problem. Corollary 1.3 presumably can be extended to also give rank 1 twists which simultaneously have trivial \(\ell \)-Shafarevich–Tate groups. This claim would require a careful study of the aforementioned paper of Frey [8].

This paper is organized as follows. In Sect. 2, we describe a theorem of Zagier relating class numbers of imaginary quadratic fields to the coefficients of a weight \(\frac{3}{2}\) mock modular form, and we use his result to prove a lemma which is vital to the proof of our main result. In Sect. 3, we prove Theorem 1.1 and Corollaries 1.2–1.3, and in Sect. 4, we give examples to illustrate our results.

## 2 Hurwitz mock modular forms

### 2.1 Zagier’s Eisenstein series

Throughout, \(\mathbb {H}\) is the upper half plane, \(z = x + iy\) is a complex number in \(\mathbb {H}\) with \(x,y \in \mathbb {R}\), and \(q := \hbox {e}^{2 \pi i z}\). Also, for \( N \in \mathbb {Z}_{> 0}\), \(k \in \frac{1}{2} \mathbb {Z}\), and \(\chi \) a Dirichlet character, we let \(M_{k} (\Gamma _0 (N), \chi )\) and \(S_{k} (\Gamma _0 (N), \chi )\) denote the usual vector spaces of integer and half-integer weight modular forms and cusp forms.

*harmonic Maass forms*. We will describe only briefly the main properties of harmonic Maass forms. To learn more, the reader is encouraged to read [2, 23]. A harmonic Maass form is a real-analytic function which transforms like a modular form. All harmonic Maass forms have a natural decomposition as

*incomplete Gamma function*. The form \(f^+\) is called the

*holomorphic part*of

*f*, and \(\frac{(4 \pi y)^{1-k}}{k-1} \overline{c_f(0) } + f^- ( z)\) is called the

*nonholomorphic part*of

*f*. If the nonholomorphic part of

*f*is trivial, then

*f*is a weakly holomorphic modular form. When the nonholomorphic part is nontrivial, \(f^+\) is called a

*mock modular form*. We let \(H_k(\Gamma _0(N), \chi )\) denote the space of harmonic Maass forms with Nebentypus character \(\chi \) on \(\Gamma _0(N)\).

*moderate growth*if there exists \(\epsilon >0\) such that

*k*harmonic Maass forms of moderate growth. Harmonic Maass forms of moderate growth do not have poles at cusps. Moreover, harmonic Maass forms of moderate growth which have trivial nonholomorphic part are holomorphic modular forms.

*D*be a negative fundamental discriminant, and we let

*h*(

*D*) be the class number for the quadratic field \(\mathbb {Q} ( \sqrt{D})\). We use the Hurwitz class numbers

*H*(

*n*), which are defined as follows. Suppose \(-n = Df^2\), where \(D < 0\) is a fundamental discriminant.

### Theorem 2.1

(Zagier) \(\mathcal {H}(z)\) is a weight \(\frac{3}{2}\) harmonic Maass form of moderate growth on \(\Gamma _0(4)\). Moreover, \(\xi _{3/2} (\mathcal {H}) = - \frac{1}{16 \pi } \Theta \), where \(\Theta (z) := \sum _{n \in \mathbb {Z}} q^{n^2}\) is the Jacobi theta function.

We use \(\mathcal {H}(z)\) to construct modular forms whose coefficients represent the fundamental discriminants which correspond to fields with the desired splitting conditions. Then we argue as in [16, 18].

### Remark 2.2

The weight 3 / 2 modular form \(\sum _{n =0}^{\infty } r(n) q^n := \Theta (z)^3\) is intimately tied to class numbers for imaginary quadratic fields. It is well known that the *r*(*n*) are given by Hurwitz class numbers *H*(*n*).

### Theorem 2.3

The modular form \(\theta ^3\) was used in many previous results on indivisibility of class numbers (see for example [18]). However, it is insufficient for our result, because its Fourier coefficients are not supported on all arithmetic progressions. For the square-free *n* with \( n \equiv 7 \pmod {8}\), the class numbers \(h (-n)\) are not represented.

### 2.2 Sieving Zagier’s mock modular form

*n*such that the following hold:

- (1)
For \(p \in S_+ \cup S_- \cup S_-\), \(p^2 \not \mid n\).

- (2)
\(\mathbb {Q} (\sqrt{-n})\) splits at the primes in \(S_+\), ramifies at the primes in \(S_0\), and is inert at the primes in \(S_-\).

### Lemma 2.4

Let \(S_+, S_-, S_0\) be sets as in Theorem 1.1, and assume that \(S_-\) is nonempty.

- (1)
the Fourier expansion of the nonholomorphic part is supported on terms of the form \(q^{-n^2}\), which allows us to use twisting to annihilate the non-holomorphic part of \(\mathcal {H}(z)\), and

- (2)
\(\mathcal {H} (z)\) has moderate growth at poles, which ensures that any linear combination of twists of \(\mathcal {H}(z)\) will not have any exponential singularities, as a weakly holomorphic modular form would.

*m*, the twist of \(\mathcal {G}(z) := \sum _{n=0}^{\infty } a(n,y) q^n \in H_k (\Gamma _0(N), \psi )\) by \(\chi \) is given by

*d*is a positive integer, the operators

*U*(

*d*),

*V*(

*d*) are defined, as one does when working with holomorphic modular forms, by

### Proof of Lemma 2.4

*p*be in \(S_-\). We have

*f*(

*z*) is \(\frac{1}{2} H(n)\) if

*p*|

*n*,

*H*(

*n*) if \( (\frac{-n}{p} ) = -1\), and 0 if \( \left( \frac{-n}{p} \right) = 1\). The nonholomorphic part of

*f*is supported on multiples of

*p*, because twisting the nonholomorphic part by the Legendre symbol annihilates those coefficients. To eliminate what remains of the nonholomorphic part and the multiples of

*p*in the holomorphic part, we take the twist \( f_{\left( \frac{\cdot }{p}\right) ^2}\).

Repeating the above steps for every \(p \in S_+ \cup S_-\), we obtain a form which is supported on *n* for which the primes in \(S_+ \cup S_-\) split or are inert in \(\mathbb {Q} (\sqrt{-n})\) as desired.

To obtain a modular form which is supported on coefficients which are multiples of the primes in \(S_0\), let *d* be the product of the primes in \(S_0\). We apply the *U*(*d*), operator, then twist by \(\left( \frac{ -n}{q} \right) ^2\) for each \(q \in S_0\), and then apply the *V*(*d*) operator. \(\square \)

## 3 Proofs of Theorem 1.1 and Corollaries

### 3.1 Proof of Theorem 1.1

*n*.

### Theorem 3.1

### Remark 3.2

Note that Sturm’s theorem was originally only formulated for holomorphic modular forms of integer weight, but the proof carries over to half-integral weight modular forms.

### Proof of Theorem 1.1

*np*th Fourier coefficient of \(\mathcal {F}(z)\) is divisible by \(\ell \), so \(p \not \mid k_\mathrm{p}\). Therefore either \(- p k_\mathrm{p}\) or \(- 4 p k_\mathrm{p}\) is a fundamental discriminant for an imaginary quadratic field satisfying the desired local conditions and whose class number is indivisible by \(\ell \). \(\square \)

### 3.2 Proof of Corollary 1.2

Note that at least half of the values \(k_\mathrm{p} p\) from the main theorem must be distinct as *p* varies over the primes greater than \(M_{\Sigma }\) satisfying the conditions of Theorem 1.1. If instead we had \(k_\mathrm{p} p = k_q q = k_r r\) with \(p< q < r\), we would have \(qr | k_\mathrm{p}\), which would violate the bound on \(k_\mathrm{p}\).

To count the fundamental discriminants down to \(-X\) which satisfy the desired conditions, it suffices to count the primes which satisfy the conditions of Theorem 1.1 for which the fundamental discriminant from Theorem 1.1 is greater than \(-X\).

The primes *p* that satisfy the third condition of Theorem 1.1 are those for which for each *q* up to \(M_{\Sigma }\), *p* lies one of \(\frac{q-1}{2}\) arithmetic progressions modulo *q*, which correspond to *p* being a quadratic residue modulo *q*. Similarly, the other two conditions amount to restricting *p* to certain arithmetic progressions modulo 2 and \(\ell \).

*p*obtained from Theorem 1.1 to be guaranteed to be greater than \(-X\), it suffices to require

*X*, we have

### 3.3 Proof of Corollary 1.3

First we recall a theorem of Frey [8].

### Theorem 3.3

*P*of odd prime order \(\ell \), and suppose

*P*is not contained in the kernel of reduction modulo \(\ell \). Suppose \(\widetilde{S}_\mathrm{E} = \emptyset \). Suppose that

*D*is a negative square-free integer coprime to \(\ell N_\mathrm{E}\) and satisfies

- (1)
If \(2 | N_\mathrm{E}\), then \(d \equiv 3 \pmod {4},\)

- (2)
If \(\mathrm{ord}_{\ell }(j(E))<0\), then \(\left( \frac{D}{\ell } \right) = -1\),

- (3)If \(p|N_\mathrm{E}\) is an odd prime, then$$\begin{aligned} \left( \frac{d}{p} \right) = {\left\{ \begin{array}{ll} -1 &{} \quad \text {if}\, \mathrm{ord}_\mathrm{p}(j_\mathrm{E}) \ge 0, \\ -1 &{} \quad \text {if } \mathrm{ord}_\mathrm{p} (j_\mathrm{E}) < 0 \text { and } E/\mathbb {Q}_\mathrm{p} \text { is a Tate curve,} \\ 1 &{} \quad otherwise. \end{array}\right. } \end{aligned}$$

## 4 Examples

Here we illustrate Theorem 1.1 and Corollary 1.3.

### Example 4.1

Suppose that \(\ell = 5\) and that the sets are \(S_+ = \{ 3 \}\), \(S_- = S_0 = \emptyset \).

The smallest prime which satisfies the conditions of Theorem 1.1 is 394,969. The smallest discriminant bounded by Theorem 1.1 is a multiple of this prime; however, it is clear that one should not need to look at numbers that large to find imaginary quadratic fields which split at 3 and have a class number which is not divisible by 5. By direct calculation, we see that for the primes *p* less than 100, for all but 79 we have \(5 \not \mid h(-p)\), out of which 11 of the 21 corresponding imaginary quadratic fields split at 3. This discrepancy between the bounds predicted by Theorem 1.1 and the actual fundamental discriminants we observe is typical of these theorems, and it illustrates the main obstacles which remain in attacking the original Cohen–Lenstra conjectures.

### Example 4.2

*E*is 7.29. It follows from Corollary 1.3 that we have

### Acknowledgements

The author thanks Ken Ono for suggesting this project and thanks Edray Goins and the referee for their many helpful comments.

### Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

## Declarations

**Open Access**This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

## Authors’ Affiliations

## References

- Baker, A.: Linear forms in the logarithms of algebraic numbers. I. Math. J. Pure Appl. Math.
**13**, 204–216 (1966)MATHGoogle Scholar - Bringmann, K., Folsom, A., Ono, K., Rolen, L.: Harmonic Maass forms and mock modular forms: theory and applications. AMS Colloquium Publications, American Mathematical Society, Providence (2017)Google Scholar
- Byeon, D.: Indivisibility of class numbers and Iwasawa invariants of real quadratic fields. J. Number Theory
**132**, 3029–3036 (2012)MathSciNetView ArticleGoogle Scholar - Cohen, H.: A Course in Computational Number Theory. Springer, Berlin (1993)View ArticleMATHGoogle Scholar
- Cohen, H., Lenstra, H.W.: Heuristics on class groups of number fields. Springer Lect. Notes Math.
**1068**, 33–62 (1984)MathSciNetView ArticleMATHGoogle Scholar - Cox, D.: Primes of the Form \(x^2 + n y^2\). Wiley-Interscience, New York (1997)View ArticleGoogle Scholar
- Davenport, H., Heilbronn, H.: On the density of the discriminants of cubic fields. II. Proc. R. Soc. Lond. A
**322**, 405–420 (1971)MathSciNetView ArticleMATHGoogle Scholar - Frey, G.: On the Selmer group of twists of elliptic curves with \(\mathbb{Q}\)-rational torsion points. Can. J. Math.
**15**, 449–655 (1988)MathSciNetGoogle Scholar - Goldfeld, D.: Conjectures on elliptic curves over quadratic fields. In: Lecture Notes in Mathematics, vol. 751. Springer, Carvondale, pp. 108–118 (1979)Google Scholar
- Goldfeld, D.: Gauss’ class number problem for imaginary quadratic fields. Bull. AMS
**13**, 23–37 (1985)MathSciNetView ArticleMATHGoogle Scholar - Gross, B.H., Zagier, D.: Heegner points and derivatives of \(L\)-series. Invent. Math.
**84**, 225–320 (1986)MathSciNetView ArticleMATHGoogle Scholar - Heegner, K.: Diophantische analysis und modulfunktionen. Math. Z
**56**, 227–253 (1952)MathSciNetView ArticleMATHGoogle Scholar - Heibronn, H.: On the class number in imaginary quadratic fields. Quart. J. Math. Oxford Ser.
**2**(5), 150–160 (1934)View ArticleGoogle Scholar - Horie, K., Nakagawa, J.: Elliptic curves with no torsion points. Proc. Am. Mat. Soc.
**104**, 20–25 (1988)View ArticleMATHGoogle Scholar - James, K.: \(L\)-series with nonzero central critical value. J. Am. Mat. Soc.
**11**(3), 635–691 (1998)MathSciNetView ArticleMATHGoogle Scholar - James, K., Ono, K.: Selmer groups of quadratic twists of elliptic curves. Math. Ann.
**314**, 1–17 (1999)MathSciNetView ArticleMATHGoogle Scholar - Koblitz, N.: Introduction to Elliptic Curves and Modular Forms, 2nd edn. Springer, New York (1993)View ArticleMATHGoogle Scholar
- Kohnen, W., Ono, K.: Indivisibility of class numbers of imaginary quadratic fields and orders Tate–Shafarevich groups of elliptic curves with complex multiplication. Invent. Math.
**135**, 387–398 (1999)MathSciNetView ArticleMATHGoogle Scholar - Kolvagin, V.: Finiteness of \(E(\mathbb{Q})\) and III\((E,\mathbb{Q})\) for a subclass of Weil curves. Math. USSR Izv.
**32**(3), 523–541 (1989)MathSciNetView ArticleGoogle Scholar - Kolyvagin, V.: Finiteness of Mordell–Weil and Shafarevich–Tate groups for Weil elliptic curves. Math. USSR Izv.
**33**(3), 473–499 (1989)MathSciNetView ArticleMATHGoogle Scholar - Kriz, D., Li, C.: Goldfeld’s conjecture and congruences between Heegner points, preprintGoogle Scholar
- Ono, K.: The web of modularity: arithmetic of the coefficients of modular forms and $$q$$ q -series. In: CBMS Regional Conference Series in Mathematics, vol. 102 (2004)Google Scholar
- Ono, K.: Unearthing the visions of a master: harmonic Maass forms and number theory. In: Proceedings of the 2008 Harvard-MIT Current Developments in Mathematics Conference. International Press, Somerville, MA, pp. 347–454 (2009)Google Scholar
- Ono, K., Skinner, C.: Nonvanishing of quadratic twists of modular \(L\)-functions. Invent. Math.
**134**, 651–660 (1998)MathSciNetView ArticleMATHGoogle Scholar - Perelli, A., Pomykala, J.: Averages of twisted L-functions. Acta Arith.
**80**, 149–163 (1997)MathSciNetMATHGoogle Scholar - Siegel, C.: ber die Classenzahl quadratischer Zahlkrper. Acta Arith. (in German)
**1**, 83–86 (1935)MATHGoogle Scholar - Silverman, J.: The Arithmetic of Elliptic Curves. Springer, New York (1986)View ArticleMATHGoogle Scholar
- Soundararajan, K.: Divisibility of class numbers of imaginary quadratic fields. J. Lond. Math Soc.
**61**, 681–690 (2000)MathSciNetView ArticleMATHGoogle Scholar - Sturm, J.: On the congruence of modular forms. Springer Lect. Notes
**1240**, 275–280 (1984)Google Scholar - Vatsal, V.: Rank-one twists of a certain elliptic curve. Math. Ann.
**311**, 791–794 (1998)MathSciNetView ArticleMATHGoogle Scholar - Wiles, A.: On class groups of imaginary quadratic fields. J. Lond. Math. Soc.
**2**(92), 411–426 (2015)MathSciNetView ArticleMATHGoogle Scholar - Zagier, D.: Nombres de classes et formes modulaires do poids \(3/2\). C. R. Acad. Sci. Paris (A)
**281**, 883–886 (1975)MathSciNetMATHGoogle Scholar