[論文レビュー] Cordial elements and dimensions of affine Deligne-Lusztig varieties

Xuhua He|arXiv (Cornell University)|Jan 10, 2020

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

ひとこと要約

この論文は、$w$ が収縮したワイルチャネルに属し、関連するコワイトとニュートン点に特定の支配性および整数性条件が満たされる場合、分裂再帰的群のアフィンフラッグ多様体におけるアフィンデリーニュ＝ルスツジエ Varieties $X_w(b)$ の完全な非空性パターンと次元公式を確立する。主な貢献は、非空性および次元の正確な特徴付けが、Kottwitz不変量 $\kappa(w) = \kappa(b)$、支配順序 $\lambda_w \geq \nu_b$、およびコワイトへの $\flat\flat$-作用を含む精密な条件によってなされることである。

ABSTRACT

The affine Deligne-Lusztig variety $X_w(b)$ in the affine flag variety of a reductive group $\mathbb G$ depends on two parameters: the $σ$-conjugacy class $[b]$ and the element $w$ in the Iwahori-Weyl group $ ilde W$ of $\mathbb G$. In this paper, for any given $σ$-conjugacy class $[b]$, we determine the nonemptiness pattern and the dimension formula of $X_w(b)$ for most $w \in ilde W$.

研究の動機と目的

• 与えられた $\sigma$-共役類 $[b]$ に対して、アフィンフラッグ多様体におけるアフィンデリーニュ＝ルスツジエ多様体 $X_w(b)$ の非空性パターンと次元を特定すること。
• 「協調的要素」と呼ばれる新しいクラスの元を導入することで、基本的 $[b]$ の既存結果を任意の $[b]$ に拡張すること。
• $w$ が収縮したワイルチャネルにある場合に、$\lambda_w$、$\nu_b$、および $\kappa(w)$ に対する明示的で検証可能な条件のもとで、$X_w(b)$ の完全な記述を提供すること。

提案手法

• Iwahori-Weyl 群 $\tilde{W}$ における「協調的要素」の概念を導入し、非空性および次元解析の中心的役割を果たす。
• コワイトへの $\flat\flat$-作用を用いて、支配条件 $\lambda_w \geq \nu_b$ をより強く、非空性の十分条件となるように精緻化する。
• $\Rightarrow_\sigma$-関係を用いて、共役および $\sigma$-共役性を介して $X_w(b)$ の研究を、より単純かつよく理解された状況に還元する。
• 当たる $\operatorname{supp}_\sigma(\eta_\sigma(w)) \subsetneq \mathbb{S}$ の場合、ホッジ＝ニュートン分解を適用し、問題をレヴィ部分群に還元する。
• $\kappa$ および $\nu_b$ を用いた $\sigma$-共役類の分類と、Mazurの不等式を用いて、非空性の可能性を制約する。
• 次元公式 $\dim X_w(b) = d_w(b)$ を用い、ここで $d_w(b)$ は $w$ と $b$ の相対的位置に基づく組合せ論的に定義された関数である。

実験結果

リサーチクエスチョン

• RQ1 固定された $\sigma$-共役類 $[b]$ に対して、Iwahori-Weyl 群 $\tilde{W}$ のどの $w$ に対してアフィンデリーニュ＝ルスツジエ多様体 $X_w(b)$ が非空となるか？
• RQ2 適切な $w$ および $b$ の条件下で、$X_w(b)$ が非空である場合の正確な次元は何か？
• RQ3 $w$ が収縮したワイルチャネルにある場合、すべての $\sigma$-共役類 $[b]$ にわたって $X_w(b)$ の非空性および次元が一様に特徴付けられるか？
• RQ4 $\kappa(w) = \kappa(b)$、$\lambda_w - \nu_b \in \mathbb{Z}_{>0}\text{-span of coroots}$、および $(\lambda_w^{\flat\flat})^\diamondsuit \geq \nu_b$ の条件が非空性をどのように決定するか？
• RQ5 ホッジ＝ニュートン分解により、$\operatorname{supp}_\sigma(\eta_\sigma(w)) \subsetneq \mathbb{S}$ の場合、問題がどの程度レヴィ部分群の状況に還元可能か？

主な発見

• もし $w$ が収縮したワイルチャネルに属し、$\kappa(w) = \kappa(b)$、$\lambda_w - \nu_b$ が単純コルートの正の整数係数線形結合であり、$(\lambda_w^{\flat\flat})^\diamondsuit \geq \nu_b$ ならば、$X_w(b)$ が非空であることと $\operatorname{supp}_\sigma(\eta_\sigma(w)) = \mathbb{S}$ が同値である。
• 同じ条件下で、$X_w(b)$ の次元は正確に $d_w(b)$ に等しく、これは $w$ と $b$ の相対的位置に基づく組合せ論的に定義された次元関数である。
• $\lambda_w^\diamondsuit \geq \nu_b + 2\rho^\vee$ のとき、条件 $(\lambda_w^{\flat\flat})^\diamondsuit \geq \nu_b$ は自動的に満たされるため、非空性基準が単純化される。
• 収縮したワイルチャネル内の $w$ に対して、$\lambda_w^\diamondsuit \geq \nu_b + 2\rho^\vee$ を満たす限り、$X_w(b)$ の非空性は $\kappa(w) = \kappa(b)$ および $\operatorname{supp}_\sigma(\eta_\sigma(w)) = \mathbb{S}$ に完全に依存する。
• ホッジ＝ニュートン分解により、$\operatorname{supp}_\sigma(\eta_\sigma(w)) \subsetneq \mathbb{S}$ の場合、問題はレヴィ部分群に還元可能であり、再帰的解析が可能になる。
• 本結果は、基本的 $[b]$ に関する既存の研究を一般化し、明示的で検証可能な条件のもとで、非基本的 $[b]$ に対しても、非空性および次元の完全な公式を初めて提供する。