[论文解读] A residue formula for the fundamental Hochschild class of the Podles sphere

Ulrich Kraehmer, Elmar Wagner|arXiv (Cornell University)|Aug 11, 2010

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

一句话总结

本文建立了一个余项公式，将标准PodleÈs量子球面的基本Hochschild上同调类表示为Dábrowski与Sitarz构造的谱三元组的余项。通过计算涉及Dirac算子、gamma矩阵和群型生成元$K^{-2}$的扭曲算子的迹的余项，作者证明该余项定义了一个与标准基本类上同调的Hochschild上循环，从而解决了非交换几何中谱三元组与Hochschild上同调之间关系的长期悬而未决问题。

ABSTRACT

The fundamental Hochschild cohomology class of the standard Podles quantum sphere is expressed in terms of the spectral triple of Dabrowski and Sitarz by means of a residue formula.

研究动机与目标

• 确定标准PodleÈs量子球面的基本Hochschild上同调类是否可由谱三元组实现。
• 解决非交换几何中谱三元组与Hochschild（上）同调关系的开放问题。
• 提供一个具体的余项公式，将基本Hochschild类在Dábrowski与Sitarz的谱三元组框架下实现。
• 证明涉及Dirac算子与群型生成元$K^{-2}$的扭曲迹的余项可生成非平凡的Hochschild上循环。

提出的方法

• 作者采用Dábrowski与Sitarz在PodleÈs球面上构造的偶数、${\mathcal{U}}_{q}(\mathfrak{su}(2))$-等变谱三元组作为基础几何结构。
• 定义了一个亚纯zeta函数$\mathrm{tr}_{\mathcal{H}}(\gamma a_0[D,a_1][D,a_2]K^{-2}|D|^{-z})$，定义域为$\mathrm{Re}\,z > 2$，并证明其可亚纯延拓至$\{z \in \mathbb{C} \mid \mathrm{Re}\,z > 1\}$，且在$z=2$处有一阶极点。
• 将$z=2$处的余项定义为多重线性泛函$\varphi(a_0,a_1,a_2)$，并证明其为Hochschild上循环。
• 关键技术步骤涉及利用希尔伯特空间分量$\mathcal{H}_\pm$上的显式谱数据与算子作用，通过$B$与$B^*$的移位算子，计算$K^{2\mu}$与$|D|^{-z}$的迹的余项。
• 作者将余项与$\mathcal{A}$上的扭曲迹$\tau_\mu$相关联，通过$\int_{[1]}$与$\int_{[x_0]}$泛函显式计算这些迹，并与已知的基本上循环$\tilde{\varphi}(a_0,a_1,a_2) = \varepsilon(a_0)E(a_1)F(a_2)$进行比较。
• 通过将余项泛函与已知非平凡Hochschild上循环在归一化与因子$-q^{-2}$下匹配，证明其上同调等价。

实验结果

研究问题

• RQ1 标准PodleÈs量子球面的基本Hochschild上同调类是否可由谱三元组的余项公式实现？
• RQ2 Dábrowski与Sitarz的谱三元组是否生成了标准的基本Hochschild类？
• RQ3 代数$\mathcal{A}$上的扭曲迹如何与由Dirac算子构建的zeta函数余项相关联？
• RQ4 从谱三元组导出的余项上循环是否与已知显式Hochschild上循环$\tilde{\varphi}(a_0,a_1,a_2) = \varepsilon(a_0)E(a_1)F(a_2)$上同调等价？
• RQ5 余项上循环在量子群生成元$E$、$F$与余态$\varepsilon$下的精确归一化与函数形式为何？

主要发现

• 余项$\mathrm{Res}_{z=2} \mathrm{tr}_{\mathcal{H}}(\gamma a_0[D,a_1][D,a_2]K^{-2}|D|^{-z})$在$\mathcal{A}^\bigotimes 3$上定义了一个Hochschild上循环，代表基本Hochschild上同调类。
• 该余项上循环显式计算为$\varphi(a_0,a_1,a_2) = \frac{q - q^{-1}}{\ln q} \varepsilon(a_0)(E(a_1)F(a_2) - F(a_1)E(a_2))$，其与标准基本上循环$\tilde{\varphi}$上同调等价。
• 对所有$\mu \in \mathbb{R}$，扭曲迹$\tau_\mu(a) = \frac{\mathrm{Res}_{z=2|\mu|} \mathrm{tr}_{\mathcal{H}}(aK^{2\mu}|D|^{-z})}{\mathrm{Res}_{z=2|\mu|} \mathrm{tr}_{\mathcal{H}}(K^{2\mu}|D|^{-z})}$被显式计算，建立了谱数据与代数迹之间的桥梁。
• 当$\mu < 0$时，$\tau_\mu = \varepsilon$，即余态；当$\mu = 0$时，$\tau_0 = \varepsilon + c \int_{[x_0]}$，其中$c = \frac{\ln q}{2(q^{-1}-q)\ln(q^{-1}-q)}$；当$\mu > 0$时，$\tau_\mu = \varepsilon - \frac{1 - q^{-2\mu}}{q(1 - q^{-2(\mu+1)})} \int_{[x_0]}$。
• 余项上循环被证明与$\frac{q - q^{-3}}{\ln q} \tilde{\varphi}$上同调等价，确认谱三元组在归一化意义下生成了基本类。
• 计算结果证实，Dábrowski与Sitarz的谱三元组实现了基本Hochschild类，解决了非交换几何中的一个关键问题。