[論文レビュー] 2-adic integral canonical models and the Tate conjecture in characteristic 2

Wansu Kim, Keerthi Madapusi Pera|arXiv (Cornell University)|Dec 8, 2015

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

ひとこと要約

本稿は、E. ローによるDieudonné表示を用いた2可除群の分類およびキシンのp進ホッジ理論を用いて、特異的レベルにおける2進整数的標準モデルを、アーベル型の志村多様体に対して構成する。主な貢献は、特徴2におけるK3多様体に対して、Tate予想の証明であり、ここでは従来の手法が失敗した。

ABSTRACT

We use E. Lau's classification of 2-divisible groups using Dieudonné displays to construct integral canonical models for Shimura varieties of abelian type at 2-adic places where the level is hyperspecial. We apply this to prove the Tate conjecture for K3 surfaces in characteristic 2.

研究の動機と目的

• 特異的レベルにおける2進p進場所におけるアーベル型志村多様体の整数的標準モデルの構成を完了し、先行研究を拡張する。
• 特に特徴2における、有限生成体上のK3多様体に対するTate予想を確立する。ここでは、従来未解決であった。
• 2進整数環上での2可除群の分類をDieudonné表示を用いて行うローの理論を、p進ホッジ理論および算術幾何に応用する。
• キシンによるLanglands-Rapoport予想の証明を2進p進場所に拡張し、理論のより広範な適用可能性を可能にする。
• 将来の平均Colmez予想およびp進自己形式に関する研究のための基盤的道具を提供する。

提案手法

• E. ローによる、Dieudonné表示を用いた2可除群の分類を、2進整数環の広いクラスに適用し、2進p進場所における整数的標準モデルを構成する。
• Kisinのp進ホッジ理論的構成を適用し、ガロア表現およびクリスタリンコホモロジーと整合するように保証する。
• Frobeniusの持ち上げを伴う環 $\mathfrak{S} = W[[u]]$ 上のBreuil-Kisinモジュールを用いて、p進ガロア表現をモデル化する。
• クリスタリン表現における $\mathbb{Z}_p$-格子からBreuil-Kisinモジュールへの完全忠実なテンソル関手を用い、幾何とガロア理論を結びつける。
• 変形理論および局所モデルの理論を用いて、通常部分集合上で $\ell$-進コホモロジーとde Rhamコホモロジー間の等長写像を拡張する。
• モジュライ空間 $\tilde{\mathsf{M}}^{\mathrm{sm}}_{2d}$ の正規性に依拠し、一般化されたファイバーから整数的モデルへの等長写像の拡張を行う。

実験結果

リサーチクエスチョン

• RQ1 特異的レベルにおける2進p進場所におけるアーベル型志村多様体の整数的標準モデルを構成することは可能か？
• RQ2 有限生成体上、特に特徴2におけるK3多様体に対してTate予想は成り立つか？
• RQ3 Dieudonné表示によるローの2可除群分類を用いて、2進p進整数的モデルへのp進ホッジ理論を拡張できるか？
• RQ4 特徴2において、周期写像や変形理論が既知でない状況でも、K3多様体のTate予想は成立するか？
• RQ5 これらの整数的モデルを用いて、Langlands-Rapoport予想を2進p進場所に拡張できるか？

主な発見

• 本稿は、特異的レベルにおける2進p進場所におけるアーベル型志村多様体の2進整数的標準モデルを構成し、理論における空白を埋めた。
• 有限生成体上、特に特徴2におけるK3多様体に対するTate予想が証明された。ここでは、従来未解決であった。
• 証明は、モジュライ空間 $\tilde{\mathsf{M}}^{\mathrm{sm}}_{2d}$ の通常部分集合上で $\ell$-進コホモロジーとde Rhamコホモロジー間の等長写像を拡張することに依拠している。
• ローのDieudonné表示分類とキシンのp進ホッジ理論との整合性を用いることで、整数性およびガロア作用との整合性を保証した。
• キシンによるLanglands-Rapoport予想の証明を2進p進場所に拡張し、以前の制限を除去した。
• 本稿は、Artinによるピカールランク定数性の結果と、滑らか部分集合での予想の正当性を用いて、超特異K3多様体に対してもTate予想が成立することを確立した。