[论文解读] Dirac operator and a twisted cyclic cocycle on the standard Podles quantum sphere

Konrad Schmuedgen, Elmar Wagner|ArXiv.org|May 2, 2003

Advanced Operator Algebra Research参考文献 9被引用 37

一句话总结

本文通过利用 $\mathcal{U}_q(\mathrm{su}_2)$ 生成元在 $\mathcal{O}(\mathrm{SU}_q(2))$ 的子空间上的右作用，构建了标准 Podleś 量子球面 $\mathrm{S}_{q}^{2}$ 上的一个实谱三元组，其狄拉克算子为 $D$。关键结果是，与特殊二维协变微分上同调形式相关的扭曲循环 2-上链可通过狄拉克算子表示，其显式公式涉及 $|D|^{-z}$ 和迹迹，证明了在扭曲循环上同调中该上链非平凡。

ABSTRACT

A Dirac operator D on the standard Podles sphere is defined and investigated. It yields a spectral triple such that |D|^{-z} is of trace class for Re z>0. Commutators with the Dirac operator give the distinguished 2-dimensional covariant differential calculus on the standard Podles sphere. The twisted cyclic cocycle associated with the volume form of the differential calculus is expressed by means of the Dirac operator.

研究动机与目标

• 在标准 Podleś 量子球面 $\mathrm{S}_q^2$ 上建立一个实谱三元组，其狄拉克算子由 $\mathcal{U}_q(\mathrm{su}_2)$-作用导出。
• 证明狄拉克算子 $D$ 的交换子 $[D,x]$ 能再现 $\mathcal{O}(\mathrm{S}_q^2)$ 上的特殊二维协变微分上同调。
• 将与不变体积形式相关的扭曲循环 2-上链用狄拉克算子与迹迹表示。
• 证明该上链在扭曲循环上同调中代表一个非平凡类。

提出的方法

• 在 $V^+ \oplus V^-$ 上定义狄拉克算子 $D = \begin{pmatrix} 0 & R_F \\ R_E & 0 \end{pmatrix}$，其中 $R_E, R_F$ 是 $E,F \in \mathcal{U}_q(\mathrm{su}_2)$ 在 $\mathcal{O}(\mathrm{SU}_q(2))$ 上的右作用。
• 证明 $D$ 的离散谱为 $[l+1]_q$，重数为 $2l+1$，从而确保当 $\mathrm{Re}\,z > 0$ 时 $|D|^{-z}$ 是迹类算子。
• 证明对于 $x \in \mathcal{O}(\mathrm{S}_q^2)$，有 $[D,x]$ 为有界交换子，从而实现一阶微分上同调的表示。
• 将体积 2-形式 $\omega$ 构造为 $\Gamma^{\wedge 2}$ 的右余不变生成元，证明 $\Gamma^{\wedge 2} = \omega \mathcal{O}(\mathrm{S}_q^2)$。
• 通过状态 $h$ 和配对 $\langle t_2, \omega \rangle = 1$ 定义扭曲循环 2-上链 $\tau_{\omega,h}$，从而导出显式公式。
• 建立迹迹公式：$\tau_{\omega,h}(x_0,x_1,x_2) = (q-q^{-1})^{-1}(\log q) \cdot \mathrm{res}_{z=2} \mathrm{Tr}_{\mathcal{K}} \gamma_q K^2 |D|^{-z} x_0[D,x_1][D,x_2]$。

实验结果

研究问题

• RQ1 能否通过谱三元组实现标准 Podleś 量子球面上特殊二维协变微分上同调？
• RQ2 由 $\mathcal{U}_q(\mathrm{su}_2)$-作用构造的狄拉克算子 $D$ 是否能产生有界交换子，从而再现微分上同调？
• RQ3 与体积形式相关的扭曲循环 2-上链能否用狄拉克算子与迹迹表示？
• RQ4 所得到的上链是否在扭曲循环上同调中代表一个非平凡类？
• RQ5 能否从 $D$ 的谱数据推导出 $\tau_{\omega,h}$ 的显式公式？

主要发现

• 狄拉克算子 $D$ 在 $\mathrm{S}_q^2$ 上生成一个实谱三元组，且当 $\mathrm{Re}\,z > 0$ 时 $|D|^{-z}$ 为迹类算子，确认谱维数为 2。
• $\mathcal{O}(\mathrm{S}_q^2)$ 上的交换子 $[D,x]$ 通过 $\mathrm{d}x \sim \mathrm{i}[D,x]$ 实现了特殊二维协变微分上同调。
• 体积 2-形式 $\omega$ 作为自由右 $\mathcal{O}(\mathrm{S}_q^2)$-模生成 $\Gamma^{\wedge 2}$，且为右余不变。
• 扭曲循环 2-上链 $\tau_{\omega,h}$ 在扭曲循环上同调中非平凡，由非零配对 $\langle t_2, \omega \rangle = 1$ 确认。
• 导出了显式公式：$\tau_{\omega,h}(x_0,x_1,x_2) = (q-q^{-1})^{-1}(\log q) \cdot \mathrm{res}_{z=2} \mathrm{Tr}_{\mathcal{K}} \gamma_q K^2 |D|^{-z} x_0[D,x_1][D,x_2]$，将上链与谱数据联系起来。
• 证明该上链公式等价于 $h\big(x_0(R_F(x_1)R_E(x_2) - q^2 R_E(x_1)R_F(x_2))\big)$，确认其与微分上同调的一致性。