[论文解读] The representation theory of the exceptional Lie superalgebras F(4) and G(3)

Lilit Martirosyan|arXiv (Cornell University)|Sep 2, 2013

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

一句话总结

该论文解决了关于例外李超代数 F(4) 和 G(3) 的表示理论中三个长期存在的问题：推导出简单模的特征标和超维数公式，通过块的箭图描述对所有不可约表示进行分类，并为典型权构造了 Borel-Weil-Bott 定理的超代数类比。主要贡献是完整分类了块与箭图，表明具有余维数为一的非典型块是驯服的，从而证实了 Germoni 的一个猜想。

ABSTRACT

This paper is a resolution of three related problems proposed by Yu. I. Manin and V. Kac for the so-called {\it{exceptional}} Lie superalgebras F(4) and G(3). The first problem posed by Kac (1978) is the problem of finding character and superdimension formulae for the simple modules. The second problem posed by Kac (1978) is the problem of classifying all indecomposable representations. The third problem posed by Manin (1981) is the problem of constructing the {\it{superanalogue}} of Borel-Weil-Bott theorem.

研究动机与目标

• 解决 V. Kac 于 1978 年提出的问题：为 F(4) 和 G(3) 的简单模找到特征标和超维数公式。
• 通过描述其块与箭图，对 F(4) 和 G(3) 的所有不可约表示进行分类。
• 为 F(4) 和 G(3) 中的典型权构造 Borel-Weil-Bott 定理的超代数类比。
• 证明 Kac-Wakimoto 关于这些例外超代数的超维数公式的猜想。
• 确认 Germoni 关于 F(4) 和 G(3) 的余维数为一的非典型块为驯服块的猜想。

提出的方法

• 使用中心特征标参数化和 Weyl 向量平移对有限维模范畴的块进行分类。
• 通过不可约模之间的 Ext^1 维数，为每个块构造箭图。
• 通过将 L_λ 与商代数 g_x ≅ sl(3) 或 sl(2) 的不可约表示关联，推导出超维数公式，其中 x 属于自交换锥。
• 利用 BGG 对偶性及投射模的根层滤过结构，重构箭图结构并验证关系。
• 应用层上同调与特征标公式，为典型权建立 F(4) 和 G(3) 的 Borel-Weil-Bott 定理的超代数类比。
• 通过将超维数公式与文献 [17] 中关于特征标公式的结论相结合，验证 Kac-Wakimoto 猜想。

实验结果

研究问题

• RQ1 例外李超代数 F(4) 和 G(3) 的简单模的特征标和超维数公式是什么？
• RQ2 如何通过块分解与箭图对 F(4) 和 G(3) 的所有不可约表示进行分类？
• RQ3 能否为 F(4) 和 G(3) 中的典型权构造 Borel-Weil-Bott 定理的超代数类比？
• RQ4 F(4) 和 G(3) 的余维数为一的块是否如 Germoni 所猜想的那样是驯服的？
• RQ5 Kac-Wakimoto 关于超维数公式的猜想是否对 F(4) 和 G(3) 成立？

主要发现

• 对于 F(4)，非典型块由 sl(3) 的典型权 μ 参数化，满足 μ + ρ_l = aω₁ + bω₂，其中 a = 3n + b，b > 0，n ≥ 0。
• 对称块 F^(a,a) 的箭图为 D_∞ 型，而非对称块 F^(a,b) 的箭图为 A_∞ 型。
• 对于 G(3)，非典型块由 sl(2) 的典型权 μ 参数化，满足 μ_l + ρ = aω₁，其中 a = 2n + 1，n ≥ 0，且块 F^a 的箭图为 D_∞ 型。
• 超维数公式为：对一般 λ，有 sdim(L_λ) = ±2·dim(L_μ(g_x))；对特殊权，有 sdim(L_λ_i) = dim(L_μ(g_x))，其中 g_x ≅ sl(3)（F(4) 情形）或 sl(2)（G(3) 情形）。
• 通过 Weyl 群作用与 Weyl 分母恒等式，将 Borel-Weil-Bott 定理推广至 F(4) 和 G(3) 的特征标公式。
• 该分类证实了余维数为一的块是驯服的，从而证明了 Germoni 对 F(4) 和 G(3) 的猜想，并验证了 Kac-Wakimoto 关于超维数公式的猜想。