[论文解读] Shi variety corresponding to an affine Weyl group

Nathan Chapelier‐Laget|arXiv (Cornell University)|Oct 9, 2020

Advanced Combinatorial Mathematics被引用 4

一句话总结

本文通过 Jian-Yi Shi 对仿射 Weyl 群 $W_a$ 的单体利用 $\Phi^+$-元组整数 $k(w,\alpha)$ 的刻画，建立了仿射 Weyl 群 $W_a$ 与仿射代数簇 $\widehat{X}_{W_a}$ 的整点之间的一个双射，该簇被称为 Shi 变体。关键贡献是定理 4.3，它表明 $W_a \simeq \widehat{X}_{W_a}(\mathbb{Z})$，通过代数几何揭示了群结构的几何实现，并通过符号类型将之与 Kazhdan-Lusztig 单元联系起来。

ABSTRACT

Let $W$ be an irreducible Weyl group and $W_a$ its affine Weyl group. In this article we show that there exists a bijection between $W_a$ and the integral points of an affine variety, denoted $\widehat{X}_{W_a}$, which we call the Shi variety of $W_a$. In order to do so, we use Jian-Yi Shi's characterization of alcoves in affine Weyl groups. We then study this variety further. We highlight combinatorial properties of the irreducible components of $\widehat{X}_{W_a}$ and we show how they are related to a fundamental parallelepiped $P_{\mathcal{H}}$.

研究动机与目标

• 通过一个称为 Shi 变体的仿射代数簇，建立仿射 Weyl 群的几何实现，以更好地理解其组合与代数结构。
• 利用 $\Phi^+$-元组整数 $k(w,\alpha)$，将 Jian-Yi Shi 对仿射 Weyl 群中单体的刻画扩展到全局代数框架。
• 研究 Shi 变体的不可约分支及其与基本平行多面体 $P_{\mathcal{H}}$ 和单元理论的关系。
• 通过分析符号类型和广义象限，阐明 Shi 变体与 Kazhdan-Lusztig 单元之间的联系，特别是在类型 $A$ 中。
• 证明有限 Weyl 群 $W$ 在 Shi 变体上的作用将该变体划分为 $f_\Phi$ 个轨道，每个轨道恰好包含一个 $W$ 的元素。

提出的方法

• 利用 Shi 对 $W_a$ 中单体的刻画，通过 $\Phi^+$-元组 $(k(w,\alpha))_{\alpha \in \Phi^+}$，将 Shi 变体 $\widehat{X}_{W_a}$ 定义为满足由根系导出的线性关系的整点集合。
• 该变体 $\widehat{X}_{W_a}$ 构造为仿射子空间的并集，其不可约分支对应于 $\mathbb{R}^{\Phi^+}$ 中由 $k(w,\alpha)$ 的符号条件定义的广义象限。
• 论文采用 $\Phi^+$-表示法将每个群元素 $w$ 映射到一点 $\iota(w) \in \mathbb{Z}^{\Phi^+}$，从而形成双射 $W_a \simeq \widehat{X}_{W_a}(\mathbb{Z})$。
• 分析有限 Weyl 群 $W$ 在 $\widehat{X}_{W_a}$ 上的作用，证明每个轨道恰好包含一个 $W$ 的元素，且共有 $f_\Phi$ 个这样的轨道，其中 $f_\Phi$ 是 $W$ 在 $\Phi^+ \setminus \Delta$ 上的轨道数。
• 不同生成元的分支互异性的证明依赖于构造一个根 $\theta \in \Phi^+ \setminus \Delta$，使得 $P_\theta(s_i) \neq P_\theta(s_j)$，从而推出 $\lambda_\theta(s_i) \neq \lambda_\theta(s_j)$，除非 $s_i = s_j$，否则这与分支相等矛盾。
• 对基本平行多面体 $P_{\mathcal{H}}$ 的研究为 $\widehat{X}_{W_a}$ 的不可约分支提供了几何模型，将其与根系的几何结构联系起来。

实验结果

研究问题

• RQ1 仿射 Weyl 群 $W_a$ 的元素能否自然地由代数簇的整点参数化？
• RQ2 Shi 变体 $\widehat{X}_{W_a}$ 的不可约分支如何与基本平行多面体 $P_{\mathcal{H}}$ 和根系结构相关联？
• RQ3 符号类型和广义象限在 Shi 变体中编码 Kazhdan-Lusztig 单元的角色是什么？
• RQ4 为何当 $W_a \neq W(\widetilde{A}_2)$ 时，不同的单个反射 $s_i$ 和 $s_j$ 位于 $\widehat{X}_{W_a}$ 的不同不可约分支中？
• RQ5 $W$ 在 $\widehat{X}_{W_a}$ 上的作用如何将该变体分解为轨道？$f_\Phi$ 的意义是什么？

主要发现

• 本文建立了规范双射 $W_a \simeq \widehat{X}_{W_a}(\mathbb{Z})$，证明了仿射 Weyl 群与 Shi 变体的整点之间存在一一对应关系。
• $\widehat{X}_{W_a}$ 的不可约分支是仿射子空间，每个分支对应于 $\mathbb{R}^{\Phi^+}$ 中由 $k(w,\alpha)$ 系数符号定义的广义象限。
• 在类型 $A$ 中，每个 Kazhdan-Lusztig 单元对应于 $\widehat{X}_{W_a}(\mathbb{Z})$ 与广义象限交集的并集，其由符号映射 $Sg(w)$ 确定。
• 当 $W_a \neq W(\widetilde{A}_2)$ 时，不同的单个反射 $s_i$ 和 $s_j$ 位于 $\widehat{X}_{W_a}$ 的不同不可约分支中，通过构造一个根 $\theta$ 使得 $P_\theta(s_i) \neq P_\theta(s_j)$ 得到证明。
• $W$ 在 $\widehat{X}_{W_a}$ 上的作用产生恰好 $f_\Phi$ 个轨道，每个轨道恰好包含一个 $W$ 的元素，其中 $f_\Phi$ 是 $W$ 在 $\Phi^+ \setminus \Delta$ 上的轨道数。
• 基本平行多面体 $P_{\mathcal{H}}$ 为 $\widehat{X}_{W_a}$ 的不可约分支提供了几何模型，每个分支都是 $P_{\mathcal{H}}$ 在 $\mathbb{Z}\Phi$ 作用下的平移。