[論文レビュー] Kottwitz-Rapoport conjecture on unions of affine Deligne-Lusztig varieties

Xuhua He|arXiv (Cornell University)|Aug 25, 2014

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

ひとこと要約

この論文は、分岐が弱い群およびパラホリック部分群に対して、一般化されたアフィンデリーニュ＝ルスティグ多様体 $X(\mu,b)_J$ の和集合の空でないことを示すコットヴィッツ＝ラポポート予想を証明する。$X(\mu,b)_J \neq \emptyset$ であるための必要十分条件は、$\sigma$-共役類 $[b]$ が集合 $B(G,\mu)$ に属することであることを示し、これは群論的形でのマザールの不等式に対応する。この証明は、許容集合とねじれたループ群における $\sigma$-共役類の性質を用いる。

ABSTRACT

In this paper, we prove a conjecture of Kottwitz and Rapoport on a union of (generalized) affine Deligne-Lusztig varieties $X(μ, b)_J$ for any tamely ramified group $G$ and its parahoric subgroup $P_J$. We show that $X(μ, b)_J eq \emptyset$ if and only if the group-theoretic version of Mazur's inequality is satisfied. In the process, we obtain a generalization of Grothendieck's conjecture on the closure relation of $\s$-conjugacy classes of a twisted loop group.

研究の動機と目的

• 分岐が弱い群およびパラホリック部分群に対して、一般化されたアフィンデリーヌュ＝ルスティグ多様体 $X(\mu,b)_J$ の和集合の空でないことを示すコットヴィッツ＝ラポポート予想を解決すること。
• 群論的形でのマザールの不等式を用いて、$X(\mu,b)_J$ の空でないための明確な基準を確立すること。
• ねじれたループ群における $\sigma$-共役類の閉包関係に関するグローテンディークの予想を一般化すること。
• パラホリックレベル構造を持つシムーラ多様体の還元におけるニュートン層とコットヴィッツ＝ラポポート層の関係を明確にすること。

提案手法

• $X(\mu,b)_J$ を、$gP_J \in G(L)/P_J$ で、$g^{-1}b\sigma(g) \in \bigcup_{w \in \operatorname{Adm}_J(\mu)} P_J w P_J$ を満たすものとして定義し、許容集合 $\operatorname{Adm}_J(\mu)$ と関連付ける。
• $\sigma$-共役類が $\mathrm{Iwahori}$-ウェイル群から $G(L)$ への自然な写像 $\Psi: B(\tilde{W}, \sigma) \to B(G)$ を用い、直線的要素とその部分順序 $\preceq_\sigma$ に注目する。
• $B(G,\mu)$ の最大元が許容集合に代表されることを活用し、既知の空でない基準への還元を可能にする。
• $G(L)$ における許容部分集合と閉包の理論を用い、モイ＝プラサドのフィルトレーションと $I_r$-安定性の構造を用いて $\sigma$-共役類の閉包を分析する。
• $G(L) \cdot_\sigma IwI$ が許容的であり、その閉包が $\bigcup_{w' \leq w} G(L) \cdot_\sigma Iw'I$ に一致することを証明し、グローテンディークの予想を一般化する。
• 写像 $\Psi$ の全射性と、直線的 $\sigma$-共役類によるセクションの存在を用い、$X(\mu,b)_J$ の空でない性質を $[b] \in B(G,\mu)$ という条件に還元する。

実験結果

リサーチクエスチョン

• RQ1 分岐が弱い群 $G$ およびパラホリック部分群 $P_J$ に対して、アフィンデリーヌュ＝ルスティグ多様体 $X(\mu,b)_J$ の和集合が空でないための条件は何か？
• RQ2 群論的形でのマザールの不等式は、$X(\mu,b)_J$ の空でない性質をどのように特徴付けるか？
• RQ3 ねじれたループ群における $\sigma$-共役類の閉包関係は、元々のグローテンディークの予想を超えて一般化可能か？
• RQ4 シムーラ多様体の還元におけるニュートン層 $[b]$ と $\operatorname{Adm}_J(\mu)$ でインデックス付けられたコットヴィッツ＝ラポポート層の正確な関係は何か？
• RQ5 コットヴィッツとラポポートが予想したように、$X(\mu,b)_J$ の空でない性質は、$[b]$ が集合 $B(G,\mu)$ に属することと同値であるか？

主な発見

• この論文は、$X(\mu,b)_J \neq \emptyset$ であるための必要十分条件が $[b] \in B(G,\mu)$ であること、すなわち分岐が弱い群に対してコットヴィッツ＝ラポポート予想が成立することを証明する。
• $X(\mu,b)_J$ の空でない性質は、$p$-進群の文脈におけるホッジ多角形とニュートン多角形の比較を行う群論的形でのマザールの不等式の満たされることと同値である。
• $B(G,\mu)$ の最大元は許容集合 $\operatorname{Adm}_J(\mu)$ に代表され、これが証明戦略において中心的な役割を果たす。
• この論文は、ねじれたループ群における $\sigma$-共役類の閉包関係に関するグローテンディークの予想を一般化し、$G(L) \cdot_\sigma IwI$ の閉包が $\bigcup_{w' \leq w} G(L) \cdot_\sigma Iw'I$ に一致することを示している。
• 著者らは、$G(L) \cdot_\sigma IwI$ が $G(L)$ の許容的部分集合であり、その閉包がすべての $w' \leq w$ に対する和集合として特徴づけられることを確立した。これは閉包の議論において不可欠である。
• $\Psi: B(\tilde{W}, \sigma) \to B(G)$ は全射であり、直線的 $\sigma$-共役類によるセクションが存在するため、$\mathrm{Iwahori}$-ウェイル群の設定への還元が可能である。