[论文解读] Weak Cartan inclusions and non-Hausdorff groupoids

R. Exel, David R. Pitts|arXiv (Cornell University)|Jan 28, 2019

Advanced Operator Algebra Research被引用 1

一句话总结

该论文证明了每个可分 C*-代数的弱 Cartan 包含关系均可通过其本质群胚 C*-代数，从一个拓扑自由的、扭曲的埃泰勒群胚中导出。该研究引入了典型状态作为表征工具，并证明了 $C^*_{ess}(G, L)$ 的简化性准则，统一了非 Hausdorff 情形下的群胚模型与 Cartan 包含关系。

ABSTRACT

Given a non-necessarily Hausdorff, topologically free, twisted etale groupoid $(G, L)$, we consider its essential groupoid C*-algebra, denoted $C^*_{ess}(G, L)$, obtained by completing $C_c(G, L)$ with the smallest among all C*-seminorms coinciding with the uniform norm on $C_c(G^0)$. The inclusion of C*-algebras $(C_0(G^0), C^*_{ess}(G, L))$ is then proven to satisfy a list of properties characterizing it as what we call a Cartan inclusion. We then prove that every weak Cartan inclusion $(A, B)$, with $B$ separable, is modeled by a topologically free, twisted etale groupoid, as above. In another main result we give a necessary and sufficient condition for an inclusion of C*-algebras $(A, B)$ to be modeled by a twisted etale groupoid based on the notion of canonical states. A simplicity criterion for $C^*_{ess}(G, L)$ is proven and many examples are provided.

研究动机与目标

• 将 Cartan 包含理论推广至非 Hausdorff、扭曲的埃泰勒群胚。
• 证明每个具有可分 $B$ 的弱 Cartan 包含关系均可来自一个拓扑自由的、扭曲的埃泰勒群胚。
• 提供通过典型状态对包含关系进行扭曲群胚建模的必要且充分条件。
• 建立本质群胚 C*-代数 $C^*_{ess}(G, L)$ 的简化性准则。

提出的方法

• 将 $C^*_{ess}(G, L)$ 定义为 $C_c(G, L)$ 按照与 $C_c(G^0)$ 上一致范数一致的最小 C*-半范数的完备化。
• 证明包含关系 $(C_0(G^0), C^*_{ess}(G, L))$ 满足弱意义下的 Cartan 包含公理。
• 利用典型状态的概念，表征 C*-包含关系何时可由扭曲的埃泰勒群胚建模。
• 在假设拓扑自由性的前提下，为任意具有可分 $B$ 的弱 Cartan 包含关系构造群胚模型。
• 将本质群胚 C*-代数构造方法应用于将 Cartan 理论推广至 Hausdorff 情形之外。
• 提供具体例子以说明该理论在非 Hausdorff 与非局部紧致情形下的应用。

实验结果

研究问题

• RQ1 哪些 C*-包含关系可在非 Hausdorff 情形下由扭曲的埃泰勒群胚建模？
• RQ2 C*-包含关系需满足何种条件，才能确保其源自一个拓扑自由的、扭曲的埃泰勒群胚？
• RQ3 典型状态如何表征 C*-包含关系的群胚模型？
• RQ4 $C^*_{ess}(G, L)$ 简化性的精确条件是什么，其与群胚和扭曲的关系如何？
• RQ5 本质群胚 C*-代数构造如何推广经典 Cartan 包含关系？

主要发现

• 每个具有可分 $B$ 的弱 Cartan 包含关系 $(A, B)$ 均可实现为 $(C_0(G^0), C^*_{ess}(G, L))$，其中 $(G, L)$ 为一个拓扑自由的、扭曲的埃泰勒群胚。
• $(C_0(G^0), C^*_{ess}(G, L))$ 的包含关系即使在 $G$ 非 Hausdorff 时，也满足弱意义下的 Cartan 包含公理。
• 给出了 C*-包含关系可由扭曲的埃泰勒群胚建模的必要且充分条件，其条件为典型状态的存在性。
• 建立了 $C^*_{ess}(G, L)$ 的简化性准则，其依赖于群胚作用的动力学性质与扭曲结构。
• 该构造为弱 Cartan 包含关系提供了完整的群胚模型，将经典理论推广至非 Hausdorff 情形。
• 提供了大量例子，以说明该理论在非 Hausdorff 与非局部紧致情形下的应用。