Syntomification and crystalline local systems

技術的概要：シントミフィケーションと結晶局所系

問題と文脈
本論文は、$p$-進形式スキームの幾何学と$p$-進ガロア群の表現論との間の関係に取り組む。具体的には、点（すなわち $\text{Spf } \mathcal{O}_K$）に対して確立されたプリズム $F$-クリスタルと結晶ガロア表現との間の Bhatt-Scholze 同値を、滑らかな $p$-進形式スキーム $X$ の設定へと一般化することを目的としている。研究の中心対象は、Bhatt と Lurie によって導入された、$X$ に付随するシントミックスタック $X_{\text{Syn}}$ である。本論文は、シントミックスタック上の完全複体を、剛性一般ファイバー $X_\eta$ 上の局所系の導来圏 $D^{(b)}_{\text{lisse}}(X_\eta, \mathbb{Z}_p)$ に写すエタール実現関手 $\mathcal{T}_{\text{ét}}: \text{Perf}(X_{\text{Syn}}) \to D^{(b)}_{\text{lisse}}(X_\eta, \mathbb{Z}_p)$ を調査する。

対処される主な課題は以下の通りである：

1. 完全複体の圏（およびその同種圏）における $\mathcal{T}_{\text{ét}}$ の本質的像を、結晶局所系の観点から特徴づけること。
2. 同値 $\text{Perf}(\mathbb{Z}_p^{\text{Syn}})[1/p] \simeq D^b(\text{Rep}^{\text{cris}}_{\mathbb{Q}_p}(G_{\mathbb{Q}_p}))$ が、高次元の $X$ に対して一般化されるかどうかを決定すること。
3. 弱可適な濾過付き $F$-イソクリスタルによる結晶表現の記述に類似して、固有の場合における圏 $\text{Perf}(X_{\text{Syn}})[1/p]$ の明示的な代数的記述を提供すること。

手法
著者は、スタック幾何学、降下理論、および$p$-進ホッジ理論の手法を組み合わせる：

• スタック的枠組み：本論文は、形式スタック $X_{\text{Syn}}$、$X_{\text{Nyg}}$（ニヤード）、および $X_\Delta$（プリズム）を利用する。$X_{\text{Syn}}$ の構造は、これらのスタックを含む押し出しと等化子を通じて解析される。
• 反射的層：重要な技術的革新として、シントミックスタック上の反射的層（$\text{Refl}(X_{\text{Syn}})$）の導入がある。著者は、自然写像 $E \to E^{\vee\vee}$ が同型となる整合的層 $E$ としてこれらを定義する。この部分圏は、エタール実現関手が同値を誘導するための正しい定義域であることが示される。
• 核の解析：本論文は、エタール実現関手の核を解析する。Bhatt-Lurie の手法を適応させ、ニヤードに関連する濾過付き対象上のgraded接続を利用することで、核が $(p, v_{1,X})$-冪ねじれとなる整合的 $F$-ゲージから成ることが示される。
• 降下と被覆：証明は、ブレイユ・キシンプリズムに関連するリーススタックを用いた平坦局所全射に大きく依存しており、$X$ 上の大域的な問いを、ブレイユ・キシン加群や $q$-接続を用いた明示的な計算が可能なアフィンスキーム上の局所的な問いに還元する。
• ベイリンソンファイバー正方形：固有の場合において、本論文は、$X$ のシントミックコホモロジーを、その特殊ファイバー上の結晶コホモロジーおよび一般ファイバー上のド・ラームコホモロジーに関連付けるベイリンソンファイバー正方形を構成する。この正方形は、可適な濾過付き $F$-イソクリスタルの圏を定義するために用いられる。

主要な貢献と結果

1. 反射的層のための同値（定理 A）：
   本論文は、滑らかかつ擬コンパクトな $p$-進形式スキーム $X/\text{Spf } \mathcal{O}_K$ に対して、エタール実現関手が圏の同値を誘導することを確立する：
   $$\mathcal{T}_{\text{ét}}: \text{Refl}(X_{\text{Syn}}) \xrightarrow{\sim} \text{Loc}^{\text{cris}}_{\mathbb{Z}_p}(X_\eta)$$
   ここで、$\text{Loc}^{\text{cris}}_{\mathbb{Z}_p}(X_\eta)$ はプロエタール結晶 $\mathbb{Z}_p$-局所系の圏である。この結果は、Guo-Li によって構成された関手 $\Pi_X$ の本質的像が、まさに反射的層であることを特徴づける。

2. 同種圏と結晶コホモロジー（系 1.3）：
   $p$ を反転させると、関手はそれぞれの t-構造の心において同値を誘導する：
   $$\text{Coh}(X_{\text{Syn}})[1/p] \xrightarrow{\sim} \text{Loc}^{\text{cris}}_{\mathbb{Q}_p}(X_\eta)$$
   完全導来圏における $\mathcal{T}_{\text{ét}}[1/p]$ の本質的像は、結晶コホモロジー層を持つ対象の部分圏に含まれるが、本論文は、包含関係は一般に厳密である（すなわち、結晶コホモロジー層を持つすべての複体が本質的像に含まれるわけではない）と指摘している。

3. 単純な一般化の失敗（例 4.7）：
   本論文は、同値 $\text{Perf}(X_{\text{Syn}})[1/p] \simeq D^b(\text{Loc}^{\text{cris}}_{\mathbb{Q}_p}(X_\eta))$ が、一般に高次元の $X$（例えば $X = \mathbb{P}^1_{\mathbb{Z}_p}$）に対して成り立たないことを示す。これは、結晶局所系の圏における拡大に対応しない非消滅するシントミックコホモロジー群 $H^2_{\text{Syn}}$ によって実証される、完全忠実性の失敗によるものである。

4. 固有スキームのための同値（定理 B）：
   $X$ が $\text{Spf } \mathcal{O}_K$ 上で滑らかかつ固有である場合、本論文は以下の同値を証明する：
   $$\text{Perf}(X_{\text{Syn}})[1/p] \xrightarrow{\sim} \text{Perf}^{\text{adm}}_{f\text{Isoc}_\varphi}(X)$$
   ここで、$\text{Perf}^{\text{adm}}_{f\text{Isoc}_\varphi}(X)$ は可適な濾過付き $F$-イソクリスタルの完全複体の圏である。この圏は、特殊ファイバーの結晶サイトと一般ファイバーのド・ラームスタックを含むベイリンソンファイバー正方形を通じて定義される。「可適」条件は、コホモロジー層が結晶局所系に対応することを保証する。

5. コホモロジー計算：
   本論文は、$X = \text{Spf } \mathcal{O}_K$ に対して、シントミックコホモロジー $H^i_{\text{Syn}}(\mathcal{O}_K, E)[1/p]$ が $i \geq 2$ で消滅し、$i=1$ においてブロシュ・カトのセルマー群（または結晶表現における拡大群）と同型であることを示すコホモロジー計算を提供する。この消滅は、点の場合および固有の場合における同値を確立する上で決定的である。

意義と主張
本論文は、Bhatt-Lurie シントミックスタックが $p$-進形式スキームに対して導来リーマン・ヒルベルト対応を提供するかどうかという問いに答えることを主張する。

• 単純な導来同値は一般的な $X$ に対しては成り立たないが、反射的層を通じて正確な特徴付けが存在することを確認する。
• シントミック完全複体と結晶表現との間の同値を、滑らかな固有スキームの同種圏へと成功裡に一般化するが、対象圏を結晶局所系の導来圏ではなく、可適な濾過付き $F$-イソクリスタルへと精緻化する必要がある。
• この研究は、プリズム/スタック的アプローチ（Bhatt-Scholze、Bhatt-Lurie）と、濾過付き $F$-イソクリスタルの古典的理論（Colmez-Fontaine）の間のギャップを埋め、$p$-進形式スキーム上の結晶局所系を研究するための統一的枠組みを提供する。

著者は明示的に、結果は $X$ が滑らかかつ擬コンパクト（または固有）であることに依存しており、$X$ が擬コンパクトでない場合、同種圏の解釈には注意が必要であると述べている。本論文は、非滑らかなスキームに対する問題を解決するものでも、$p$ を反転させずに本質的像の記述を提供するもの（これは将来の課題として残されている）でもないと主張している。