P進周期環
数学の p 進周期環とは、p 進数体に関係するある一群の環の総称である。p 進ホッジ理論や p 進ガロア表現の理論、岩澤理論の研究に使われる。ジャン=マルク・フォンテーヌによって導入された。
p を素数、K を標数0の完備な離散付値体でその剰余体 k は完全体かつ標数が p であるものとする。例えば p 進数体 Qp の有限次拡大などがこのような体の例である。剰余体が有限体であることは必ずしも仮定しない。これは剰余体が代数閉体である場合を扱えるようにしておくためである。
文献によっては crys ではなく cris と書いている。 など。英語の crystal はフランス語では cristal である。
, Bst が構成される(#構成参照)。BdR は p 進周期の体、Bcrys
は crystalline period ring(クリスタリン周期環) と呼ばれることもある。これらの環は次に述べる性質を持っている。
記号
CK を除き  に従っている。
整数環が定義できる体 F に対してその整数環を 𝒪F で表す。また体 F に対してその代数的閉包を F、絶対ガロア群を GF で表す。CK を K の完備化とする
この記号は  に合わせた。
。W を k に係数を持つヴィット・ベクトルの環 W(k) とし、その商体を K0 とする。K は K0 上の有限次完全分岐拡大になる。P0 を k に係数を持つヴィット・ベクトルの環 W(k) の商体とする。N を0以上の整数の集合とする。整数 n に対して Qp(n) で GK が円分指標の n 乗で作用する Qp 上の1次元ベクトル空間を表す。CK(n) も同様。
BdR は完備離散付値体である。その剰余体は自然に CK と同型である。BdR の離散付値を v、離散付値環 を B+ で表す。
整数 i に対して付値が i 以上の元からなる BdR の部分集合を Fili BdR で表す。これは BdR の減少フィルトレーションを定める。
BdR には絶対ガロア群 GK が作用する。剰余体への射影 Fil0 BdR → CK はこのガロア群の作用と可換である。
GK の作用と可換な Qp 線型な自然な単射 Qp(1) ↪ Fil1 BdR が存在する。この写像による0ではない元の像は BdR の素元になる。この自然な単射から任意の整数 i に対し自然な単射 Qp(i) ↪ Fili BdR が定まる。gri BdR と CK(i) は GK の作用も込みで同型である。
BdR は K をその有限次拡大に置き換えても変わらない。
B+ は K を含む。これは自明なことではない。
B+ は離散付値から定義される位相を持つ。これとは別に、定義 B+ Coloneqq ← K⊗WW(R)/Ker(θK)m に現れる W(R) の位相の逆極限から得られる位相もある。 はこの位相を natural topology(自然位相)と呼んでいる。
環準同型 s: CK → B+ であって θ∘s が恒等写像となるものが存在する。ここで θ は B+ からその剰余体 CK への自然な準同型である。しかし一意には定まらず GK の作用と可換にもならない。
Bcrys は GK 作用に関して閉じている BdR の部分環である。体の部分環なので整域である。
Bcrys は P0 と Qp(i) を含む(i は任意の整数)。
Bcrys は BdR の減少フィルトレーションから誘導される減少フィルトレーションを持つ。このフィルトレーションに関して gri Bcrys = gri BdR が任意の整数 i に対して成り立つ。これは形式的ローラン級数環 C⟦X⟧[X−1] と係数の絶対値が急減少するべき級数からなるその部分環との関係に似ている。
Bcrys はフロベニウスと呼ばれる単射自己準同型 φ: Bcrys → Bcrys を持つ。これは次の性質を持つ。
P0 のフロベニウスに関して半線型。
GK の作用と可換。
t ∈ Qp(1) ⊂ Bcrys に対して φ(t) = pt が成り立つ。
Bcrys も K をその有限次拡大に置き換えても変わらない。
Bst は GK 作用に関して閉じている Bcrys を含む BdR の部分環である。体の部分環なので整域である。
Bst は us と書かれる一つの元で Bcrys 上生成される。us は Bcrys 上超越的なので、Bst は Bcrys 上の一変数多項式環と同型な環である。us は K の素元 π の取り方によるので、Bst はこの素元の取り方に依存する環である。
Bst はフロベニウスと呼ばれる単射自己準同型 φ: Bst → Bst を持つ。フロベニウスの作用は Bcrys 上では Bcrys のフロベニウスと同じ。us には φ(us) = pus で作用する。フロベニウスは GK の作用と可換である。
Bst はモノドロミー作用素と呼ばれる Bcrys 上の導分 N を持つ。N は N(us) = 1 で定義され、GK の作用と可換である。
フロベニウスとモノドロミー作用素は関係式 Nφ = pφN を満たす。
Bst は BdR への埋め込みを忘れれば K をその有限次拡大に置き換えても変わらず(モノドロミー作用素は分岐指数に応じて変わる)、K の素元 π の取り方にも依らない。
p 進周期環は次のように構成される。
環 R を射影系
\mathcal{O}_{\bar{K} / p\mathcal{O}_{\bar{K}
\xleftarrow{(\cdot)^p}
\mathcal{O}_{\bar{K} / p\mathcal{O}_{\bar{K}
\xleftarrow{(\cdot)^p}
\mathcal{O}_{\bar{K} / p\mathcal{O}_{\bar{K}
\xleftarrow{(\cdot)^p}
\cdots
として定義する。つまり、R は集合としては
を満たすもの全体である。また、環の加法や乗法は成分ごとに定義されたものである。
を R を係数とするヴィット・ベクトルのなす環とする。W(R) から K の完備化 CK の整数環 𝒪CK への写像 θ を
\theta((a_0, a_1, a_2, \ldots))
=
\lim_{m \to \infty}
\tilde{a}_{(0, m)}^{p^m}
+
p \tilde{a}_{(1, m)}^{p^{m-1}
+
p^2 \tilde{a}_{(2, m)}^{p^{m-2}
+ \cdots +
p^m \tilde{a}_{(m, m)}
で定義する。ここで、an, m ∈ 𝒪K
は、W(R)
に対しその第 n 成分
の第 m 成分
に持ち上げたものである。θ は全射の環準同型である。また、その核は単項イデアルである。
R は自然に k 代数になるので
代数になる。θ を
とし、B+ を
B_\mathrm{dR}^+ = \varprojlim_m (K \otimes_W W(R))/\mathrm{Ker}(\theta_K)^m
で定義する。その商体を BdR とする。
記号は前節と同じとする。ξp を準同型 θ: W(R) → 𝒪CK の核の生成元とし、Qp ⊗Zp W(R) の部分環
W^\mathrm{PD}(R)
=
W(R)[\xi_p^n/n! (n \in \mathbb{N})]
で定義する。WPD(R) の p 進完備化を Acrys とし、B+ を
B_\mathrm{crys}^+
=
A_\mathrm{crys}[p^{-1}]
で定義する。B+ は BdR に埋め込める。t を自然な単射 Qp(1) ↪ Fil1 BdR による0ではない元の像とする。Bcrys を
B_\mathrm{crys}
=
B_\mathrm{crys}^+[t^{-1}]
で定義する。
記号は前節と同じとする。π を K の素元として、s = (sn)n∈N
π の 𝒪K における p べき乗根の系、つまり
を満たすような 𝒪K の元の列とする。s coloneqq (sn mod p)n ∈ Nと置くと、これは R の元を定める。W(R) の元
のタイヒミュラー代表元とし、B+ の元
u_s :=
\log(\pi^{-1} \otimes [\underline{s}])
=
\sum_{n \ge 1} (-1)^{n-1} n^{-1} (\pi^{-1} \otimes [\underline{s}] - 1)^n
で定義する。右辺の級数は
θ([s]) = π であることにより
で収束する。
Bst を
Bcrys 上
で生成される環として定義する。