[論文レビュー] Geometry of Shimura varieties of Hodge type over finite fields

Adrian Vasiu|ArXiv.org|Dec 11, 2007

Advanced Algebra and Geometry参考文献 35被引用数 3

ひとこと要約

本稿は、有限体上におけるHodge型のシムーラ多様体の整数的モデルについて、包括的でアクセス可能な概説を提供する。主な焦点は、その構成、モジュライ的解釈、滑らかさ、固有性、および特異ファイバーの分割構造である。主な貢献は、特定の条件下でTraversoの分割とその純粋性の性質の確立であり、$ p $-可除群の構造に関連するレベル $ n_v $ に対する明示的な上限の導出である。

ABSTRACT

We present a general and comprehensive overview of recent developments in the theory of integral models of Shimura varieties of Hodge type. The paper covers the following topics: construction of integral models, their possible moduli interpretations, their uniqueness, their smoothness, their properness, and basic stratifications of their special fibres.

研究の動機と目的

• 非専門家向けに、Hodge型のシムーラ多様体の整数的モデルについて自己完結的でアクセス可能な入門を提供すること。
• これらの整数的モデルの構成、モジュライ的解釈、および幾何的性質（滑らかさ、固有性）を明確にすること。
• 特異ファイバーの分割構造、特にTraversoの分割を分析し、重要な仮定の下でその純粋性の性質を確立すること。
• Traversoの分割が安定化するレベル $ n_v $ の上限を特定すること、特に超特異の場合に注目する。

提案手法

• 再帰的群、$ p $-可除群、$ F $-クリスタル、およびディエドンネ加群の理論を用いて、整数的モデルの構成と解析を行う。
• 変形理論とネロンモデルを用いて、Hodgeサイクルを備えたアーベルスキームのモジュライ空間を研究する。
• $ \text{GL}(W) $- torsor および $ \text{Ker}(\text{H}(W(k)) \to \text{H}(W_m(k))) $ の言語を用いて、レベル $ m $ およびTraversoの分割を定義する。
• 反射体 $ E(G,\mathcal{X}) $ 上の標準モデル $ \text{Sh}(G,\mathcal{X}) $ に依拠し、素数 $ v $ に対して $ O_{(v)} $ 上に整数的モデルを構成する。
• $ D[p^{\lceil cd/(c+d)\rceil}] $ のノイザー多角形を用いて、$ (M,\phi) $ のノイザー多角形を決定し、これにより分割構造と関連付ける。
• [Va5, Cor. 4.3] および [Va3, Main Thm. A] の結果を応用して、特異ファイバーの正則性、等次元性、および準アフィン性を証明する。

実験結果

リサーチクエスチョン

• RQ1 Hodge型のシムーラ多様体の特異ファイバーにおけるレベル $ m $ 分割 $ \mathfrak{L}_m $ が純粋性の性質を有するのはどのような条件下か？
• RQ2 Traversoの分割 $ \mathfrak{T} = \mathfrak{L}_{n_v} $ が安定化する最小の $ n_v $ は何か？ そしてこれは素数 $ v $ にどのように依存するか？
• RQ3 Traversoの分割は、レベル $ m $ の $ p $-可除群の切断として明示的に記述可能か？
• RQ4 $ \mathcal{E}_g[p^{n_v}] $ の同型類が $ p $-可除群 $ D $ の同型類をどのように決定するか？
• RQ5 超特異点において $ \mathcal{A}_{r,1,N} $ に対して $ n_p = r $ であるか、Traversoの予想が示唆するように？

主な発見

• 有限体上での $ p $-可除群 $ D $ のノイザー多角形は、$ D[p^{\lceil cd/(c+d)\rceil}] $ によって一意に決定され、これにより分割構造と関連づけられる。
• 整数的モデルの特異ファイバー $ \mathfrak{n} $ は、[Va5, Cor. 4.3] を用いて、$ \mathcal{L}(N)_{v,l}^{\rm s} $ 上で正則的で、等次元的かつ準アフィン的であることが示された。
• 仮定 (*), (**), (***) および (****) の下で、Traversoの分割 $ \mathfrak{T} = \mathfrak{L}_{n_v} $ が存在し、純粋性の性質を有することが保証された。
• $ \mathcal{A}_{r,1,N,\mathbb{F}_p} $ の超特異点において、Traversoの分割は $ \mathfrak{L}_r $ と一致し、$ n_p \geq r $ であることが示された。
• すべての $ m \geq n_v $ に対して $ \mathfrak{L}_m = \mathfrak{L}_{n_v} $ が成り立つため、分割はレベル $ n_v $ で安定化することが示された。
• 超特異の場合に $ n_p \geq r $ である上限は鋭く、Traversoの予想は $ n_p = r $ を示唆しているが、これは未解決のままである。