[论文解读] Bundles of C*-categories and duality

Ezio Vasselli|arXiv (Cornell University)|Oct 27, 2005

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

一句话总结

本文引入了C*-范畴的连续丛作为连续C*-代数丛的范畴类比，证明了具有共轭的对称张量C*-范畴是其单位对象的自同态代数谱上的连续丛。关键贡献是通过上同调集对特殊张量C*-范畴——纤维为紧李群对偶的局部平凡丛——进行了完全分类，该分类可转化为Cuntz代数固定点代数为纤维的C*-代数丛的分类。

ABSTRACT

We introduce the notions of multiplier C*-category and continuous bundle of C*-categories, as the categorical analogues of the corresponding C*-algebraic notions. Every symmetric tensor C*-category with conjugates is a continuous bundle of C*-categories, with base space the spectrum of the C*-algebra associated with the identity object. We classify tensor C*-categories with fibre the dual of a compact Lie group in terms of suitable principal bundles. This also provides a classification for certain C*-algebra bundles, with fibres fixed-point algebras of O_d.

研究动机与目标

• 发展连续C*-范畴丛的范畴框架，推广C*-代数中的连续域和乘子代数等概念。
• 证明具有共轭的对称张量C*-范畴自然地在单位对象的自同态代数谱上携带连续丛结构。
• 利用适当的上同调集对特殊张量C*-范畴——纤维同构于紧李群对偶的局部平凡丛——进行分类。
• 将该分类结果转化为具有Cuntz代数固定点代数为纤维的连续C*-代数丛的分类结果。
• 为非单一代数情形下的广义对偶理论奠定基础，其中对偶对象可能是紧致群或群胚的丛。

提出的方法

• 引入$C_0(X)$-范畴与乘子C*-范畴的概念，作为$C_0(X)$-代数与乘子代数的范畴类比。
• 证明每个张量C*-范畴自然地具有$C(X^ u)$-范畴结构，其中$X^ u$是单位对象自同态代数$({\nu,\nu})$的谱。
• 将特殊范畴定义为纤维等价于紧李群$G$对偶的局部平凡对称张量C*-范畴，并通过第一上同调集$H^1(X, QG)$对其进行分类，其中$QG$是$G$对偶范畴的自同态群。
• 利用扭曲特殊对象及其相关自同态构造C*-代数丛，特别是证明$\nabla_{d,\nu} \to (C(X) \rtimes_\nu \nabla_{\nu}) \rtimes_{\theta} \nabla_{\nu}$，其中$\nabla_{\nu}$为群丛。
• 通过关联线丛的第一陈类，建立特殊范畴的同构类与$H^2(X, \nabla_{\nu})$中上同调类之间的对应关系。
• 证明C*-代数$\nabla_{d,\nu}$同构于交叉积$(C(X) \rtimes_\nu \nabla_{\nu}) \rtimes_{\theta} \nabla_{\nu}$，推广了Cuntz代数的构造。

实验结果

研究问题

• RQ1 如何将连续丛的概念从C*-代数推广到C*-范畴？其乘子代数和$C_0(X)$-代数的范畴类比是什么？
• RQ2 在对称张量C*-范畴具有非单一本位（即$({\nu,\nu})$不与$\mathbb{C}$同构）的情形下，会涌现出何种结构？它与紧致群丛有何关系？
• RQ3 如何利用上同调不变量对特殊张量C*-范畴——纤维为紧李群对偶的局部平凡丛——进行完全分类？
• RQ4 此类范畴的分类如何转化为具有Cuntz代数固定点代数为纤维的连续C*-代数丛的分类？
• RQ5 在该广义对偶理论框架下，嵌入函子与对偶群胚对象的存在性与唯一性所受的几何与上同调障碍是什么？

主要发现

• 每个具有共轭的对称张量C*-范畴都是单位对象自同态代数谱$X^\nu$上的C*-范畴连续丛，其纤维同构于某紧致群的对偶。
• 特殊张量C*-范畴——纤维为紧李群$G$对偶的局部平凡丛——完全由第一上同调集$H^1(X, QG)$分类，其中$QG$是$G$对偶范畴的自同态群。
• 当$G = \mathrm{SU}(d)$时，此类范畴的分类由$H^2(X, \mathbb{Z})$标记，而2-球面$S^2$提供了一个具体例子，其中$H^2(S^2, \mathbb{Z}) \simeq \mathbb{Z}$，因此同构类由整数参数化。
• 关联的C*-代数丛$\mathcal{O}_{d,\zeta}$同构于交叉积$(C(X) \otimes \mathcal{O}_{\mathbb{U}(d)}) \rtimes_\phi^{\mathcal{L}(\zeta)} \mathbb{N}$，其中$\mathcal{L}(\zeta)$是第一陈类为$\zeta$的线丛，$\phi$为分次自同态。
• DR代数$\mathcal{O}_{d,\zeta}$由固定点代数$\mathcal{O}_\varepsilon \simeq C(X) \otimes \mathcal{O}_{\mathbb{U}(d)}$与$\mathcal{L}(\zeta)$的截面模$\mathcal{V}$生成，其代数结构由(3.17)中定义的自同态$\nu$编码。
• 在非单一本位情形下，对偶对象（如群丛或群胚）的存在性与非唯一性具有上同调起源，其障碍由$H^1(X, QG)$编码。