×

Iwasawa theory of \(p\)-adic representations over a local field. (Théorie d’Iwasawa des représentations \(p\)-adiques sur un corps local.) (French) Zbl 0838.11071

L’auteur construit ici une vaste généralisation fonctorielle de l’homomorphisme de R. Coleman [Invent. Math. 53, 91-116 (1979; Zbl 0429.12010)] à toute représentation \(p\)-adique cristalline \(V\) du groupe de Galois \(G = \text{Gal} (\overline H/H)\) de la clôture algébrique d’un corps local \(H\) non ramifié et de degré fini sur \(\mathbb{Q}_p\). Le résultat d’existence et d’unicité (obtenu en considérant l’ensemble des tordues à la Tate des représentations) peut s’exprimer comme suit: soit \(H_\infty = \bigcup_{n \in \mathbb{N}} H_n\) la tour cyclotomique sur \(H\) (avec \(H_n = H [\zeta_{p^{n + 1}}]\) et \(p\) impair), \(\varepsilon = (\zeta_{ p^n})_{n \in \mathbb{N}}\) une famille cohérente de racines \(p^n\)-ièmes de l’unité, \(G_\infty = \text{Gal} (H_\infty/H)\) et \(\Lambda = \mathbb{Z}_p [G_\infty]\) l’algèbre d’Iwasawa associée, \(\gamma \) un générateur topologique du groupe procyclique \(\Gamma = \text{Gal} (H_\infty/H_0)\), puis \({\mathcal H}_r (\Gamma)\) l’ensemble des séries formelles en l’indéterminée \(T = \gamma - 1\) sur \(\mathbb{Q}_p\) qui sont dominées en \(o (\log (1 + T)^h)\) sur le disque unité, et \({\mathcal H}_\infty (G_\infty)\) la réunion des \({\mathcal H}_r (G_\infty) = {\mathcal H}_r [\Gamma] \otimes_{\mathbb{Z}_p [ \Gamma]} \Lambda\). Si \(V\) est une représentation \(p\)-adique cristalline de \(G\), et \(T(0)\) un réseau de \(V\) stable par \(G\), on note \(T(j)\) son \(j\)-ième tordu à la Tate et \(Z^1_\infty (T(j))\) le \(\Lambda\)-module de type fini limite projective des \(H^1 (H_n, T(j))\) relativement aux corestrictions, \(Tw^\varepsilon_{j,v}\) enfin l’isomorphisme de \(Z^1_\infty (T(0))\) sur \(Z^1_\infty (T(j))\) donné par \(x \mapsto x \otimes \varepsilon^{\otimes j}\). On introduit par ailleurs l’ensemble \(W[[T]]^{\psi = 0}\) des séries formelles en \(T\) à coefficients dans l’anneau \(W\) des entiers de \(H\) qui vérifient \(\sum_{\zeta \in \mu_p} f(\zeta (1 + T) - 1) = 0\) puis \(\Delta\) l’application de \({\mathcal D} (V) = W[[T]]^{\psi = 0} \otimes_W D_{\text{cris}} (V)\) dans \(D_{\text{cris}} (V)/(1 - p^r \varphi) D_{\text{cris}} (V)\) donnée par: \[ \Delta |f \otimes d \mapsto (D^rf) (0) d \bigl[ \text{mod} (1 - p^r \varphi) D_{\text{cris}} (V) \bigr], \] où \(D\) est l’opérateur différentiel \((1 + T)/(d/dT)\) et \(\varphi\) agit sur \(W\) par le Frobenius \(\sigma\) et sur \(T\) par \(\varphi (T) = (1 + T)^p - 1\).
Cela posé, le théorème principal affirme l’existence d’une unique famille d’endomorphismes de \({\mathcal H}_\infty (G_\infty)\)-modules pour \(h \gg 0\) et \(j \in \mathbb{Z}\) (dépendant de \(\varepsilon)\): \[ \Omega^\varepsilon_{V(j), h} \mid {\mathcal H}_\infty (G_\infty) \otimes {\mathcal D} (V(j))^{\Delta = 0} \to {\mathcal H}_\infty (G_\infty) \otimes_\Lambda Z^1_\infty \bigl( T(j) \bigr)/T(j)^{\text{Gal} (\overline H/H_\infty)} \] telle que
(i) l’image \(\Omega^\varepsilon_{V(j) , h} (f \otimes d)\) d’un élément de \({\mathcal D} (V)\) dans \(H^1 (H_n, V(j))\) soit \((h - 1)! \exp_{ H_n, V(j)} (g_n)\) avec \(g_n = (p (\sigma \otimes \varphi))^{- (n + 1)} (G) (\zeta_n - 1)\) et \((1-\varphi) G = f\), où \(\exp_{H_n, V(j)}\) est l’exponentielle de Bloch-Kato de \(H_n \otimes_H D_{ \text{cris}} (V)\) dans \(H^1 (H_n, V)\);
(ii) et qu’on ait en outre \(Tw^\varepsilon_{1, V(j)} \circ\Omega^\varepsilon_{V(j), h} \circ D = - \Omega^\varepsilon_{V (j + 1), h + 1}\). Ces \(\Omega^\varepsilon_{V (j), h}\) qui sont injectifs peuvent être vus comme une application “période”.
Du résultat ci-dessus l’auteur déduit en particulier une interprétation cristalline du \(r\)-ième tordu de l’isomorphisme de Coleman, ainsi qu’une nouvelle démonstration du théorème de Bloch-Kato sur les nombres de Tamagawa locaux de \(\mathbb{Q}_p (r)\), \(r \geq 2\); elle montre aussi que toute représentation \(p\)-adique extension de \(\mathbb{Q}_p\) par \(\mathbb{Q}_p (r)\) est cristalline. Des résultats de Coleman pour \(r = 1\), elle tire une loi de réciprocité explicite sur \(H_\infty\) et retrouve ainsi le résultat de Kato sur le lien entre applications de Coates-Wiles et de Fontaine-Messing. Chemin faisant, elle avance quelques conjectures très générales sur les objets introduits, notamment une identité \(\delta (V)\) sur le déterminant de \(\Omega^\varepsilon_V\) et une formule explicite de dualité locale \(\text{Rec} (V)\) dont elle montre qu’elle est vérifiée dans le cas de \(\mathbb{Q}_p (r)\) et entraîne également le propriété \(\delta (V)\).

MSC:

11R23 Iwasawa theory
14F30 \(p\)-adic cohomology, crystalline cohomology
11S20 Galois theory
11S25 Galois cohomology

Citations:

Zbl 0429.12010
PDFBibTeX XMLCite
Full Text: DOI EuDML

References:

[1] [A] Amice, Y.: Les nombresp-adiques. Paris: Presses Université de France 1975
[2] [AV] Amice, Y., Vélu, J.: Distributionsp-adiques associées aux séries de Hecke. (Astérisque, vols. 24-25, pp. 119-131) Paris: Soc. Math. Fr. 1975
[3] [BK] Bloch, S., Kato, K.:L functions and Tamagawa numbers of motives. In: The Grothendieck Festschrift, vol. 1, pp. 333-400) Prog. Math., vol. 86, Boston: Birkhäuser 1990 · Zbl 0768.14001
[4] [C1] Coleman, R.F.: Division values in local fields. Invent. Math.53, 91-116 (1979) · Zbl 0429.12010 · doi:10.1007/BF01390028
[5] [C2] Coleman, R.F.: The arithmetic of Lubin-Tate division towers. Duke Math. J.48, 449-466 (1981) · Zbl 0475.12021 · doi:10.1215/S0012-7094-81-04825-0
[6] [C3] Coleman, R.F.: The dilogarithm and the norm residue symbol. Bull. Soc. Math. Fr.109, 373-402 (1981) · Zbl 0493.12019
[7] [F1] Fontaine, J.-M.: Sur certains types de représentationsp-adiques du groupe de Galois d’un corps local; construction d’un anneau de Barsotti-Tate. Ann. Math.115, 529-577 (1982) · Zbl 0544.14016 · doi:10.2307/2007012
[8] [F2] Fontaine, J.-M.: Sur un théorème de Bloch et Kato (lettre à B. Perrin-Riou, 3 mars 1989), en appendice à cet article
[9] [F3] Fontaine, J.-M.: Représentationsp-adiques des corps locaux. In: The Grothendieck Festschrift, vol. 2. (Prog. Math., vol. 86, pp. 249-309) Boston: Birkhäuser 1990
[10] [FL] Fontaine, J.-M., Laffaille, G.: Construction de représentationsp-adiques. Ann. Sci. Éc. Norm. Super.15, 547-608 (1982) · Zbl 0579.14037
[11] [FM] Fontaine, J.-M., Messing, B.:p-adic periods and étale cohomology. Contemp. Math.67, 179-207 (1987)
[12] [Bu] Séminaire sur les périodesp-adiques (tenu à Bures en 1988), actes en préparation dans Astérisque
[13] [FP1] Fontaine, J.-M., Perrin-Riou, B.: Autour des conjectures de Bloch et Kato. C.R. Acad. Sci. Paris, Sér. 1,313, (1991); I. Cohomologie galoisienne, 189-196; II. Structures motiviquesf-closes, 349-356 III. Le cas général, 421-428
[14] [FP2] Fontaine, J.-M., Perrin-Riou, B.: Autour des conjectures de Bloch et Kato: cohomologie galoisienne et valeurs de fonctionsL. Dans: Proceedings d’une conférence sur les motifs à Seattle (à paraitre)
[15] [FP3] Fontaine, J.-M., Perrin-Riou, B.: Autour des conjectures de Bloch et Kato. IV. L’équation fonctionnelle (en préparation).
[16] [H] Ha Huy Khoai:P-adic interpolation and the Mellin-Mazur transform. Acta Math. Vietnam.5, 77-100 (1980) · Zbl 0476.12016
[17] [I] Iwasawa, K.: On 149-1 of algebraic number fields. Ann. Math.98, 246-326 (1973) · Zbl 0285.12008 · doi:10.2307/1970784
[18] [MTT] Mazur, B., Tate, J., Teitelbaum, J.: Onp-adic analogues of the conjectures of Birch and Swinnerton-Dyer. Invent. Math.84, 1-48 (1986) · Zbl 0699.14028 · doi:10.1007/BF01388731
[19] [Mi] Milne, J.S.: Arithmetic duality theorems. (Perspect. Math., vol. 1) Boston: Academic Press 1986 · Zbl 0613.14019
[20] [P1] Perrin-Riou, B.: Théorie d’Iwasawa p-adique locale et globale. Invent. Math.99, 247-292 (1990) · Zbl 0715.11030 · doi:10.1007/BF01234420
[21] [P2] Perrin-Riou, B.: Théorie d’Iwasawa et hauteursp-adiques. Invent. Math.109, 137-185 (1992) · Zbl 0781.14013 · doi:10.1007/BF01232022
[22] [P3] Perrin-Riou, B.: Théorie d’Iwasawa des représentationsp-adiques: le cas local. C.R. Acad. Sci. Paris, Sér. I,315, 629-632 (1992) · Zbl 0781.14012
[23] [P4] Perrin-Riou, B.: FonctionsL p-adiques d’une courbe elliptique et points rationnels. (Preprint 1992). Ann. Inst. Fourier43 à paraitre (1993)
[24] [P5] Perrin-Riou, B.: FonctionsL p-adiques des représentationsp-adiques (en préparation)
[25] [Ta1] Tate, J.:p-divisible groups. In: Proc. of a conference on local fields, Nuffic Summer School at Driebergen, pp. 158-183. Berlin Heidelberg New York, Springer 1967
[26] [Ta2] Tate, J.: Relations betweenK 2 and Galois cohomology. Invent. Math.36, 257-274 (1976) · Zbl 0359.12011 · doi:10.1007/BF01390012
[27] [V] Visik, M.M.: Non-archimedian measures connected with Dirichlet series. Math. USSR, Sb.28, 216-228 (1976) · Zbl 0369.14010 · doi:10.1070/SM1976v028n02ABEH001648
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.