[论文解读] Extending generalized spin representations

Robin Lautenbacher, Ralf Köhl|arXiv (Cornell University)|Apr 29, 2017

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

一句话总结

本文通过无坐标方法，将单纯连通分裂实 Kac–Moody 代数的高自旋表示——特别是 3/2 自旋和 5/2 自旋——进行推广。它在 $\mathfrak{h}^*$ 和 $\mathrm{Sym}^2(\mathfrak{h}^*)$ 上显式构造了映射 $X_{3/2}$ 和 $X_{5/2}$，并证明它们关于不变双线性形式满足所需的（反）对易关系，从而给出最大紧致子代数 $\mathfrak{k}$ 的有限维表示。关键贡献在于通过 Weyl 群表示进行刻画：仅当 $\mathfrak{h}^*$-模不包含符号表示分量时，才能扩展广义自旋表示。

ABSTRACT

We revisit the construction of higher spin representations by Kleinschmidt and Nicolai for E10, generalize it to arbitrary simply laced types, and provide a coordinate-free approach to the 3/2-spin and 5/2-spin representations. Moreover, we discuss the relationship between our findings and the representation theory of Sym(3) pointed out to us by Levy.

研究动机与目标

• 将 $E_{10}$ 的广义自旋表示扩展至任意单纯连通类型，采用无坐标框架。
• 为任意单纯连通分裂实 Kac–Moody 代数显式构造基于结构的 $\frac{3}{2}$-自旋和 $\frac{5}{2}$-自旋表示。
• 阐明 Weyl 群表示（特别是符号表示的缺失）在实现此类扩展中的作用。
• 对先前关于 $E_{10}$ 的结果提供概念性且易于理解的重新表述，使其可推广至例外情况之外。

提出的方法

• 构造映射 $X_{3/2}(\alpha) = -\alpha(\alpha|\cdot) + \frac{1}{2}\mathrm{id}_{\mathfrak{h}^*}$，作为从实根到 $\mathfrak{h}^*$ 自同态的映射，利用不变双线性形式。
• 在 $\mathrm{Sym}^2(\mathfrak{h}^*)$ 上定义 $X_{5/2}(\alpha) = \pi_\alpha \otimes \pi_\alpha - (\pi_\alpha \otimes \mathrm{id} + \mathrm{id} \otimes \pi_\alpha) + \frac{1}{2}\mathrm{id} \otimes \mathrm{id}$，其中 $\pi_\alpha = \alpha(\alpha|\cdot)$。
• 验证这些映射满足所需的（反）对易关系：若 $(\alpha|\beta) = 0$，则 $[X(\alpha), X(\beta)] = 0$；若 $(\alpha|\beta) = \mp 1$ 且 $\alpha \pm \beta \in \lambda$，则 $\{X(\alpha), X(\beta)\} = X(\alpha \pm \beta)$。
• 将映射解释为 $X(\alpha) = \rho(s_\alpha) - \frac{1}{2}\mathrm{id}$，其中 $\rho$ 是 Weyl 群在 $\mathfrak{h}^*$ 或 $\mathrm{Sym}^2(\mathfrak{h}^*)$ 上的作用，从而将构造与表示理论联系起来。
• 利用 $\mathrm{Sym}_3$ 的平凡表示和标准表示满足必要恒等式，而符号表示不满足的事实，来刻画哪些 $W$-模可被使用。
• 证明 $\mathrm{Sym}^3(\mathfrak{h}^*)$ 包含 $\mathrm{Sym}_3$ 的符号表示，因此无法通过此方法支持 $\frac{7}{2}$-自旋扩展，从而解释了当前理论中的空白。

实验结果

研究问题

• RQ1 能否通过无坐标方法将 $E_{10}$ 的广义自旋表示扩展至任意单纯连通 Kac–Moody 代数？
• RQ2 何种条件下，$W$-模 $V$ 使得映射 $X(\alpha) = \rho(s_\alpha) - \frac{1}{2}\mathrm{id}_V$ 构成有效的广义自旋表示？
• RQ3 为何 $\frac{3}{2}$- 和 $\frac{5}{2}$-自旋表示存在，而 $\frac{7}{2}$-自旋表示仍无法实现？
• RQ4 为何 $\mathfrak{h}^*$ 和 $\mathrm{Sym}^2(\mathfrak{h}^*)$ 中不包含符号表示，这与高阶自旋表示的存在性有何关联？
• RQ5 在部分和下封闭的正实根集合的结构是什么？它如何影响广义自旋表示的扩展？

主要发现

• 映射 $X_{3/2}(\alpha) = -\alpha(\alpha|\cdot) + \frac{1}{2}\mathrm{id}_{\mathfrak{h}^*}$ 对所有满足 $(\alpha|\beta) \in \{0, \pm1\}$ 的实根 $\alpha, \beta$ 满足所需的（反）对易关系，从而定义了最大紧致子代数 $\mathfrak{k}$ 的有限维表示。
• 在 $\mathrm{Sym}^2(\mathfrak{h}^*)$ 上的映射 $X_{5/2}(\alpha) = \pi_\alpha \otimes \pi_\alpha - (\pi_\alpha \otimes \mathrm{id} + \mathrm{id} \otimes \pi_\alpha) + \frac{1}{2}\mathrm{id} \otimes \mathrm{id}$ 同样满足（反）对易关系，并给出 $\mathfrak{k}$ 的有效表示。
• 该构造等价于 $X(\alpha) = \rho(s_\alpha) - \frac{1}{2}\mathrm{id}$，其中 $\rho$ 是 Weyl 群在 $\mathfrak{h}^*$ 或 $\mathrm{Sym}^2(\mathfrak{h}^*)$ 上的作用，且该表示成立当且仅当该 $W$-模不包含符号表示作为分量。
• $\mathrm{Sym}^3(\mathfrak{h}^*)$ 模包含 $\mathrm{Sym}_3$ 的符号表示，这阻碍了通过此方法实现 $\frac{7}{2}$-自旋扩展，从而解释了当前尚无此类表示的原因。
• 该方法将 Kleinschmidt 和 Nicolai 在 $E_{10}$ 上的结果推广至所有单纯连通类型，为高阶自旋表示提供了统一的无坐标框架。
• 在有限型和单纯连通仿射型中，对部分和封闭的正实根集合（即每次部分和均为正实根的迭代和）与全部正实根集合一致，但其在一般情况下的结构仍待开放。