[论文解读] The Weyl-Kac weight formula

Gurbir Dhillon, Apoorva Khare|arXiv (Cornell University)|Feb 20, 2018

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

一句话总结

本文首次给出了 Kac–Moody 代数上所有单最高权模权重的显式公式，推广了 Weyl–Kac 特征标公式。对于一般最高权，它提供了一个类似于 Weyl–Kac 公式的符号交替公式，而该公式在平凡模上的失效表明仿射根系存在‘无重数’的 Macdonald 恒等式。

ABSTRACT

We provide the first formulae for the weights of all simple highest weight modules over Kac-Moody algebras. For generic highest weights, we present a formula for the weights of simple modules similar to the Weyl-Kac character formula. For the remaining highest weights, the formula fails in a striking way, suggesting the existence of 'multiplicity-free' Macdonald identities for affine root systems.

研究动机与目标

• 为 Kac–Moody 代数上所有单最高权模的权重提供一个通用公式，将 Weyl–Kac 特征标公式扩展至不可积模之外。
• 解决长期悬而未决的难题：表征非不可积单模中哪些权空间具有正重数。
• 通过最高权模的不变量，建立一个统一框架，将可积性、权的凸包与权重数联系起来。
• 揭示非不可积模中的结构性现象，特别是平凡模上权重公式的失效，暗示了新的恒等式。
• 将凸几何工具——特别是 Ray 分解——推广至有限与仿射 Kac–Moody 情形下的非不可积最高权模。

提出的方法

• 引入不变量 $ I_V $，即满足 $ f_i $ 在 $ V $ 上局部幂零的指标集合，作为最高权模的关键分类器。
• 证明 $ I_V $、权的凸包 $ \operatorname{conv}V $，以及特征标 $ \operatorname{ch}V $ 在 Weyl 群作用下的稳定化子是等价的不变量。
• 推导 Ray 分解公式：$ \operatorname{conv}V = \operatorname{conv} \bigcup_{w \in W_{I_V}, i \in I \setminus I_V} w(\lambda - \mathbb{Z}_{\geq 0} \alpha_i) $，该公式通过可积与不可积方向描述了权的凸包。
• 定义潜在可积性 $ I_V^p = I_\lambda \setminus I_V $，并利用它将 $ V $ 的权集与抛物 Verma 模 $ M(\lambda, J) $ 的权集联系起来。
• 证明 $ \operatorname{wt}V = \operatorname{wt}M(\lambda, I_V) $ 当且仅当 $ \operatorname{wt}U(\mathfrak{l})V_\lambda = \lambda - \mathbb{Z}_{\geq 0}\{\alpha_i \mid i \in I_V^p\} $，其中 $ \mathfrak{l} $ 是由 $ \mathfrak{h} $ 及 $ i \in I_V^p $ 的 $ e_i, f_i $ 生成的 Levi 子代数。
• 利用不变量的等价性与抛物 Verma 模的结构，推导出显式权重公式，适用于一般最高权，具有符号交替但不涉及 Kazhdan–Lusztig 多项式。

实验结果

研究问题

• RQ1 能否为 Kac–Moody 代数上所有单最高权模的权重提供一个统一的、正的公式，将 Weyl–Kac 公式扩展至不可积模之外？
• RQ2 非不可积单模中具有正重数的权集由什么特征刻画？能否在不依赖 Kazhdan–Lusztig 多项式的情况下描述这一特征？
• RQ3 为何所提出的权重公式在平凡模上失效？这又对仿射根系的 Macdonald 恒等式结构意味着什么？
• RQ4 在非不可积最高权模中，可积性与权的凸包如何相互作用？能否通过几何分解来捕捉这种关系？
• RQ5 在多大程度上，可通过 Levi 子代数作用，从抛物 Verma 模的权集恢复简单模的权集？

主要发现

• 本文首次为 Kac–Moody 代数上所有单最高权模的权重提供了通用公式，适用于一般最高权，其结构与 Weyl–Kac 公式相似。
• 该公式包含符号交替，但避免了 Kazhdan–Lusztig 多项式，相较于现有非不可积模的特征标公式实现了显著简化。
• 该公式在平凡模上的失效表明，仿射根系存在‘无重数’的 Macdonald 恒等式，这是新发现且引人注目的现象。
• Ray 分解公式 $ \operatorname{conv}V = \operatorname{conv} \bigcup_{w \in W_{I_V}, i \in I \setminus I_V} w(\lambda - \mathbb{Z}_{\geq 0} \alpha_i) $ 完整地描述了权的凸包，其表达方式基于可积与不可积方向。
• 三个不变量——可积性 $ I_V $、凸包 $ \operatorname{conv}V $、特征标在 Weyl 群下的稳定化子——的等价性，为分类最高权模提供了新的结构性框架。
• 对于单模 $ L(\lambda) $ 或满足 $ |I_V^p| \leq 1 $ 的模，其权集等于对应抛物 Verma 模 $ M(\lambda, I_V) $ 的权集，从而可通过已知结构实现权重计算。