[论文解读] Kazhdan-Lusztig polynomials and character formulae for the Lie superalgebra q(n)

Jonathan Brundan|ArXiv.org|Jul 2, 2002

Algebraic structures and combinatorial models参考文献 37被引用 20

一句话总结

该论文通过量子群设置下的 U_q(𝔟_∞) 中的 Kazhdan-Lusztig 多项式与典范基，为李超代数 𝖗(n) 的有限维不可约表示建立了特征标公式。证明了在特征标环中的分解数 d_{μ,λ} 在 μ 是 λ 关于零权和对称对定义的带符号移位的共轭时为 2^{(z(λ)−z(μ))/2}，否则为零，从而为 Kac 对 𝖗(n) 的特征标问题提供了完整的组合解法。

ABSTRACT

The problem of computing the characters of the finite dimensional irreducible representations of the Lie superalgebra $\mathfrak q(n)$ over $\C$ was solved in 1996 by I. Penkov and V. Serganova. In this article, we give a different approach relating the character problem to canonical bases of the quantized enveloping algebra $U_q(\mathfrak b_{\infty})$. We also formulate for the first time a conjecture for the characters of the infinite dimensional irreducible representations in the analogue of category $\mathcal O$ for the Lie superalgebra $\mathfrak{q}(n)$.

研究动机与目标

• 解决 Kac 于 1977 年提出的关于李超代数 𝖗(n) 的有限维不可约表示的特征标计算问题。
• 利用量子群 U_q(𝔟_∞) 及其典范基，建立新的李理论框架。
• 在 Q(n)-表示的格罗滕迪克群中，为分解数 d_{μ,λ} 建立精确的组合公式。
• 通过在 q=1 处的过渡矩阵，将 Fock 空间 𝔽^n 的典范基与 𝖗(n) 的特征标环联系起来。
• 推测在 q=1 处，该过渡矩阵的条目也计算了 𝖗(n) 的 Verma 模的合成重数。

提出的方法

• 通过 Lusztig 对 U_q(𝔟_∞) 的方法，构造张量空间 𝔗^n = ⊗^n 𝔛V 的典范基。
• 通过 Jing、Misra 和 Okado 的构造，将外幂空间 𝔽^n = ∧^n 𝔛V 实现为 𝔗^n 的商空间。
• 将 𝔗^n 的典范基在商映射下的像定义为 𝔽^n 的典范基。
• 将 𝔽^n 的典范基与单项基在 q=1 处的过渡矩阵识别为特征标环中的分解矩阵 d_{μ,λ}。
• 利用 Chevalley 生成元 E_i, F_i 的对偶性与作用，递归构造单连通不可约模 U(λ)，并将其与典范基联系起来。
• 证明从 𝔽^n 的典范基到 Q(n) 的格罗滕迪克群的映射 ι* 将 U_λ(1) 映射为格罗滕迪克群中单连通不可约模 [U(λ)] 的类，从而确立了特征标公式。

实验结果

研究问题

• RQ1 Q(n) 的不可约表示的分解数 d_{μ,λ} 的组合结构是什么？
• RQ2 如何通过 U_q(𝔟_∞) 的典范基定义 𝖗(n) 的 Kazhdan-Lusztig 多项式？
• RQ3 Fock 空间 𝔽^n 的典范基与 𝖗(n) 的特征标环之间的确切关系是什么？
• RQ4 分解数 d_{μ,λ} 能否根据权 λ 及其零权结构显式计算？
• RQ5 在 q=1 处，典范基与单项基之间的过渡矩阵是否等于不可约特征标的分解矩阵？

主要发现

• 当 μ 属于某个 θ ∈ {0,1}^p 的 R_θ(λ) 轨道时，分解数 d_{μ,λ} 为 d_{μ,λ} = 2^{(z(λ)−z(μ))/2}，否则为 0。
• z(λ) 表示最高权 λ ∈ ℤ_+^n 中零元素的个数。
• 𝔽^n 的典范基通过商化 𝔗^n 的典范基构造而成，而 𝔗^n 的典范基是基于 Lusztig 的典范基理论构建的。
• 在 q=1 处，𝔽^n 的典范基与单项基之间的过渡矩阵等于 Q(n) 的格罗滕迪克群中的分解矩阵 d_{μ,λ}。
• 映射 ι* 将典范基元素 U_λ(1) 映射到格罗滕迪克群中单连通不可约模 [U(λ)] 的类。
• 主要结果表明，分解数 d_{μ,λ} 等于 U_q(𝔟_∞) 的典范基中结构常数 u_{μ,λ}(q) 在 q=1 处的取值。