[论文解读] Cyclic Cohomology, Quantum group Symmetries and the Local Index Formula for SUq(2)

Alain Connes|ArXiv.org|Sep 12, 2002

Noncommutative and Quantum Gravity Theories参考文献 13被引用 9

一句话总结

本文利用非交换几何方法，为量子群 $SU_q(2)$ 建立了局部指标公式，证明了 Chakraborty 与 Pal 所定义的谱三元组满足 Connes 一般理论的公理。通过迹的留数计算局部循环上链，确定其维度谱为 \{1,2,3\}，并表明陈特征差由 Dedekind eta 函数对数导数的有理逼近中的余项所捕捉，从而展示了循环上同调中局部性与量子群对称性的体现。

ABSTRACT

We analyse the noncommutative space underlying the quantum group SUq(2) from the spectral point of view which is the basis of noncommutative geometry, and show how the general theory developped in our joint work with H. Moscovici applies to the specific spectral triple defined by Chakraborty and Pal. This provides the pseudo-differential calculus, the Wodzciki-type residue, and the local cyclic cocycle giving the index formula. The cochain whose coboundary is the difference between the original Chern character and the local one is given by the remainders in the rational approximation of the logarithmic derivative of the Dedekind eta function. This specific example allows to illustrate the general notion of locality in NCG. The formulas computing the residue are "local". Locality by stripping all the expressions from irrelevant details makes them computable. The key feature of this spectral triple is its equivariance, i.e. the $SU_q(2)$-symmetry. We shall explain how this leads naturally to the general concept of invariant cyclic cohomology in the framework of quantum group symmetries.

研究动机与目标

• 将 Connes 与 Moscovici 的一般非交换几何框架应用于 $SU_q(2)$ 的谱三元组。
• 为 $SU_q(2)$ 显式计算局部指标公式，验证该理论在非平凡量子群例子中的适用性。
• 确定谱三元组的维度谱与留数迹，表明其为离散且简洁的结构。
• 通过去除无关细节使公式可计算，从而展示非交换几何中局部性的作用。
• 发展在量子群对称性下不变的循环上同调概念，特别针对 $SU_q(2)$。

提出的方法

• 使用在 $SU_q(2)$ 作用下不变的谱三元组 $({\cal A}, {\cal H}, D)$ 来定义非交换空间。
• 通过 Wodzciki 型留数与 Dixmier 迹应用局部指标公式的普遍理论，计算陈特征分量。
• 将维度谱确定为 $\{1,2,3\}$，确保留数迹通过 zeta 函数 $\zeta_b(z) = \operatorname{Trace}(b|D|^{-z})$ 中的单极点而良好定义。
• 利用公式 $\int\!\!\!- P = \operatorname{Res}_{z=0} \operatorname{Trace}(P|D|^{-z})$ 构造局部循环上链，给出 $\varphi_1$ 与 $\varphi_3$ 的显式表达式。
• 将其上链的上边界等于全局与局部陈特征差的上链，与 Dedekind eta 函数对数导数的有理逼近中的余项联系起来。
• 引入量子余球 bundle $S^*_q$ 与一个一参数自同态群 $\gamma_t$，推广测地流的概念。

实验结果

研究问题

• RQ1 Connes-Moscovici 的一般局部指标公式如何应用于 $SU_q(2)$ 的特定谱三元组？
• RQ2 该谱三元组的维度谱是什么？它如何影响留数迹的计算？
• RQ3 全局与局部陈特征之间的差异在数论术语中如何编码？
• RQ4 量子群对称性在定义不变循环上同调类中起什么作用？
• RQ5 非交换几何中的局部性如何在 $SU_q(2)$ 的显式可计算公式中体现？

主要发现

• 在 $SU_q(2)$ 中，维度谱为 $\{1,2,3\}$，确认该谱三元组为 3 维，使得局部指标公式得以应用。
• 局部指标上链被显式计算为 $\varphi_1(a^0,a^1) = \int\!\!\!- a^0[D,a^1]|D|^{-1} - \frac{1}{4}\int\!\!\!- a^0\nabla([D,a^1])|D|^{-3} + \frac{1}{8}\int\!\!\!- a^0\nabla^2([D,a^1])|D|^{-5}$ 与 $\varphi_3(a^0,a^1,a^2,a^3) = \frac{1}{12}\int\!\!\!- a^0[D,a^1][D,a^2][D,a^3]|D|^{-3}$。
• 其上链的上边界等于全局与局部陈特征差的上链，源于 Dedekind eta 函数对数导数的有理逼近中的余项。
• 留数迹具有局部性且可计算，其公式已去除无关细节，证实了非交换几何中局部性的强大作用。
• 谱三元组在 $SU_q(2)$ 作用下是等变的，由此定义了不变循环上同调，通过自同态 $k^2$ 构造了从 $HC^*_{{\cal U}}({\cal A})$ 到 $HC^*_{\rm inv}({\cal A}, \theta)$ 的同态 $\rho_\theta$。
• 量子余球 bundle $S^*_q$ 被识别为 $D^2_{q+} \times D^2_{q-}$，并携带一个测地流 $\gamma_t$，推广了经典余球 bundle 的概念。