[论文解读] Semifinite spectral triples associated with graph C*-algebras

Alan L. Carey, John Phillips+1 more|ArXiv.org|Jul 26, 2007

Advanced Operator Algebra Research参考文献 22被引用 6

一句话总结

该论文为图C*-代数构造了半有限谱三元组，特别聚焦于传统迹失效的陈代数。通过引入模形式酉算子和利用KMS态的扭曲循环上同调，建立了新颖的指标配对，从而在缺乏忠实迹的情况下恢复非平凡不变量，得到了一个全新的扭曲局部指标公式，并在$ (n-1)·\mathbb{Z}[1/n] $中显式计算了谱流。

ABSTRACT

We review the recent construction of semifinite spectral triples for graph C^*-algebras. These examples have inspired many other developments and we review some of these such as the relation between the semifinite index and the Kasparov product, examples of noncommutative manifolds, and an index theorem in twisted cyclic theory using a KMS state.

研究动机与目标

• 解决某些C*-代数（如陈代数）中缺乏忠实迹的问题，该问题阻碍了标准谱三元组的构造。
• 发展一个半有限指标理论框架，用KMS态和扭曲循环上同调取代迹。
• 通过引入'模形式$K_1$'和带eta校正的谱流，为无忠实迹代数建立非平凡指标配对。
• 利用冯诺依曼代数工具和$QC^k$正则性，将康奈斯-莫斯科维茨局部指标定理推广至半有限情形。
• 通过扭曲循环上同调和半有限谱三元组，为非交换流形提供一个新不变量。

提出的方法

• 在冯诺依曼代数$\mathcal{N}$上的忠实正规半有限迹$\tau$下，为图C*-代数构造半有限谱三元组$({\mathcal{A}}, {\mathcal{H}}, {\mathcal{D}})$。
• 利用导子$\delta(T) = [|{\mathcal{D}}|, T]$的$QC^k$条件，确保谱三元组具有足够的正则性。
• 引入与模形式自同构$\sigma$可交换的模形式酉算子$u$，并满足对$\mathcal{D}$的谱投影$Q$有$uQu^* \in \mathcal{M}$。
• 应用[4]中的谱流公式计算指标配对，通过类似eta的校正项调整谱不对称性，且在模形式条件下相互抵消。
• 通过残差公式$\lim_{r\to 0} r\, \phi_k(a_0[\mathcal{D}_k,a_1](1+\mathcal{D}_k^2)^{-1/2-r})$定义扭曲$b,B$-上同调，其中$\phi_{k,\omega}$为Dixmier迹。
• 通过泛函$\frac{1}{2}\phi_{k,\omega}(u_v[\mathcal{D}_k,u_v](1+\mathcal{D}_k^2)^{-1/2})$为模形式酉算子$u_v$建立新的指标配对。

实验结果

研究问题

• RQ1 当缺乏忠实迹时，如何为图C*-代数构造半有限谱三元组？
• RQ2 KMS态和模形式自同构在为无忠实迹代数定义非平凡指标配对中起什么作用？
• RQ3 在半有限情形下，谱流与扭曲循环上同调如何相互作用以产生新不变量？
• RQ4 新的$K$-理论群'模形式$K_1$'的结构是什么？它如何与扭曲上同调配对？
• RQ5 在缺乏迹的情况下，半有限局部指标定理如何推广康奈斯-莫斯科维茨定理？

主要发现

• 对于$M_k(O_n)$中的模形式酉算子$u_v$，谱流$sf_{\phi_k}(\mathcal{D}_k, u_v\mathcal{D}_k u_v^*)$由$\frac{1}{2}\phi_{k,\omega}(u_v[\mathcal{D}_k,u_v](1+\mathcal{D}_k^2)^{-1/2})$给出，产生非零指标配对。
• 对于陈代数$O_n$，指标配对$sf_{\phi_2}(\mathcal{D}_2, u\mathcal{D}_2 u^*)$的值为$(|\mu| - |\nu|)\left(\frac{1}{n^{\vert\nu\vert}} - \frac{1}{n^{\vert\mu\vert}}\right) \in (n-1)\mathbb{Z}[1/n]$，为$\mathbb{R}$中一个非平凡的、在稠密子群中的值。
• 泛函$\lim_{r\to 0} r\, \phi_k(a_0[\mathcal{D}_k,a_1](1+\mathcal{D}_k^2)^{-1/2-r})$定义了一个扭曲$b,B$-上同调，将循环上同调推广至半有限情形。
• 谱流公式中的eta校正项在模形式酉算子下相互抵消，从而即使酉算子不在代数$\mathcal{M}$中，也能实现良好的指标配对。
• 模形式$K_1$提供了一个新的$K$-理论不变量，能与扭曲上同调非平凡配对，作为在缺乏迹时普通$K_1$的替代。
• 该构造可推广至其他代数（如$SU_q(2)$），表明其在非交换几何与数学物理中的广泛适用性。