[論文レビュー] Vertexwise criteria for admissibility of alcoves

Thomas J. Haines, Xuhua He|arXiv (Cornell University)|Nov 20, 2014

Geometric and Algebraic Topology参考文献 12被引用数 6

ひとこと要約

本稿は、ブラハット順序およびワイル群作用を用いて定義される「鈍角錐」の積として、拡張アフィンワイル群における許容アラコーブの集合 ${\rm Adm}(\mu)$ の新たな頂点別特徴付けを導入する。主な結果として、パッパス＝ラポポート＝スミスリングの頂点別許容性予想を証明し、${\rm Adm}(\mu)$ が頂点別条件によって完全に決定されることを示し、コットヴィッツ＝ラポポート予想の鍵となる要素を解消するより強いパラホリック等式を確立する。

ABSTRACT

We give a new description of the set $Adm(μ)$ of admissible alcoves as an intersection of certain "obtuse cones" of alcoves, and we show this description may be given by imposing conditions vertexwise. We use this to prove the vertexwise admissibility conjecture of Pappas-Rapoport-Smithling. The same idea gives simple proofs of two ingredients used in the proof of the Kottwitz-Rapoport conjecture on existence of crystals with additional structure.

研究の動機と目的

• 拡張アフィンワイル群における許容アラコーブの集合 ${\rm Adm}(\mu)$ の新たな頂点別記述を提供すること。
• パッパス＝ラポポート＝スミスリングの頂点別許容性予想を証明すること。この予想は、${\rm Adm}(\mu)$ が頂点別条件によって特徴付けられることを主張する。
• ${\rm Adm}^{st}(\mu) = {\rm Perm}^{st}(\mu) = {\rm Adm}(\mu)$ を示すより強いパラホリック等式を確立することにより、コットヴィッツ＝ラポポート予想の鍵となる要素を解消すること。
• 局所モデルを頂点に関連づけたものから、スキーム的閉包と整合性を用いて ${\rm Adm}(\mu)$ が回復可能であることを示すこと。

提案手法

• ベースアラコープ ${\bf a}$ を用いたブラハット順序に基づき、十分に正則な ${\bf b} \subset w\bar{\mathcal{C}}$ に対してすべての $x$ が $x(\bar{\bf a}) \leq_{\bf b} t_{w\mu}(\bar{\bf a})$ を満たすようなアラコープの集合 $B(t_{w\mu}(\bar{\bf a}), w)$ を定義する。
• 強許容集合 ${\rm Adm}^{st}(\mu) = \bigcap_{w \in W} B(t_{w\mu}(\bar{\bf a}), w)$ を導入する。これはアラコープの「鈍角錐」の積に対応する。
• パラホリック版の許容集合 ${\rm Adm}^J(\{\mu\}) = W_J {\rm Adm}(\{\mu\}) W_J$ を用いて、任意のファセットへ向けた頂点別条件を一般化する。
• 任意の $S_{\rm aff}$ の部分集合 $J$ の集合 $\mathcal{J}$ に対して、$K = \bigcap_{J \in \mathcal{J}} J$ とおくとき、等式 ${\rm Adm}^K(\{\mu\}) = \bigcap_{J \in \mathcal{J}} {\rm Adm}^J(\{\mu\})$ が成り立つことを示す。これは、$\widetilde{W}(G)^\flat$ へのねじれのない商への還元によって証明する。
• ${\rm Adm}(\mu)$ における $x \leq y$ が $\widetilde{W}(G)^\flat$ 内の $x^\flat \leq y^\flat$ と同値であることを利用し、問題を簡約根系の設定に還元する。

実験結果

リサーチクエスチョン

• RQ1 集合 ${\rm Adm}(\mu)$ は、グローバルなブラハット順序の考察に依存せずに、完全に頂点別条件によって記述可能か？
• RQ2 ${\rm Adm}^{st}(\mu) = {\rm Perm}^{st}(\mu)$ は一般に成り立つか。これにより頂点別許容性予想が証明されるか？
• RQ3 パラホリック版の許容集合は、強力な交差公式 ${\rm Adm}^K(\{\mu\}) = \bigcap_{J \in \mathcal{J}} {\rm Adm}^J(\{\mu\})$ を満たすか。ここで $K = \bigcap J$ である。
• RQ4 スキーム的局所モデル $M^\text{loc}_K$ は、自然な準同型 $\pi_{K,\{i\}}$ による $M^\text{loc}_{\{i\}}$ の逆像の交差と一致するか？
• RQ5 整合性予想が、頂点に基づく局所モデルから真の局所モデルを回復可能であると十分か？

主な発見

• ${\rm Adm}(\mu)$ は、アフィンワイル群における傾きのある錐を用いた頂点別条件によって定義される $\bigcap_{w \in W} B(t_{w\mu}(\bar{\bf a}), w)$ と等しい。
• パッパス＝ラポポート＝スミスリングの頂点別許容性予想が証明された。すなわち、${\rm Adm}(\mu)$ は完全に頂点別条件によって特徴付けられる。
• ${\rm Adm}^{st}(\mu) = {\rm Perm}^{st}(\mu)$ が成り立ち、かつこれらはすべて ${\rm Adm}(\mu)$ と等しい。これは、コットヴィッツ＝ラポポート予想の鍵となる要素を解消する。
• 任意の $S_{\rm aff}$ の部分集合 $J$ の集合 $\mathcal{J}$ に対して、$K = \bigcap J$ とおくと、等式 ${\rm Adm}^K(\{\mu\}) = \bigcap_{J \in \mathcal{J}} {\rm Adm}^J(\{\mu\})$ が成り立つ。これは強い構造定理を示す。
• 真の局所モデル $M^\text{loc}_K$ は、スキーム的交差 $\bigcap_{i \in K} \pi^{-1}_{K,\{i\}}(M^\text{loc}_{\{i\}})$ と等しい。これは、ファセットの局所モデルが頂点に基づくモデルから回復可能であることを示している。