[论文解读] Highest-Weight Theory for Truncated Current Lie Algebras

Benjamin J. Wilson|arXiv (Cornell University)|May 9, 2007

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

一句话总结

本文为截断电流李代数 $\psi = \sigma \otimes \u03ba[t]/(t^{N+1})$ 建立了最高权表示理论，其中 $\sigma$ 是具有非退化配对三角分解的李代数。利用 Shapovalov 型式，本文建立了 Verma 模的可约性判别准则：当且仅当对 $\sigma$ 的某个正根 $\alpha$，有 $\langle\Lambda, \mathbf{h}(\alpha) \otimes t^N\rangle = 0$ 时，Verma 模 $M(\Lambda)$ 是可约的，从而将结果推广至可对称化的 Kac-Moody 代数、海森堡代数和 Virasoro 代数。

ABSTRACT

Let g denote a Lie algebra over a field of characteristic zero, and let T(g) denote the tensor product of g with a ring of truncated polynomials. The Lie algebra T(g) is called a truncated current Lie algebra, or in the special case when g is finite-dimensional and semisimple, a generalized Takiff algebra. In this paper a highest-weight theory for T(g) is developed when the underlying Lie algebra g possesses a triangular decomposition. The principal result is the reducibility criterion for the Verma modules of T(g) for a wide class of Lie algebras g, including the symmetrizable Kac-Moody Lie algebras, the Heisenberg algebra, and the Virasoro algebra. This is achieved through a study of the Shapovalov form.

研究动机与目标

• 为截断电流李代数 $\hat{\mathfrak{g}} = \mathfrak{g} \otimes \Bbbk[t]/(t^{N+1})$ 建立最高权表示理论，其中 $\mathfrak{g}$ 具有非退化配对的三角分解。
• 通过分析 Shapovalov 型式，确定 $\hat{\mathfrak{g}}$ 上 Verma 模的可约性。
• 将已知的关于有限维半单李代数上 Verma 模可约性的结果推广至更广范围，包括可对称化的 Kac-Moody 代数、海森堡代数和 Virasoro 代数。
• 为通过 $\hat{\mathfrak{g}}$ 上最高权模的仿射化，计算环代数不可约 exp-多项式模的特征标公式提供基础。

提出的方法

• 从 $\mathfrak{g}$ 的三角分解 $\mathfrak{g} = \mathfrak{g}_- \oplus \mathfrak{h} \oplus \mathfrak{g}_+$ 出发，通过与 $\Bbbk[t]/(t^{N+1})$ 的张量积提升结构，构造 $\hat{\mathfrak{g}} = \hat{\mathfrak{g}}_- \oplus \hat{\mathfrak{h}} \oplus \hat{\mathfrak{g}}_+$ 的三角分解。
• 将 $\hat{\mathfrak{g}}$ 上的权模和最高权模定义为 $\hat{\mathfrak{h}}$-可对角化模，由被 $\hat{\mathfrak{g}}_+$ 作用为零的最高权向量生成。
• 在 Verma 模上引入 Shapovalov 型式，并通过其退化性分析来判断模的可约性。
• 利用根空间 $\mathfrak{g}^\alpha \times \mathfrak{g}^{-\alpha}$ 上的非退化配对 $(-| -)_\alpha$ 及其对应的元素 $\mathbf{h}(\alpha) \in \mathfrak{h}$，定义配对 $\langle \Lambda, \mathbf{h}(\alpha) \otimes t^N \rangle$。
• 通过分析权空间的基 $\{ \mathrm{y}(\mu) \}$ 及根系字符串的排序，研究 Shapovalov 型式 $\mathbf{B}_\chi$ 的矩阵表示。
• 证明当矩阵为双边无限时（如仿射 Kac-Moody 代数中虚根分划的情形），无法通过主对角线元素判断 Shapovalov 型式的退化性。

实验结果

研究问题

• RQ1 在何种条件下，截断电流代数 $\hat{\mathfrak{g}}$ 上的 Verma 模 $M(\Lambda)$ 是可约的？
• RQ2 在 $\hat{\mathfrak{g}}$ 上的 Shapovalov 型式如何反映具有三角分解的底层李代数 $\mathfrak{g}$ 的结构？
• RQ3 Verma 模在 $\hat{\mathfrak{g}}$ 上的可约性判别准则能否超越有限维半单李代数的范围？
• RQ4 最高权泛函 $\Lambda$ 在 $\mathbf{h}(\alpha) \otimes t^N$ 上的取值在判断模可约性中起什么作用？
• RQ5 为何在某些无穷维情形（如仿射 Kac-Moody 代数中的虚根分划）下，标准的基于主对角线的退化性检验会失效？

主要发现

• Verma 模 $M(\Lambda)$ 对于 $\hat{\mathfrak{g}}$ 是可约的，当且仅当对某个正根 $\alpha \in \Delta_+$ 的 $\mathfrak{g}$，有 $\langle \Lambda, \mathbf{h}(\alpha) \otimes t^N \rangle = 0$，从而给出了精确的可约性判别准则。
• 该结果适用于一大类李代数，包括可对称化的 Kac-Moody 李代数、海森堡代数和 Virasoro 代数，因其具有非退化配对的三角分解。
• 通过 Shapovalov 型式分析 Verma 模的结构，其退化性与配对 $\langle \Lambda, \mathbf{h}(\alpha) \otimes t^N \rangle$ 的消失相关，后者成为关键不变量。
• 当 $\mathrm{N} = 1$ 时，Shapovalov 型式 $\mathbf{B}_\chi$ 的矩阵表示变为双边无限，导致基于主对角线的退化性检验失效，如平移算子 $\Phi$ 的反例所示，其主对角线元素全为零。
• 该方法无法通过有限子空间 $\text{span}(\mathcal{P}_L)$ 上的限制退化性来推断 $\mathbf{B}_\chi$ 的退化性，凸显了在无穷维情形下的根本障碍。
• 该框架使得通过 $\hat{\mathfrak{g}}$ 上最高权模的仿射化，计算环代数不可约 exp-多项式模的特征标公式成为可能，而可约性判别准则是该程序的关键。