[論文レビュー] Extending torsors on the punctured Spec(A_inf)

Johannes Anschütz|arXiv (Cornell University)|Apr 17, 2018

Algebraic structures and combinatorial models参考文献 27被引用数 5

ひとこと要約

この論文は、Fontaineの環 $A_{\mathrm{inf}}$ の穴あきスペクトル上のパラホリック群スキームに関する torsor が、全スペクトルに拡張可能であることを証明している。これは、混合特徴および等特徴の設定における先行結果を一般化する。下降法とMal'cev-Neumann級数を用いた新規な「decompletion」技法を用いて、特定の穴あきスペクトル上の $G$-torsor が自明であることを確立し、$B^{+}_{\mathrm{dR}}$-アフィングラスマンイアンからウィットベクトルアフィンフラッグ多様体への自然な特化写像の構成に応用する。

ABSTRACT

We prove that torsors under parahoric group schemes on the punctured spectrum of Fontaine's ring $A_{\mathrm{inf}}$, extend to the whole spectrum. Using descent we can extend a similar result for the ring $\mathfrak{S}$ of Kisin and Pappas to full generality. Moreover, we treat similarly the case of equal characteristic. As applications we extend results of Ivanov on exactness of the loop functor and present the construction of a canonical specialization map from the $B^+_{\mathrm{dR}}$-affine Grassmannian to the Witt vector affine flag variety.

研究の動機と目的

• パラホリック群スキーム $\mathcal{G}$ を $\mathcal{O}_E$ 上にとったとき、$A_{\mathrm{inf}}$ の穴あきスペクトルからの $\mathcal{G}$-torsor が全スペクトルに拡張可能であることを確立すること。
• 特に $R_E = \mathcal{O}_E[[z]]$ のような環に対して、混合特徴および等特徴設定における torsor 拡張結果を一般化すること。
• torsor 拡張を用いて、$B^{+}_{\mathrm{dR}}$-アフィングラスマンイアンからウィットベクトルアフィンフラッグ多様体への自然な特化写像を構成すること。
• 混合特徴におけるシムーラ多様体の整数的モデルや、混合特徴の局所 shtuka のモジュライ空間を研究するための基盤的道具を提供すること。

提案手法

• 下降法とパラホリック性を用いて、$V = \mathrm{Spec}(A_{\mathrm{inf}}[1/\pi])$ 上の $G$-torsor の自明性を示すことで、問題を帰着させること。
• 実数の指数をもつMal'cev-Neumann級数を用いて、$\tilde{A}_{\mathrm{inf}}$ と呼ばれる「decompletion」環を導入し、クリスタルリン部分をランク1の価値環に単純化すること。
• アフィンスキーム上のブラウアー群に関するGabberの定理を適用し、トーラスの場合の自明性を証明することで、準分裂・単連結・半単純群への帰着を可能にする。
• Steinbergの定理と特定の体のコhomological次元1の性質を活用し、問題を $\tilde{A}_{\mathrm{inf}}[1/\pi]$ の一般点における自明性の確認に帰着させること。
• $\tilde{A}_{\mathrm{inf}}$ が $\pi$ に関してヘンゼル的であることを利用し、$V$ 上の torsor を $\tilde{V}$ 上に持ち上げることで、クリスタルリン部分の幾何を単純化すること。
• 基底変換 $A_{\mathrm{inf}} \to W(k)$ 沿いに特化写像を構成し、拡張結果により $B^{+}_{\mathrm{dR}}$-torsor と $W(k)$-torsor を同定すること。

実験結果

リサーチクエスチョン

• RQ1 任意のパラホリック群スキーム $\mathcal{G}$ に対して、$A_{\mathrm{inf}}$ の穴あきスペクトル上の $\mathcal{G}$-torsor は全スペクトルに拡張可能か？
• RQ2 $R_E = \mathcal{O}_E[[z]]$ の場合の拡張結果は、$G$ がタイルード・ラミネート拡大で分解可能である場合を越えて、一般に成り立つか？
• RQ3 torsor 拡張を用いて、$B^{+}_{\mathrm{dR}}$-アフィングラスマンイアンからウィットベクトルアフィンフラッグ多様体への自然な特化写像を構成可能か？
• RQ4 $V = \mathrm{Spec}(A_{\mathrm{inf}}[1/\pi])$ 上の $G$-torsor の自明性は、アフィングラスマンイアンの構造とガロアコホモロジーの間でどのように関係しているか？

主な発見

• すべての $\mathcal{G}$-torsor が $A_{\mathrm{inf}}$ の穴あきスペクトル上で全スペクトルに拡張可能であることが、定理9.10で証明された。
• この拡張結果により、$\mathrm{Spec}(R_E)\setminus\{s\}$ 上の $G$-torsor が $\mathrm{Spec}(R_E)$ に拡張可能であり、[27]および[22]における先行結果を一般化する。
• 基底変換 $A_{\mathrm{inf}} \to W(k)$ 沿いに、$\mathrm{sp}: G(B_{\mathrm{dR}}(C))/G(B_{\mathrm{dR}}^{+}(C)) \to G(W(k)[1/p]) / \mathcal{G}(W(k))$ という自然な特化写像が torsor 拡張と組み合わせて構成された。
• トーラスの場合、特化写像は標準的射影 $X_*(T) \to X_*(T)_\Gamma$ と一致し、既知のアフィングラスマンイアンの記述と整合することが確認された。
• 証明は、クリスタルリン部分をランク1の価値環に単純化する新規な「decompletion」技法（Mal'cev-Neumann級数を用いる）に依拠しており、これによりコホモロジー的議論が可能になった。
• この結果は、パラホリックレベル構造をもつシムーラ多様体の整数的モデルの構成や、混合特徴の局所 shtuka のモジュライ空間の研究に、重要な技術的道具を提供する。