I matematik är Fontaines periodringar en samling kommutativa ringar som först definierades av Jean -Marc Fontaine och som används för att klassificera p -adic Galois representationer .
Ringen B dR
Ringen
B
d R
{\displaystyle \mathbf {B} _{dR}}
definieras enligt följande. Låt
C
p
{\displaystyle \mathbf {C} _{p}}
beteckna slutförandet av
Q
p
¯
{\displaystyle {\overline {\mathbf {Q} _{p}}}}
. Låta
E
~
+
=
lim ←
x ↦
x
p
O
C
p
/
( p )
{\displaystyle {\tilde {\mathbf {E} }}^{+}=\varprojlim _{x\mapsto x^{p}} {\mathcal {O}}_{\mathbf {C} _{p}}/(p)}
Så ett element av
E
~
+
{\displaystyle {\tilde {\mathbf {E} }}^{+}}
är en sekvens
(
x
1
,
x
2
, … )
{\displaystyle (x_{1},x_{2 },\ldots )}
av element
x
i
∈
O
C
p
/
( p )
{\displaystyle x_{i}\in {\mathcal {O}}_{\mathbf {C} _{p}}/(p) }
så att
x
i + 1
p
≡
x
i
( mod p )
{\displaystyle x_{i+1}^{p}\equiv x_{i}{\pmod {p}}}
. Det finns en naturlig projektionskarta
f :
E
~
+
→
O
C
p
/
( p )
{\displaystyle f:{\tilde {\mathbf {E} }}^{+}\to {\mathcal {O}}_{ \mathbf {C} _{p}}/(p)}
ges av
f (
x
1
,
x
2
, … ) =
x
1
{\displaystyle f(x_{1},x_{2},\dotsc )=x_ {1}}
. Det finns också en multiplikativ (men inte additiv) karta
t :
E
~
+
→
O
C
p
{\displaystyle t:{\tilde {\mathbf {E} }}^{+}\to {\mathcal {O}}_ {\mathbf {C} _{p}}}
definieras av
t (
x
,
x
2
, … ) =
lim
i → ∞
x ~
i
p
i
{\displaystyle t(x_{,}x_{2},\dotsc ) =\lim _{i\to \infty }{\tilde {x}}_{i}^{p^{i}}} , där x ~ i {\displaystyle {\tilde {x
}
} _
{
i }}
är godtyckliga höjningar av
x
i
{\displaystyle x_{i}}
till
O
C
p
{\displaystyle {\mathcal {O}}_{\mathbf {C} _{p}}}
. Sammansättningen av
t
{\displaystyle t}
med projektionen
O
C
p
→
O
C
p
/
( p )
{\displaystyle {\mathcal {O}}_{\mathbf {C} _{p}}\to {\mathcal {O}}_{\mathbf {C} _{p}}/(p)}
är bara
f
{\displaystyle f}
. Den allmänna teorin om Witt-vektorer ger en unik ringhomomorfism
θ : W (
E
~
+
) →
O
C
p
{\displaystyle \theta :W({\tilde {\mathbf {E} }}^{+})\to { \mathcal {O}}_{\mathbf {C} _{p}}}
så att
θ ( [ x ] ) = t ( x )
{\displaystyle \theta ([x])=t(x)}
för alla
x ∈
E
~
+
{\displaystyle x\in {\tilde {\mathbf {E} }}^{+}} ,
där
[ x ]
{\displaystyle [x]}
betecknar Teichmüller-representanten för
x
{\displaystyle x}
. Ringen
B
d R
+
{\displaystyle \mathbf {B} _{dR}^{+}}
definieras som komplettering av
B
~
+
= W (
E
~
+
) [ 1
/
p ]
{\displaystyle {\tilde {\mathbf {B} }}^{+}=W({\tilde {\mathbf {E} }}^{+})[1/p]} med avseende på den
ideala
ker
(
θ :
B
~
+
→
C
p
)
{\displaystyle \ker \left(\theta :{\tilde {\mathbf {B} }}^{+}\to \mathbf {C} _{p}\right)}
. Fältet
B
d R
{\displaystyle \mathbf {B} _{dR}}
är bara fältet av bråkdelar av
B
d R
+
{\displaystyle \mathbf {B} _{dR}^{+}}
.
Sekundära källor
Berger, Laurent (2004), "En introduktion till teorin om p -adiska representationer", Geometric aspects of Dwork theory , vol. I, Berlin: Walter de Gruyter GmbH & Co. KG, arXiv : math/0210184 , Bibcode : 2002math.....10184B , ISBN 978-3-11-017478-6 , MR 2023292
Brinon, Olivier; Conrad, Brian (2009), CMI Summer School-anteckningar om p-adic Hodge-teori (PDF) , hämtad 2010-02-05
Fontaine, Jean-Marc , red. (1994), Périodes p-adiques , Astérisque, vol. 223, Paris: Société Mathématique de France, MR 1293969