[论文解读] On tensor products of positive representations of split real quantum Borel subalgebra $U_{q ilde{q}}(b_R)$

Ivan Chi-Ho Ip|arXiv (Cornell University)|May 19, 2014

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

一句话总结

该论文证明了分裂实量子Borel子代数 $υ_{q\tilde{q}}(\mathfrak{b}_{\mathbb{R}})$ 的正表示与参数 $\lambda$ 无关，并通过乘法单位矩阵的GNS-表示方法，证明了其张量积的分解。关键结果是张量积与 $L^2(\mathbb{R}^{n(n+1)/2}) \otimes \mathcal{P}$ 之间存在酉等价，且显式构造了由量子双对数函数给出的互变算子。

ABSTRACT

We studied the positive representations $P_λ$ of split real quantum groups $U_{q ilde{q}}(g_R)$ restricted to the Borel subalgebra $U_{q ilde{q}}(b_R)$. We proved that the restriction is independent of the parameter $λ$. Furthermore, we prove that it can be constructed from the GNS-representation of the multiplier Hopf algebra $U_{q ilde{q}}^{C^*}(b_R)$ constructed earlier, which enables us to decompose their tensor product using the theory of the "multiplicative unitary". This will be an essential ingredient in the construction of quantum higher Teichmüller theory from the perspective of representation theory, generalizing earlier work by Frenkel-Kim.

研究动机与目标

• 理解分裂实量子群在Borel子代数上限制的正表示的张量积结构。
• 解决高秩分裂实量子群中张量积分解的开放问题。
• 将 $\mathfrak{sl}(2,\mathbb{R})$ 情形下的基于量子双对数函数的融合规则推广至更高秩李代数（如 $\mathfrak{sl}_3$）。
• 利用乘法单位矩阵与 $g_b$-函数，为量子群的Borel部分构造显式互变算子。
• 通过模双和正表示，为量子高阶Teichmüller理论提供表示论基础。

提出的方法

• 将 $\mathcal{U}_{q\tilde{q}}(\mathfrak{g}_{\mathbb{R}})$ 的正表示 $\mathcal{P}_\lambda$ 限制到Borel子代数 $\mathcal{U}_{q\tilde{q}}(\mathfrak{b}_{\mathbb{R}})$，并证明其与 $\lambda$ 无关。
• 利用乘子Hopf代数 $\mathcal{U}_{q\tilde{q}}^{C^*}(\mathfrak{b}_{\mathbb{R}})$ 的GNS-表示，在希尔伯特空间上实现这些表示。
• 通过量子双对数算子 $g_b$ 的乘积显式构造酉变换 $\Phi_2$，将张量积映射到标准形式。
• 应用乘法单位矩阵形式，将张量积表示分解为 $L^2(\mathbb{R}^{n(n+1)/2}) \otimes \mathcal{P}$ 上的直接积分。
• 验证变换后的作用与 $1 \otimes \mathbf{e}_i$ 和 $K_i \otimes K_i$ 一致，从而确认分解成立。

实验结果

研究问题

• RQ1 正表示 $\mathcal{P}_\lambda$ 限制到Borel子代数 $\mathcal{U}_{q\tilde{q}}(\mathfrak{b}_{\mathbb{R}})$ 是否与参数 $\lambda$ 无关？
• RQ2 能否通过GNS-表示与乘法单位矩阵，对 $\mathcal{U}_{q\tilde{q}}(\mathfrak{b}_{\mathbb{R}})$ 的两个正表示的张量积进行分解？
• RQ3 $\mathfrak{sl}_3$ 情形下，实现张量积分解的显式互变算子形式为何？
• RQ4 该分解如何推广至 $A_n$ 以外的更高秩李代数？
• RQ5 在更高阶Teichmüller理论中，能否从该张量积的重数模中构造出量子突变算子？

主要发现

• 正表示 $\mathcal{P}_\lambda$ 限制到Borel子代数 $\mathcal{U}_{q\tilde{q}}(\mathfrak{b}_{\mathbb{R}})$ 后与 $\lambda$ 无关，从而可统一描述。
• 对于类型 $A_n$，张量积 $\mathcal{P}_{\lambda_1} \otimes \mathcal{P}_{\lambda_2}$ 与 $L^2(\mathbb{R}^{n(n+1)/2}) \otimes \mathcal{P}$ 之间存在酉等价，且显式构造了通过 $g_b$-函数实现的互变算子。
• 对于 $\mathfrak{sl}_3$，变换 $\Phi_2$ 显式实现了等价关系 $\Delta(\mathbf{e}_i) \simeq 1 \otimes \mathbf{e}_i$ 与 $\Delta(K_i) \simeq K_i \otimes K_i$。
• 互变算子表示为量子双对数算子 $g_b$ 的乘积，其自变量为正且满足 $q$-对易关系，从而保证了定义的合理性。
• 该构造将 $\mathfrak{sl}(2,\mathbb{R})$ 情形（Plancherel测度由量子双对数给出）推广至更高秩代数。
• 该方法暗示与海森堡双代数的联系，并为量子高阶Teichmüller理论提供了表示论框架。