p進周期環

数学の ︵ピーしんしゅうきかん、英: p-adic period rings︶とは、p 進数体に関係するある一群の環の総称である。p 進ホッジ理論や p進ガロア表現の理論、岩澤理論の研究に使われる。ジャン＝マルク・フォンテーヌによって導入された。

性質

p を素数、K を標数0の完備な離散付値体でその剰余体 kは完全体かつ標数が pであるものとする。例えば p進数体 Q_pの有限次拡大などがこのような体の例である。剰余体が有限体であることは必ずしも仮定しない。これは剰余体が代数閉体である場合を扱えるようにしておくためである。

K から p進周期環と呼ばれる環 B_dR, B_crys , B_stが構成される︵#構成参照︶。B_dR は p進周期の体、B_crys は crystalline period ring︵直訳: クリスタリン周期環︶ と呼ばれることもある。これらの環は次に述べる性質を持っている。

記号 整数環が定義できる体 Fに対してその整数環を 𝒪_F で表す。また体 Fに対してその代数的閉包を F、絶対ガロア群を G_Fで表す。C_K を Kの完備化とする。W を kに係数を持つヴィット・ベクトルの環 W(k) とし、その商体を K₀ とする。K は K₀ 上の有限次完全分岐拡大になる。P₀ を kに係数を持つヴィット・ベクトルの環 W(k) の商体とする。N を0以上の整数の集合とする。整数 nに対して Q_p(n) で G_Kが円分指標の n乗で作用する Q_p上の1次元ベクトル空間を表す。C_K(n) も同様。

B_dR

●B_dR は完備離散付値体である。その剰余体は自然に C_Kと同型である。B_dR の離散付値を v、離散付値環 を B+
dR で表す。

●整数 iに対して付値が i以上の元からなる B_dRの部分集合を Filⁱ B_dRで表す。これは B_dRの減少フィルトレーションを定める。

●B_dR には絶対ガロア群 G_Kが作用する。剰余体への射影 Fil⁰ B_dR→ C_Kはこのガロア群の作用と可換である。

●G_K の作用と可換な Q_p線型な自然な単射 Q_p(1) ↪ Fil¹ B_dRが存在する。この写像による0ではない元の像は B_dRの素元になる。この自然な単射から任意の整数 iに対し自然な単射 Q_p(i) ↪ Filⁱ B_dRが定まる。gri
Fil B_dRと C_K(i) は G_Kの作用も込みで同型である。

●BG_K
dR = K

●B_dRは Kをその有限次拡大に置き換えても変わらない。

●B+
dR は Kを含む。これは自明なことではない。

●B+
dR は離散付値から定義される位相を持つ。これとは別に、定義 B+
dR ≔ lim← K⊗_WW(R)/Ker(θ_K)^m に現れる W(R) の位相の逆極限から得られる位相もある。Fontaine & Ouyang (2008, p. 93) はこの位相を natural topology︵直訳: 自然位相︶と呼んでいる。

●環準同型 s: C_K→ B+
dR であって θ∘s が恒等写像となるものが存在する。ここで θ は B+
dR からその剰余体 C_Kへの自然な準同型である。しかし一意には定まらず G_Kの作用と可換にもならない。

B_crys

●B_crys は G_K作用に関して閉じている B_dRの部分環である。体の部分環なので整域である。

●B_crys は P₀ と Q_p(i) を含む︵i は任意の整数︶。

●B_crys は B_dRの減少フィルトレーションから誘導される減少フィルトレーションを持つ。このフィルトレーションに関して gri
Fil B_crys = gri
Fil B_dRが任意の整数 iに対して成り立つ。これは形式的ローラン級数環 C⟦X⟧[X⁻¹] と係数の絶対値が急減少するべき級数からなるその部分環との関係に似ている。

●B_crys はフロベニウスと呼ばれる単射自己準同型 φ: B_crys → B_crys を持つ。これは次の性質を持つ。
●P₀ のフロベニウスに関して半線型。

●G_K の作用と可換。

●t ∈ Q_p(1) ⊂ B_crys に対して φ(t) = ptが成り立つ。

●Fil⁰ B_dR∩ Bφ=1
crys = Q_p

●BG_K
crys = K₀

●B_crys も Kをその有限次拡大に置き換えても変わらない。

B_st

●B_st は G_K作用に関して閉じている B_crys を含む B_dRの部分環である。体の部分環なので整域である。

●B_st は u_sと書かれる一つの元で B_crys 上生成される。u_s は B_crys 上超越的なので、B_st は B_crys 上の一変数多項式環と同型な環である。u_s は Kの素元 π の取り方によるので、B_st はこの素元の取り方に依存する環である。

●B_st はフロベニウスと呼ばれる単射自己準同型 φ: B_st→ B_stを持つ。フロベニウスの作用は B_crys 上では B_crys のフロベニウスと同じ。u_s には φ(u_s) = pu_sで作用する。フロベニウスは G_Kの作用と可換である。

●B_st はモノドロミー作用素と呼ばれる B_crys 上の導分 Nを持つ。N は N(u_s) = 1 で定義され、G_K の作用と可換である。

●フロベニウスとモノドロミー作用素は関係式 Nφ = pφN を満たす。

●BG_K
st = K₀

●BN=0
st = B_crys

●Fil⁰ B_dR∩ BN=0, φ=1
st = Q_p

●B_stは B_dRへの埋め込みを忘れれば Kをその有限次拡大に置き換えても変わらず︵モノドロミー作用素は分岐指数に応じて変わる︶、K の素元 π の取り方にも依らない。

構成

p 進周期環は次のように構成される。

B_dR

環 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$${\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 = lim← 𝒪_K / p𝒪_K として定義する。つまり、R は集合としては 𝒪_K / p𝒪_K の元の無限列 (a₀, a₁, a₂, ...) であって a_n = ap
n+1 を満たすもの全体である。また、環の加法や乗法は成分ごとに定義されたものである。

W(R) を Rを係数とするヴィット・ベクトルのなす環とする。W(R) から Kの完備化 C_Kの整数環 𝒪_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)}$$\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)}$
で定義する。ここで、~a_n, m∈ 𝒪_K  は、W(R) の元 (a₀, a₁, a₂, ...) に対しその第 n成分 a_n = (a_n, 0, a_n, 1, a_n, 2, ...) の第 m成分 a_n, m∈ 𝒪_K / p𝒪_K  を 𝒪_K に持ち上げたものである。θ は全射の環準同型である。また、その核は単項イデアルである。

R は自然に k代数になるので W(R) は自然に W ≔ W(k) 代数になる。θ を K 線型に延長した写像 K⊗_WW(R) → C_K を θ_K とし、B+
dR を

${\displaystyle B_{\mathrm {dR} }^{+}=\varprojlim _{m}(K\otimes _{W}W($R))/\mathrm {Ker} (\theta _{K})^{m}} $B_{\mathrm {dR} }^{+}=\varprojlim _{m}(K\otimes _{W}W(R))/\mathrm {Ker} (\theta _{K})^{m}$
で定義する。その商体を B_dRとする。

B_crys

記号は前節と同じとする。ξ_p を準同型 θ: W(R) → 𝒪_CK の核の生成元とし、Q_p ⊗_Zp W(R) の部分環 W^PD(R) を

${\displaystyle W^{\mathrm {PD} }($R):=W(R)[\xi _{p}^{n}/n!(n\in \mathbb {N} )]} $W^{\mathrm {PD} }(R):=W(R)[\xi _{p}^{n}/n!(n\in \mathbb {N} )]$
で定義する。W^PD(R) の p進完備化を A_crys とし、B+
crys を

$B_{\mathrm {crys} }^{+}:=A_{\mathrm {crys} }[p^{-1}]$$B_{\mathrm {crys} }^{+}:=A_{\mathrm {crys} }[p^{-1}]$
で定義する。B+
crys は B_dRに埋め込める。t を自然な単射 Q_p(1) ↪ Fil¹ B_dRによる0ではない元の像とする。B_crys を

$B_{\mathrm {crys} }=B_{\mathrm {crys} }^{+}[t^{-1}]$$B_{\mathrm {crys} }=B_{\mathrm {crys} }^{+}[t^{-1}]$
で定義する。

B_st

記号は前節と同じとする。π を Kの素元として、s = (s_n)_n∈N を π の 𝒪_K における pべき乗根の系、つまり s₀ = π, sp
n+1 = s_n を満たすような 𝒪_K の元の列とする。s ≔ (s_n mod p)_n ∈ Nと置くと、これは Rの元を定める。W(R) の元 [s] を s のタイヒミュラー代表元とし、B+
dR の元 u_s を

$u_{s}:=\log(\pi ^{-1}\otimes [{\underline {s}}])=\sum _{n\geq 1}(-1)^{n-1}n^{-1}(\pi ^{-1}\otimes [{\underline {s}}]-1)^{n}$$u_{s}:=\log(\pi ^{-1}\otimes [{\underline {s}}])=\sum _{n\geq 1}(-1)^{n-1}n^{-1}(\pi ^{-1}\otimes [{\underline {s}}]-1)^{n}$
で定義する。右辺の級数は θ([s]) = π であることにより θ(π⁻¹ ⊗ [s]) = 1 が成り立つので B+
dR で収束する。

B_st を B_crys 上 u_s で生成される環として定義する。

参考文献

●辻雄﹁Introduction to the theory of Fontaine on p-adic Galois representations (Algebraic Number Theory and Related Topics)﹂﹃数理解析研究所講究録﹄第1097巻、京都大学数理解析研究所、1999年4月、1-26頁、CRID 1050001202297633536、hdl:2433/63025、ISSN 1880-2818。 

●中村健太郎﹁p-進表現論入門﹂﹃l進ガロア表現とガロア変形の整数論﹄︵PDF︶ 17巻︿l進ガロア表現とガロア変形の整数論報告集﹀、2010年。 NCID BB01563597。http://www4.math.sci.osaka-u.ac.jp/~ochiai/ss2009proceeding/nakamura4.pdf。"参照先は﹁l進ガロア表現とガロア変形の整数論﹂報告集の原稿ページ"。 

●Colmez, Pierre (2004), Fontaine's rings and p-adic L-functions, http://www.math.jussieu.fr/~colmez/tsinghua.pdf 

●Fontaine, Jean-Marc; Ouyang, Yi (2008). Theory of p-adic Galois representations. https://www.imo.universite-paris-saclay.fr/~fontaine/galoisrep.pdf 2023年3月21日閲覧。 

●Brinon, Olivier; Conrad, Brian (2009). CMI Summer School notes on p-adic Hodge theory. http://math.bu.edu/people/jsweinst/AWS/Files/BrinonConradPAdicHodgeTheory.pdf 2023年3月21日閲覧。