[论文解读] Cordial elements and dimensions of affine Deligne-Lusztig varieties

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

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

一句话总结

该论文在 $w$ 属于收缩的 Weyl 房间且其关联的余权与牛顿点满足特定优势性与整性条件的前提下，为分裂半单群的仿射旗流形中的仿射 Deligne-Lusztig 代数簇 $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]$ 时，仿射旗流形中仿射 Deligne-Lusztig 代数簇 $X_w(b)$ 的非空性模式与维数。
• 通过引入一类新元素——'通情达理元素'（cordial elements），将先前关于基本 $[b]$ 的结果推广至任意 $[b]$。
• 在 $w$ 属于收缩 Weyl 房间时，对 $X_w(b)$ 提供一个完整的描述，其条件明确且可验证，涉及 $\lambda_w$、$\nu_b$ 与 $\kappa(w)$。

提出的方法

• 在 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}$ 时，使用 Hodge-Newton 分解，将问题约化至 Levi 子群。
• 依赖于通过 $\kappa$ 与 $\nu_b$ 的 $\sigma$-共轭类分类，以及 Mazur 不等式，以约束可能的非空性。
• 采用维数公式 $\dim X_w(b) = d_w(b)$，其中 $d_w(b)$ 是基于 $w$ 与 $b$ 相对位置的组合定义函数。

实验结果

研究问题

• RQ1 对于 Iwahori-Weyl 群 $\tilde{W}$ 中的哪些 $w$，给定固定的 $\sigma$-共轭类 $[b]$，仿射 Deligne-Lusztig 代数簇 $X_w(b)$ 是非空的？
• RQ2 在 $w$ 与 $b$ 满足适当条件时，$X_w(b)$ 的精确维数是什么？
• RQ3 当 $w$ 位于收缩 Weyl 房间时，是否能对所有 $\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 在多大程度上，可通过 Hodge-Newton 分解将 $X_w(b)$ 的非空性与维数问题约化至 Levi 子群的情形？

主要发现

• 若 $w$ 属于收缩 Weyl 房间，$\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)$，即组合定义的维数函数。
• 当 $\lambda_w^\diamondsuit \geq \nu_b + 2\rho^\vee$ 时，条件 $(\lambda_w^{\flat\flat})^\diamondsuit \geq \nu_b$ 自动满足，从而简化了非空性判别准则。
• 对于位于收缩 Weyl 房间的 $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}$ 时，Hodge-Newton 分解允许将问题约化至 Levi 子群，从而实现递归分析。
• 该结果推广了先前关于基本 $[b]$ 的工作，并首次在明确且可验证的条件下，为非基本 $[b]$ 提供了完整的非空性与维数公式。