[论文解读] Trace functionals on non-commutative deformations of moduli spaces of flat connections

Philippe Roché, András Szenes|ArXiv.org|Aug 18, 2000

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

一句话总结

本文通过基于辫图和量子群不变量的几何量子化方法，构建了在带 punctured 的黎曼曲面上平坦联络模空间上函数代数的非交换形变。证明了在 $ G = SU(2) $ 时，变形代数上的形式迹与 $ q $-形变代数上的全纯迹之间存在渐近对应关系，从而在 $ q $-设定下提出了对 Fedosov-Nest-Tsygan 指标定理的猜想性提升。

ABSTRACT

We describe an efficient construction of a canonical non-commutative deformation of the algebraic functions on the moduli spaces of flat connections on a Riemann surface. We show that this algebra, which is a variant of the quantum moduli algebra introduced by Alekseev-Grosse-Schomerus and Buffenoir-Roche, has a trace functional which is related to the canonical trace in the formal index theory of Fedosov and Nest-Tsygan via the Verlinde formula.

研究动机与目标

• 构建带 punctured 的黎曼曲面上平坦 $ G $-联络模空间上函数代数的非交换形变代数 $ A_q $。
• 将形式形变 $ A_\hbar $（在 $ \mathbb{C}[[\hbar]] $ 上）上的典范迹提升为取值于单位圆盘内全纯函数的 $ A_q $ 上的全纯迹。
• 建立 $ q $-迹与 $ q = 1 $ 处的形式迹之间的渐近展开，通过指标理论推广 Verlinde 公式。
• 利用辫图和 Reshetikhin-Turaev 不变量，提供一种几何清晰且计算高效的量子化程序。
• 为将指标理论方法推广至高秩群并研究 $ A_q $ 的特征类奠定基础。

提出的方法

• 通过 Reshetikhin-Turaev 量子化的一种几何变体构造代数 $ A_q $，使用着色辫图表示模空间的不变量。
• 应用 Fock 和 Rosly 的图形演算以及量子群理论，定义经典模空间上的泊松结构和泊松迹。
• 利用量子群理论中的通用 $ R $-矩阵和 $ J $-矩阵定义融合矩阵 $ J(\lambda) $，其编码了量子结构。
• 将通用元素 $ Q(\lambda) $ 推导为 $ \sum_i S(a_i)b_i $，其中 $ J(\lambda) = \sum_i a_i \otimes b_i $，并证明其在表示上的作用为迹算子。
• 利用动力量子 Weyl 群算子 $ A_w(\lambda) $ 关联不同权空间，并构造模之间的 intertwinner。
• 在 $ \mathfrak{sl}_2 $ 情况下，通过基本超几何函数和 $ q $-特殊函数进行显式计算，以验证迹的渐近性。

实验结果

研究问题

• RQ1 能否将形式形变 $ A_\hbar $ 上的典范迹提升为取值于单位圆盘内全纯函数的 $ q $-形变代数 $ A_q $ 上的全纯迹？
• RQ2 $ q $-迹与 $ q = 1 $ 处的形式迹之间的渐近关系是什么？它如何与 Verlinde 公式关联？
• RQ3 如何调整 Reshetikhin-Turaev 构造，以实现模空间代数的透明、几何且计算高效的量子化？
• RQ4 动力量子 Weyl 群在 $ q $-形变设定中实现迹和 intertwinner 的作用是什么？
• RQ5 Fedosov 和 Nest-Tsygan 的指标理论框架在多大程度上可推广至非形式、全纯的 $ q $-形变？

主要发现

• 对于 $ G = SU(2) $，本文证明了 $ A_q $ 上取值于单位圆盘内全纯函数的 $ q $-迹，当 $ q \to 1 $ 时渐近展开为 $ A_\hbar $ 上的典范迹，从而确认了猜想的提升。
• 在 $ \mathfrak{sl}_2 $ 情况下，通过基本超几何函数推导出迹算子 $ Q(\lambda) $ 的显式公式：$ Q(\lambda)v^m_k = {}_2\varphi_1(q^{-2(m-k+1)}, q^{2k}; q^{2(\lambda-m+2k)}; q^{-2}) v^m_k $。
• 验证了关系式 $ Q(-\lambda-2)Q(\lambda+h) = q^{h^2/2 + h} v $，表明其与量子群对偶性和迹恒等式一致。
• 通过 $ q $-Saalschütz 公式，显式计算出动力量子 Weyl 群算子 $ A_{V_m}(\lambda) $ 的作用为 $ A_{V_m}(\lambda)(v^m_k) = (-1)^k q^{-k(m-k+1)} \frac{(q^{2(\lambda+k+1)}; q^{-2})_k}{(q^{2(\lambda-m+2k)}; q^{-2})_k} v^m_{m-k} $。
• 通过渐近展开表明 $ A_q $ 上的迹与 Verlinde 公式相容，暗示了量子不变量与指标理论之间更深层的联系。
• 该构造提供了一种几何清晰且计算高效的替代方法，相较于早期代数量子化方法，其使用辫图技术显式给出了泊松结构和迹的公式。