[论文解读] A residue formula for the fundamental Hochschild 3-cocycle for SUq(2)

Ulrich Kraehmer, Adam Rennie+1 more|arXiv (Cornell University)|May 26, 2011

Advanced Operator Algebra Research被引用 7

一句话总结

该论文在谱三元组框架下，通过基于投影的截断方法克服有界交换子失效的问题，构建了量子群 $SU_q(2)$ 上一个非平凡扭曲Hochschild 3-上循环的剩余公式。结果得到的上循环被证明是非零倍数的基底Hochschild 3-上循环，从而确立了其上同调维数为3，尽管该谱三元组不满足标准的有限可和性条件。

ABSTRACT

An analogue of a spectral triple over SUq(2) is constructed for which the usual assumption of bounded commutators with the Dirac operator fails. An analytic expression analogous to that for the Hochschild class of the Chern character for spectral triples yields a non-trivial twisted Hochschild 3-cocycle. The problems arising from the unbounded commutators are overcome by defining a residue functional using projections to cut down the Hilbert space.

研究动机与目标

• 在谱三元组框架下，由于有界交换子失效，仍能通过剩余公式恢复 $SU_q(2)$ 的基底Hochschild 3-上循环。
• 将模谱三元组的概念扩展至 $SU_q(2)$，克服由无界交换子引起的分析障碍。
• 证明剩余上循环的上同调类与基底类一致，从而捕捉到真实的上同调维数3。
• 在希尔伯特空间的子空间上建立扭曲迹和剩余泛函，即使标准谱三元组公理失效，也能实现可和性。

提出的方法

• 通过投影 $Q$ 定义一个剩余泛函 $\tau$，在希尔伯特空间上实施紫外截断，使 $\mathcal{D}$ 在子空间上的可和性为有限。
• 在多项式代数 $\mathcal{A} = \mathcal{O}(SU_q(2))$ 上构造一个谱三元组 $(\mathcal{A}, \mathcal{H}, \mathcal{D})$ 的类比，其中与 $\mathcal{D}$ 的有界交换子不成立。
• 利用zeta函数的亚纯延拓处理具有多项式与指数特征值增长混合的算子，证明引理4.2中的可和性结果。
• 通过 $\phi_{\mathrm{res}}(a_0,\dots,a_3) = \tau\left(a_0[\mathcal{D},a_1][\mathcal{D},a_2][\mathcal{D},a_3]\right)$ 定义剩余上循环，其中 $\tau$ 是在适当子代数上的扭曲迹。
• 利用模自动变换 $\Delta$ 和算子 $\hat{\Delta}_L$，将剩余与 $SU_q(2)$ 上哈尔测度的模理论联系起来。
• 通过显式计算 $\pi_1$ 和 $\pi_2$ 分量并积分到量子群，将 $\phi_{\mathrm{res}}$ 与已知上循环 $\varphi$、$\varphi_{213}$ 等识别。

实验结果

研究问题

• RQ1 即使在谱三元组中存在有界交换子失效的情况下，是否能通过剩余公式恢复 $SU_q(2)$ 上的基底Hochschild 3-上循环？
• RQ2 是否可能在希尔伯特空间的子空间上定义扭曲迹和剩余泛函，以在无界交换子存在时实现有限可和性？
• RQ3 所得上循环是否捕捉到真实的上同调维数3，而非标准Chern示性类计算中观察到的维数降至1？
• RQ4 如何利用 $SU_q(2)$ 上哈尔测度的模结构来构造一个非平凡的3-上循环？
• RQ5 剩余上循环与 $SU_q(2)$ 的基底类之间的确切上同调关系是什么？

主要发现

• 剩余上循环 $\phi_{\mathrm{res}}$ 是 $\mathcal{A}^{\times 4}$ 上取值于 $\mathbb{C}$ 的良好定义的多重线性、扭曲Hochschild 3-上循环。
• 上循环 $\phi_{\mathrm{res}}$ 是非平凡的，其上同调类是非零倍数的 $SU_q(2)$ 的基底Hochschild 3-上循环。
• 在基底循环 $dvol$ 上的取值为 $\langle \phi_{\mathrm{res}}, dvol \rangle = 3R(q^{-1} + q)$，确认了非平凡配对。
• 剩余泛函 $\tau$ 是在适当子代数上的扭曲迹，其定义域包含三个交换子的乘积 $a_0[\mathcal{D},a_1][\mathcal{D},a_2][\mathcal{D},a_3]$。
• 通过使用基于投影的截断和亚纯延拓，该构造克服了有界交换子失效的问题，实现了广义意义下的可和性。
• 该方法成功恢复了 $SU_q(2)$ 的上同调维数3，解决了早期Chern示性类计算中观察到的“维数下降”问题。