[論文レビュー] Fundamental elements of an affine Weyl group

Sian Nie|arXiv (Cornell University)|Oct 8, 2013

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

ひとこと要約

この論文は、アフィン・ウェイル群における基本的要素の群論的特徴付けを提供し、それらがストレート要素と同値であることを確立し、アフィン・フラッグ多様体におけるニュートン-ホッジ分解の逆を証明する。また、$p$-可除群に関するオールトの最小性結果を一般化し、PEL Shimura多様体の良い還元における任意のニュートン層が最小のエーケルダル-オーレン層を含むことを示し、$P$-基本的アラコーブ要素を用いてヴィエーマンとヴェドホルンの研究を拡張する。

ABSTRACT

Fundamental elements are certain special elements of affine Weyl groups introduced by Gortz, Haines, Kottwitz and Reuman. They play an important role in the study of affine Deligne-Lusztig varieties. In this paper, we obtain characterizations of the fundamental elements and their natural generalizations. We also derive an inverse to a version of "Newton-Hodge decomposition" in affine flag varieties. As an application, we obtain a group-theoretic generalization of Oort's results on minimal p-divisible groups, and we show that, in certain good reduction reduction of PEL Shimura datum, each Newton stratum contains a minimal Ekedahl-Oort stratum. This generalizes a result of Viehmann and Wedhorn.

研究の動機と目的

• アフィン・ウェイル群における基本的要素およびその一般化を特徴付けること。
• アフィン・フラッグ多様体におけるニュートン-ホッジ分解の逆を確立すること。
• $p$-可除群に関するオールトの最小性結果の群論的一般化を提供すること。
• PEL Shimura多様体の良い還元における任意のニュートン層が最小のエーケルダル-オーレン層を含むことを示すこと。
• 基本的要素が Iwahori-ウェイル群における $P$-基本的およびストレート要素と一致することを証明すること。

提案手法

• Iwahori-ウェイル群 $\tilde{W} = N_G(T)(\mathbb{L})/T(\mathbb{F}[[\epsilon]])$ を用いて、$G(\mathbb{L})$ 内の $\sigma$-共役類を研究する。
• $L$-許容的要素の概念を導入し、$I_L$-共役類と $I$-共役類の間の写像 $\psi_{L,\tilde{w}}^G$ を研究する。
• $P$-アラコーブ要素および $P$-基本的要素の理論を用いて、基本的要素を特徴付ける。
• 長さに関する帰納法および $\to_{S,\sigma}$-遷移関係を用いて、$\sigma$-共役およびニュートン共表現を分析する。
• ストレート性条件 $(I\tilde{w}\sigma I)^n = I(\tilde{w}\sigma)^n I$ を用いて、基本的要素を特徴付ける。
• $\sigma$-共役およびレヴィ部分群に関する定理を用いて、基本的要素、$P$-基本的要素、およびストレート要素が同値であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 写像 $\psi_{L,\tilde{w}}^G$ が $I_L$-共役類と $I$-共役類の間で双対写像であるのはいつか？
• RQ2 Iwahori-ウェイル群 $\tilde{W}$ 内の基本的要素はどのように特徴付けられるか？
• RQ3 アフィン・フラッグ多様体におけるニュートン-ホッジ分解は、どのように逆転できるか？
• RQ4 PEL Shimura多様体の良い還元におけるニュートン層が、最小のエーケルダル-オーレン層を含む条件は何か？
• RQ5 基本的要素、$P$-基本的要素、およびストレート要素の間の正確な関係は何か？

主な発見

• Iwahori-ウェイル群 $\tilde{W}$ 内の基本的要素は、ある半標準的パラボリック部分群 $P$ に対して $P$-基本的要素と同値であり、かつすべての $n \in \mathbb{N}$ に対して $(I\tilde{w}\sigma I)^n = I(\tilde{w}\sigma)^n I$ を満たすストレート要素と同値である。
• 写像 $\psi_{L,\tilde{w}}^G$ が双対写像であるのは、$\tilde{w}$ が $M \subset L$ を満たす $P = MN$ に対して $P$-アラコーブ要素であるときであり、これがニュートン-ホッジ分解の逆を与える。
• 各 $P$-基本的要素は単一の $I$-$\sigma$-共役類に属し、これにより関連するエーケルダル-オーレン層の最小性が確認される。
• この論文は、$p$-可除群に関するオールトの最小性結果を群論的設定に一般化し、PEL Shimura多様体の良い還元における任意のニュートン層が最小のエーケルダル-オーレン層を含むことを示している。
• $K$-基本的要素に対して、$\ell_{\nu_{\tilde{w}}}(\tilde{w}\sigma) = 0$ が成り立つのは、$\tilde{w}$ が $P_{\nu_{\tilde{w}}}$-基本的であるときであり、長さとニュートン共表現の振る舞いの関係が結びつけられる。
• 証明により、$\tilde{w}$ が基本的であることは、$\tilde{w}$ が $P_{\nu_{\tilde{w}}}$-アラコーブであることと同値であり、$\tilde{w}\sigma$ が $x\sigma w$ に分解され、$\ell_{\nu_x}(x\sigma) = 0$ かつ $w$ がパラボリック部分群 $W_{J}$ に属する形で表せることも示された。