[論文レビュー] Remarks on Ekedahl-Oort stratifications

Chao Zhang|arXiv (Cornell University)|Jan 26, 2014

Advanced Algebra and Geometry参考文献 9被引用数 4

ひとこと要約

本稿は、Hodge型のシュミラ多様体上のエーケルダ-Oールト層構造がシンプレクティック埋め込みに依存しないことを確立し、関連する写像が $mathbb{Z}_p$ 上の再帰的群スキームに拡張可能な場合、シュミラ多様体の写像における函手性を証明する。主な結果は、エーケルダ-Oールト写像 $zeta$ がシュミラデータとコアラクター $mu$ によって一意に決定され、Canonical であることであり、これにより異なるシンプレクティック実現の間で一貫性が保たれ、$G_0$-zips を用いた可換図式を通じてシュミラ多様体の写像と整合する。

ABSTRACT

This short paper is a continuation of the author's Ph.D thesis, where Ekedahl-Oort strata are defined and studied for Shimura varieties of Hodge type. The main results here are as follows. 1. The Ekedahl-Oort stratification is independent of the choices of symplectic embeddings. 2. Under certain reasonable assumptions, there is certain functoriality for Ekedahl-Oort stratifications with respect to morphisms of Shimura varieties.

研究の動機と目的

• Hodge型のシュミラ多様体上のエーケルダ-Oールト層構造がシンプレクティック埋め込みの選択に依存するかどうかという未解決問題を解消すること。
• 特に函手性の文脈において、シュミラ多様体の写像下でのエーケルダ-Oールト層構造の振る舞いを調査すること。
• シンプレクティックデータに依存しない、標準的かつ内在的なエーケルダ-Oールト写像 $\zeta$ の構成を確立すること。
• 関連写像が $\mathbb{Z}_p$-群スキームに拡張可能な場合、シュミラ多様体の写像とエーケルダ-Oールト層構造が整合することを証明すること。

提案手法

• シンプレクティック埋め込みを用いてエーケルダ-Oールト写像 $\zeta: \mathscr{S}_{0,K}(G,X) \to G_0\texttt{-Zip}_\kappa^\mu$ を構成し、その埋め込みの選択への依存性を分析する。
• $O_{E,(v)}$ 上の整数的標準モデル $\mathscr{S}_K(G,X)$ 及びその特別ファイバー $\mathscr{S}_0$ を用いて、$G_0$-zips を用いて層構造を定義する。
• $G_0$-zips の $\mu$ 型の理論を適用し、同じ $G_0$-zip 構造を用いて異なるシンプレクティック埋め込みによる構成を比較する。
• 二つの異なるシンプレクティック埋め込みが $\mathscr{S}_0$ 上で同型な $G_0$-zip 構造を誘導することを証明し、したがって写像 $\zeta$ が埋め込みに依存しないことを示す。
• 函手性の観点から、$G'_0$-zips の引き戻しを含む可換図式を構成し、$f_{\mathbb{Q}_p}$ が $\mathbb{Z}_p$-群スキームに拡張可能であることを利用して、$G_0$-zips 間の整合的な写像を誘導する。
• テンソル構成と torsor の同型を用いて、異なる埋め込みおよび写像間での $G_0$-zip 構造を比較し、Theorem 1.19 と $\mu$-構造の性質に依存する。

実験結果

リサーチクエスチョン

• RQ1 Hodge型のシュミラ多様体上のエーケルダ-Oールト層構造は、シンプレクティック埋め込みの選択に依存するか？
• RQ2 エーケルダ-Oールト層構造はシュミラ多様体の写像において函手的とみなせるか？
• RQ3 どのような条件下でシュミラデータの写像が、関連するエーケルダ-Oールト層構造に整合する写像を誘導するか？
• RQ4 エーケルダ-Oールト写像 $\zeta$ は、シンプレクティック埋め込みなどの補助的選択に依存するのか、それともシュミラデータそのものに内在するのか？

主な発見

• エーケルダ-Oールト写像 $\zeta: \mathscr{S}_{0,K}(G,X) \to G_0\texttt{-Zip}_\kappa^\mu$ は、シュミラデータ $(G,X)$ とコアラクター $\mu$ によって一意に決定され、シンプレクティック埋め込みの選択に依存しない。
• エーケルダ-Oールト層構造の構成は標準的であり、シンプレクティック埋め込みなどの補助的データに依存しない。これは、以前の研究における主要な曖昧さを解消する。
• シュミラデータの写像 $f: (G,X) \to (G',X')$ が $\mathbb{Z}_p$ 上の再帰的群スキームに拡張可能な場合、特別ファイバー上のエーケルダ-Oールト写像を関連付ける標準的可換図式が存在する。
• 誘導される $G_0$-zips 間の写像は、写像 $f$ およびコアラクター $\mu$ と整合的であり、このような写像下での層構造の函手性を保証する。
• この整合性は、$G_0$-zip 構造の同型および $G'_0$-zips の引き戻しを通じて確立され、$f$ 沿いの基底変換において $G_0$-zip 構造が保存されることを示す。
• PEL型および一般のHodge型の例は、標準的図式がザルキンのトリックや標準的埋め込みから生じる標準的設定で可換であることを確認する。