[论文解读] On the Dynkin index of a principal $\mathfrak{sl}_2$-subalgebra

Dmitri I. Panyushev|ArXiv.org|Mar 2, 2009

Advanced Topics in Algebra参考文献 4被引用 3

一句话总结

本文利用弗罗本纽斯-德沃里斯的'奇异公式'，为任意单李代数 ${\mathfrak{g}}$ 中主 $ \mathfrak{sl}_2 $-子代数的 Dynkin 指数建立了一个闭式公式。关键结果将该指数表示为 $\frac{\dim{\mathfrak{g}}}{6}h^*({\mathfrak{g}}^\vee)r$，其中 $h^*({\mathfrak{g}}^\vee)$ 是 Langlands 对偶代数 ${\mathfrak{g}}^\vee$ 的对偶卡塞尔数，$r$ 为秩。该公式使得在将 ${\mathfrak{g}}$ 的不可约表示视为 $\mathfrak{sl}_2$-模时，能够显式计算其 Dynkin 指数，并导出一个新恒等式，将 ${\mathfrak{g}}$ 的指数与 ${\mathfrak{g}}$ 和其 Langlands 对偶 ${\mathfrak{g}}^\vee$ 的对偶卡塞尔数联系起来。该公式在所有类型中保持统一，并在 Dynkin 图的展开操作下保持不变。

ABSTRACT

Let $g$ be a simple Lie algebra over an algebraically closed field of characteristic zero. The goal of this note is to prove a closed formula for the Dynkin index of a principal $sl_2$-subalgebra of $g$. The key step in the proof uses the "strange formula" of Freudenthal--de Vries. As an application, we (1) compute the Dynkin index any simple $g$-module regarded as $sl_2$-module and (2) obtain an identity connecting the exponents of $g$ and the dual Coxeter numbers of both $g$ and the Langlands dual $g^\vee$.

研究动机与目标

• 推导任意单李代数 ${\mathfrak{g}}$ 中主 $\mathfrak{sl}_2$-子代数的 Dynkin 指数的闭式表达式。
• 将该公式应用于计算当不可约 ${\mathfrak{g}}$-模视为 $\mathfrak{sl}_2$-模时的 Dynkin 指数。
• 建立一个新恒等式，将 ${\mathfrak{g}}$ 的指数与 ${\mathfrak{g}}$ 及其 Langlands 对偶 ${\mathfrak{g}}^\vee$ 的对偶卡塞尔数联系起来。

提出的方法

• 利用弗罗本纽斯-德沃里斯的'奇异公式'，将正根的平方高度之和与 ${\mathfrak{g}}$ 的维数及对偶卡塞尔数联系起来。
• 应用嵌套子代数的 Dynkin 指数的乘法性质：${\mathsf{ind}}({\mathfrak{h}}\subset{\mathfrak{g}}) = {\mathsf{ind}}({\mathfrak{h}}\subset{\mathfrak{s}}) \cdot {\mathsf{ind}}({\mathfrak{s}}\subset{\mathfrak{g}})$。
• 通过奇异公式和根高度和，将主 $\mathfrak{sl}_2$-子代数的 Dynkin 指数表示为 $\frac{\dim{\mathfrak{g}}}{6}h^*({\mathfrak{g}}^\vee)r$。
• 利用表示的直和的 Dynkin 指数可加性，计算不可约 ${\mathfrak{g}}$-模作为 $\mathfrak{sl}_2$-模的指数。
• 依赖标准归一化条件，即 $(\theta,\theta)_{\mathfrak{g}} = 2$，以确保双线性形式缩放的一致性。
• 将公式应用于推导一个新恒等式，涉及指数 $m_i$ 上的二项式系数 $\binom{2m_i + 2}{3}$ 的和。

实验结果

研究问题

• RQ1 在单李代数 ${\mathfrak{g}}$ 中，主 $\mathfrak{sl}_2$-子代数的 Dynkin 指数的闭式表达式是什么？
• RQ2 该指数如何用于计算当限制到主 $\mathfrak{sl}_2$-子代数时，任意不可约 ${\mathfrak{g}}$-模的 Dynkin 指数？
• RQ3 是否存在一个统一的恒等式，将 ${\mathfrak{g}}$ 的指数与 ${\mathfrak{g}}$ 和其 Langlands 对偶 ${\mathfrak{g}}^\vee$ 的对偶卡塞尔数联系起来？
• RQ4 主 $\mathfrak{sl}_2$-子代数的 Dynkin 指数在多重连结 Dynkin 图的展开操作下是否保持不变？

主要发现

• 在 ${\mathfrak{g}}$ 中，主 $\mathfrak{sl}_2$-子代数的 Dynkin 指数为 $\frac{\dim{\mathfrak{g}}}{6}h^*({\mathfrak{g}}^\vee)r$，其中 $h^*({\mathfrak{g}}^\vee)$ 是 Langlands 对偶代数 ${\mathfrak{g}}^\vee$ 的对偶卡塞尔数，$r$ 为 ${\mathfrak{g}}$ 的秩。
• 该指数在将 ${\mathfrak{g}}$ 展开为单连通覆盖 $\tilde{\mathfrak{g}}$ 的展开过程中保持不变，例如 $\mathbf{B}_n \to \mathbf{D}_{n+1}$ 或 $\mathbf{F}_4 \to \mathbf{E}_6$，这是由于乘法性质以及 ${\mathsf{ind}}({\mathfrak{g}}\hookrightarrow\tilde{\mathfrak{g}}) = 1$ 的事实。
• 任意不可约 ${\mathfrak{g}}$-模 $V_\lambda$ 作为 $\mathfrak{sl}_2$-模的 Dynkin 指数为 $\frac{\dim V_\lambda}{6} h^*({\mathfrak{g}}^\vee) r (\lambda, \lambda + 2\rho)_{\mathfrak{g}}$，该结果通过指数的乘法性导出。
• 建立了一个新恒等式：$\sum_{i=1}^n \binom{2m_i + 2}{3} = 2h^*({\mathfrak{g}}) \cdot \frac{\dim{\mathfrak{g}}}{6} h^*({\mathfrak{g}}^\vee)r$，其中 $m_i$ 是 ${\mathfrak{g}}$ 的指数，该恒等式将指数与对偶卡塞尔数联系起来。
• 推导出并证明了平方权和的公式：$\sum_{\mu \dashv V_\lambda} (\mu, \rho^\vee)^2_{\mathfrak{g}} = \frac{\dim V_\lambda}{12} h^*({\mathfrak{g}}^\vee) r (\lambda, \lambda + 2\rho)_{\mathfrak{g}}$，且在单连通情形下与弗罗本纽斯-德沃里斯公式一致。
• 该结果为 $\sum_{\gamma > 0} {\mathsf{ht}}^2(\gamma)$ 提供了一个统一表达式，即 $\frac{\dim{\mathfrak{g}}}{6} h^*({\mathfrak{g}}^\vee)r$，并表明此类 $\sum {\mathsf{ht}}^s(\gamma)$ 的统一表达式可能仅对特定 $s$（如 $s=2$）存在。