## Bloch-Kato conjecture and Main Conjecture of Iwasawa theory for Dirichlet characters.(English)Zbl 1044.11095

Suppose given a smooth projective variety $$X \to \text{ Spec}(\mathbb Q)$$ and integers $$i,j \in \mathbb Z.$$ To the “motive” $$M = h^{i}(X) (j)$$ are attached a complex function $$L (M, s)$$ and all the data conjecturally describing the leading coefficient $$L^{\ast}(M)$$ of this function at $$s = 0.$$ Here we need not appeal to any more elaborate notion of a motive than that which identifies $$M$$ with a collection of “realizations” by cohomological spaces: $$M_{B} = H^{i} (X(\mathbb C), \mathbb Q) (j)$$ (Betti), $$M_{dR} = H^{i}_{dR} (X/{\mathbb Q}) (j)$$ (de Rham), $$H^{0}_{f}(M)$$ and $$H^{1}_{f} (M)$$ (“motivic”). Very roughly speaking, Beilinson’s conjecture describes $$L^{\ast}(M) \in {\mathbb R}^{\ast}$$ in terms of regulators up to a rational factor, and the Bloch-Kato conjecture gives the rational factor in terms of so-called Tamagawa numbers (commutative algebraic groups being replaced by motivic cohomology groups). The reformulation by Fontaine and Perrin-Riou of this last conjecture in terms of complexes could be viewed (roughly speaking again) as some kind of very elaborate global-local principle:
- taking the “alternate probelowduct” of determinants of some (six) cohomological realizations of $$M,$$ one constructs a one-dimensional $${\mathbb Q}$$-vector space $$\Delta_{f}(M)$$ called the “fundamental line”.
- in the archimedean world, tensorization of these cohomological spaces by $${\mathbb R}$$ over $${\mathbb Q}$$ should give an exact sequence via period and cycle maps, height pairing, and the Beilinson regulator, hence an isomorphism $$\iota_{\infty}\;:\;{\mathbb R} \simeq \Delta_{f}(M) \otimes {\mathbb R}.$$ Beilinson’s conjecture then amounts to $$r_{\infty}(L^{\ast}(M)^{-1}) \in \Delta_{f} (M) \otimes 1.$$
- in the $$p$$-adic world, there should be natural isomorphisms $$H^0_f (M) \otimes \mathbb Q_p \simeq H^0_f (\mathbb Q, M_p)$$ (cycle class map) and $$H^1_f (M) \otimes \mathbb Q_p \simeq H^1_f (\mathbb Q, M_p)$$ (Chern class map). Let $$S$$ be a finite set of primes containing $$p, \infty$$ and primes of bad reduction. Introducing cohomology with compact support, one gets an isomorphism $$\iota_p: \Delta_f (M) \otimes \mathbb Q_p \simeq \text{ Det}_{\mathbb Q_p} R \Gamma_c (\mathbb Z [{1 \over S}], M_p).$$ Let $$T_p \subset M_p$$ any Galois stable $$\mathbb Z_p$$-lattice. The $$p$$-part of the Bloch-Kato conjecture then amounts to $$\mathbb Z_p \iota_p \iota^{-1}_{\infty} (L^{\ast} (M)^{-1}) = \text{ Det}_{{\mathbb Z}_{p}}\;R\;\Gamma_c (\mathbb Z [{1 \over S}], T_p).$$ This statement is independent of the choice of $$S$$ and $$T_p.$$ Its validity for all $$p$$ determines $$L^{\ast}(M)$$ up to sign.
Number theorists are mainly interested in motives arising from $$X = \text{ Spec }F$$ ($$F$$ a number field), equipped or not with additional structures. For example, if $$M = h^0 (\text{Spec }F) (0),$$ then $$L(M, s)$$ is the Dedekind zeta function. In this case, the Bloch-Kato conjecture for $$M$$ and $$M(1)$$ is nothing but the class number formula (modulo the functional equation); for negative twists $$j,$$ it is equivalent to the (cohomological version of the) Lichtenbaum conjecture, which was proved, for abelian $$F$$ and up to powers of 2, by M. Kolster, T. Nguyen Quang Do and V. Fleckinger [Duke Math. J. 84, 679–717 (1996; Zbl 0863.19003)] (but with some errors; see remarks below); for positive twists, and still in the abelian case, the conjecture was proved by P. D. Benois and T. Nguyen Quang Do [Ann. Sci. Éc. Norm. Supér., IV. Sér. 35, 641–672 (2002; Zbl 1125.11351)], by showing compatibility with the functional equation.
In the present paper, the authors prove the Bloch-Kato conjecture, up to powers of 2, for the so-called Dirichlet motives $$h(\chi).$$ With our previous notations, $$h(\chi) = h^0 (\text{Spec}(\mathbb Q(\mu_N))(j),$$ $$N$$ being a multiple of the conductor of the Dirichlet character $$\chi,$$ the motive coming equipped with a “projector”, the usual idempotent associated with $$\chi^{-1}.$$ Actually, $$h^{0} (\text{spec}(\mathbb Q(\mu_N))(j) = \oplus_{\chi} h(\chi),$$ for all characters $$\chi$$ of conductor dividing $$N.$$ The starting point is the same as in all previously proved cases of the conjecture: use special (= Beilinson’s) elements and their archimedean realizations (related to polylogarithm values) and $$p$$-adic realizations (related to cyclotomic elements in Iwasawa theory). Knowing the $$p$$-part of the Bloch-Kato conjecture for all fields in the cyclotomic tower is equivalent to the Iwasawa Main Conjecture formulated appropriately. But the accomplishment of this program is fraught with great technical difficulties, mainly because one needs to show the Main Conjecture in the non semi-simple case (i.e. $$p$$ can divide the order of $$\chi),$$ and perform “descent” even in the presence of “trivial zeros” of $$p$$-adic $$L$$-functions. An overview of how the authors manage to overcome these difficulties is given on p. 412:
(1) Prove directly the Bloch-Kato conjecture for $$h^{0} (\text{spec }F)(j),\;j=0, 1,$$ for any number field $$F$$ (this amounts to the analytical class number formula).
(2) Use Euler system methods to establish a divisibility statement for Iwasawa modules in the case $$\chi (-1) = (-1)^j.$$ Prove the Iwasawa Main Conjecture from it by applying the usual “class number trick”, but replacing the class number formula by the validity of the Bloch-Kato conjecture for $$F = \mathbb Q (\mu_N)$$ and $$j = 1.$$
(3) Using Kato’s explicit reciprocity law, prove the Bloch-Kato conjecture for $$j \geq 1$$ and $$\chi (-1) = (-1)^j$$ from the Main Conjecture.
(4) Using the precise understanding of the regulators of cyclotomic elements, prove the Bloch-Kato conjecture for $$j \leq 0$$ and $$\chi (-1) = (-1)^j$$ form the Main Conjecture. Note that the argument does not work for $$j= 0$$ and $$\chi (p) = 1,$$ the case of “trivial zeros” (see (7)).
(5) By the compatibility with the functional equation (shown in appendix B), deduce the Bloch-Kato conjecture for the remaining cases $$j \neq 0, 1.$$
(6) From an equivariant version of (5), deduce a second version of the Main Conjecture, which in turn allows to show the Bloch-Kato conjecture for $$j = 0, 1,$$ except in the case of trivial zeroes.
(7) The last exceptional case, namely $$j = 0$$ and $$\chi (p) = 1,$$ follows again by the functional equation.
This is a clever piece of work. To put the results in perspective, we must compare them with previous, or concomittant, independent ones. The equivariant Kato-Burns-Flach conjecture provides a convenient framework, in which the motive comes equipped with “extra symmetries”, more precisely with the action of a semi-simple, finite dimensional $$\mathbb Q$$-algebra $$A,$$ and a distinguished $$\mathbb Z$$-order $$\mathcal A$$ of $$A.$$ Then:
(i) For $$A = \mathbb Q$$ and $$\mathcal A = \mathbb Z,$$ the equivariant conjecture is nothing else but the Bloch-Kato conjecture for $$h^0 (\text{Spec }F)(j).$$ Reviewer’s remark: The comments on the status of the Lichtenbaum conjecture (p. 396) are misleading. The erroneous Euler factors in Kolster-Nguyen-Fleckinger were due to a wrong statement on Galois generators of cyclotomic units, and were corrected in Benois-Nguyen, appendix A3. The reference to théorème A-2-3 is irrelevant (and the comments unfounded).
(ii) For $$G = \text{ Gal }(\mathbb Q(\mu_N)/{\mathbb Q}),\;A = \mathbb Z[G]$$ and $$\mathcal A =$$ the maximal order of $$A$$ inside $$\mathbb Q[G],$$ the equivariant conjecture is equivalent to the Bloch-Kato conjecture for all Dirichlet motives $$h(\chi)$$ and all characters $$\chi$$ of conductor dividing $$N.$$
(iii) For $$A = \mathcal A = \mathbb Z[G],$$ the equivariant conjecture is now a theorem of Burns and Greither (to appear in Invent. Math.).
Note that by general functoriality, (iii) $$\Longrightarrow$$ (ii) $$\Longrightarrow$$ (i).

### MSC:

 11R23 Iwasawa theory 19F27 Étale cohomology, higher regulators, zeta and $$L$$-functions ($$K$$-theoretic aspects) 11G55 Polylogarithms and relations with $$K$$-theory

### Citations:

Zbl 0863.19003; Zbl 1125.11351
Full Text:

### References:

 [1] T. M. Apostol, Introduction to Analytic Number Theory , Springer, New York, 1976. · Zbl 0335.10001 [2] A. Beilinson, Higher regulators and values of L-functions , J. Soviet. Math. 30 (1985), 2036–2070. · Zbl 0588.14013 [3] A. Beilinson and P. Deligne, Motivic polylogarithm and Zagier conjecture , unpublished preprint, 1992. · Zbl 0799.19004 [4] J.-R. Belliard and T. Nguyen Quang Do, Formules de classes pour les corps abéliens réels , Ann. Inst. Fourier (Grenoble) 51 (2001), 903–937. · Zbl 1007.11063 [5] D. Benois and T. Nguyen Quang Do, Les nombres de Tamagawa locaux et la conjecture de Bloch et Kato pour les motifs $$\mathbb{Q}(m)$$ sur un corps abélien , Ann. Sci. École Norm. Sup. (4) 35 (2002), 641–672. \CMP1 951 439 · Zbl 1125.11351 [6] S. Bloch and K. Kato, ”$$L$$-functions and Tamagawa numbers of motives” in The Grothendieck Festschrift, Vol. I , Progr. Math. 86 , Birkhäuser, Boston, 1990, 333–400. · Zbl 0768.14001 [7] A. Borel, Cohomologie de $${\mathrm SL}_{n}$$ et valeurs de fonctions zeta aux points entiers , Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 4 (1977), 613–636. · Zbl 0382.57027 [8] D. Burns and M. Flach, Tamagawa numbers for motives with (non-commutative) coefficients , Doc. Math. 6 (2001), 501–570. · Zbl 1052.11077 [9] D. Burns and C. Greither, On the equivariant Tamagawa number conjecture for Tate motives , Invent. Math. 153 (2003), 303–359. · Zbl 1142.11076 [10] W. G. Dwyer and E. M. Friedlander, Algebraic and etale $$K$$-theory , Trans. Amer. Math. Soc. 292 (1985), 247–280. JSTOR: · Zbl 0581.14012 [11] H. Esnault, On the Loday symbol in the Deligne-Beilinson cohomology , $$K$$-theory 3 (1989), 1–28. · Zbl 0697.14006 [12] J.-M. Fontaine, Valeurs spéciales des fonctions $$L$$ des motifs , Astérisque 206 (1992), 4, 205–249., Séminaire Bourbaki, Vol. 1991/92, exp. 751. · Zbl 0799.14006 [13] J.-M. Fontaine and B. Perrin-Riou, ”Autour des conjectures de Bloch et Kato: cohomologie galoisienne et valeurs de fonctions $$L$$” in Motives (Seattle, Wash., 1991) , Proc. Sympos. Pure Math. 55 , Part 1, Amer. Math. Soc., Providence, 1994, 599–706. · Zbl 0821.14013 [14] A. Huber and G. Kings, Degeneration of $$l$$-adic Eisenstein classes and of the elliptic polylog , Invent. Math. 135 (1999), 545–594. · Zbl 0955.11027 [15] A. Huber and J. Wildeshaus, Classical motivic polylogarithm according to Beilinson and Deligne , Doc. Math. 3 (1998), 27–133., ; Correction , Doc. Math. 3 (1998), 297–299. Mathematical Reviews (MathSciNet): · Zbl 0906.19004 [16] U. Jannsen, ”On the $$l$$-adic cohomology of varieties over number fields and its Galois cohomology” in Galois Groups over $$\mathbb{Q}$$ (Berkeley, Calif., 1987) , Math. Sci. Res. Inst. Publ. 16 , Springer, New York, 1989, 315–360. · Zbl 0703.14010 [17] K. Kato, Iwasawa theory and $$p$$-adic Hodge theory , Kodai Math. J. 16 (1993), 1–31. · Zbl 0798.11050 [18] –. –. –. –., ”Lectures on the approach to Iwasawa theory for Hasse-Weil $$L$$-functions via $$B_ {\mathrm dR}$$, I” in Arithmetic Algebraic Geometry (Trento, Italy, 1991) , Lecture Notes in Math. 1553 , Springer, Berlin, 1993, 50–163. [19] ——–, Lectures on the approach to Iwasawa theory of Hasse-Weil $$L$$-functions via $$B_{\DR}$$, II , unpublished preprint, 1993. [20] –. –. –. –., Euler systems, Iwasawa theory, and Selmer groups , Kodai Math. J. 22 (1999), 313–372. · Zbl 0993.11033 [21] M. Kolster and T. Nguyen Quang Do, Universal distribution lattices for abelian number fields , preprint, 2000. [22] M. Kolster, T. Nguyen Quang Do, and V. Fleckinger, Twisted $$S$$-units, $$p$$-adic class number formulas, and the Lichtenbaum conjectures , Duke Math. J. 84 (1996), 679–717., ; Correction , Duke Math. J. 90 (1997), 641–643. Mathematical Reviews (MathSciNet): · Zbl 0863.19003 [23] S. Lichtenbaum, ”Values of zeta-functions, étale cohomology, and algebraic $$K$$-theory” in Algebraic $$K$$-Theory II: ”Classical” Algebraic $$K$$-Theory and Connections with Arithmetic (Seattle, Wash., 1972) , Lecture Notes in Math. 342 , Springer, Berlin, 1973, 489–501. · Zbl 0284.12005 [24] B. Mazur and A. Wiles, Class fields of abelian extensions of $${\mathbb{Q}}$$ , Invent. Math. 76 (1984), 179–330. · Zbl 0545.12005 [25] J. Milne, Arithmetic Duality Theorems , Perspect. Math. 1 , Academic Press, Boston, 1986. · Zbl 0613.14019 [26] J. Neukirch, ”The Beilinson conjecture for algebraic number fields” in Beilinson’s Conjectures on Special Values of L-Functions , Perspect. Math. 4 , Academic Press, Boston, 1988, 193–242. · Zbl 0651.12009 [27] B. Perrin-Riou, Théorie d’Iwasawa et hauteurs $$p$$-adiques , Invent. Math. 109 (1992), 137–185. · Zbl 0781.14013 [28] –. –. –. –., Théorie d’Iwasawa des représentations $$p$$-adiques sur un corps local , Invent. Math. 115 (1994), 81–169. · Zbl 0838.11071 [29] ——–, Fonctions $$L$$ p-adiques des représentations p-adiques , Astérisque 229 , Math. Soc. France, Montrouge, 1995. [30] –. –. –. –., Syst èmes d’Euler p-adiques et théorie d’Iwasawa , Ann. Inst. Fourier (Grenoble) 48 (1998), 1231–1307. · Zbl 0930.11078 [31] M. Rapoport, ”Comparison of the regulators of Beilinson and of Borel” in Beilinson’s Conjectures on Special Values of $$L$$-Functions , Perspect. Math. 4 , Academic Press, Boston, 1988, 169–192. · Zbl 0667.14005 [32] K. Rubin, Euler Systems , Ann. of Math. Stud. 147 , Princeton Univ. Press, Princeton, 2000. [33] P. Schneider, Über gewisse Galoiscohomologiegruppen , Math. Z. 168 (1979), 181–205. · Zbl 0421.12024 [34] C. Soulé, ”On higher $$p$$-adic regulators” in Algebraic $$K$$-Theory (Evanston, Ill., 1980) , Lecture Notes in Math. 854 , Springer, Berlin, 1981. [35] –. –. –. –., ”Operations onétale $$K$$-theory: Applications” in Algebraic $$K$$-Theory (Oberwolfach, Germany, 1980), Part I , Lecture Notes in Math. 966 , Springer, Berlin, 1982, 271–303. [36] L. C. Washington, Introduction to Cyclotomic Fields , 2d ed., Grad. Texts in Math. 83 , Springer, Berlin, 1997. · Zbl 0966.11047 [37] A. Wiles, Higher explicit reciprocity laws , Ann. Math. (2) 107 (1978), 235–254. · Zbl 0378.12006
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.