[论文解读] Positive Energy Unitary Irreducible Representations of the Superalgebras $osp(1|2n,R)$ and Character Formulae

V. K. Dobrev, Igor Salom|arXiv (Cornell University)|Jun 7, 2015

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

一句话总结

本文完成了对实超代数 $\mathfrak{osp}(1|2n,\mathbb{R})$ 的正能级单位酉不可约表示（UIRs）的分类，提供了这些表示的完整列表，并利用 Verma 模上的 Shapovalov 型式推导出特征标公式。主要贡献在于通过 Dynkin 标签和 Weyl 群轨道系统性地构造 UIRs，基于 $sl(3)$ 子多重态分解，给出了不同大小多重态（包括 24 个成员和 12 个成员的多重态）的显式特征标公式。

ABSTRACT

We continue the study of positive energy (lowest weight) unitary irreducible representations of the superalgebras $osp(1|2n,R)$. We update previous results and present the full list of these UIRs. We give also some character formulae for these representations.

研究动机与目标

• 完成对超代数 $\mathfrak{osp}(1|2n,\mathbb{R})$ 的正能级单位酉不可约表示（UIRs）的分类，这些表示在 $D>6$ 的共形超场论中至关重要。
• 通过修正 [12] 中的遗漏并提供 $\mathfrak{osp}(1|2n,\mathbb{R})$ 的最低权 UIRs 的完整列表，扩展先前的结果。
• 利用 Shapovalov 型式和 Verma 模上的 Weyl 群作用，推导这些 UIRs 的特征标公式。
• 通过 $sl(3)$ 子多重态分解分析多重态结构，并基于 Dynkin 标签约束确定 UIRs 的大小和内容。

提出的方法

• 本研究采用复化 $\mathfrak{osp}(1|2n)$ 上 Verma 模的 Shapovalov 型式，以确定最低权表示的酉性条件。
• 表示通过共形权重 $d$ 和 $su(n)$ 的 Dynkin 标签 $a_1, \dots, a_{n-1}$ 标记，使用记号 $[d; a_1, \dots, a_{n-1}]$ 对 UIRs 进行分类。
• 通过指定的单根系 $\Pi = \{\alpha_1, \dots, \alpha_n\}$ 分析 $\mathfrak{osp}(1|2n)$ 的根系，其中 $\alpha_n = \delta_n$ 为奇根且非幂零。
• 使用受限根系 $\bar{\Delta}^+ = \bar{\Delta}^+_{\bar{0}} \cup \Delta^+_{\bar{1}}$ 定义正根系及 Weyl 群作用。
• 通过 Weyl 分母和轨道和构造特征标公式，对成员数少于 48 的多重态使用约化 Weyl 群 $W_R$。
• 该方法涉及将 UIRs 分解为 $sl(3)$ 子多重态（六重态），并通过交替求和 $sl(3)$ 特征标推导特征标公式，如式 (68) 和 (70) 所示。

实验结果

研究问题

• RQ1 什么是 $\mathfrak{osp}(1|2n,\mathbb{R})$ 的正能级单位酉不可约表示（UIRs）的完整列表？
• RQ2 Weyl 群轨道和受限根系如何决定 UIR 多重态的结构与大小？
• RQ3 哪些特征标公式能描述这些 UIRs 的谱，特别是针对 24 个成员和 12 个成员的多重态？
• RQ4 $sl(3)$ 子多重态分解如何促进 $\mathfrak{osp}(1|2n,\mathbb{R})$ UIRs 特征标公式的构建？
• RQ5 在何种条件下特征标公式会因 $sl(3)$ 特征标消失而简化，例如 $\mathrm{ch}\,\Lambda_{1,0}(t_1,t_2) = 0$？

主要发现

• 本文提供了 $\mathfrak{osp}(1|2n,\mathbb{R})$ 的正能级单位酉不可约表示的完整分类，修正了早期工作中遗漏的部分。
• 当 $d = d_2 = 1 + \frac{1}{2}a_2 > d_{13} = 1$ 时，构造出一个 24 个成员的多重态，包含四个 $sl(3)$ 六重态，其特征标公式由式 (68) 给出。
• 当 $m_2 = 2$（即 $a_2 = 1$）时，多重态缩减为 12 个成员，公式 (68) 自动通过 $\mathrm{ch}\,\Lambda_{1,0} = 0$ 导致的消失项反映这一变化。
• 对于半标准权 $\Lambda_0^{d_{23}} = (1,1,0)$ 且 $d = \frac{1}{2}$ 的情形，形成一个 24 个成员的多重态，特征标公式 (70) 简化为 $\frac{e(\Lambda^{d_{23}}_0)}{(1-t_3)(1-t_2t_3)(1-t_1t_2t_3)}$。
• 在 $d_{23}$ 情形下，特征标公式使用约化 Weyl 群 $W_R = \langle s_1, s_2, s_3s_2s_3 \rangle$ 和 $w_\Lambda = 1$，从而在式 (70) 中得到紧凑表达式。
• 本文确立了 $\mathfrak{osp}(1|2n,\mathbb{R})$ 的 UIRs 完全由其 Dynkin 标签和 Weyl 群轨道决定，其特征标公式通过 $sl(3)$ 特征标的交替求和推导得出。