[论文解读] Cells in quantum affine sl_n

Kevin McGerty|ArXiv.org|Sep 6, 2002

Algebraic structures and combinatorial models参考文献 4被引用 3

一句话总结

本论文通过量子群的几何实现，确立了量子仿射 $σλ_n$ 的 Lusztig 猜测性胞结构。通过分析仿射 q- Schur 代数及其典范基，明确描述了双侧胞、左侧胞的数量以及渐近代数，证实双侧胞由 $X^+$ 中的极大权参数化，且渐近代数同构于一般线性群表示环的乘积上的矩阵环。

ABSTRACT

We study Lusztig's theory of cells for quantum affine $\mathfrak{sl}_n$. Using the geometric construction of the quantum group due to Lusztig and Ginzburg--Vasserot, we describe explicitly the two-sided cells, the number of left cells in a two--sided cell, and the asymptotic algebra, verifying conjectures of Lusztig.

研究动机与目标

• 验证量子仿射 $σλ_n$ 的 Lusztig 猜测性胞结构。
• 在量子仿射设定下，描述双侧胞、每个双侧胞中的左侧胞数量以及渐近代数。
• 通过仿射 q-Schur 代数及其典范基，建立胞理论的几何实现。
• 将渐近代数与量子仿射代数中的极小权模和通用标准模联系起来。

提出的方法

• 利用 Lusztig 和 Ginzburg–Vasserot 框架下，通过 $G$-轨道在 $ρ^n \times ρ^n$ 上的构造，实现修正量子群 $σλ_n$ 的几何构造。
• 将仿射 q-Schur 代数 $ρ_D$ 视为 $G$-轨道的交换子代数，其基元素由 $ρ_{D,n,n}$ 中的矩阵索引。
• 应用 $ρ_D$ 的典范基及其相关的偏序关系与结构常数，以定义胞。
• 利用反自同态 $ρ$ 和内积 $(·,·)_D$，将胞结构与对偶性及整数性联系起来。
• 依赖于 $ρ^n \times ρ^n$ 中轨道与矩阵 $A ∈ ρ_{D,n,n}$ 的识别，其中 $r(A), c(A)$ 编码行和与列和。
• 将渐近代数 $A_\mu$ 构造为大小为 $\prod_{i=1}^{n-1} \binom{n}{i}^{\mu(i)}$ 的矩阵环，其系数环为 $R_\mu = \prod_{i=1}^{n-1} R(GL_{\mu(i)}(\mathbb{C}))$。

实验结果

研究问题

• RQ1 量子仿射 $σλ_n$ 代数的双侧胞如何参数化？
• RQ2 量子仿射代数中每个双侧胞内的左侧胞数量是多少？
• RQ3 与每个双侧胞相关联的渐近代数的结构是什么？
• RQ4 仿射 q-Schur 代数的典范基如何与胞分解相关？
• RQ5 渐近代数如何与极小权模和通用标准模相联系？

主要发现

• 代数 $σλ_n$ 的双侧胞与 $X^+$（极大积分权的集合）中的极大权之间存在自然双射。
• 双侧胞 $σ_\lambda$ 中的左侧胞数量仅由对应的极大权 $λ$ 决定，其公式为 $λ_i$ 的平方和。
• 与由 $μ \in X^+$ 索引的双侧胞相关联的渐近代数 $A_\mu$ 同构于大小为 $\prod_{i=1}^{n-1} \binom{n}{i}^{\mu(i)}$ 的矩阵环，其系数环为 $\prod_{i=1}^{n-1} GL_{\mu(i)}(\mathbb{C})$ 的表示环。
• $a$-函数在胞上的表达式为：对属于 $μ$ 对应胞的 $b$，有 $a(b) = \sum_{i=1}^n (\lambda_i^2 - \upsilon_i^2)$，其中 $\upsilon$ 是权 $ν$ 的代表元。
• 结果确认了 Lusztig 在 [L95, 第5节] 中的所有猜想，包括 $λ(i)$ 值正确解释为 $\langle i, \lambda \rangle$。
• 该构造提供了极小权模的几何实现，作为从渐近代数的提升，与 Kashiwara 和 Nakajima 的理论相联系。