[论文解读] Differential groupoids and $C^*$-algebras

Piotr Stachura|ArXiv.org|May 17, 1999

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

一句话总结

本文提出了一种从微分群胚构造C*-代数的方法，建立了从S. Zakrzewski意义上的微分群胚范畴到C*-代数范畴的协变函子。其主要贡献在于构建了一个系统化的函子框架，将微分群胚与C*-代数联系起来，为通过算子代数研究几何与量子结构提供了新的代数工具。

ABSTRACT

The construction of a C*-algebra of a differential groupoid is presented. It is shown that it defines a covariant functor from the category of differential groupoids in a sense of S. Zakrzewski to the category of C*-algebras.

研究动机与目标

• 开发一种将C*-代数系统性地关联到微分群胚的方法。
• 建立该赋值在微分群胚范畴到C*-代数范畴之间构成协变函子。
• 将C*-代数构造推广至微分群胚，扩展已知的群胚与李群胚的结果。
• 提供一个通过代数与分析工具研究量子结构与非交换几何的框架。

提出的方法

• 本文将微分群胚定义为配备相容光滑结构与李代数胚结构的群胚。
• 构造群胚上紧支集光滑函数的*-代数，其运算为卷积与对合。
• 通过从群胚结构导出的合适范数，完成该*-代数，得到C*-代数。
• 证明该构造是函子性的，保持微分群胚之间态射的映射。
• 本文运用微分几何、李代数胚与算子代数的技术，确保C*-代数公理由满足。
• 其依赖于群胚C*-代数理论，并通过光滑性与相容性条件，将其推广至微分设定。

实验结果

研究问题

• RQ1 如何自然地将C*-代数与微分群胚关联，以保持其几何与代数结构？
• RQ2 将C*-代数赋值给微分群胚是否关于微分群胚的态射构成函子？
• RQ3 哪些条件可确保所得C*-代数在范数完备化下是良定义且封闭的？
• RQ4 该构造如何推广已知的李群胚或离散群胚的C*-代数构造？
• RQ5 微分结构（如光滑性与李代数胚相容性）在确保C*-代数结构中起什么作用？

主要发现

• 本文成功地从任意微分群胚出发，通过光滑函数与卷积构造出C*-代数。
• 该构造在微分群胚范畴到C*-代数范畴之间产生一个协变函子。
• C*-代数在源自群胚结构的范数下是完备的，确保其满足C*-恒等式。
• 该方法将已知的李群胚C*-代数构造推广至更广泛的可微群胚类。
• 该框架为通过微分群胚研究非交换几何与量子结构提供了新的代数工具。
• 该结果通过函子性在微分几何与算子代数之间建立了正式的桥梁。