[论文解读] The resolvent cocycle in twisted cyclic cohomology and a local index formula for the Podles sphere

Adam Rennie, Roger Senior|arXiv (Cornell University)|Nov 24, 2011

Advanced Operator Algebra Research参考文献 18被引用 5

一句话总结

本文在较弱的光滑性条件下，利用扭曲解析核上同调中的扭曲解析核上同调类，为PodleÅs球面建立了局部指标公式。相较于以往工作，该研究在更弱的光滑性条件下证明了解析核上同调类的存在性与连续性，适用于有限可和的模形式谱三元组。结果表明，所得的扭曲Hochschild类在维度2上非零，并产生非平凡的指标配对；当 $ q \to 1 $ 时，经典极限恢复了预期的拓扑指标。其核心贡献在于为 $ q $-形变几何中的指标理论提供了统一框架，通过使用逆模形式自同构来解决维度下降问题。

ABSTRACT

We continue the investigation of twisted homology theories in the context of dimension drop phenomena. This work unifies previous equivariant index calculations in twisted cyclic cohomology. We do this by proving the existence of the resolvent cocycle, a finitely summable analogue of the JLO cocycle, under weaker smoothness hypotheses and in the more general setting of `modular' spectral triples. As an application we show that using our twisted resolvent cocycle, we can obtain a local index formula for the Podles sphere. The resulting twisted cyclic cocycle has non-vanishing Hochschild class which is in dimension 2.

研究动机与目标

• 将解析核上同调构造推广至在较弱光滑性条件下成立的模形式谱三元组，避免依赖伪微分演算。
• 证明在有限可和、弱光滑设定下，解析核上同调类能计算与等变K-理论的数值指标配对。
• 通过使用模形式自同构的逆而非标准模形式自同构，解决 $ q $-形变几何中的维度下降问题。
• 在扭曲循环上同调中为PodleÅs球面推导出局部指标公式，统一了多篇前期工作的结果。
• 证明残差上同调的2阶项不是上边界，从而证明Hochschild类的非平凡性。

提出的方法

• 将模形式谱三元组引入为具有扭曲迹（权重）的半有限谱三元组的推广，使用周期性模形式自同构群。
• 定义谱三元组的弱光滑性条件，使得在不依赖完整伪微分演算的前提下，仍可构造解析核上同调类。
• 将解析核上同调类构造为JLO上同调的有限可和类类比，证明其在这些弱光滑性假设下的存在性与连续性。
• 利用[KNR]的结果表明，解析核上同调类以与数值指标配对相容的方式计算 $ K $-理论取值的指标。
• 将该框架应用于PodleÅs球面，通过验证谱三元组为满足弱光滑性与可和性条件的2维模形式谱三元组。
• 利用Neshveyev与Tuset的改进伪微分演算，通过解析核上同调类显式计算指标配对，推导出完整的局部指标公式。

实验结果

研究问题

• RQ1 在比以往要求更弱的光滑性条件下，是否可以在模形式谱三元组中构造解析核上同调类，而无需依赖伪微分演算？
• RQ2 在扭曲循环上同调中，扭曲解析核上同调类是否为PodleÅs球面产生非平凡的指标配对，且其Hochschild类在维度2上非零？
• RQ3 为何使用模形式自同构的逆能避免标准模形式自同构在扭曲Hochschild同调中导致的维度下降问题？
• RQ4 在整体循环上同调的背景下，解析核上同调类与JLO上同调类有何关系，这对局部指标公式有何影响？
• RQ5 当 $ q \to 1 $ 时，PodleÅs球面上指标配对的类经典极限为何？是否恢复了预期的拓扑指标？

主要发现

• 在弱光滑性条件下，解析核上同调类存在、连续，并在不依赖伪微分演算的前提下计算了有限可和模形式谱三元组的数值指标。
• 解析核上同调类定义了一个扭曲循环上同调类，能与等变 $ K $-理论非平凡地配对，从而构成一个良定义的指标问题。
• 对于PodleÅs球面，残差上同调的2阶项具有非零的Hochschild类，通过证明其不与0-上同调类同调而得以证实。
• 投影 $ P_{N/2} $ 的指标配对被显式给出为 $ \mathrm{Ind} = q^{-|N|}[N]_q $，当 $ q \to 1 $ 时趋于 $ N $，从而恢复经典指标。
• 使用模形式自同构的逆可避免维度下降问题：标准模形式自同构在维度2上产生平凡的Hochschild类，而其逆则产生非平凡类。
• 显式计算证实，该上同调的2阶部分不是上边界，因为所得指标配对非零，且与文献中已知结果一致。