[論文レビュー] Note on affine Deligne-Lusztig varieties

Xuhua He|arXiv (Cornell University)|Aug 31, 2013

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

ひとこと要約

この論文は、アフィンヘッケ代数とアフィンワイル群の組合せ論を用いた群論的技法を開発し、アフィンフラッグ多様体内のアフィンデリーニュ＝ルスツィジ変種の空でないか否か、および次元を決定する。$ w $ が収縮したワイルチャネルにあり、$ b $ が基本的である場合に、空でないか否かの完全な基準と、明示的な公式を含む正確な次元公式を確立し、キーポイントの予想を解決した。この公式には、コットヴィッツ写像、ニュートン共通性、$ b $ の欠陥が関与している。

ABSTRACT

This note is based on my talk at ICCM 2013, Taipei. We give an exposition of the group-theoretic method and recent results on the questions of non-emptiness and dimension of affine Deligne-Lusztig varieties in affine flag varieties.

研究の動機と目的

• アフィンフラッグ多様体内のアフィンデリーニュ＝ルスツィジ変種 $ X_w(b) $ の空でないか否かを特定する基準を確立すること。
• $ w $ が収縮したワイルチャネルにあり、$ b $ が基本的である場合の $ X_w(b) $ の正確な次元公式を導出すること。
• 拡張されたアフィンワイル群の共役類における最小長さの元を用いて、$ G(L) $ 内の $ \sigma $-共役類とアフィンデリーニュ＝ルスツィジ変種の幾何学を関連付けること。
• 基本的でない $ b $ への結果の一般化を、予想と部分的な結果を支援して行うこと。
• ホッジ＝ニュートン分解とアフィンヘッケ代数の類多項式を、これらの変種の幾何的性質と結びつける概念的枠組みを提供すること。

提案手法

• デリーニュ＝ルスツィジ還元法とアフィンワイル群の組合せ的性質を用いて $ X_w(b) $ を分析する。
• $ w $ と $ b $ を不変量を介して関連付けるために、$ \kappa: \tilde{W} \to \tilde{W}/W_a \cong P/Q $ であるコットヴィッツ写像を用いる。
• $ \eta(w) = \eta_2(w)^{-1} \eta_1(w) \eta_2(w) $ を導入し、$ \eta_1 $ を $ W $ への射影とし、$ \eta_2 $ を $ w $ を支配的チャネルに正規化する。
• $ \tilde{W} $-共役類における最小長さの元の概念を用いて、$ X_w(b) $ の研究を取り扱いやすいケースに還元する。
• [10] の「部分共役」法と [6] および [20] の次元公式を組み合わせ、$ X_w(b) $ の次元を評価する。
• 欠陥 $ \text{def}(b) $ とニュートン共通性 $ \nu_b $ を用いて、特に基本的ケースにおいて次元公式を精緻化する。

実験結果

リサーチクエスチョン

• RQ1 $ w \in \tilde{W} $ および $ b \in G(L) $ のとき、特に $ b $ が基本的である場合に、アフィンデリーニュ＝ルスツィジ変種 $ X_w(b) $ が空でないのはいつか？
• RQ2 $ w $ が収縮したワイルチャネルにあり、$ b $ が基本的である場合に、$ X_w(b) $ の正確な次元は何か？
• RQ3 $ G(L) $ の $ \sigma $-共役類は、拡張されたアフィンワイル群 $ \tilde{W} $ の共役類とどのように関係するか？ そして、この関係は $ X_w(b) $ の研究にどのように利用できるか？
• RQ4 基本的でない $ b $ における $ X_w(b) $ の空でないか否かおよび次元は、同じ $ \kappa $-不変量を持つ基本的 $ b' $ の対応する不変量と関係づけられるか？
• RQ5 アフィンヘッケ代数の類多項式は、$ X_w(b) $ の幾何に果たす役割は何か？

主な発見

• $ w $ が収縮したワイルチャネルにあり、$ b $ が基本的である場合、$ X_w(b) \neq \emptyset $ であるための必要十分条件は、$ \kappa(b) = \kappa(w) $ かつ $ \eta(w) $ が $ W $ の任意の真のパラボリック部分群に含まれないことである。
• $ X_w(b) \neq \emptyset $ のとき、その次元は $ \dim X_w(b) = \frac{1}{2}(\ell(w) + \ell(\eta(w)) - \text{def}(b)) $ で与えられ、下界と上界の一致により証明された。
• ゲルツ、ヘインズ、コットヴィッツ、ルスマの非基本的 $ b $ に関する予想は、証拠により支持されており、特に $ \mu \in P_+ $、$ \lambda $ が支配的かつ正則な場合に $ w = x t^{\mu + \lambda} y $ の場合の証明が含まれる。
• $ w = w_0 t^\mu $ の場合、$ X_w(b) \neq \emptyset $ であるための必要十分条件は $ f(b) \leq f(t^\mu) $ であり、次元は $ \langle \mu - \nu_b, \rho \rangle + \ell(w_0) - \frac{1}{2} \text{def}(b) $ である。
• 収縮したチャネルにおける $ X_w(b) $ の次元公式は鋭く、明示的な系列からの下界と、部分共役および既知の結果からの上界と一致する。
• ハマーチャーらの最近の研究を介して、包あらゆる分岐群に一般化され、未分岐の場合に限らない次元公式の有効性が拡張された。