[论文解读] A factorization theorem for affine Kazhdan-Lusztig basis elements

Jonah Blasiak|ArXiv.org|Aug 3, 2009

Advanced Algebra and Geometry参考文献 7被引用 10

一句话总结

本文建立了在扩展仿射 Weyl 群的最低双侧细胞 $ W_{(\nu)} $ 关联的扩展仿射 Hecke 代数中，典范基元素 $ C'_w $ 的分解公式，将每个此类元素表示为包含本原元素和 Bernstein 生成元对称多项式的乘积。关键结果通过仅使用有限多个典范基元素和不可约表示的特征标，提供了这些基元素的有限、组合透明的参数化。

ABSTRACT

The lowest two-sided cell of the extended affine Weyl group $W_e$ is the set $\{w \in W_e: w = x \cdot w_0 \cdot z, ext{for some} x,z \in W_e\}$, denoted $W_{(ν)}$. We prove that for any $w \in W_{(ν)}$, the canonical basis element $\C_w$ can be expressed as $\frac{1}{[n]!} χ_λ({\y}) \C_{v_1 w_0} \C_{w_0 v_2}$, where $χ_λ({\y})$ is the character of the irreducible representation of highest weight $λ$ in the Bernstein generators, and $v_1$ and $v_2^{-1}$ are what we call primitive elements. Primitive elements are naturally in bijection with elements of the finite Weyl group $W_f \subseteq W_e$, thus this theorem gives an expression for any $\C_w$, $w \in W_{(ν)}$ in terms of only finitely many canonical basis elements. After completing this paper, we realized that this result was first proved by Xi in \cite{X}. The proof given here is significantly different and somewhat longer than Xi's, however our proof has the advantage of being mostly self-contained, while Xi's makes use of results of Lusztig from \cite{L Jantzen} and Cells in affine Weyl groups I-IV and the positivity of Kazhdan-Lusztig coefficients.

研究动机与目标

• 为扩展仿射 Weyl 群的最低双侧细胞 $ W_{(\nu)} $ 中的典范基元素 $ C'_w $ 提供一个组合与代数描述。
• 将这些基元素表示为有限个典范基元素和对称多项式的组合，以揭示更清晰的结构。
• 提供 Xi 之前已证明的结果的自-contained 证明，采用不同技术，避免依赖 Lusztig 关于细胞与正性结果的深刻结论。
• 为构造余不变环的 $ q $-模拟并探索其与 Kazhdan-Lusztig 多项式的关系奠定基础。

提出的方法

• 引入扩展仿射 Weyl 群 $ W_e $、其 Hecke 代数 $ \mathscr{H}(W_e) $ 以及 Bernstein 表示，该表示为代数提供了生成元与关系。
• 定义 $ W_e $ 中的本原元素，其与有限 Weyl 群 $ W_f \subseteq W_e $ 的元素存在自然双射，并将其用作分解的构建模块。
• 利用 Hecke 代数的典范基 $ \{C'_w\} $，将 $ w \in W_{(\nu)} $ 的 $ C'_w $ 表示为包含 $ C'_{v_1 w_0} $、$ C'_{w_0 v_2} $ 和最高权表示的特征标 $ \chi_\lambda(Y) $ 的乘积。
• 应用 Kazhdan-Lusztig 多项式以及 $ \overleftarrow{P}_{x,v_1} $、$ \overrightarrow{P}_{z,v_2} $ 多项式的性质，以控制次数并确保在 $ q $-adic 格 $ \mathscr{L} $ 中的整性。
• 利用约化分解和根系几何（例如 Weyl 单元与根超平面）分析 Hecke 代数中乘积的结构。
• 利用乘积展开中系数为 $ q^{1/2} $ 的多项式且具有非负系数的事实，控制 $ q $-adic 滤子并证明整性。

实验结果

研究问题

• RQ1 能否将 $ w \in W_{(\nu)} $ 的典范基元素 $ C'_w $ 表示为有限个典范基元素与 Bernstein 生成元对称函数的组合？
• RQ2 扩展仿射 Weyl 群中最低双侧细胞 $ W_{(\nu)} $ 的精确代数结构是什么？
• RQ3 如何利用本原元素和表示论数据（如 $ \chi_\lambda(Y) $）对这一细胞中的典范基元素进行分解？
• RQ4 是否存在一个自-contained 的证明，避免依赖 Lusztig 关于细胞与正性的深刻结果？
• RQ5 该分解能否推广到其他细胞或其他类型（而不仅限于 A 型）？

主要发现

• 对任意 $ w \in W_{(\nu)} $，典范基元素 $ C'_w $ 具有分解式 $ \frac{1}{[n]!} \chi_\lambda(Y) C'_{v_1 w_0} C'_{w_0 v_2} $，其中 $ v_1, v_2^{-1} $ 为本原元素。
• 本原元素与有限 Weyl 群 $ W_f $ 的元素存在自然双射，因此 $ C'_w $ 的描述可归约为有限个典范基元素。
• 特征标 $ \chi_\lambda(Y) $ 来源于 Bernstein 生成元中最高权 $ \lambda $ 的不可约表示，将表示论与 Hecke 代数结构联系起来。
• 该证明是自-contained 的，且避免依赖 Lusztig 关于细胞与正性的结果，与 Xi 的早期证明不同。
• 该分解确保所有项均位于 $ q^{-1/2} $-adic 格 $ \mathscr{L} $ 中，从而确认了整性，并支持余不变环的 $ q $-模拟的构造。
• 该方法为在其他类型中构造余不变环的 $ q $-模拟提供了框架，尽管该应用并不需要定理的全部强度。