[论文解读] Poincare Duality and Spin^c Structures for Noncommutative Manifolds

Adam Rennie|ArXiv.org|Jul 13, 2001

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

一句话总结

本文为非交换流形建立了非紧致的Serre-Swan定理，通过单位化代数中的投影表征在无穷远处消失的截面模。证明了微分形式代数 $Ω^*_{/cal D}({/cal A})$ 与函数代数 ${/cal A}$ 强Morita等价，通过与Clifford代数的Morita等价给出了非交换的spin$^c$结构的非交换定义。

ABSTRACT

We prove a noncompact Serre-Swan theorem characterising modules which are sections of vector bundles not necessarily trivial at infinity. We then identify the endomorphism algebras of the resulting modules. The endomorphism results continue to hold for the generalisation of these modules to noncommutative, nonunital algebras. Finally, we apply these results to not necessarily compact noncommutative spin manifolds, proving that Poincare Duality implies the Morita equivalence of the `algebra of functions' and the `Clifford algebra.'

研究动机与目标

• 解决非交换几何中向量丛截面在无穷远处消失的严格表征缺失问题。
• 通过引入基于紧化框架的方法，将Serre-Swan定理推广至非单位化 $C^*$-代数，特别是 $C_0(X)$。
• 识别非单位化 $C^*$-代数上模的自同态代数，区分紧致与完整自同态代数。
• 证明在非交换旋转向量流形中，Poincaré对偶性蕴含函数代数与微分形式代数之间的强Morita等价。
• 通过Morita等价提供非交换的spin$^c$结构的非交换定义，推广经典情况下spin$^c$结构与Clifford代数之间的对应关系。

提出的方法

• 通过表征与在无穷远处消失的截面同构的 $C_0(X)$-模为 $pC_0(X)^n$，其中 $p$ 是 $X$ 的紧化 $X^c$ 的 $M_n(C(X^c))$ 中的投影，引入非单位化Serre-Swan定理。
• 对于非单位化 $\sigma$-单位化 $C^*$-代数 $A$，将 $A_b$-有限投影模定义为 $pA^n$，其中 $p \in M_n(A_b)$，$A_b$ 是 $A$ 的单位化。
• 识别紧致自同态代数为 $End_A^0(E) = pM_n(A)p$，完整自同态代数为 $End_A(E) = pM_n(A_b)p$。
• 将这些结果应用于非紧致非交换旋转向量流形，通过识别 ${\cal H}_\infty = p{\cal A}^n$ 为旋量丛的光滑截面。
• 利用 $\Omega^*_{\cal D}({\cal A}_b)$ 在 ${\cal H}_\infty$ 上作用的不可约性，证明 $\Omega^*_{\cal D}({\cal A}_b) \cong pM_n({\cal A}_b)p$，类似地对 $\Omega^*_{\cal D}({\cal A})$ 也成立。
• 通过模 ${\cal H}_\infty$ 建立 ${\cal A}$ 与 $\Omega^*_{\cal D}({\cal A})$ 之间的强Morita等价，推广经典spin$^c$对应关系。

实验结果

研究问题

• RQ1 如何将Serre-Swan定理推广至非紧致、非单位化 $C^*$-代数，以表征在无穷远处消失的截面模？
• RQ2 此类模在非单位化设定下的自同态代数的精确结构是什么？
• RQ3 在非交换旋转向量流形中，Poincaré对偶性是否蕴含函数代数与微分形式代数之间的强Morita等价？
• RQ4 能否通过Morita等价形式化非交换的spin$^c$结构定义，类比经典情况？
• RQ5 在非交换设定下，代数 $\Omega^*_{\cal D}({\cal A})$ 与 $\Omega^*_{\cal D}({\cal A}_b)$ 如何与Clifford代数关联？

主要发现

• 非单位化Serre-Swan定理将与在无穷远处消失的截面同构的 $C_0(X)$-模表征为 $pC_0(X)^n$，其中 $p$ 是 $X$ 的紧化 $X^c$ 的 $M_n(C(X^c))$ 中的投影。
• 此类模的紧致自同态代数为 $End_A^0(E) = pM_n(A)p$，完整自同态代数为 $End_A(E) = pM_n(A_b)p$，其中 $A_b$ 是 $A$ 的单位化。
• 在Poincaré对偶性下，$\Omega^*_{\cal D}({\cal A}) \cong pM_n({\cal A})p = End_A^0({\cal H}_\infty)$ 且 $\Omega^*_{\cal D}({\cal A}_b) \cong pM_n({\cal A}_b)p = End_A({\cal H}_\infty)$。
• 因此，代数 ${\cal A}$ 与 $\Omega^*_{\cal D}({\cal A})$ 通过模 ${\cal H}_\infty$ 实现强Morita等价。
• $\Omega^*_{\cal D}({\cal A})$ 在非交换设定中扮演类似于经典情况下Clifford代数的角色。
• 任何满足公理的非交换旋转向量流形均可通过此Morita等价提供非交换的spin$^c$结构，推广经典对应关系。