P進周期環

B_dR

• B_dR は完備離散付値体である^[13]。その剰余体は自然に 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 を含む^[14]。これは自明なことではない^[15]。
• B+
  dR は離散付値から定義される位相を持つ^[16]。これとは別に、定義 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 の部分環である^[13]。体の部分環なので整域である^[17]。
• B_crys は P₀ と Q_p(i) を含む（i は任意の整数）^[13]。
• 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 の部分環である^[18]。体の部分環なので整域である^[17]。
• B_st は u_s と書かれる一つの元で B_crys 上生成される。u_s は B_crys 上超越的なので^[19]、B_st は B_crys 上の一変数多項式環と同型な環である^[18]。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 の素元 π の取り方にも依らない。

B_dR

環 R を射影系

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

W(R) を R を係数とするヴィット・ベクトルのなす環とする。W(R) から K の完備化 C_K の整数環 𝒪_CK への写像 θ を

${\displaystyle \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 代数になる^[21]ので 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_dR とする。

B_crys

記号は前節と同じとする^[14]。ξ_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^PD(R) の p 進完備化を A_crys とし、B+
crys を

${\displaystyle B_{\mathrm {crys} }^{+}:=A_{\mathrm {crys} }[p^{-1}]}$

で定義する^[22]。B+
crys は B_dR に埋め込める。t を自然な単射 Q_p(1) ↪ Fil¹ B_dR による0ではない元の像とする^[23]。B_crys を

${\displaystyle B_{\mathrm {crys} }=B_{\mathrm {crys} }^{+}[t^{-1}]}$

で定義する。

B_st

記号は前節と同じとする^[19]。π を 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 を

${\displaystyle 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 で生成される環として定義する。

注釈

出典