[论文解读] Cyclic Cohomology and Hopf Symmetry

Alain Connes, Henri Moscovici|ArXiv.org|Feb 15, 2000

Algebraic structures and combinatorial models参考文献 17被引用 8

一句话总结

本文在霍普夫代数及其作用的背景下，发展了循环上同调的框架，建立了连接霍普夫代数循环上同调与局部紧量子群理论的模特征同态。通过构造一个模对合对与一个典范的 $\tilde{\tau}$-不变 $\tilde{\rho}$-迹，该研究精确地统一了量子群代数与分析结构之间的关系，形成一个模平方，整合了量子群对偶性的关键特征。

ABSTRACT

Cyclic cohomology has been recently adapted to the treatment of Hopf symmetry in noncommutative geometry. The resulting theory of characteristic classes for Hopf algebras and their actions on algebras allows to expand the range of applications of cyclic cohomology. It is the goal of the present paper to illustrate these recent developments, with special emphasis on the application to transverse index theory, and point towards future directions. In particular, we highlight the remarkable accord between our framework for cyclic cohomology of Hopf algebras on one hand and both the algebraic as well as the analytic theory of quantum groups on the other, manifest in the construction of the modular square.

研究动机与目标

• 将循环上同调扩展至霍普夫代数及其作用，为非交换几何中的特征类提供一个框架。
• 利用循环上同调工具，在量子群的代数与分析理论之间建立桥梁。
• 将该框架应用于非交换几何中的横截指标理论。
• 构建一个模特征同态，将霍普夫代数的循环上同调与局部紧量子群的结构联系起来。

提出的方法

• 通过双复 $(CC^{*,*}, b, B)$ 将循环上同调适配至霍普夫代数，结合循环性与霍普夫代数作用下的不变性。
• 引入 $\tilde{\frak H} = \tilde{H}^{\rm op} \times \tilde{H}$ 在 $\tilde{H}$ 上的典范作用，其不变性条件涉及反极 $S$ 与扭曲反极 $S_{\tilde{d}}$。
• 在 $\tilde{H}$ 上定义一个中等权重 $\tau(x) = \tilde{\phi}(\tilde{d}^{-1/4} x \tilde{d}^{-1/4})$，该权重在典范作用下既为 $\tilde{\rho}$-不变，又为 $\tilde{\rho}$-迹。
• 在 $\tilde{\frak H}$ 上构造一个模对合对 $(\tilde{\rho}, \tilde{\rho}) = (\tilde{d}^{1/2} \tilde{d}^{-1/2}, \tilde{\sigma}^{1/2} \tilde{\sigma}^{1/2})$，确保其与模群及反极结构相容。
• 通过双重扭曲反极的平方 $(\tilde{\rho}^{-1} \circ S_{\tilde{d}})^2 = I_{\tilde{\frak H}}$ 推导出模平方，证实其与量子群对偶性的一致性。
• 建立模特征同态 $\gamma_{\tau}^{*}: HC_{(\tilde{\delta},\tilde{\sigma})}^{*}(\tilde{\frak H}) \to HC^{*}(\tilde{H})$，将对偶霍普夫代数的循环上同调与原始代数联系起来。

实验结果

研究问题

• RQ1 如何将循环上同调调整以在非交换几何中编码霍普夫对称性？
• RQ2 在循环上同调框架下，量子群的代数与分析结构之间的确切关系是什么？
• RQ3 模对合对如何从霍普夫代数中哈尔权与反极结构的相互作用中产生？
• RQ4 所构造的 $\tilde{\tau}$-不变 $\tilde{\rho}$-迹在何种意义上反映了量子群的对偶性？
• RQ5 模平方在统一代数与分析量子群理论中起什么作用？

主要发现

• 霍普夫代数 $\tilde{\frak H} = \tilde{H}^{\rm op} \times \tilde{H}$ 允许一个典范的模对合对 $(\tilde{\rho} = \tilde{d}^{1/2} \tilde{d}^{-1/2}, \tilde{\rho} = \tilde{\sigma}^{1/2} \tilde{\sigma}^{1/2})$，该对刻画了量子群的模结构。
• 中等权重 $\tau(x) = \tilde{\phi}(\tilde{d}^{-1/4} x \tilde{d}^{-1/4})$ 在 $\tilde{\frak H}$ 的典范作用下既为 $\tilde{\rho}$-不变，又为 $\tilde{\rho}$-迹，确保与模不变性的相容性。
• 权重 $\tau$ 的模群由 $\sigma^{\tau}_t(x) = \tilde{\sigma}^{it/2} \cdot x \cdot \tilde{\sigma}^{it/2}$ 给出，其与扭曲反极的作用一致，证实了该迹的不变性。
• 双重扭曲反极的平方满足 $(\tilde{\rho}^{-1} \circ S_{\tilde{d}})^2 = I_{\tilde{\frak H}}$，证明模平方为对合，验证了对偶结构的正确性。
• 模特征同态 $\gamma_{\tau}^{*}: HC_{(\tilde{\delta},\tilde{\sigma})}^{*}(\tilde{\frak H}) \to HC^{*}(\tilde{H})$ 是良定义的，并在对偶霍普夫代数的循环上同调与原始代数之间建立了桥梁。
• 该框架展现出代数与分析量子群理论之间惊人的统一性，表现为模对合对与迹结构从循环上同调数据中一致地涌现。