[论文解读] A remark on trace properties of K-cycles

Fabio Cipriani, Daniele Guido+1 more|ArXiv.org|Jun 14, 1995

Advanced Topics in Algebra参考文献 6被引用 19

一句话总结

本文为非交换几何中 $d^+$-可和 $K$-循环的迹定理提供了严格的证明，确认了康奈斯所声称的泛函 $\varphi(a) = \tau_\omega(|D|^{-d}a)$ 是代数 $\mathcal{A}$ 上的迹。此外，本文表明该迹性质仅在附加正则性条件下才能延拓至全纯分次微分代数 $\Omega(\mathcal{A})$，并构造了一个反例，证明在缺乏这些条件时该性质不成立。

ABSTRACT

In this paper we discuss trace properties of $d^+$-summable $K$-cycles considered by A.Connes in [ fr(Conn4)]. More precisely we give a proof of a trace theorem on the algebra $\A$ of a $K$--cycle stated in [ fr(Conn4)], namely we show that a natural functional on $\A$ is a trace functional. Then we discuss whether this functional gives a trace on the whole universal graded differential algebra $\Q(\A)$. On the one hand we prove that the regularity conditions on $K$-cycles considered in [ fr(Conn4)] imply the trace property on $\Q(\A)$. On the other hand, by constructing an explicit counterexample, we remark that the sole $K$-cycle assumption is not sufficient for such a property to hold.

研究动机与目标

• 为康奈斯未证明的断言提供严格证明：在 $d^+$-可和 $K$-循环的代数 $\mathcal{A}$ 上，泛函 $\varphi(a) = \tau_\omega(|D|^{-d}a)$ 是一个迹。
• 研究该迹泛函是否可延拓至全纯分次微分代数 $\Omega(\mathcal{A})$。
• 在仅依赖于最小 $K$-循环公理时迹性质不成立的前提下，确定迹性质在 $\Omega(\mathcal{A})$ 上成立的正则性条件。
• 构造一个显式反例，表明在无附加正则性时，$\Omega(\mathcal{A})$ 上的迹性质不成立。

提出的方法

• 利用定义在有界序列上的广义极限，通过狄克曼迹 $\tau_\omega$ 定义 $\mathcal{A}$ 上的泛函 $\varphi(a) = \tau_\omega(|D|^{-d}a)$，并利用 $|D|^{-1}$ 的 $d^+$-可和性。
• 应用赋范理想与奇异迹的理论，特别是 $\mathcal{L}^{1^+}$-理想以及奇异值 $\sigma_n(|D|^{-d})$ 的渐近行为。
• 分析导子 $[D,\cdot]$ 的图范数，比较 $\mathcal{A}$ 及其子代数 $\mathcal{A}_2$ 的闭包，揭示当 $|\lambda| \neq |\mu|$ 时反对角块的差异。
• 构造一个具有非退化特征值 $\lambda, \mu$ 的特定 $K$-循环，以证明当 $|\lambda| \neq |\mu|$ 时，$\Omega(\mathcal{A})$ 上的迹性质不成立。
• 证明 $\Omega(\mathcal{A})$ 上的迹性质成立当且仅当 $|\lambda| = |\mu|$，利用对换子 $[[D,a],[D,a^*]]$ 的迹条件。
• 采用谱分解以及 $\sigma(b^{-1})$ 上多项式代数与 $\mathcal{A}$ 中矩阵块之间的同构，分析范数与图范数闭包。

实验结果

研究问题

• RQ1 康奈斯所声称的：在 $d^+$-可和 $K$-循环的代数 $\mathcal{A}$ 上，泛函 $\varphi(a) = \tau_\omega(|D|^{-d}a)$ 是一个迹，是否成立？
• RQ2 狄克曼迹泛函在何种条件下可延拓为 $\Omega(\mathcal{A})$ 上的迹？
• RQ3 仅凭 $K$-循环公理能否保证 $\Omega(\mathcal{A})$ 上的迹性质，还是需要额外的正则性条件？
• RQ4 是否存在一个 $K$-循环满足公理但其迹在 $\Omega(\mathcal{A})$ 上不成立的反例？
• RQ5 导子 $[D,\cdot]$ 的特征值 $\lambda, \mu$ 与 $\Omega(\mathcal{A})$ 上迹性质之间的精确关系为何？

主要发现

• 泛函 $\varphi(a) = \tau_\omega(|D|^{-d}a)$ 是代数 $\mathcal{A}$ 上的迹，证实了康奈斯未证明的断言。
• $\Omega(\mathcal{A})$ 上的迹性质成立当且仅当 $|\lambda| = |\mu|$，其中 $\lambda, \mu$ 是导子 $[D,\cdot]$ 在反对角块上的特征值。
• 构造了一个反例，其中 $|\lambda| \neq |\mu|$，表明仅凭 $K$-循环公理不足以保证 $\Omega(\mathcal{A})$ 上的迹性质。
• $\mathcal{A}$ 与 $\mathcal{A}_2$ 的范数闭包相同，且同构于 $M_2 \otimes \mathcal{C}_0(\sigma(b^{-1}))$，但其图范数闭包在反对角块上存在差异。
• $\mathcal{A}$ 的图范数闭包包含在 $\sigma(b^{-1})$ 上连续且在 0 处导数有限的函数，而 $\mathcal{A}_2$ 的图范数闭包要求在 0 处导数为零。
• 当 $|\lambda| \neq |\mu|$ 时，迹性质在 $\Omega(\mathcal{A})$ 上不成立，因为 $\varphi([[D,a],[D,a^*]]) \neq 0$，违反了迹条件。