[论文解读] Admissible Diagrams in U_{q}^{w}(g) and Combinatoric Properties of Weyl Groups

Antoine Mériaux, G. Cauchon|ArXiv.org|Feb 4, 2009

Advanced Combinatorial Mathematics参考文献 10被引用 8

一句话总结

本文在量子幂零代数 $U_q^w(\frak{g})$ 的背景下，建立了量子代数中两类组合结构之间的基本等价性：适定图（Cauchon 图）与正子表达式（Marsh-Rietsch 图）。证明表明，这两类图完全一致，从而揭示了正子表达式本质上是量子对象。关键贡献在于建立了适定图与 Weyl 群中低于 $w$ 和 $w^{-1}$ 的元素之间的双射关系，并通过图的索引导出约化表达式。

ABSTRACT

Consider a complex simple Lie algebra g of rank n. Denote by Πa system of simple roots, by W the corresponding Weyl group, consider a reduced expression w = s_{α_{1}} ... s_{α_{t}} (each α_{i} in Π) of some w \in W and call diagram any subset of {1, ..., t}. We denote by U_{q}^{w}(g) the "quantum nilpotent" algebra defined by J. C. Jantzen. We prove (theorem 5.3. 1) that the positive diagrams naturally associated with the positive subexpressions (of the reduced expression of w) in the sense of R. Marsh and K. Rietsch, coincide with the admissible diagrams constructed by G. Cauchon which describe the natural stratification of Spec(U_{q}^{w}(g)). If the Lie algebra g is of type A_{n} and w is choosen in order that U_{q}^{w}(g) is the quantum matrices algebra O_{q}(M_{p,m}(k)) with m = n-p+1 (see section 2.1), then the admissible diagrams are known (G. Cauchon) to be the Le - diagrams in the sense of A. Postnikov . In this particular case, the equality of Le - diagrams and positive subexpressions (of the reduced expression of w) have also been proved (with quite different methods) by A. Postnikov and by T. Lam and L. Williams.

研究动机与目标

• 建立量子代数中两类不同组合框架之间的深层联系：适定图（Cauchon）与正子表达式（Marsh-Rietsch）。
• 证明通过 Weyl 群中的约化表达式定义的正子表达式，恰好对应于用于 $Spec(U_q^w(\frak{g}))$ 分层的适定图。
• 通过展示正子表达式自然源于 $U_q^w(\frak{g})$ 中的量子交换关系与 $H$-素理想，阐明其量子本质。
• 通过这些图及其关联的 Weyl 群元素，为 $U_q^w(\frak{g})$ 的 $H$-不变素谱提供统一的组合描述。

提出的方法

• 作者使用删除导子算法分析 $U_q^w(\frak{g})$ 的结构及其 $H$-素理想，将适定图识别为 $w\in W$ 的约化表达式中索引的子集。
• 他们通过 Bruhat 序与根系性质，将正图定义为 $w$ 的约化分解中对应正子表达式的子集。
• 关键技术工具是 Weyl 群上的长度函数：$l(s_{\alpha_i} \circ u) = l(u) \pm 1$ 决定反射是否增加或减少长度，从而控制其是否属于图。
• 证明依赖于归纳法与根系分析，表明条件 $l(s_{\alpha_{i+1}} \circ u_i) = l(u_i) - 1$ 等价于 $i+1 \in \Delta$，将图成员资格与群论性质联系起来。
• 作者建立了双射 $\zeta: \Delta \mapsto u = s_{\alpha_{j_1}} \circ \cdots \circ s_{\alpha_{j_s}}$，从适定图到满足 $u \leq w$ 的 $W$ 中元素。
• 他们进一步定义 $\zeta': \Delta \mapsto u' = s_{\alpha_{j_s}} \circ \cdots \circ s_{\alpha_{j_1}}$，表明该映射到满足 $u' \leq w^{-1}$ 的元素，且两个映射均为双射，保持约化表达式。

实验结果

研究问题

• RQ1 Marsh 和 Rietsch 通过 Weyl 群中的约化表达式定义的正子表达式，是否与用于 $Spec(U_q^w(\frak{g}))$ 分层的适定图完全一致？
• RQ2 从适定图到满足 $u \in W$ 且 $u \leq w$ 的元素的映射 $\zeta$ 是否为双射，且是否保持约化表达式？
• RQ3 从图到满足 $u' \leq w^{-1}$ 的元素的对偶映射 $\zeta'$ 是否也是双射，且是否给出 $u'$ 的约化表达式？
• RQ4 在 $U_q^w(\frak{g})$ 为量子矩阵代数 $O_q(M_{p,m}(k))$ 的特殊情形下，适定图与 $\Gamma$-图（Postnikov）之间的对应关系是否成立，且是否与已有结果一致？
• RQ5 当 Weyl 群配备 Bruhat 序时，从适定图集到 $H$-Spec$(U_q^w(\frak{g}))$ 的两个自然双射是否保持序结构？

主要发现

• Marsh 和 Rietsch 定义的正图（作为 $w$ 的约化表达式中索引的子集）与用于分层 $Spec(U_q^w(\frak{g}))$ 的适定图（Cauchon 图）完全相同。
• 映射 $\zeta: \Delta \mapsto u = s_{\alpha_{j_1}} \circ \cdots \circ s_{\alpha_{j_s}}$ 是从适定图集到集合 $\{u \in W \mid u \leq w\}$ 的双射，且 $u$ 的约化表达式由 $\Delta$ 中的索引给出。
• 对偶映射 $\zeta': \Delta \mapsto u' = s_{\alpha_{j_s}} \circ \cdots \circ s_{\alpha_{j_1}}$ 是从适定图集到 $\{u' \in W \mid u' \leq w^{-1}\}$ 的双射，且每个 $u'$ 均由 $\Delta$ 中索引序列的逆序给出约化表达式。
• 对每个适定图 $\Delta = \{j_1 < \cdots < j_s\}$，元素 $u = \zeta(\Delta)$ 为约化表达式，且 $u' = \zeta'(\Delta)$ 同样为约化表达式，确认了表达式的最小性。
• 当 $\frak{g} = A_n$ 且 $U_q^w(\frak{g}) = O_q(M_{p,m}(k))$ 时，适定图与 Postnikov 的 $\Gamma$-图一致，与 Postnikov 及 Lam-Williams 的前期工作保持一致。
• 从适定图集到 $H$-Spec$(U_q^w(\frak{g}))$ 的两个自然双射——一个通过 $w^\Delta \mapsto \mathcal{P}_\Delta$，另一个通过 $v^\Delta \mapsto \mathcal{P}_\Delta$——均定义良好且为双射，将 Weyl 群的组合学与量子代数的素谱联系起来。