[论文解读] 2-C*-categories with non-simple units

Pasquale A. Zito|ArXiv.org|Sep 13, 2005

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

一句话总结

该论文通过证明2-箭头在单位代数谱上的希尔伯特丛中形成连续截面，发展了具有非单一位的2-C*-范畴的结构——其中单位的自同态代数是一个交换C*-代数而非仅为ℂ。关键贡献在于一种推广有限维情形的纤维范畴结构，实现了张量范畴丛的描述，并确立了在此设定下弗罗贝尼乌斯代数与Q-system等价。

ABSTRACT

We study the general structure of 2-C*-categories closed under conjugation, projections and direct sums. We do not assume units to be simple, i.e. for i_A the 1-unit corresponding to an object A, the space Hom(i_A, i_A) is a commutative unital C*-algebra. We show that 2-arrows can be viewed as continuous sections in Hilbert bundles and describe the behaviour of the fibres with respect to the categorical structure. We give an example of a 2-C*-Category giving rise to bundles of finite Hopf-algebras in duality. We make some remarks concerning Frobenius algebras and Q-systems in the general context of tensor C*-categories with non-simple units.

研究动机与目标

• 将2-C*-范畴理论推广至超越标准假设（即End(ι) ≅ ℂ）的情形。
• 在End(ι)为交换C*-代数时，为2-箭头的Hom-空间构建关于End(ι)谱的纤维丛结构。
• 刻画张量、复合、共轭等范畴运算在这些纤维化结构上的行为。
• 建立在非单一位设定下共轭方程存在“标准解”的条件。
• 证明在具有非单一位的张量C*-范畴中，每个弗罗贝尼乌斯代数都与一个Q-system等价，从而推广已知结果。

提出的方法

• 将End(ι_A)表示为C(Ω_A)，即紧致豪斯多夫空间Ω_A上的连续函数代数，从而为纤维结构引入拓扑基底。
• 在Ω_A上构造希尔伯特（或巴拿赫）丛，其纤维为1-箭头ρ,σ的Hom(ρ,σ)，利用共轭关系和保持纤维结构的连续线性同构。
• 利用假设2.14确保丛结构与水平复合（⊗）相容，从而可将2-C*-范畴分解为以ω₀ ∈ Ω_A为指标的纤维范畴C^{ω₀𝒜}。
• 将共轭方程的“标准解”定义为在复合、直和与投影下稳定的态射族，推广不可约情形。
• 应用C*-范数与*-对合，确保每个纤维满足C*-性质，并保持截面间的范数连续性。
• 利用丛结构分析Q-system与弗罗贝尼乌斯代数，证明共轭与C*-结构共同蕴含这些代数对象之间的等价性。

实验结果

研究问题

• RQ1 当单位自同态代数为非单一时（即同构于紧致豪斯多夫空间Ω上的C(Ω)），2-C*-范畴的结构如何变化？
• RQ2 2-箭头空间Hom(ρ,σ)能否自然地赋予关于Ω的连续丛结构？范畴运算如何与该纤维化相互作用？
• RQ3 在非单一位情形下，共轭方程存在“标准解”的条件是什么？其在复合与直和下的行为如何？
• RQ4 在何种程度上，具有非单一位的张量C*-范畴可分解为以Ω为指标、具有单一位的张量C*-范畴族？
• RQ5 在该类范畴中，每个弗罗贝尼乌斯代数是否都与一个Q-system等价？C*-结构在此等价性中起何作用？

主要发现

• 2-箭头空间Hom(ρ,σ)在End(ι_A)的谱Ω_A上 admits 连续巴拿赫丛结构，其纤维在Ω_A每点处同构于Hom(ρ,σ)。
• Hom(ρ,σ)中的每个2-箭头对应于该丛中的一个连续截面，且每个截面的范数在各纤维间满足C*-性质。
• 范畴运算——水平复合（⊗）、垂直复合（∘）、共轭与*-对合——与纤维丛结构相容，保持连续性与范数性质。
• 假设2.14确保丛结构在⊗-复合下保持不变，使得2-C*-范畴可视为具有单一位的2-C*-范畴族的纤维丛。
• 共轭方程的“标准解”在弱意义下存在（命题3.18），且在局部平凡丛情形下全局存在（命题3.20），但一般情形下的存在性仍为开放问题。
• 在具有非单一位的张量C*-范畴中，每个弗罗贝尼乌斯代数都与一个Q-system等价（推论5.18），其中C*-结构与共轭关系确保了关键公理的自动满足。