[论文解读] Examples of masas in C*-algebras

Jean Renault|ArXiv.org|Mar 23, 2009

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

一句话总结

本文通過群叢與扭轉構造，建立C*-代數中Cartan子代數（masas）的構造與分析，確立了扭轉的étale群叢與具Cartan子代數的C*-代數之間的范畴等價。主要貢獻在於透過拓撲本質群叢對Cartan子代數進行特徵化，將Feldman-Moore與Kumjian的結果推廣至非Hausdorff設定。

ABSTRACT

This paper illustrates the notion of a Cartan subalgebra in a C*-algebra through a number of examples and counterexamples. Some of these examples have a geometrical flavour and are related to orbifolds and non-Hausdorff manifolds.

研究动机与目标

• 提供C*-代數中最大阿貝爾自伴子代數（masas）的具體例子與反例。
• 利用群叢與扭轉構造，將Feldman-Moore在von Neumann代數中關於Cartan子代數的定理推廣至C*-代數設定。
• 研究拓撲本質性與非Hausdorff群叢在Cartan子代數結構中的角色。
• 釐清何種條件下masa為對角代數（即滿足純態的唯一延拓性質）。

提出的方法

• 利用逆半群在拓撲空間上的部分作用所產生的胚群叢構造étale群叢。
• 對具有圓群扭轉的étale群叢應用約化C*-代數構造，推廣群叢C*-代數框架。
• 強制施加拓撲本質性條件——具有平凡穩定子的點在群叢中稠密——以確保忠實條件期望的存在。
• 運用有效群叢的概念與純態的唯一延拓性質，區分對角代數與一般Cartan子代數。
• 透過在開Hausdorff子集上的緊支集函數分析非Hausdorff群叢，適應約化範數構造。
• 利用圓周上的可交換同胚構造顯式反例，證明在非Hausdorff設定下$ C_0(G^{(0)}) $可能不具最大阿貝爾性。

实验结果

研究问题

• RQ1 在何種條件下，C*-代數會出現源自扭轉étale群叢的Cartan子代數？
• RQ2 非Hausdorff群叢如何影響C*-代數中阿貝爾子代數的最大性與正則性？
• RQ3 群叢的拓撲本質性與masa上純態的唯一延拓性質之間有何關係？
• RQ4 當Cartan子代數源自同構的等價關係時，是否可能彼此不共軛？
• RQ5 當$ G $為胚群叢的非Hausdorff群叢時，子代數$ C_0(G^{(0)}) $在何種情況下會失去最大阿貝爾性？

主要发现

• 在分離C*-代數中，Cartan子代數源自扭轉的、étale的、二階可數的、局部緊的、Hausdorff的且拓撲本質的群叢。
• 此類群叢的扭轉C*-代數同構於原始C*-代數，且Cartan子代數對應於$ C_0(G^{(0)}) $。
• Cartan子代數為對角代數（即滿足唯一延拓性質）當且僅當其對應群叢為本質群叢。
• 在非Hausdorff群叢中，$ C_0(G^{(0)}) $可能不具最大阿貝爾性，此點由使用可交換圓周同胚的反例所證明。
• 在$ C_r^*(G) $中存在一顯式函數，其支集位於兩點的穩定子群上，與$ C(\bf T) $可交換，但不屬於$ C(\bf T) $，從而顯示$ C_0(G^{(0)}) $的非最大阿貝爾性。
• CCR代數的譜在Hausdorff點的集合中可能具有空內部，此點透過在局部緊Hausdorff空間中使用可數稠密集的構造得以展示。