[論文レビュー] On the coherence conjecture of Pappas and Rapoport

Xinwen Zhu|arXiv (Cornell University)|Dec 29, 2010

Advanced Algebra and Geometry参考文献 38被引用数 6

ひとこと要約

この論文は、分岐ユニタリ群の局所モデルに関して、PappasとRapoportの一般化された一貫性予想を、グローバルなシューベルト多様体とフォビオウス分割技術を用いて証明する。主な結果として、これらの局所モデルの特別ファイバーの平坦性と非特異性が確立され、パラハオリレベル構造を備えたシムーラ多様体の算術的幾何における中心的問題が解決される。

ABSTRACT

We prove the (generalized) coherence conjecture of Pappas and Rapoport. As a corollary, one theorem of Pappas an Rapoport, which describes the geometry of the special fibers of the local models for ramified unitary groups, holds unconditionally. Our proof is based on the study of the geometry (in particular certain line bundles and $\ell$-adic sheaves) of the global Schubert varieties, which are the (generalized) equal characteristic counterparts of the local models.

研究の動機と目的

• 分岐ユニタリ群の局所モデルの特別ファイバーの幾何を支配する、PappasとRapoportの一貫性予想を解決すること。
• モジュライ的解釈に依存せずに、局所モデルの特別ファイバーの次元と非特異性を幾何的に特徴付けること。
• 一貫性予想を条件なしに証明することで、修正された局所モデルの平坦性を確立すること。
• 特にパラハオリレベル構造とp進シムーラ多様体の文脈において、非分岐の場合を超えて局所モデルの理解を拡張すること。
• しばしば平坦でない「素朴なモデル」と正しい平坦モデルとの間のギャップを、一貫性予想に符号化されたコhomological基準によって埋める。

提案手法

• 離散付値環上に定義された、局所モデルの等特徴的類似物としてのグローバルなシューベルト多様体を構成すること。
• グローバルなシューベルト多様体上のラインバンドルとℓ-adic層を研究し、それらのコホモロジー的性質を分析すること。
• フォビオウス分割技術を適用して、特定のラインバンドルに対する高次コホモロジーの消滅を証明し、一貫性予想を幾何的性質に還元すること。
• Wakimotoフィルトレーションと近接サイクルファンクターを用いて、グローバルなシューベルト多様体と局所モデルのコホモロジーを関連付けること。
• 正規化への変形と中心的層理論を用いて、基底変換およびフォビオウス準同型の下での層の振る舞いを分析すること。
• 相対的フォビオウス準同型とグローバーク・デュアルィティを用いて、双対層とコホモロジー関手の間の同型を確立し、予想の証明に不可欠な技術的ツールを提供すること。

実験結果

リサーチクエスチョン

• RQ1 局所モデルの特別ファイバーが非特異的かつ平坦であるかどうかを決定する、正確なコホモロジー的基準は何か？
• RQ2 グローバルなシューベルト多様体は、局所モデルの等特徴的類似物として、特別ファイバーの幾何をどの程度反映するか？
• RQ3 フォビオウス分割と近接サイクル技術を用いて、一貫性予想をどの程度まで証明できるか？
• RQ4 分岐ユニタリ群の修正された局所モデルの特別ファイバーは、制御されたコホモロジーを持つシューベルト多様体の和集合として記述可能か？
• RQ5 Iwahori-Weyl群とパラハオリ部分群は、局所モデルの特別ファイバーの構造を決定づける役割を果たすか？

主な発見

• PappasとRapoportの一般化された一貫性予想が完全に証明され、シューベルト多様体の和集合上の特定のアーモニックラインバンドルの切断空間が、正確な次元公式を満たすことが示された。
• 分岐ユニタリ群の局所モデルの特別ファイバーが、p進体の整数環上、条件なしに非特異的かつ平坦であることが示された。
• 証明により、与えられたコウェイトμに対応するグローバルなシューベルト多様体がフォビオウス分割可能であることが示され、高次コホモロジーの消滅と切断の整合性が従う。
• グローバルなシューベルト多様体に近接サイクルファンクターを適用すると、局所モデルの特別ファイバーのコホモロジーが回復され、グローバルとローカルの幾何の直接的な関連が確立された。
• 相対的フォビオウス準同型とその双対層との相互作用が、基底変換と可換であることが示され、証明における重要な技術的ツールとなった。
• 相対的設定において、双対層と(1−p)乗のフォビオウスプッシュフォワードされた正則層の間の同型が確立され、家族におけるグローバーク・デュアルィティの利用が可能になった。