[论文解读] Gerbes on quantum groups

Jouko Mickelsson|ArXiv.org|Aug 25, 2003

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

一句话总结

本文通过在环路群丛中使用q-变形的转移函数，提出了在量子群上构造量子gerbe的方法，利用投影酉表示推广了经典gerbe结构。对于 $SU_q(2)$，通过一个取值于q-变形代数的矩阵 $x$ 定义了量子gerbe，得到 $K^1(SU_q(2))$ 中一个与 $\mathbb{Z}$ 同构的K-理论类，通过循环3-上循环配对计算了Dixmier-Douady不变量。

ABSTRACT

We discuss an approach to quantum gerbes over quantum groups in terms of q-deformation of transition functions for a loop group bundle. The case of the quantum group SUq(2) is treated in some detail.

研究动机与目标

• 通过经典gerbe结构的形变，定义在量子群上量子gerbe的概念。
• 通过q-变形矩阵元素，将环路群丛构造推广到量子设置。
• 建立 $SU_q(n)$（特别是 $SU_q(2)$）上量子gerbe与K-理论不变量之间的联系。
• 通过循环上同调计算量子Dixmier-Douady不变量，以非交换设置下的循环形式取代de Rham形式。

提出的方法

• 通过取值于量子群 $SU_q(n)$ 的矩阵环路群中的局部转移函数构造量子gerbe，利用代数扩张处理奇点。
• 在扩展代数 $SU_q(n)_\lambda$ 中定义同伦 $\psi_t(g,\lambda) = -(1-t)\lambda + tg$，将 $-\lambda$ 连接到 $g$，确保可逆性。
• 引入一个取值于 $SU_q(2)$ 的q-变形矩阵 $x$，其元素属于扩展代数 $f_q = \left[1 + \frac{1}{4q^2}(b - b^*)^2\right]^{1/2}$，满足 $x^2 = 1$。
• 利用投影 $P = \frac{1}{2}(1 + x)$ 在量子球面 $S^2_q$ 上定义一个量子线丛，满足 $P^2 = P$。
• 通过函数演算和在旋量上定义的狄拉克型算子 $D = -i\frac{d}{dt}$（满足 $\psi(1) = g\psi(0)$）在 $K^1(SU_q(2))$ 中定义K-理论类。
• 通过循环3-上循环 $c_3$ 与酉矩阵 $g$ 的K-理论类配对，计算量子Dixmier-Douady不变量。

实验结果

研究问题

• RQ1 如何通过q-变形将李群上经典gerbe的概念形变为量子群上的量子gerbe？
• RQ2 $SU_q(2)$ 上量子gerbe的转移函数结构是什么？它们如何推广经典环路群丛结构？
• RQ3 量子gerbe的K-理论类与 $SU_q(2)$ 的拓扑有何关系？其不变量是什么？
• RQ4 Dixmier-Douady类能否推广到量子设置？若能，如何通过循环上同调计算？
• RQ5 对 $SU_q(n)$ 的代数扩张（如 $f_q$ 等元素）在定义转移函数和确保可逆性方面起什么作用？

主要发现

• 在 $SU_q(2)$ 上的量子gerbe通过一个取值于q-变形代数的自伴、幂等矩阵 $x$ 构造，满足 $x^2 = 1$，由此定义投影 $P = \frac{1}{2}(1 + x)$。
• 在 $S^2_q$ 上的量子线丛由投影 $P = \frac{1}{2}(1 + x)$ 给出，其为一个秩一投影算子，但由于左乘法不交换，不构成双模。
• $K^1(SU_q(2))$ 中量子gerbe的K-理论类同构于 $\mathbb{Z}$，与经典情形一致，且为自然构造，源于量子群坐标的酉矩阵 $g$。
• 通过循环3-上循环 $c_3$ 与 $g$ 的K-理论类配对，计算了Dixmier-Douady不变量，推广了非交换设置下的de Rham类。
• 对于 $SU_q(n)$，转移函数通过同伦 $\psi_t(g,\lambda) = -(1-t)\lambda + tg$ 在扩展代数 $SU_q(n)_\lambda$ 中定义，确保可逆性并支持环路群类结构的构造。
• 通过在代数扩展 $SU_q(n)_{\lambda\lambda'}$（其中 $g - \lambda$ 和 $g - \lambda'$ 可逆）中定义转移函数 $\phi_{\lambda\lambda'}(g)(t) = \psi_t(g,\lambda)\psi_t(g,\lambda')^{-1}$，该构造可推广至 $SU_q(n)$。