[论文解读] Layer structure of irreducible Lie algebra modules

Jørgen Rasmussen|arXiv (Cornell University)|Mar 18, 2018

Advanced Algebra and Geometry参考文献 5被引用 5

一句话总结

本文引入了层和（layer sums）的概念——即在有限维不可约模中，不同权的指数形式之和，这些模属于有限维单复李代数。本文证明了任一此类模的特征标可分解为这些层和的非负整数组合，从而提出了一种计算外尔特征标和权重重数的新方法，并确立了不同权的数量是关于李代数的Dynkin标记的多项式，其次数等于该代数的秩。

ABSTRACT

Let $\mathfrak{g}$ be a finite-dimensional simple complex Lie algebra. A layer sum is introduced as the sum of formal exponentials of the distinct weights appearing in an irreducible $\mathfrak{g}$-module. It is argued that the character of every finite-dimensional irreducible $\mathfrak{g}$-module admits a decomposition in terms of layer sums, with only non-negative integer coefficients. Ensuing results include a new approach to the computation of Weyl characters and weight multiplicities, and a closed-form expression for the number of distinct weights in a finite-dimensional irreducible $\mathfrak{g}$-module. The latter is given by a polynomial in the Dynkin labels, of degree equal to the rank of $\mathfrak{g}$.

研究动机与目标

• 开发一种计算有限维单复李代数的有限维不可约表示之特征标和权重重数的新方法，计算效率更高。
• 将此类模中不同权的数量表征为Dynkin标记的多项式。
• 建立不可约特征标关于层和的分解，且系数为非负整数。
• 提供一个系统框架，通过层多项式和外尔群作用来表达轨道和与不可约特征标。
• 通过在低秩情形（如 $A_2$、$A_3$、$B_2$、$G_2$ 和 $A_5$）中的显式计算，验证层多项式方法的一致性。

提出的方法

• 引入层和的概念，即在不可约模中对不同权的正式指数和进行求和。
• 定义层多项式，其将不同权的数量表示为最高权Dynkin标记的函数，其次数等于李代数的秩。
• 通过利用外尔群对称性和轨道结构，推导出不可约特征标作为层和的非负整数线性组合的分解。
• 利用辅助特征标和一个与外尔维数公式相关的新型多项式恒等式，将层和与不可约特征标关联起来。
• 通过对外尔群进行交错求和，将轨道和表示为有限维不可约特征标的交错和，形成主对角线元素为1的下三角线性系统。
• 通过在权多面体中计算格点，验证层多项式，确认其在 $A_2$、$A_3$、$B_2$ 和 $G_2$ 中与基于特征标的计算结果一致。

实验结果

研究问题

• RQ1 能否将有限维单复李代数的有限维不可约模的特征标表示为层和的非负整数组合？
• RQ2 此类模中不同权的数量是否为Dynkin标记的多项式？若是，该多项式的次数是多少？
• RQ3 能否将对应于一个极大积分权的轨道和表示为外尔群上有限维不可约特征标的交错和？
• RQ4 层多项式构造是否与模的权多面体中的格点计数一致？
• RQ5 层和与不可约特征标之间的线性系统具有何种结构？该系统能否可逆，以恢复单个特征标？

主要发现

• 有限维不可约模中不同权的数量由最高权Dynkin标记的多项式给出，其次数等于李代数的秩。
• 每一个有限维不可约模的特征标均可分解为层和的非负整数系数组合。
• $A_5$ 的层多项式被显式计算为Dynkin标记的五次多项式，与权多面体中的格点计数一致。
• 对于 $G_2$，不同权的数量由一个多项式表达式给出，该表达式与基于特征标理论和多面体格点计数的方法结果一致。
• 逆问题——将轨道和表示为不可约特征标的组合——产生一个主对角线元素为1的下三角矩阵系统，从而可递归计算特征标。
• 外尔群的阶可表示为在经平移外尔群作用关联的点上取值的层多项式的交错和。