[論文レビュー] Descent of morphisms of overconvergent F-crystals

Kiran S. Kedlaya|ArXiv.org|May 29, 2001

Algebraic Geometry and Number Theory参考文献 8被引用数 5

ひとこと要約

この論文は、$k((t))$ 上の過収束 $(F,\nabla)$-クリスタルから収束的クリスタルへの埋め込みの全忠実性に関するツヅキの予想を、潜在的に半安定なクリスタルおよび高々2つの異なる勾配を持つクリスタルに制限して証明する。デ・ジョンの半安定変形と勾配層構造の技法を用いて、$k((t))$ 上のクリスタルコホモロジー・クリスタルの過収束性と潜在的半安定性を確立し、カーツのユニポテンシーとガロア表現の同値性に関する問いを解消する。

ABSTRACT

Tsuzuki has conjectured that for crystals with Frobenius and connection over a local field k((t)), the embedding of the category of overconvergent crystals into the category of convergent crystals is fully faithful. We prove Tsuzuki's conjecture restricted to the subcategory of potentially semistable (or quasi-unipotent) crystals, following de Jong's proof of a slightly weaker result. We also prove Tsuzuki's conjecture restricted to crystals with at most two distinct slopes.

研究の動機と目的

• $k((t))$ 上の過収束 $(F,\nabla)$-クリスタルから収束的クリスタルへの埋め込みが、潜在的に半安定なクリスタルに制限して全忠実であることを証明すること。
• デ・ジョンの、自己準同型の拡張に関する定理を、特に対数的構造を備えた $F$-クリスタルの文脈において過収束クリスタルへ拡張すること。
• カーツが提起した、$F$-クリスタルのユニポテンシーとその関連ガロア表現の自明性との同値性に関する問いを解消すること。
• $k((t))$ 上の滑らかでコンパクトな代数的多様体のクリスタルコホモロジーが、過収束的かつ潜在的に半安定な $(F,\nabla)$-クリスタルを導くことを確立すること。
• ランク2および低勾配の場合に限り、過収束クリスタルの潜在的半安定性予想の部分的証明を与えること。

提案手法

• トレイト上での正規的かつ射影的変形 $X_1 \to X$ を、厳密に半安定な特異ファイバーを持つように、デ・ジョンの半安定変形定理を用いて構成する。
• $\tilde{\nabla}$-環上の $F$-クリスタルを、勾配が減少する等傾斜的部品に分解するための勾配層構造理論を適用し、$\tilde{\nabla}$-拡大上での固有ベクトル構成を用いる。
• ポincare双対性と次数の議論により、クリスタルコホモロジー上の引き戻し写像の単射性を示し、有限全単射準同型に対して $\rho^*$ が単射であることを証明する。
• $\tilde{\nabla}$-環上の $\tilde{\nabla}$-拡大への $\tilde{\nabla}$-環上の $\tilde{\nabla}$-クリスタルへの自己準同型の持ち上げを、射影子 $\frac{1}{d}\rho^*\rho_*$ を用いて構成する。
• 定理4.2を適用して、$\tilde{\nabla}$-環上で定義された自己準同型が、元の環 $\tilde{\nabla}$ にまで拡張可能であることを示し、過収束性と潜在的半安定性を保証する。
• $\tilde{\nabla}^{\text{perf}}_{\text{con}} \to \tilde{\nabla}^{\text{perf}}$ の単射性を用いて、基底環の拡大に沿ってフィルトレーションと準同型を降下させる。

実験結果

リサーチクエスチョン

• RQ1 潜在的に半安定なクリスタルに制限した場合、$k((t))$ 上の過収束 $(F,\nabla)$-クリスタルから収束的クリスタルへの埋め込みは全忠実であるか？
• RQ2 $k((t))$ 上の $F$-クリスタルが高々2つの異なる勾配を持つ場合、ツヅキのテート型予想を満たすか？
• RQ3 $k((t))$ 上の滑らかでコンパクトな代数的多様体のクリスタルコホモロジーが、過収束的かつ潜在的に半安定な $(F,\nabla)$-クリスタルを導くことができるか？
• RQ4 $F$-クリスタルのユニポテンシーは、その関連ガロア表現が自明であることと同値か？
• RQ5 デ・ジョンの半安定変形定理は、過収束 $F$-クリスタル間の準同型の降下をどの程度可能にするか？

主な発見

• 潜在的に半安定なクリスタルに制限した場合、過収束 $(F,\nabla)$-クリスタルから収束的クリスタルへの埋め込みの全忠実性に関するツヅキの予想は成立する。
• ランク2の $F$-クリスタルおよび一般に高々2つの異なる勾配を持つ $F$-クリスタルにおいて、この予想は証明された。
• $k((t))$ 上の任意の滑らかでコンパクトな代数的多様体のクリスタルコホモロジーは、過収束的かつ潜在的に半安定な $(F,\nabla)$-クリスタルを導く。
• $k((t))$ 上の $F$-クリスタルがユニポテンツであることは、その関連ガロア表現が自明であることと同値であり、カーツの問いに答えを提示する。
• 滑らかでコンパクトな多様体の有限全単射準同型に対して、クリスタルコホモロジー上の引き戻し写像 $\rho^*$ は単射であり、$\tilde{\nabla}$-環上で定義された射影子 $\frac{1}{d}\rho^*\rho_*$ が存在する。
• 過収束 $(F,\nabla)$-クリスタル間の準同型は、$\tilde{\nabla}^{\text{perf}}_{\text{con}} \to \tilde{\nabla}^{\text{perf}}$ の単射性を用いて $\tilde{\nabla}$-環へと降下可能であり、構造の降下を保証する。