[论文解读] Noncommutative Cartan sub-algebras of C*-algebras

Ruy Exel|ArXiv.org|Jun 25, 2008

Advanced Operator Algebra Research参考文献 10被引用 23

一句话总结

本文通过去除子代数必须为交换代数的要求，将雷诺索关于C*-代数中卡坦子代数的理论进行推广，引入了‘非交换卡坦子代数’，方法是采用强化后的极大性条件（Max'）。该文证明了条件期望的唯一性，并表明可分的广义卡坦对可作为可数逆半群上的费尔 bundles 的约化扭曲群胚C*-代数而实现，从而将经典结果推广至非交换情形。

ABSTRACT

J. Renault has recently found a generalization of the caracterization of C*-diagonals obtained by A. Kumjian in the eighties, which in turn is a C*-algebraic version of J. Feldman and C. Moore's well known Theorem on Cartan subalgebras of von Neumann algebras. Here we propose to give a version of Renault's result in which the Cartan subalgebra is not necessarily commutative [sic]. Instead of describing a Cartan pair as a twisted groupoid C*-algebra we use N. Sieben's notion of Fell bundles over inverse semigroups which we believe should be thought of as "twisted etale groupoids with noncommutative unit space". En passant we prove a theorem on uniqueness of conditional expectations.

研究动机与目标

• 通过移除阿贝尔条件，将雷诺索对C*-代数中卡坦子代数的刻画推广至非交换情形。
• 通过引入更强的极大性条件（Max'）来替代最大阿贝尔自归换子代数，以解决非阿贝尔情形下条件期望唯一性失效的问题。
• 利用逆半群上的费尔 bundles 将费尔曼-摩尔与雷诺索的群胚模型推广至非交换单位空间的情形。
• 在广义卡坦对与可数逆半群上费尔 bundles 的约化截面C*-代数之间建立结构对应关系。
• 在新公理下证明广义卡坦子代数上的条件期望是唯一的，从而推广雷诺索的结果。

提出的方法

• 通过将阿贝尔子代数的极大性条件替换为所有虚拟交换子均映射到子代数的条件（即 Max'），重新表述卡坦子代数的定义。
• 利用 N. 西本关于逆半群上费尔 bundles 的理论，作为具有非交换单位空间的扭曲埃莱群胚的非交换推广。
• 为子代数上的每个纯态构造 GNS 表示，并利用相关的循环向量在希尔伯特空间之间定义一个酉映射。
• 证明子代数上纯态相关的 GNS 表示的直和构成 C*-代数的一个忠实表示。
• 证明从费尔 bundles 的约化截面 C*-代数到原始 C*-代数的映射是一个同构，且子代数对应于 S 的幂等元半环。
• 利用条件期望像的稠密性与表示的忠实性，证明范数等式 (14.5.1)，从而确认同构关系。

实验结果

研究问题

• RQ1 能否通过弱化阿贝尔条件，将 C*-代数中条件期望唯一性的结果从交换卡坦子代数情形推广至更一般情况？
• RQ2 当子代数为非交换时，雷诺索的卡坦子代数群胚模型是否仍可推广？
• RQ3 在非交换单位空间情形下，逆半群上的费尔 bundles 是否可作为扭曲群胚的合适替代？
• RQ4 强化后的极大性条件（Max'）是否能确保在非交换情形下条件期望的唯一性？
• RQ5 每个可分的广义卡坦对是否都能实现为某个可数逆半群上费尔 bundles 的约化截面 C*-代数？

主要发现

• 若广义卡坦子代数满足强化后的极大性条件（Max'），即使其为非交换的，其上的条件期望也是唯一的。
• 一个可分的广义卡坦对 (A,B) 同构于某个可数逆半群 S 上费尔 bundles 的约化截面 C*-代数。
• 子代数 B 恰好对应于费尔 bundles 在 S 的幂等元半环上的限制。
• 同构的证明依赖于通过 GNS 构造构建一个忠实表示，并证明 A 中任意元素的范数等于其在 GNS 表示直和下的像的范数上确界。
• 该同构由一个保持子代数 B 嵌入 A 的映射实现，从而确认了结构对应关系。
• 该结果通过用逆半群费尔 bundles 将单位空间从交换推广为非交换，将雷诺索定理推广至非交换卡坦子代数。