[论文解读] Defining relations associated with the principal sl(2)-subalgebras of simple Lie algebras

Pavel Grozman, Dimitry Leites|arXiv (Cornell University)|Oct 3, 2005

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

一句话总结

本文提出了一种新颖且简洁的有限维单李代数表示方法，采用雅可布森生成元——即源自主 $σ\mathfrak{sl}(2)$-子代数的两个元素。通过利用代数在不可约 $σ\mathfrak{sl}(2)$-模上的分解，作者推导出一组紧凑的定义关系（$σ\mathfrak{sl}(\lambda)$ 系列仅需 9 条），远比标准的 Serre 关系简单。该方法为可积系统和无限维矩阵代数的 $q$-量子化提供了更清晰的表示。

ABSTRACT

The notion of defining relations is well-defined for any nilpotent Lie algebra. Therefore a conventional way to present a simple Lie algebra G is by splitting it into the direct sum of a commutative Cartan subalgebra and two maximal nilpotent subalgebras (positive and negative) and together the generators of both these nilpotent subalgebras together generate G. Though there are many relations between these generators, they are neat (Serre relations). It is possible to determine the relations for generators of different type, e.g, with the principal embeddings of sl(2) into G one can associate only TWO elements that generate G. We explicitly describe the corresponding presentations of simple Lie algebras, for all finite dimensional and certain infinite dimensional ones; namely, for the Lie algebra "of matrices of a complex size" realized as a subalgebra of the Lie algebra of differential operators in 1 indeterminate. The relations obtained are rather simple. Our results might be of interest in applications to integrable systems (like vector-valued Liouville (or Leznov-Saveliev, or 2-dimensional Toda) equations and KdV-type equations). They also indicate how to q-quantize the Lie algebra of matrices of complex size.

研究动机与目标

• 通过源自主 $σ\mathfrak{sl}(2)$-子代数的生成元，提供有限维单李代数的清晰、简洁表示。
• 识别出能生成任意复数域上有限维单李代数的规范对（以及一个用于简化关系的第三生成元）。
• 推导这些生成元之间的定义关系，其形式远比标准 Serre 关系更简单。
• 将该框架扩展至某些无限维李代数，如作为一元不定元微分算子子代数实现的复数维矩阵李代数。
• 通过提供计算上可行且结构上透明的表示，促进在可积系统和 $q$-量子化中的应用。

提出的方法

• 识别有限维单李代数 ${\mathfrak{g}}$ 的主 $σ\mathfrak{sl}(2)$-嵌入，该嵌入将 ${\mathfrak{g}}$ 分解为不可约 $σ\mathfrak{sl}(2)$-模，其最高权为 $2, k_1, k_2, \dots$，如表 1.1 所列。
• 选取雅可布森生成元：$x = \nabla_+ \in L^2$（$σ\mathfrak{sl}(2)$-生成元），$z = l_{-r}$ 为最高权模 $L^r$ 中的最低权向量（当 ${\mathfrak{g}} \neq \u03c3\mathfrak{o}(2n)$ 时 $r = k_1$，当 ${\mathfrak{g}} = \u03c3\mathfrak{o}(2n)$ 时 $r = 2n-2$），以及用于简化关系的 $u = \nabla_-$。
• 使用计算机代数系统（基于格罗曼的 Mathematica 包）计算这些生成元之间的定义关系，确保其在次数上齐次且数量最少。
• 引入第三生成元 $u$ 以简化关系形式，尽管其数量略有增加，但可避免使用对称生成元（如 $l_r$）所带来的关系复杂化。
• 通过分析 $X^\pm$ 和 $H$ 在不可约 $σ\mathfrak{sl}(2)$-模的权向量上的作用，利用标准 $\u03c3\mathfrak{sl}(2)$-基：$X^-, H, X^+$，推导出定义关系。
• 将该表示框架扩展至无限维李代数，如复数维矩阵代数，其作为一元不定元微分算子代数的子代数实现。

实验结果

研究问题

• RQ1 能否仅用源自主 $σ\mathfrak{sl}(2)$-子代数的两个元素生成一个有限维单李代数？若能，它们之间的定义关系是什么？
• RQ2 这些生成元之间的定义关系是否远比标准 Serre 关系更简单，尤其是在关系数量和形式上？
• RQ3 该生成元与关系的框架能否扩展至无限维李代数，如复数维矩阵李代数？
• RQ4 为何引入第三生成元 $u = \nabla_-$ 尽管增加了关系数量，却能有效简化定义关系？
• RQ5 该表示如何促进在可积系统和无限维李代数的 $q$-量子化中的应用？

主要发现

• 作者明确构造了任意有限维单李代数的表示，仅使用两个源自主 $σ\mathfrak{sl}(2)$-子代数的生成元 $x$ 和 $z$，并引入第三生成元 $u$ 以简化关系。
• 对于 $σ\mathfrak{sl}(\lambda)$ 系列，雅可布森生成元之间仅需 9 条定义关系，相比标准 Serre 关系实现巨大简化。
• 定义关系为齐次形式，且远比 Chevalley 表示中的关系更紧凑，尤其在非例外李代数中表现显著。
• 该方法成功扩展至复数维矩阵代数的无限维李代数，其作为一元不定元微分算子代数的子代数实现。
• 计算机辅助推导证实，其他生成元选择会导致更复杂的关系，验证了雅可布森生成元作为规范选择的合理性。
• 该结果为复数维矩阵李代数的 $q$-量子化提供了基础，并为基于主 $σ\mathfrak{sl}(2)$-子代数的可积系统研究提供了更清晰的框架。