×

On Artin’s conjecture and the class number of certain CM fields. I,II. (English) Zbl 0711.11042

Let K be a CM field, i.e., a totally complex quadratic extension of a totally real field k, with \([k:{\mathbb{Q}}]=n\). The problem of finding an effective lower bound for \(h_ K\), the class number of K, has a very similar nature to the corresponding problem for an imaginary quadratic field (the long-standing Gauss conjecture proved by Gross and Zagier), in view of the analogous factorization: \(\zeta_ K(s)=\zeta_ k(s)L(s,\chi),\) where in the imaginary quadratic case, L(s,\(\chi\)) denotes the Dirichlet L-series with the Kronecker symbol, while in the CM field case, L(s,\(\chi\)) denotes the real ray class L-series. The problem amounts to obtaining as good an effective lower estimate for the distance from 1 of a possible real (Siegel) zero \(\beta\) as possible. In the imaginary quadratic case, the above-mentioned recent important result of (Goldfeld-) Gross-Zagier gives effectively \(h_ K\gg (\log D_ k)^{1- \epsilon}\) for \(n=1\), where in general \(D_ M\) denotes the absolute value of the discriminant of the number field M. In the CM field case, under the restriction that k belongs to the class \({\mathcal N}\) of all totally real fields that are attainable by a sequence \({\mathbb{Q}}=k_ 0\subset k_ 1\subset...\subset k_{\ell}=k\) with each field normal over the preceding one (in particular, k normal over \({\mathbb{Q}}\) also belong to \({\mathcal N})\), H. M. Stark [Invent. Math. 23, 135-152 (1974; Zbl 0278.12005)] has shown that \[ (1)\quad 1-\beta >\min (D_ k^{-1/n} f^{-1/2n},\quad (\log A_ nD_ k^ 2f)^{-1}), \] where \(A_ n=1\) and f denotes the norm of the conductor of \(\chi\). A. M. Odlyzko [ibid. 29, 275-286 (1975; Zbl 0299.12010)] and further the first author [ibid. 55, 37-47 (1979; Zbl 0474.12009)] have settled the problem of proving \(h_ K\to \infty\) as \(n\to \infty\), not covered by Stark’s result. For \(k\not\in N\), Stark’s method yields (1) effectively with \(A_ n=n!\) whose presence, however, forces the restriction \[ (2)\quad D_ k>(Cn)^{2n},\quad C>0 \] in order that the methods of Odlyzko and Hoffstein might show \(h_ k\to \infty\) as \(n\to \infty\). (2) could be eliminated with these methods only if Artin’s holomorphy conjecture is assumed.
The purpose of these papers under review are to improve the zero-free region (1) in the other extreme case that k is not normal over \({\mathbb{Q}}\) and belongs to the class \({\mathcal S}\) of all totally real fields k with the property that the Galois group of the Galois closure e of k over k is \(S_ n\), the full symmetric group. In Part I, the authors obtain an improvement over (1) to the effect that n! is replaced by \(4^ n\), and as a consequence thereof, an effective lower bound for \(h_ K\) with a weaker restriction than (2), under the condition that \(k\in {\mathcal S}\) and K does not contain any imaginary quadratic field. The idea of proof hinges on the use of the well-known fact that if \(\beta\) is a multiple zero, then 1-\(\beta\) is bounded below by (log \(D_ K)^{-1}\) at some stage in pulling the zero up through a series of extensions of k, and for this, the interaction of poles and zeros at \(\beta\) of Artin L-series corresponding to the extension eK/k is closely studied by appealing to the representation theory combined with the correspondence between multiplicative relationship of Artin L-series and linear combination of characters. In Part II by more complicated methods (in the similar spirit) the restriction on K is removed and \(4^ n\) is improved to \(\alpha^ n\), \(\alpha\approx 5.8\), and the final result reads (Theorem 0.1, (b)): given \(\delta >0\), there is an effective constant \(C>0\) such that if \(D_ k>C^ n\), then \(h_ K>(1+\delta)^ n\).
Reviewer: S.Kanemitsu

MSC:

11R29 Class numbers, class groups, discriminants
11R42 Zeta functions and \(L\)-functions of number fields
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] R. D. Carmichael, Introduction to the Theory of Groups of Finite Order , Ginn and Co., New York, 1937. · Zbl 0019.19702
[2] D. 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. · Zbl 0345.12007
[3] B. Gross and D. Zagier, Heegner points and derivatives of \(L\)-series , Invent. Math. 84 (1986), no. 2, 225-320. · Zbl 0608.14019 · doi:10.1007/BF01388809
[4] J. Hoffstein, On the Siegel-Tatuzawa theorem , Acta Arith. 38 (1980), no. 2, 167-174. · Zbl 0449.10030
[5] J. Hoffstein, Some analytic bounds for zeta functions and class numbers , Invent. Math. 55 (1979), no. 1, 37-47. · Zbl 0474.12009 · doi:10.1007/BF02139701
[6] J. Hoffstein and N. Jochnowitz, On Artin’s conjecture and the class number of certain CM fields. I, II , Duke Math. J. 59 (1989), no. 2, 553-563, 565-584. · Zbl 0711.11042 · doi:10.1215/S0012-7094-89-05925-5
[7] D. Husemöller, Burnside ring of a Galois group and the relations between zeta functions of intermediate fields , The Santa Cruz Conference on Finite Groups (Univ. California, Santa Cruz, Calif., 1979), Proc. Sympos. Pure Math., vol. 37, Amer. Math. Soc., Providence, RI, 1980, pp. 603-610. · Zbl 0468.12006
[8] G. D. James and A. Kerber, The Representation Theory of the Symmetric Group , Encyclopedia Math. Appl., vol. 16, Addison-Wesley, Reading, MA, 1981. · Zbl 0491.20010
[9] A. Odlyzko, Some analytic estimates of class numbers and discriminants , Invent. Math. 29 (1975), no. 3, 275-286. · Zbl 0306.12005 · doi:10.1007/BF01389854
[10] A. M. Odlyzko, Lower bounds for discriminants of number fields II , Tôhoku Math. J. 29 (1977), no. 2, 209-216. · Zbl 0362.12005 · doi:10.2748/tmj/1178240652
[11] H. M. Stark, Some effective cases of the Brauer-Siegel theorem , Invent. Math. 23 (1974), 135-152. · Zbl 0278.12005 · doi:10.1007/BF01405166
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.