Fontaine's period rings

From HandWiki

In mathematics, Fontaine's period rings are a collection of commutative rings first defined by Jean-Marc Fontaine[1] that are used to classify p-adic Galois representations.

The ring BdR

The ring [math]\displaystyle{ \mathbf{B}_{dR} }[/math] is defined as follows. Let [math]\displaystyle{ \mathbf{C}_p }[/math] denote the completion of [math]\displaystyle{ \overline{\mathbf{Q}_p} }[/math]. Let

[math]\displaystyle{ \tilde{\mathbf{E}}^+ = \varprojlim_{x\mapsto x^p} \mathcal{O}_{\mathbf{C}_p}/(p) }[/math]

So an element of [math]\displaystyle{ \tilde{\mathbf{E}}^+ }[/math] is a sequence [math]\displaystyle{ (x_1,x_2,\ldots) }[/math] of elements [math]\displaystyle{ x_i\in \mathcal{O}_{\mathbf{C}_p}/(p) }[/math] such that [math]\displaystyle{ x_{i+1}^p \equiv x_i \pmod p }[/math]. There is a natural projection map [math]\displaystyle{ f:\tilde{\mathbf{E}}^+ \to \mathcal{O}_{\mathbf{C}_p}/(p) }[/math] given by [math]\displaystyle{ f(x_1,x_2,\dotsc) = x_1 }[/math]. There is also a multiplicative (but not additive) map [math]\displaystyle{ t:\tilde{\mathbf{E}}^+\to \mathcal{O}_{\mathbf{C}_p} }[/math] defined by [math]\displaystyle{ t(x_,x_2,\dotsc) = \lim_{i\to \infty} \tilde x_i^{p^i} }[/math], where the [math]\displaystyle{ \tilde x_i }[/math] are arbitrary lifts of the [math]\displaystyle{ x_i }[/math] to [math]\displaystyle{ \mathcal{O}_{\mathbf{C}_p} }[/math]. The composite of [math]\displaystyle{ t }[/math] with the projection [math]\displaystyle{ \mathcal{O}_{\mathbf{C}_p}\to \mathcal{O}_{\mathbf{C}_p}/(p) }[/math] is just [math]\displaystyle{ f }[/math]. The general theory of Witt vectors yields a unique ring homomorphism [math]\displaystyle{ \theta:W(\tilde{\mathbf{E}}^+) \to \mathcal{O}_{\mathbf{C}_p} }[/math] such that [math]\displaystyle{ \theta([x]) = t(x) }[/math] for all [math]\displaystyle{ x\in \tilde{\mathbf{E}}^+ }[/math], where [math]\displaystyle{ [x] }[/math] denotes the Teichmüller representative of [math]\displaystyle{ x }[/math]. The ring [math]\displaystyle{ \mathbf{B}_{dR}^+ }[/math] is defined to be completion of [math]\displaystyle{ \tilde{\mathbf{B}}^+ = W(\tilde{\mathbf{E}}^+)[1/p] }[/math] with respect to the ideal [math]\displaystyle{ \ker\left( \theta : \tilde{\mathbf{B}}^+ \to \mathbf{C}_p \right) }[/math]. The field [math]\displaystyle{ \mathbf{B}_{dR} }[/math] is just the field of fractions of [math]\displaystyle{ \mathbf{B}_{dR}^+ }[/math].

Notes

  1. Fontaine (1982)

References