No label defined (Q4254087)

Soient \(p\) un nombre premier fixé et \(R\) l'ensemble des suites \(p\)-périodiques \((x^{(n)})_{n\geq 0}\) de \({\mathcal O}_{\mathbb{C}_p}\). En 1982, \textit{J.-M. Fontaine} présente la construction de l'anneau des périodes \(p\)-adiques \(B_{dR}^+\) comme suit: considérant \(W(R) [p^{-1}]\) l'anneau des vecteurs de Witt à coefficients dans \(R\) qui sont annulés par \(p^{-1}\) puis \(\theta\) l'application de \(W(R) [p^{-1}]\) dans \(\mathbb{C}_p\) qui à \((x^{(0)},\dots, x^{(n)},\dots)\) associe \(\sum_{n=0}^\infty p^n x_n^n\), il pose \[ B_{dR}^+= \varprojlim W(R) [p^{-1}/] (\operatorname {Ker} \theta)^n \] et plus généralement, pour tout entier \(n\geq 2\), \[ B_n= B_{dR}^+/ I^n \] où \(I\) est le noyau du prolongement par continuité de \(\theta\) dans \(B_{dR}^+\). Lorsque \(L\) est un extension algébrique de l'extension maximale non ramifiée \(K\) de \(\mathbb{Q}_p\), les auteurs s'intéressent à une question naturelle: la densité de \(L\) dans \((B_{dR}^+)^{G_L}\) ou encore de \(L\) dans \(B_n^{G_L}\), \(G_L\) désignant le group \(\operatorname {Gal} (\overline{K}/L)\). La réponse complète apportée dans cet article illustre le rôle fondamental de la notion de ramification profonde (qui avait été introduite par \textit{J. Coates} et \textit{R. Greenberg} [Invent. Math. 124, 129-174 (1996; Zbl 0858.11032)]). Par exemple, en l'absence de ramification profonde, on sait désormais que \(L\) n'est dense ni dans \((B_{dR}^+)^{G_L}\) ni dans ses différents ``étages'' \(B_n^{G_L}\). En revanche, en présence de ramification profonde (cas plus délicat à traiter), une notion plus fine doit être introduite: les groupes cohomologiques de Rham \(H_{dR}^{(n)} (L/K)\). Les auteurs énoncent alors: si \(L/K\) est profondément ramifiée, \(L\) est dense dans \((B_{dR}^+)^{G_L}\) (resp. dans \(B_m^{G_L}\) pour tous \(m\leq n\)) si et seulement si les groupes \(H_{dR}^{(m)} (L/K)\) sont triviaux pour tous \(m\) (resp. pour tous \(m\leq n\)).