[论文解读] Note on affine Deligne-Lusztig varieties

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

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

一句话总结

本文利用仿射 Hecke 代数和仿射 Weyl 群的组合学，发展了一种群论方法，以确定仿射旗流形中仿射 Deligne-Lusztig 代数簇的非空性与维数。当元素 $ w $ 属于收缩的 Weyl 房间且 $ b $ 为基本元时，该文建立了非空性的完整判别准则，并给出了精确的维数公式，解决了该领域中的关键猜想，其显式公式涉及 Kottwitz 映射、Newton 共轭特征标以及 $ 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.

研究动机与目标

• 建立仿射旗流形中仿射 Deligne-Lusztig 代数簇 $ X_w(b) $ 非空性的判别准则。
• 当 $ w $ 属于收缩的 Weyl 房间且 $ b $ 为基本元时，推导 $ X_w(b) $ 的精确维数公式。
• 通过 extended affine Weyl 群共轭类中的极小长度元素，将仿射 Deligne-Lusztig 代数簇的几何性质与 $ G(L) $ 中的 $ \sigma $-共轭类联系起来。
• 将基本情形的结果推广至非基本 $ b $，并基于猜想与部分结果提供支持。
• 提供一个概念性框架，将 Hodge-Newton 分解与仿射 Hecke 代数的类多项式联系到这些代数簇的几何性质。

提出的方法

• 利用 Deligne-Lusztig 约化方法及仿射 Weyl 群的组合性质分析 $ X_w(b) $。
• 采用 Kottwitz 映射 $ \kappa: \tilde{W} \to \tilde{W}/W_a \cong P/Q $，通过不变量将 $ w $ 与 $ b $ 关联。
• 引入映射 $ \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) $ 与 Newton 共轭特征标 $ \nu_b $ 精炼维数公式，尤其在基本情形下。

实验结果

研究问题

• RQ1 当 $ w \in \tilde{W} $ 且 $ b \in G(L) $ 时，仿射 Deligne-Lusztig 代数簇 $ X_w(b) $ 何时非空，特别是当 $ b $ 为基本元时？
• RQ2 当 $ w $ 属于收缩的 Weyl 房间且 $ b $ 为基本元时，$ X_w(b) $ 的精确维数是多少？
• RQ3 $ G(L) $ 中的 $ \sigma $-共轭类如何与 extended affine Weyl 群 $ \tilde{W} $ 中的共轭类相关联？这一关系如何用于研究 $ X_w(b) $？
• RQ4 非基本 $ b $ 的 $ X_w(b) $ 的非空性与维数是否可与具有相同 $ \kappa $-不变量的基本元 $ b' $ 的对应不变量相关联？
• RQ5 仿射 Hecke 代数的类多项式在确定 $ X_w(b) $ 的几何性质中起什么作用？

主要发现

• 当 $ w $ 属于收缩的 Weyl 房间且 $ 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)) $ 给出，该公式通过匹配下界与上界得以证明。
• Görtz、Haines、Kottwitz 与 Reuman 关于非基本 $ b $ 的猜想得到证据支持，包括对 $ w = x t^{\mu + \lambda} y $（其中 $ \mu \in P_+ $，$ \lambda $ 为标准且正则）的证明。
• 当 $ 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) $ 的维数公式是精确的，且与显式序列导出的下界及部分共轭与已知结果导出的上界完全一致。
• 通过 Hamacher 等人的近期工作，结果可推广至驯服分歧群，将维数公式的适用范围从无分歧情形扩展至更一般情形。