[论文解读] Completely positive inner products and strong Morita equivalence

Henrique Bursztyn, Stefan Waldmann|ArXiv.org|Sep 24, 2003

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

一句话总结

本文建立了一套统一的 *-代数强莫代尔等价理论框架，将其应用于 C*-代数和泊松流形上的埃尔米特星积。通过引入完全正定内积，证明了强等价与环论莫代尔等价诱导相同的等价关系，但导致不同的佩卡尔群胚，其差异在形变量子化中以上同调方式刻画。

ABSTRACT

We develop a general framework for the study of strong Morita equivalence in which $C^*$-algebras and hermitian star products on Poisson manifolds are treated in equal footing. We compare strong and ring-theoretic Morita equivalences in terms of their Picard groupoids for a certain class of unital $^*$-algebras encompassing both examples. Within this class, we show that both notions of Morita equivalence induce the same equivalence relation but generally define different Picard groups. For star products, this difference is expressed geometrically in cohomological terms.

研究动机与目标

• 为强莫代尔等价建立一个适用于 C*-代数与埃尔米特星积的通用代数框架。
• 澄清 *-代数在有序环上时，强莫代尔等价与环论莫代尔等价之间的关系。
• 以上同调障碍的形式刻画强佩卡尔群胚与经典佩卡尔群胚之间的差异。
• 将 C*-代数与形变量子化中已知的莫代尔等价结果推广至一个共同的代数设定。
• 证明对于埃尔米特星积，从强佩卡尔群胚到经典佩卡尔群胚的典范态射是单射，其满射性取决于一阶泊松上同调的消失。

提出的方法

• 在形如 R(i) 的环（包括 R 和 R[[λ]]）上的 *-代数上，引入一种纯粹代数的强莫代尔等价概念，使用完全正定内积。
• 将强佩卡尔群胚 Pic^str 定义为非退化、幂等 *-代数范畴中以双模为态射的同构态射群胚。
• 证明里埃费尔的表示诱导与张量积构造可推广至该代数设定。
• 通过典范群胚态射比较 Pic^str 与 Pic，表明二者具有相同的轨道（等价类），但同伦群不同。
• 利用 Baker–Campbell–Hausdorff 公式与星积的自同态分解，分析 *-自同态的结构，形式为 e^{iλD}∘Ψ。
• 以上同调语言表达 Pic^str ≅ Pic 的障碍，特别是通过一阶德拉姆上同调群 H^1_{dR}(M,C)。

实验结果

研究问题

• RQ1 对于一大类 *-代数，强莫代尔等价与环论莫代尔等价是否定义相同的等价关系？
• RQ2 强佩卡尔群胚 Pic^str 与经典佩卡尔群胚 Pic 在 *-代数上具有何种精确关系？
• RQ3 Pic^str 与 Pic 的同伦群有何不同？何种上同调不变量控制这一差异？
• RQ4 在何种条件下，埃尔米特星积的典范态射 Pic^str → Pic 是同构？
• RQ5 星积的自同态结构能否分解为酉部分与内自同态类似部分？这种分解如何影响莫代尔等价？

主要发现

• 对于满足条件 (I)、(II+) 与 (III) 的单位元 *-代数，强莫代尔等价与环论莫代尔等价诱导相同的等价关系，即在佩卡尔群胚中具有相同的轨道。
• 如推论 8.7 所示，埃尔米特星积的典范态射 Pic^str → Pic 是单射。
• 该态射是满射（因此是同构）当且仅当星积的所有 *-导子均为拟内导子，即形如 (i/λ)ad(H) 的形式，其中 H 为某元素。
• 对于辛流形，态射 Pic^str → Pic 是同构当且仅当一阶德拉姆上同调群 H^1_{dR}(M,C) 为零。
• 任何埃尔米特星积的 *-自同态均可唯一分解为 Φ = e^{iλD}∘Ψ，其中 D 为 *-导子，Ψ 为 *-自同态，如命题 8.8 所证。
• 即使等价类相同，Pic^str 与 Pic 的同伦群通常也不同，表明强莫代尔等价是比环论莫代尔等价更精细的不变量。