[论文解读] The local index formula for quantum SU(2)

Ludwik Dąbrowski|ArXiv.org|Dec 21, 2006

Advanced Operator Algebra Research参考文献 17被引用 3

一句话总结

本文通过余球 bundle 和维度谱 {1,2,3}，利用 zeta 函数的留数，为量子 SU(2) 上的 3+-可 summable 且等谱的谱三元组建立了局部指标公式。关键结果是显式计算了与 K₁ 生成元耦合的狄拉克算子的指标，得到值为 1，确认了该公式与康奈斯-莫斯科维茨非交换迹方法的一致性。

ABSTRACT

The local index formula of Connes--Moscovici for the isospectral noncommutative geometry recently constructed on quantum SU(2) is discussed. The cosphere bundle and the dimension spectrum as well as the local cyclic cocycles yielding the index formula, are presented.

研究动机与目标

• 将康奈斯-莫斯科维茨局部指标公式推广至量子 SU(2) 上的等谱谱三元组。
• 表征量子 SU(2) 上谱三元组的维度谱与余球 bundle 结构。
• 利用局部循环上循环，计算与 K₁(𝒜) 的单位元生成元耦合的狄拉克算子的指标。
• 验证弗雷德霍姆模的循环上同调类可由单个局部上循环捕捉，且与 𝒜(SU_q(2)) 的一维循环上同调一致。

提出的方法

• 利用正则性条件在谱三元组 (𝒜,ℋ,D) 上定义伪微分演算，通过与 |D| 的迭代换位构造阶为 α 的算子。
• 应用维度条件，为 β ∈ Ψ⁰ 定义 zeta 函数 Trace(β|D|⁻ᶻ)，其奇点构成维度谱 Σ = {1,2,3}。
• 采用 Wodzicki 型迹泛函 Res_z=n Trace(T|D|⁻ᶻ)，作为伪微分算子上的迹泛函。
• 通过迹 Tr(δᵏ(Uₗₖ)) 和投影 P 构造局部循环上循环，利用常数 -1/2 进行归一化。
• 利用余球 bundle 结构消除无关的光滑算子，简化指标计算。
• 应用公式 ψ₁(U⁻¹,U) = -2 计算指标，得到 Index(PUP) = -1/2 × ψ₁(U⁻¹,U) = 1。

实验结果

研究问题

• RQ1 康奈斯-莫斯科维茨局部指标公式在量子 SU(2) 背景下如何实现？
• RQ2 量子 SU(2) 上等谱谱三元组的余球 bundle 与维度谱结构为何？
• RQ3 在量子 SU(2) 的非交换设定中，局部循环上循环如何导出指标公式？
• RQ4 在该量子群设定中，K₁ 弗雷德霍姆模的循环上同调类是否可由单个局部上循环捕捉？
• RQ5 与 𝒜(SU_q(2)) 的单位元生成元耦合的狄拉克算子的指标为何？

主要发现

• 量子 SU(2) 上谱三元组的维度谱为 {1,2,3}，确认了预期的非交换维度结构。
• 量子 SU(2) 上的余球 bundle 与早期研究中构造的结果一致，通过消除无关的光滑算子，简化了指标计算。
• 循环上同调群 HC¹(𝒜(SU_q(2))) 为一维，其生成元由单个局部循环上循环表示。
• 通过局部指标公式计算出与 K₁(𝒜) 的单位元生成元相关的弗雷德霍姆模的指标为 1。
• 局部循环上循环 ψ₁(U⁻¹,U) 的取值为 -2，经 -1/2 归一化后，得到指标 1。
• 结果表明，1-可 summable 弗雷德霍姆模的陈示性类与局部上循环上同调，验证了局部指标公式的自洽性。