[论文解读] Topics in Hidden Symmetries

Denis V. Juriev|ArXiv.org|May 9, 1994

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

一句话总结

本文以李代数 $σρ(2,\mathbb{C})$ 为原型，研究表示理论中的逆问题，通过非交换半三次映射与韦罗内塞映射引入了“隐藏对称性”的概念。它为每个最高权 $h$ 构造了唯一的自由隐藏对称性二次代数，通过韦尔马模中的张量算子实现，并引入了具有同构表示的李可适 $σρ(2,\mathbb{C})$-丛，为量子场论中的无限维对称性提供了框架。

ABSTRACT

These three topics are an attempt to explicate some curiosities of the inverse problem of representation theory (i.e. having a set of operators to describe the "correct" algebraic object, which is represented by them) on simple examples related to the Lie algebra sl(2,C). Such consideration maybe regarded as toy one for analogous infinite dimensional problems in the modern quantum field theory (conformal field theory, integrable models, field theory in non-trivial backgrounds). Some constructions inspired by these topics and related to infinite dimensional hidden symmetries, which are produced by vertex operator fields, will be discussed in the forthcoming article.

研究动机与目标

• 解决表示理论中的逆问题——从一组算子重构底层代数结构——以 $σρ(2,\mathbb{C})$ 为原型。
• 定义并表征‘隐藏对称性’为在韦尔对称化下封闭的结合代数的 $σρ$-子模。
• 引入非交换半三次映射作为新方法，使隐藏对称性‘自由化’，尤其针对韦尔马模中类型 $π_2$ 和 $π_3$ 的张量算子。
• 定义第一类与第二类李可适 $σρ(2,\mathbb{C})$-丛，并研究其在韦尔马模中的同构表示。
• 为理解量子场论中无限维隐藏对称性奠定基础，特别是通过顶点算子场与 W-代数。

提出的方法

• 本文将隐藏对称性空间 $V$ 定义为结合代数 $\mathcal{A}$ 的 $σρ(2,\mathbb{C})$-子模，且韦尔对称化映射 $S^\cdot(V) \to \mathcal{A}$ 是满射。
• 引入非交换半三次映射作为 $S^i(V_1) \to V_i$（$i=2,3$）的复合，其中 $V_1$ 是 $σρ(2,\mathbb{C})$ 的不可约模，且 $V = V_2 \oplus V_3$。
• 代数 $\mathfrak{A}_h$ 构造为每个 $h$ 的唯一二次自由隐藏对称代数，其生成元由韦尔马模 $V_h \cong \mathbb{C}[z]$ 中的张量算子 $D^k_i$ 给出，满足特定微分实现。
• 通过 $σρ(2,\mathbb{C})$-等变映射 $\mathfrak{g} \otimes T^2(W) \to W$ 定义李可适 $σρ(2,\mathbb{C})$-丛，其中第一类与第二类丛的运算 $[X,Y]_L$ 和 $X \circ_L Y$ 分别与 $L$ 无关。
• 同构表示定义为满足特定算子恒等式的 $σρ(2,\mathbb{C})$-等变映射 $T: W \to \operatorname{End}(H)$，涉及 $\pi(L)$ 与李可适乘积。
• 通过微分实现将该框架应用于韦尔马模：$L_{-1} = z$，$L_0 = z\partial_z + h$，$L_1 = z^2\partial_z^2 + 2h\partial_z$，并在该基底下显式计算张量算子 $D^k_i$。

实验结果

研究问题

• RQ1 能否通过识别自由隐藏对称性的通用代数，系统性地解决 $σρ(2,\mathbb{C})$ 的表示理论逆问题？
• RQ2 非交换半三次映射是否为韦尔马模中半三次类型隐藏对称性的实现提供了唯一且一致的方法？
• RQ3 是否存在以 $\pi_2$ 为坐标基的第一类与第二类二次李可适 $σρ(2,\mathbb{C})$-丛，其可通过张量算子 $D^2_i$ 实现同构表示？
• RQ4 李可适代数的结构能否用于建模共形场论等无限维情形下的隐藏对称性？
• RQ5 韦尔马模中的张量算子 $D^k_i$ 如何实现隐藏对称代数所需的代数与表示论性质？

主要发现

• 对每个最高权 $h$，存在唯一的自由隐藏对称性二次代数 $\mathfrak{A}_h$，其构造为从 $S^\cdot(V)$ 到 $\mathcal{F}$ 的韦尔对称化映射的像，其中 $V$ 由张量算子 $D^2_i$ 与 $D^3_i$ 张成。
• 非交换半三次映射（定义为复合 $S^i(V_1) \to V_i \to \mathcal{F}$）给出了 $\sigmaρ(2,\mathbb{C})$-模的典范同构 $S^\cdot(V_1) \to \mathfrak{A}_h$。
• 韦尔马模 $V_h \cong \mathbb{C}[z]$ 中的张量算子 $D^k_i$ 显式实现为微分算子：$D_{-2}^2 = z^2$，$D_{-1}^2 = z(\xi + h + 1/2)$，$D_0^2 = \xi^2 + 2h\xi + \dots$，其中 $\xi = z\partial_z$，且满足所需的 $\sigmaρ(2,\mathbb{C})$-作用。
• $\pi_0 \oplus \pi_2$ 自然地构成第一类李可适 $\sigmaρ(2,\mathbb{C})$-丛，而 $\pi_1$ 与 $\bigoplus_{i=0}^k \pi_{2i+1}$ 分别构成第二类结构。
• 李可适 $\sigmaρ(2,\mathbb{C})$-丛的同构表示通过 $\sigmaρ(2,\mathbb{C})$-等变映射 $T: W \to \operatorname{End}(H)$ 定义，满足第一类的 $T([X,Y]_L) = T(X)\pi(L)T(Y) - T(Y)\pi(L)T(X)$ 与第二类的 $T(X \circ_L Y) = \frac{1}{2}(T(X)\pi(L)T(Y) + T(Y)\pi(L)T(X))$。
• 该构造为量子场论中无限维隐藏对称性提供了一个玩具模型，尤其与顶点算子代数和 W-代数密切相关，潜在应用于共形场论与可积模型。