zbMATH — the first resource for mathematics

Twisted \(S\)-units, \(p\)-adic class number formulas, and the Lichtenbaum conjectures. (English) Zbl 0863.19003
This is an important paper in which delicate methods from Galois cohomology and Iwasawa theory are used, in conjunction with deep results in algebraic K-theory, to establish a version of the Lichtenbaum conjectures for absolutely abelian fields \(F\). These conjectures are far-reaching generalizations of the analytic class number formula, which will be recalled just below. Before we enter into the details of the paper under review, we’ll try to give a general impression of what is going on. The Lichtenbaum conjectures are concerned with predictions about the order of even-numbered \(K\)-groups of the ring of integers \({\mathcal O}_F\) in a number field \(F\), and about regulators attached to odd-numbered \(K\)-groups. The philosophy is that even-numbered K-groups behave like ideal class groups, and the odd-numbered ones behave like unit groups. At the very least, one knows that \(K_{2i}({\mathcal O}_F)\) is finite, and \(K_{2i-1}({\mathcal O}_F)\) is finitely generated with known rank, by results of A. Borel; \(K_0({\mathcal O}_F)\) is the direct sum of the ideal class group of \(F\) and a copy of \(\mathbb{Z}\), and \(K_1({\mathcal O}_F)\) is exactly the unit group of \({\mathcal O}_F\). Now the analytic class number formula provides information about the class group of \(F\), and the regulator of \(F\), which is a quantity attached to the unit group of \({\mathcal O}_F\). Actually, when one uses the functional equation of the Dedekind zeta function \(\zeta_F\), the more usual version of the analytic class number formula, involving the residue at \(s=1\), changes into the neater statement \(\zeta_F(0)^*=-h_FR_F/w_F\), where \(h_F\) and \(R_F\) are the class number and the regulator of \(F\), \(w_F\) counts the roots of unity in \(F\), and * means: take the first nonvanishing coefficient in the Taylor expansion at \(s=0\). This can be taken to be the Lichtenbaum conjecture for \(m=1\) (of course, it is a long-standing theorem).
Let us now briefly recall the Lichtenbaum conjecture \(LC_m\) for \(m\geq2\) and explain in the process what is proved in the paper under review. Briefly, the leading coefficient of the development of \(\zeta_F(s)\) at \(s=1-m\) is conjectured to be given as a quotient \[ \zeta_F(1-m)^*={|K_{2m-2}({\mathcal O}_F)|\over w_m(F)}\cdot R_m(F)\cdot r, \] where \(K_*\) is Quillen’s \(K\)-theory, the number \(w_m(F)\) is a straightforward generalization of \(w_F=w_1(F)\), the number of roots of unity in \(F\), \(R_m(F)\) is a certain regulator attached to \(K_{2m-1}({\mathcal O}_F)\) (it is a determinant as the usual regulator, but we will not attempt to explain it), and \(r\) is another rational factor.
The main result of paper under review proves the above equality for \(F\) abelian over \(\mathbb Q\), with the following specifications and modifications: \(r\) is a certain explicit product of Euler factors, times a (nonexplicit) power of 2. Furthermore, the Quillen \(K\)-group \(K_{2m-2}({\mathcal O}_F)\) is replaced by a group \(K^g_{2m-2}({\mathcal O}_F)\) which needs to be explained: For every prime \(p\), there is an epimorphism \(ch_{2,m}: K_{2m-2}({\mathcal O}_F)\otimes\mathbb Z_p \to K_{2m-2}^{\text{ét}}({\mathcal O}_F)\), and its target (called étale K-theory; the notation suppresses the dependency on \(p\)) is isomorphic to the étale cohomology group H\(^2({\mathcal O}_F,\mathbb Z_p(m))=\text{H}^2_{\text{ét}}({\mathcal O}_F[{1/p}],\mathbb Z_p(m))\). This is due to Dwyer and Friedlander. (The étale cohomology groups just mentioned can also be expressed by Galois cohomology.) Now the group \(K^g_{2m-2}({\mathcal O}_F)\) is the direct sum over all \(p\) of the image of a splitting of \(ch_{2,m}\), which exists by work of B. Kahn. So the main result of the paper under review basically replaces \(K\)-theory by étale \(K\)-theory. Another way of looking at this is the following: The kernel of \(ch_{2,m}\) is finite and expected to be zero for odd \(p\); this is the so-called Quillen-Lichtenbaum conjecture, which is known to hold for \(m=2\). One may therefore say: the Lichtenbaum conjecture is proved modulo the Quillen-Lichtenbaum conjecture. (There is a quite recent preprint of B. Kahn containing a proof of the 2-primary part of the Quillen-Lichtenbaum conjecture.) We should also mention that the Chern class maps \(ch_{2,m}\) have analogs \(ch_{1,m}: K_{2m-1}({\mathcal O}_F)\otimes\mathbb{Z}_p \to K_{2m-1}^{\text{ét}}({\mathcal O}_F)\); they are again onto, with finite kernel, and the kernel is again conjectured to be zero (neglecting the 2-part). However, the regulator “does not see” the unknown but finite kernel of \(ch_{1,m}\).
The long and clever argument begins with the identification of étale K-theory with certain cohomology groups H\(^i({\mathcal O}_F,\mathbb{Z}_p(m))\), with \(i=1\) and \(i=2\). It has been accepted for some time that these cohomology groups should behave like “twisted” unit groups resp. class groups. Precise results in this direction are proved in §3. To wit, there is an exact sequence \[ 0 \to {\bar U}'_\infty(m-1)_{G_\infty}\to\text{H}^1({\mathcal O}_F,\mathbb{Z}_p(m))\to X'_\infty(m-1)^{G_\infty}\to 0. \] The \({\bar U'}\) term is obtained by taking a projective limit of groups of \(p\)-units in a \(p\)-cyclotomic extension, twisting \(m-1\) times, and “descending back” by taking coinvariants. The H\(^1\) term is an étale \(K\)-group, and the cokernel \(X'_\infty(m-1)^{G_\infty}\) (which comes from Iwasawa theory) is finite. One might think of this as a twisted version of the result which states that \(K_1\) of a ring of integers is just the unit group. The authors also introduce \({\bar C}'_\infty\), a subgroup of \({\bar U}'_\infty\) constructed from cyclotomic units, which will be crucial in the sequel.
The principal theorem of this paper on the algebraic side (§5) is a sharpened version of the following index formula (we disregard the character decomposition to keep things simpler): \[ [\text{H}^1({\mathcal O}_F,\mathbb Z_p(m))^\pm : {\bar C}'_\infty(m-1)_{G_\infty} ^\pm]=|\text{H}^2({\mathcal O}_F,\mathbb Z_p(m))^\pm| \] with plus signs for \(m\) odd and minus signs for \(m\) even. This is an analog of Kummer’s result describing the plus class number \(h_\ell^+\) as an index of cyclotomic units inside a full unit group. The proof of the index formula just mentioned combines intricate cohomological calculations with Iwasawa theory in a very nice way, and it relies on most of the preceding results. The main theorem of the paper, which has already been explained above, is subsequently deduced in §6 with the help of this theorem, using a lot of deep results of Beilinson, Bloch and Soulé on regulator maps and cyclotomic elements in \(K\)-theory.
Two small criticisms: The proof of the remark on p. 692 (which is very important for §5) is incorrect as it stands. The authors are aware of the problem; a corrigendum is in preparation and should appear in due course. Second point: On p.715, a certain element \(C_m^D(w)\) is called “Galois generator” of a certain group \(\tilde C_\infty(m-1)_{G_\infty}\). (In the fifth line: read \(\zeta_{p^n}\) for \(\zeta_{pn}\).) I’m not sure whether the group in question is generated by that single element; perhaps one should allow \(w\) to vary over all \(N\)th roots of unity. The reader is referred without a page or theorem number to P. Deligne’s fundamental paper [in: Galois groups over \(\mathbb Q\), Publ., Math. Sci. Res. Inst. 16, 79-297 (1989; Zbl 0742.14022)] which is quite long.
The last remarks should be considered as minor matters. In the reviewer’s opinion, this is a paper which cleverly employs a lot of powerful techniques and proves a major result.
[This review has also been sent to Math. Rev.]

19F27 Étale cohomology, higher regulators, zeta and \(L\)-functions (\(K\)-theoretic aspects)
11R42 Zeta functions and \(L\)-functions of number fields
11R34 Galois cohomology
11R23 Iwasawa theory
Full Text: DOI
[1] A. Beilinson, Higher regulators and values of \(L\)-functions , J. Soviet Math 30 (1984), 2036-2070. · Zbl 0588.14013 · doi:10.1007/BF02105861
[2] A. Beilinson, Polylogarithms and cyclotomic elements , preprint, 1990. · Zbl 1338.01027
[3] S. Bloch, Higher regulators, algebraic \(K\)-theory, and zeta functions of elliptic curves , lecture notes, University of California, Irvine, 1977.
[4] A. Borel, Cohomologie de \(\mathrm SL\sbn\) et valeurs de fonctions zeta aux points entiers , Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 4 (1977), no. 4, 613-636. · Zbl 0382.57027 · numdam:ASNSP_1977_4_4_4_613_0 · eudml:83764
[5] S. Bloch and K. Kato, \(L\)-functions and Tamagawa numbers of motives , The Grothendieck Festschrift, Vol. I, Progr. Math., vol. 86, Birkhäuser Boston, Boston, MA, 1990, pp. 333-400. · Zbl 0768.14001
[6] J.-L. Cathelineau, Homologie du groupe linéaire et polylogarithmes (d’après A. B. Goncharov et d’autres) , Astérisque (1993), no. 216, Exp. No. 772, 5, 311-341, Séminaire Bourbaki 1992/93. · Zbl 0845.19003 · numdam:SB_1992-1993__35__311_0 · eudml:110173
[7] P. Deligne, Le groupe fondamental de la droite projective moins trois points , Galois groups over \(\mathbf Q\) (Berkeley, CA, 1987), Math. Sci. Res. Inst. Publ., vol. 16, Springer, New York, 1989, pp. 79-297. · Zbl 0742.14022
[8] W.-G. Dwyer and E. M. Friedlander, Algebraic and etale \(K\)-theory , Trans. Amer. Math. Soc. 292 (1985), no. 1, 247-280. JSTOR: · Zbl 0581.14012 · doi:10.2307/2000179 · links.jstor.org
[9] L. J. Federer and B. H. Gross, Regulators and Iwasawa modules , Invent. Math. 62 (1981), no. 3, 443-457, (with an Appendix by W. Sinnott). · Zbl 0468.12005 · doi:10.1007/BF01394254 · eudml:142783
[10] V. Fleckinger and T. Nguyen Quang Do, Bases normales, unités et conjecture faible de Leopoldt , Manuscripta Math. 71 (1991), no. 2, 183-195. · Zbl 0732.11063 · doi:10.1007/BF02568401 · eudml:155612
[11] C. Greither, Cyclic Galois extensions and normal bases , Trans. Amer. Math. Soc. 326 (1991), no. 1, 307-343. · Zbl 0743.11060 · doi:10.2307/2001866
[12] C. Greither, Stable norm groups and norm-coherent sequences of units , preprint, 1993.
[13] C. Greither, Class groups of abelian fields, and the main conjecture , Ann. Inst. Fourier (Grenoble) 42 (1992), no. 3, 449-499. · Zbl 0729.11053 · doi:10.5802/aif.1299 · numdam:AIF_1992__42_3_449_0 · eudml:74963
[14] R. Greenberg, On the Iwasawa invariants of totally real number fields , Amer. J. Math. 98 (1976), no. 1, 263-284. JSTOR: · Zbl 0334.12013 · doi:10.2307/2373625 · links.jstor.org
[15] M. Gros, Régulateurs syntomiques et valeurs de fonctions \(L\) \(p\)-adiques. I , Invent. Math. 99 (1990), no. 2, 293-320, (with an appendix by M. Kurihara). · Zbl 0667.14006 · doi:10.1007/BF01234421 · eudml:143760
[16] M. Gros, Régulateurs syntomiques et valeurs de fonctions \(L\;p\)-adiques. II , Invent. Math. 115 (1994), no. 1, 61-79. · Zbl 0799.14010 · doi:10.1007/BF01231754 · eudml:144163
[17] B. H. Gross, On the values of Artin \(L\)-functions , unpublished, 1980.
[18] R. Gold and Y. Kim, Bases for cyclotomic units , Compositio Math. 71 (1989), no. 1, 13-27. · Zbl 0687.12003 · numdam:CM_1989__71_1_13_0 · eudml:89965
[19] K. Haberland, Galois cohomology of algebraic number fields , VEB Deutscher Verlag der Wissenschaften, Berlin, 1978. · Zbl 0418.12004
[20] K. Iwasawa, On \(\mathbf Z\sbl\)-extensions of algebraic number fields , Ann. of Math. (2) 98 (1973), 246-326. JSTOR: · Zbl 0285.12008 · doi:10.2307/1970784 · links.jstor.org
[21] B. Kahn, On the Lichtenbaum-Quillen conjecture , Algebraic \(K\)-theory and algebraic topology (Lake Louise, AB, 1991), NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci., vol. 407, Kluwer Acad. Publ., Dordrecht, 1993, pp. 147-166. · Zbl 0885.19004
[22] M. Kolster, An idelic approach to the wild kernel , Invent. Math. 103 (1991), no. 1, 9-24. · Zbl 0724.11056 · doi:10.1007/BF01239507 · eudml:143851
[23] M. Kolster, Remarks on étale \(K\)-theory and Leopoldt’s conjecture , Séminaire de Théorie des Nombres, Paris, 1991-92, Progr. Math., vol. 116, Birkhäuser Boston, Boston, MA, 1993, pp. 37-62. · Zbl 1043.19500
[24] M. Kolster, \(K\)-theory and Arithmetic , Fields Inst. Monogr., Amer. Math. Soc., Providence,
[25] L. V. Kuz’min, The Tate module of algebraic number fields , Izv. Akad. Nauk SSSR Ser. Mat. 36 (1972), 267-327. · Zbl 0231.12013
[26] M. Levine, The indecomposable \(K_ 3\) of fields , Ann. Sci. École Norm. Sup. (4) 22 (1989), no. 2, 255-344. · Zbl 0705.19001 · numdam:ASENS_1989_4_22_2_255_0 · eudml:82254
[27] S. Lichtenbaum, Values of zeta-functions, étale cohomology, and algebraic \(K\)-theory , Algebraic \(K\)-theory, II: “Classical” algebraic \(K\)-theory and connections with arithmetic (Proc. Conf., Battelle Memorial Inst., Seattle, Wash., 1972), Springer, Berlin, 1973, 489-501. Lecture Notes in Math., Vol. 342. · Zbl 0284.12005
[28] B. Mazur and A. Wiles, Class fields of abelian extensions of \(\mathbf Q\) , Invent. Math. 76 (1984), no. 2, 179-330. · Zbl 0545.12005 · doi:10.1007/BF01388599 · eudml:143124
[29] A. S. Merkurjev and A. A. Suslin, On the \(K_ 3\) for a field , Math. USSR Izv. 36 (1990), 561-565. · Zbl 0725.19003 · doi:10.1070/IM1991v036n03ABEH002034
[30] J. Neukirch, The Beĭlinson conjecture for algebraic number fields , Beĭlinson’s conjectures on special values of \(L\)-functions, Perspect. Math., vol. 4, Academic Press, Boston, MA, 1988, pp. 193-247. · Zbl 0651.12009
[31] T. Nguyen-Quang-Do, Sur la \(\mathbf Z_ p\)-torsion de certains modules galoisiens , Ann. Inst. Fourier (Grenoble) 36 (1986), no. 2, 27-46. · Zbl 0576.12010 · doi:10.5802/aif.1045 · numdam:AIF_1986__36_2_27_0 · eudml:74714
[32] T. Nguyen Quang Do, \(K_2\) et conjecture \(p\)-adique de Gross , preprint, 1993.
[33] T. Nguyen Quang Do, \(K_ 3\) et formules de Riemann-Hurwitz \(p\)-adiques , \(K\)-Theory 7 (1993), no. 5, 429-441. · Zbl 0801.11049 · doi:10.1007/BF00961536
[34] D. Ramakrishnan, Regulators, algebraic cycles, and values of \(L\)-functions , Algebraic \(K\)-theory and algebraic number theory (Honolulu, HI, 1987), Contemp. Math., vol. 83, Amer. Math. Soc., Providence, RI, 1989, pp. 183-310. · Zbl 0694.14002
[35] P. Schneider, Über gewisse Galoiscohomologiegruppen , Math. Z. 168 (1979), no. 2, 181-205. · Zbl 0421.12024 · doi:10.1007/BF01214195 · eudml:172869
[36] J.-P. Serre, Corps locaux , Hermann, Paris, 1968.
[37] W. Sinnott, On the Stickelberger ideal and the circular units of an abelian field , Invent. Math. 62 (1980/81), no. 2, 181-234. · Zbl 0465.12001 · doi:10.1007/BF01389158 · eudml:142770
[38] C. Soulé, \(K\)-théorie des anneaux d’entiers de corps de nombres et cohomologie étale , Invent. Math. 55 (1979), no. 3, 251-295. · Zbl 0437.12008 · doi:10.1007/BF01406843 · eudml:186136
[39] C. Soulé, On higher \(p\)-adic regulators , Algebraic \(K\)-theory, Evanston 1980 (Proc. Conf., Northwestern Univ., Evanston, Ill., 1980), Lecture Notes in Math., vol. 854, Springer, Berlin, 1981, pp. 372-401. · Zbl 0488.12008
[40] C. Soulé, Éléments cyclotomiques en \(K\)-théorie , Astérisque (1987), no. 147-148, 225-257, 344. · Zbl 0632.12014
[41] A. A. Suslin, \(K_ 3\) of a field and the Bloch group , Proc. Steklov Inst. Math. 4 (1991), 217-239. · Zbl 0741.19005
[42] J. Villemot, Etude du quotient des unités semi-locales par les unités cyclotomiques dans les \(\mathbb Z_p\)-extensions des corps de nombres abéliens réels , Thèse, Orsay, 1981. · Zbl 0473.12003
[43] L. C. Washington, Introduction to cyclotomic fields , Graduate Texts in Mathematics, vol. 83, Springer-Verlag, New York, 1982. · Zbl 0484.12001
[44] A. Wiles, The Iwasawa conjecture for totally real fields , Ann. of Math. (2) 131 (1990), no. 3, 493-540. JSTOR: · Zbl 0719.11071 · doi:10.2307/1971468 · links.jstor.org
[45] D. Zagier, Polylogarithms, Dedekind zeta functions and the algebraic \(K\)-theory of fields , Arithmetic algebraic geometry (Texel, 1989), Progr. Math., vol. 89, Birkhäuser Boston, Boston, MA, 1991, pp. 391-430. · Zbl 0728.11062
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. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.