[论文解读] Supersymmetry and the Modular Double

Ivan Chi Ho Ip, Anton M. Zeitlin|arXiv (Cornell University)|Apr 25, 2013

Advanced Topics in Algebra被引用 4

一句话总结

本文通过超对称量子力学，构建了量子超代数 $\mathcal{U}_q(\mathfrak{osp}(1|2))$ 的模双的超对称类比，将模双框架从 $\mathfrak{sl}(2,\mathbb{R})$ 扩展至超代数。关键成果是利用量子二对数函数显式构造了该超代数的 $R$-矩阵，这对于描述 $\mathcal{N}=1$ 超对称 Liouville 场论中的融合规则至关重要。

ABSTRACT

A counterpart of the modular double for quantum superalgebra $\cU_q(\osp(1|2))$ is constructed by means of supersymmetric quantum mechanics. We also construct the $R$-matrix operator acting in the corresponding representations, which is expressed via quantum dilogarithm.

研究动机与目标

• 将模双概念——此前定义于 $\mathcal{U}_q(\mathfrak{sl}(2,\mathbb{R}))$——推广至量子超代数 $\mathcal{U}_q(\mathfrak{osp}(1|2))$。
• 通过超对称量子力学，在 $L^2(\mathbb{R})$ 上建立 $\mathcal{U}_q(\mathfrak{osp}(1|2))$ 的模双表示。
• 构造作用于 $\mathcal{U}_q(\mathfrak{osp}(1|2))$ 表示的 $R$-矩阵算子，其表达式基于量子二对数函数。
• 为可能描述 $\mathcal{N}=1$ 超对称 Liouville 场论中融合规则的表示的张量范畴奠定基础。

提出的方法

• 将 $\mathcal{U}_q(\mathfrak{sl}(2,\mathbb{R}))$ 的自由场实现（通过 Heisenberg 代数生成元 $U = e^{2\pi b x}$, $V = e^{2\pi b p}$）推广至超代数 $\mathcal{U}_q(\mathfrak{osp}(1|2))$，利用超对称量子力学。
• 引入对偶生成元 $\tilde{U} = U^{1/b^2}$, $\tilde{V} = V^{1/b^2}$，以定义第二个量子代数 $\mathcal{U}_{\tilde{q}}(\mathfrak{osp}(1|2))$，其中 $\tilde{q} = e^{\pi i b^{-2}}$，从而构成模双。
• 利用量子二对数函数 $\Phi_b$ 构造 $R$-矩阵，该函数满足辫子关系并实现表示的张量积之间的互换。
• 使用算子 $g_{b_*}$ 将 $R$-矩阵定义为涉及 $e \otimes K \otimes f$ 和 $1 \otimes e \otimes f$ 的指数乘积，并结合适当的 $\Phi$-变换。
• 通过 $\Phi$-自同态确保 $R$-矩阵与余乘法结构相容，从而保证 braid 群关系成立。
• 证明 $R$-矩阵有界但非酉，其逆由一个相关的无界算子 $\tilde{R}$ 给出，满足 $R^* \tilde{R} = 1$。

实验结果

研究问题

• RQ1 能否将 $\mathcal{U}_q(\mathfrak{sl}(2,\mathbb{R}))$ 的模双构造推广至超代数 $\mathcal{U}_q(\mathfrak{osp}(1|2))$？
• RQ2 如何利用量子二对数函数显式构造 $\mathcal{U}_q(\mathfrak{osp}(1|2))$ 的 $R$-矩阵？
• RQ3 该超代数模双的表示空间是否可分解为与 $\mathcal{U}_{q_*\tilde{q}_*}(\mathfrak{sl}(2,\mathbb{R}))$ 同构的偶部与奇部子表示？
• RQ4 能否构造这些表示的张量范畴？其 $3j$-符号是否与 $\mathcal{N}=1$ 超对称 Liouville 场论中的融合系数一致？

主要发现

• 通过超对称量子力学，在 $L^2(\mathbb{R})$ 上构建了 $\mathcal{U}_q(\mathfrak{osp}(1|2))$ 的模双表示，其中 $\mathcal{U}_q(\mathfrak{osp}(1|2))$ 和 $\mathcal{U}_{\tilde{q}}(\mathfrak{osp}(1|2))$ 的生成元分别由 $U$, $V$ 及其对偶 $\tilde{U}$, $\tilde{V}$ 实现。
• 显式构造了 $R$-矩阵为 $R = g_{b_*}(i\hat{e} \otimes \mathcal{K} \otimes \hat{f} + i \otimes \hat{e} \otimes \hat{f})$，其表达式基于量子二对数函数 $\Phi_b$。
• $R$-矩阵满足杨- Baxter 方程，并实现超代数余乘法的互换，其逆由无界算子 $\tilde{R}$ 给出，满足 $R^* \tilde{R} = 1$。
• 表示空间 $P^s_z$ 自然地分解为偶部子表示 $P^{(e)}_z$ 和奇部子表示 $P^{(o)}_z$，类似于 $\mathfrak{sl}(2,\mathbb{R})$ 的经典分解。
• $R$-矩阵有界但非酉，其构造依赖于 $\Phi$-自同态，以确保与霍普夫代数结构的相容性。
• 该框架表明，$P^s_z$ 表示的张量范畴可能是连续的，且与 $\mathcal{U}_q(\mathfrak{sl}(2,\mathbb{R}))$ 的模双表示范畴同构，具有潜在应用价值，可用于描述 $\mathcal{N}=1$ 超对称 Liouville 场论中的融合规则。