[論文レビュー] EKOR strata for Shimura varieties with parahoric level structure

Xu Shen, Chia‐Fu Yu+1 more|arXiv (Cornell University)|Oct 17, 2019

Advanced Algebra and Geometry参考文献 59被引用数 8

ひとこと要約

本稿は、$G$-zipsと局所$σ$-層を用いて、パラホリックレベル構造をもつ志村多様体上のEKOR層を幾何学的に構成し、その滑らかさ、次元公式、閉包関係を確立する。Kisin-Pappas整数的モデルに対するHe-Rapoport公理を確認し、EKOR層がKR層を細分し、ニュートン層および中心層と関係することを示し、従来の群論的構成の直接的な幾何的実現を提供する。

ABSTRACT

In this paper we study the geometry of reduction modulo $p$ of the Kisin-Pappas integral models for certain Shimura varieties of abelian type with parahoric level structure. We give some direct and geometric constructions for the EKOR strata on these Shimura varieties, using the theories of $G$-zips and mixed characteristic local $\mathcal{G}$-Shtukas. We establish several basic properties of these strata, including the smoothness, dimension formula, and closure relation. Moreover, we apply our results to the study of Newton strata and central leaves on these Shimura varieties.

研究の動機と目的

• パラホリックレベル構造をもつ志村多様体上のEKOR層の、純粋に群論的定義を越えた直接的な幾何的構成を提供すること。
• アーベル型でパラホリックレベル構造をもつ志村多様体のKisin-Pappas整数的モデルに対するHe-Rapoport公理を検証すること。
• EKOR層の幾何的性質、特に滑らかさ、次元公式、閉包関係を確立すること。
• EKOR層がニュートン層および中心層とどのように関係するかを明らかにし、志村多様体のmod $p$ 幾何における役割を明確にすること。
• $G$-zipsおよび局所$σ$-層の理論を拡張し、混合特徴角におけるEKOR層の構成と解析を行うこと。

提案手法

• 志村多様体の特異ファイバー上でのEKOR層の幾何的構成に、$G$-zipsおよび混合特徴角の局所$σ$-層の理論を用いる。
• アーベル型でパラホリックレベル構造をもつ志村多様体のKisin-Pappas整数的モデルを適用し、その局所モデル図を活用する。
• $p$-可除群とクリスタルテンソルの変形理論を用いて、特異ファイバー上の点と完全なDVR上への持ち上げを関係付ける。
• Serre-Tate定理を用いて、アーベル多様体の持ち上げを$p$-可除群の持ち上げに関連付け、モジュライ空間内の点の構成を可能にする。
• 写像$\Upsilon_{\mathsf{K}}$と$\Upsilon_{\mathsf{K}^\prime}$を関係付ける可換図式を構成し、He-Rapoportの公理4(c)を確認する。
• モジュライ空間間の準同型$\pi_{\mathsf{K}^\prime,\mathsf{K}}$を解析し、有限個のファイバーと全射性を証明することで、層の有限性および基底変換との整合性を確立する。

実験結果

リサーチクエスチョン

• RQ1 パラホリックレベル構造をもつ志村多様体上のEKOR層は、純粋に群論的定義を越えてどのように幾何学的に構成できるか？
• RQ2 志村多様体のmod $p$ 細分におけるEKOR層、ニュートン層、中心層の関係は何か？
• RQ3 Kisin-Pappas整数的モデル上のEKOR層は、特に公理4(c)に関してHe-Rapoport公理を満たすか？
• RQ4 パラホリックの場合におけるEKOR層の幾何的性質（滑らかさ、次元、閉包関係）は何か？
• RQ5 パラホリックレベル構造の文脈において、EKOR層はKR層をどのように細分するか？

主な発見

• Kisin-Pappas整数的モデルの特異ファイバー上のEKOR層は、$G$-zipsと局所$σ$-層を用いた幾何的手法により滑らかであることが示された。
• EKOR層の次元公式が明示的に計算され、EO層およびKR層の既知の結果を一般化した。
• EKOR層の閉包関係は、ブルア・ティットスの複体およびイワホリ・ウェイル群の作用を用いて特定された。
• モジュライ空間間の準同型$\pi_{\mathsf{K}^\prime,\mathsf{K}}$は有限個のファイバーを持ち、全射である。これにより、層の有限性および基底変換との整合性が確認された。
• 一般のパラホリックレベル構造において、EKOR層の層はKR層を細分し、特異ファイバーのより細かい分解を提供する。
• 条件$p > 2$、$K^\prime = K^{\prime\circ}$、$K = K^{\circ}$の下で、標準的Rapoport-Zinkモデルに対するHe-Rapoportの公理4(c)が構成により確認され、EKOR理論の基礎的枠組みが妥当であることが裏付けられた。