[论文解读] The $q$-analog of Kostant's partition function and the highest root of the classical Lie algebras

Pamela E. Harris, Erik Insko+1 more|arXiv (Cornell University)|Aug 31, 2015

Advanced Combinatorial Mathematics参考文献 17被引用 3

一句话总结

本文推导出经典李代数类型 $B_r$、$C_r$ 和 $D_r$ 中最高根处的 Kostant 分区函数 $q$-类比的显式生成函数与闭式表达式。通过递推关系与特征根，给出了以 $q$-依赖代数函数表示的精确多项式公式，从而为验证 Kostant 关于权重重数与李代数指数的结果提供了组合方法。

ABSTRACT

Kostant's partition function counts the number of ways to represent a particular vector (weight) as a nonnegative integral sum of positive roots of a Lie algebra. For a given weight the $q$-analog of Kostant's partition function is a polynomial where the coefficient of $q^k$ is the number of ways the weight can be written as a nonnegative integral sum of exactly $k$ positive roots. In this paper we determine generating functions for the $q$-analog of Kostant's partition function when the weight in question is the highest root of the classical Lie algebras of types $B$, $C$ and $D$.

研究动机与目标

• 为经典李代数类型 $B_r$、$C_r$ 和 $D_r$ 中最高根处的 Kostant 分区函数 $q$-类比提供显式生成函数。
• 通过聚焦于跟踪按长度分解正根数量的 $q$-类比，克服 Kostant 权重重数公式在计算上的不可行性。
• 为 Kostant 结果的纯组合证明奠定基础，即最高根与零权的 $q$-权重重数生成函数等于 $q^{e_i}$ 的和，其中 $e_i$ 为李代数的指数。
• 通过求解具有代数系数的线性递推关系，确定 Weyl 交替集上 $q$-分区函数值的结构，特别是恒等元处的结构。

提出的方法

• 利用经典李代数中正根系的结构，推导出生成函数 $\mathscr{P}_{B_r}(q)$、$\mathscr{P}_{C_r}(q)$ 和 $\mathscr{P}_{D_r}(q)$ 的递推关系。
• 识别出特征多项式 $f_\lambda(q) = \lambda^2 - (2+2q+q^2)\lambda + (1+2q+q^2+q^3)$，其根 $\beta_1(q)$ 与 $\beta_2(q)$ 构成闭式解的基础。
• 通过求解包含初始值 $\mathscr{P}_{B_2}(q)$、$\mathscr{P}_{B_3}(q)$ 等的线性系统，以 $\beta_1(q)$ 与 $\beta_2(q)$ 表示系数函数 $\alpha_1(q)$、$\alpha_2(q)$、$\gamma_1(q)$、$\gamma_2(q)$ 与 $\delta_1(q)$、$\delta_2(q)$。
• 将最终公式表示为 $\beta_1(q)$ 与 $\beta_2(q)$ 幂次的线性组合，其中系数包含有理函数与 $q^2 + 4$ 的平方根，从而实现对任意秩 $r$ 的精确计算。
• 使用符号代数求解初始情况的方程组，推导出包含根号与有理函数的闭式表达式，其中变量为 $q$。
• 通过检查小秩时的已知值（如 $\mathscr{P}_{B_2}(q) = q^3 + q^2 + q$ 与 $\mathscr{P}_{D_4}(q) = q^5 + 3q^4 + 6q^3 + 4q^2 + q$）验证递推结构的一致性。

实验结果

研究问题

• RQ1 在类型 $B_r$ 李代数中，Kostant 分区函数 $q$-类比在最高根处的显式生成函数是什么？
• RQ2 如何将 $C_r$ 与 $D_r$ 中最高根的 $q$-分区函数值表示为 $q$ 中代数函数幂次的线性组合？
• RQ3 基于递推的方法能否为经典李代数类型 $B_r$、$C_r$ 与 $D_r$ 的 $q$-类比分区函数提供闭式表达式？
• RQ4 $\beta_1(q)^{r-k}$ 与 $\beta_2(q)^{r-k}$ 的线性组合中，哪些函数形式的系数能给出 $\mathscr{P}_{B_r}(q)$、$\mathscr{P}_{C_r}(q)$ 与 $\mathscr{P}_{D_r}(q)$？
• RQ5 初始值如何通过递推与特征根确定整个解族？

主要发现

• 类型 $B_r$ 中，$q$-类比 Kostant 分区函数在最高根处的生成函数满足递推关系 $\mathscr{P}_{B_r}(q) = (2+2q+q^2)\mathscr{P}_{B_{r-1}}(q) - (1+2q+q^2+q^3)\mathscr{P}_{B_{r-2}}(q)$（$r \geq 3$），初始值为 $\mathscr{P}_{B_2}(q) = q^3 + q^2 + q$ 与 $\mathscr{P}_{B_3}(q) = q^5 + 2q^4 + 4q^3 + 3q^2 + q$。
• 闭式表达式为 $\mathscr{P}_{B_r}(q) = \alpha_1(q) \beta_1(q)^{r-2} + \alpha_2(q) \beta_2(q)^{r-2}$，其中 $\beta_1(q)$ 与 $\beta_2(q)$ 是二次方程 $\lambda^2 - (2+2q+q^2)\lambda + (1+2q+q^2+q^3)$ 的根，且 $\alpha_1(q)$、$\alpha_2(q)$ 为包含 $\sqrt{q^2 + 4}$ 的有理函数。
• 对于类型 $C_r$，生成函数满足与 $B_r$ 相同的递推关系，且 $\mathscr{P}_{C_r}(q) = \gamma_1(q) \beta_1(q)^{r-1} + \gamma_2(q) \beta_2(q)^{r-1}$，其中 $\gamma_1(q) = \frac{q(q^2 + q\sqrt{q^2+4} + 4)}{2(q^2+4)}$ 与 $\gamma_2(q) = \frac{q(q^2 - q\sqrt{q^2+4} + 4)}{2(q^2+4)}$，由初始值 $\mathscr{P}_{C_1}(q) = q$ 与 $\mathscr{P}_{C_2}(q) = q^3 + q^2 + q$ 推导得出。
• 对于类型 $D_r$，递推关系在 $r \geq 6$ 时成立，且 $\mathscr{P}_{D_r}(q) = \delta_1(q) \beta_1(q)^{r-4} + \delta_2(q) \beta_2(q)^{r-4}$，其中 $\delta_1(q)$ 与 $\delta_2(q)$ 为包含 $\sqrt{q^2 + 4}$ 与 $q$ 的多项式的有理函数。
• 系数函数 $\alpha_1(q)$、$\alpha_2(q)$、$\gamma_1(q)$、$\gamma_2(q)$、$\delta_1(q)$、$\delta_2(q)$ 通过初始值与由递推关系导出的线性系统显式计算得出，且在各秩间保持一致。
• 每个经典类型的整体解均以 $q$ 的代数函数表示，从而可对任意秩 $r$ 精确计算最高根处的 $q$-类比分区函数，且解的结构反映出底层根系对称性。