[论文解读] On Strict Higher C*-categories

Paolo Bertozzini, Roberto Conti+2 more|arXiv (Cornell University)|Sep 27, 2017

Advanced Operator Algebra Research参考文献 19被引用 4

一句话总结

本文提出了一种严格高阶 C*-范畴的新框架，通过引入一种非交换交换性质，避免了 Eckmann-Hilton 混合坍塌，从而借助超矩阵和超 C*-代数实现了非平凡的例子。该研究建立了严格酉高阶范畴与高阶 Fell 丛，实现了 C*-代数理论的垂直范畴化，并在非交换几何与量子基础领域具有应用价值。

ABSTRACT

We provide definitions for strict involutive higher categories (a vertical categorification of dagger categories), strict higher C*-categories and higher Fell bundles (over arbitrary involutive higher topological categories). We put forward a proposal for a relaxed form of the exchange property for higher (C*)-categories that avoids the Eckmann-Hilton collapse and hence allows the construction of explicit non-trivial "non-commutative" examples arising from the study of hypermatrices and hyper-C*-algebras, here defined. Alternatives to the usual globular and cubical settings for strict higher categories are also explored. Applications of these non-commutative higher C*-categories are envisaged in the study of morphisms in non-commutative geometry and in the algebraic formulation of relational quantum theory.

研究动机与目标

• 开发一个避免 Eckmann-Hilton 混合坍塌的严格高阶 C*-范畴的连贯理论，从而允许非平凡的非交换结构。
• 通过严格酉高阶范畴，将 C*-范畴与 Fell 丛推广至更高范畴维数。
• 引入超 C*-代数与高阶卷积，作为利用超矩阵实现高阶 C*-范畴的显式实现。
• 为高阶泛函分析以及非交换几何与量子理论的范畴化表述奠定基础。
• 探索高阶范畴与非交换几何中诸如乘积系统、谱三元组与模形式理论等结构之间的联系。

提出的方法

• 通过部分高阶幺半群形式化严格高阶范畴，实现超越标准严格 n-范畴的球状与立方体方法。
• 引入一种宽松的非交换交换性质，以规避高阶范畴复合中的 Eckmann-Hilton 混合坍塌。
• 通过高阶范畴中 dagger 结构的类比，定义严格酉高阶范畴，将对合推广至高阶态射。
• 通过高阶代数丛与范畴丛构建严格高阶 C*-范畴，重点以超 C*-代数作为具体模型。
• 利用超矩阵作为高阶卷积的代数基础，为高阶 C*-代数结构提供非平凡实现。
• 将 Fell 丛理论扩展至高阶范畴设定，定义在酉高阶拓扑范畴上的高阶 Fell 丛。

实验结果

研究问题

• RQ1 如何在高阶范畴中形式化非交换交换性质，以避免 Eckmann-Hilton 混合坍塌？
• RQ2 支持非平凡、非交换例子的严格高阶 C*-范畴的结构与代数性质是什么？
• RQ3 超矩阵与超 C*-代数能否作为高阶 C*-范畴及其卷积的显式模型？
• RQ4 高阶 C*-范畴如何与非交换几何中的态射及关系量子理论中的态射相关联？
• RQ5 高阶范畴结构在泛函分析中推广谱理论、对偶性与 K-理论方面扮演何种角色？

主要发现

• 成功定义了非交换交换性质，防止结构坍塌为交换形式，从而支持非平凡的高阶范畴实例。
• 超 C*-代数被构造为超矩阵的高阶卷积，为严格高阶 C*-范畴提供了显式且非平凡的模型。
• 严格酉高阶范畴被形式化，将 dagger 范畴推广至高维，并保持对合的一致性。
• 高阶 Fell 丛被定义在任意酉高阶拓扑范畴上，将经典 Fell 丛理论推广至高维。
• 该框架支持 C*-代数与 C*-范畴的垂直范畴化，为高阶泛函分析与非交换几何开辟了新路径。
• 该理论为高阶 Morita 理论、希尔伯特双模与高阶范畴设定下的谱理论奠定了基础，未来可应用于量子引力与同伦类型理论。