[论文解读] Spectral Triples and Generalized Crossed Products

Olivier Gabriel, Martin Grensing|arXiv (Cornell University)|Oct 22, 2013

Advanced Operator Algebra Research参考文献 27被引用 11

一句话总结

本文通过希尔伯特双模从C*-代数到广义交叉积的提升，构建了KK-理论中卡斯帕罗夫积的无界代表。利用狄拉克算子上的联络和算子*-代数，系统地将卡斯帕罗夫积实现为皮姆斯纳代数上的具体谱三元组，推广了已知的ℤ-作用和S¹-丛上的构造。

ABSTRACT

We give a construction allowing to lift spectral triples to crossed products by Hilbert bimodules. The spectral triple one obtains is a concrete unbounded representative of the Kasparov product of the spectral triple and the Pimsner-Toeplitz extension associated to the crossed product by the Hilbert bimodule. To prove that the lifted spectral triple is the above-mentioned Kasparov product, we rely on operator-$*$-algebras and connexions.

研究动机与目标

• 开发一个在广义交叉积上构造谱三元组的概念性框架，特别是皮姆斯纳代数。
• 解决从基代数到交叉积代数提升谱三元组的挑战，同时保持卡斯帕罗夫积结构。
• 通过希尔伯特双模将已知的ℤ-作用和圆丛上谱三元组的构造推广到更广泛的C*-代数类。
• 建立基谱三元组上的联络与广义交叉积上提升狄拉克算子构造之间的联系。
• 利用算子*-代数和无界卡斯帕罗夫积形式化，提供卡斯帕罗夫积的具体无界代表。

提出的方法

• 通过广义交叉积构造，将C*-代数B上的谱三元组提升至与希尔伯特B-B对应E相关的皮姆斯纳代数上的谱三元组。
• 利用基代数上狄拉克算子D的联络，确保与模结构的相容性，并定义提升后的狄拉克算子。
• 使用无界卡斯帕罗夫积形式化，将提升后的谱三元组实现为基谱三元组与皮姆斯纳扩张类的卡斯帕罗夫积的无界代表。
• 应用算子*-代数技术处理无界算子及其定义域，确保提升后狄拉克算子的自伴性与正则性。
• 将提升后的狄拉克算子构造为ℓ²(ℤ)上数算子N与原始狄拉克算子D的组合，通过联络修正以反映模作用。
• 依赖皮姆斯纳-托普利茨扩张和K-同调中的边界映射，将提升解释为KK-理论中的卡斯帕罗夫积。

实验结果

研究问题

• RQ1 如何系统地将谱三元组从C*-代数提升至由希尔伯特双模构造的广义交叉积代数？
• RQ2 为确保提升算子定义有效谱三元组，需要哪些几何与分析条件（如狄拉克算子上的条件）？
• RQ3 所构造的谱三元组在何种意义上代表了基谱三元组与广义交叉积扩张类的卡斯帕罗夫积？
• RQ4 基狄拉克算子上的联络如何促进皮姆斯纳代数上提升狄拉克算子的构造？
• RQ5 无界卡斯帕罗夫积形式化能否用于将提升后的谱三元组实现为具体的无界弗雷德霍姆模？

主要发现

• 本文在与希尔伯特双模E相关的皮姆斯纳代数上构造了一个谱三元组，实现了基谱三元组与皮姆斯纳-托普利茨扩张类的卡斯帕罗夫积。
• 提升后的狄拉克算子明确表示为ℓ²(ℤ)上数算子N与原始狄拉克算子D的组合，通过联络修正以反映模作用。
• 该构造依赖于基谱三元组上联络的存在性，以确保与提升后狄拉克算子的交换子有界。
• 该方法推广了已知的ℤ-作用和S¹-主丛上的构造，表明这些是广义交叉积框架下的特例。
• 证明表明，提升后的谱三元组是无界卡斯帕罗夫积的代表，其有界变换在KK-理论中给出卡斯帕罗夫积。
• 证明依赖于算子*-代数技术和无界卡斯帕罗夫积形式化，关键步骤是验证提升后的弗雷德霍姆模满足卡斯帕罗夫积的条件。