[论文解读] On Type II noncommutative geometry and the JLO character

Alan Lai|arXiv (Cornell University)|Mar 22, 2010

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

一句话总结

本文将非交换几何中的关键工具——JLO特征——从I型推广至II型非交换几何，通过为隶属于II型冯诺依曼代数的无界Breuer-Fredholm模定义该特征。证明了在此设定下，JLO特征在整循环上同调类中与Connes-Chern特征相同，从而将I型结果推广至无穷维、非迹值的几何结构，且指标为实数。

ABSTRACT

The Jaffe-Lesniewski-Osterwalder (JLO) character is a homomorphism from K-homology to entire cyclic cohomology. This paper extends the domain of the JLO character to include Type II noncommutative geometry, the geometry represented by unbounded $θ$-summable Breuer-Fredholm modules; and shows that the JLO character coincides with the Chern-Connes character as a class in entire cyclic cohomolgoy.

研究动机与目标

• 将JLO特征的定义域扩展至II型非交换几何，其中底层代数为II型冯诺依曼代数。
• 为无界Breuer-Fredholm模定义JLO特征，这些模在II型设定下推广了无界Fredholm模。
• 确立在该扩展框架下，JLO特征在整循环上同调中的类与Connes-Chern特征类一致。
• 将Atiyah-Singer指标公式及JLO-Connes-Moscovici等价性推广至II型设定。
• 为取值于ℝ而非ℤ的Breuer-Fredholm指标提供上同调框架，适用于无穷维非交换几何。

提出的方法

• 本文在C*-代数A上定义了无界Breuer-Fredholm模，其Dirac算子D与II型冯诺依曼代数N相关联，并满足与Connes的无界Fredholm模类似的公理。
• 基于D的热核迹，利用A的整循环上同调构造JLO特征，将I型构造推广至II型设定。
• 证明JLO特征在无界Breuer-Fredholm模的适当形变下保持同伦不变。
• 通过D上的函数演算，建立无界与有界Breuer-Fredholm模之间的对应关系，扩展了从无界到有界Fredholm模的标准过渡。
• 证明对于p-可和的无界Breuer-Fredholm模，JLO特征与关联有界模的Connes-Chern特征上同调等价。
• 证明依赖于II型冯诺依曼代数中广义奇异数值与τ-可测算子的理论，使用迹理想L_N^p及τ-紧致性条件。

实验结果

研究问题

• RQ1 JLO特征能否从I型非交换几何推广至II型非交换几何，其中Fredholm指标取值于ℝ而非ℤ？
• RQ2 在II型设定下，无界Breuer-Fredholm模的JLO特征是否与Connes-Chern特征在整循环上同调类中相同？
• RQ3 在II型设定下，JLO类的同伦不变性如何表现，特别是在Dirac算子形变下？
• RQ4 从无界到有界Breuer-Fredholm模过渡时，JLO特征与Connes-Chern特征之间存在何种关系？
• RQ5 整循环上同调与迹理想的常规工具在II型冯诺依曼代数中τ-可测算子的设定下，其适用范围在多大程度上得以保持？

主要发现

• JLO特征在II型非交换几何的无界Breuer-Fredholm模上定义良好，其适用范围已超越I型情形。
• JLO特征在整循环上同调中与关联有界Breuer-Fredholm模的Connes-Chern特征定义了相同的上同调类。
• JLO特征在无界Breuer-Fredholm模的连续形变下保持同伦不变，且保持上同调类不变。
• 对于p-可和的无界Breuer-Fredholm模，JLO特征与Connes-Chern特征上同调等价，推广了Connes-Moscovici在I型情形的结果。
• 该构造依赖于τ-可测算子与广义奇异数值的理论，确保与II型冯诺依曼代数的迹结构相容。
• 通过JLO特征在上同调中的指标配对重现了Breuer-Fredholm指标，其为实数值，与I型几何中取整数值的指标形成对比。