[论文解读] On bicolimits of $ C^* $-categories

Jamie Antoun, Christian Voigt|arXiv (Cornell University)|Jun 11, 2020

Algebraic structures and combinatorial models参考文献 21被引用 7

一句话总结

本文通过使用双范畴版本的伴随函子定理，在可数可加的 $C^*$-范畴的 2-范畴中建立了双极限的存在性。它证明了在无有限性假设下，$C^*$-张量范畴上的模范畴的平衡张量积存在，从而弥合了非半单情形下 $C^*$-范畴范畴结构中的关键空白。

ABSTRACT

We discuss a number of general constructions concerning additive $ C^* $-categories, focussing in particular on establishing the existence of bicolimits. As an illustration of our results we show that balanced tensor products of module categories over $ C^* $-tensor categories exist without any finiteness assumptions.

研究动机与目标

• 在一般情况下对标准范畴构造不甚良好的可数可加 $C^*$-范畴的 2-范畴中建立双极限的存在性。
• 通过直接在 $C^*$-范畴层面使用双范畴工具，克服基于 $C^*$-对应关系的先前方法的局限性。
• 证明在无半单性或对偶性假设下，$C^*$-张量范畴上的模范畴的平衡张量积可普遍构造。
• 将伴随函子定理适配至双范畴，为在与算子代数相关的丰富范畴设定中构造双极限提供一般框架。

提出的方法

• 使用双范畴版本的伴随函子定理，证明在可数可加 $C^*$-范畴的 2-范畴 $C^*\text{Lin}$ 中双极限的存在性。
• 利用双范畴 Yoneda 引理和双普遍箭头，通过同伦范畴之间的自然等价性来刻画双极限。
• 引入并研究 $C^*$-范畴中的 ind-范畴与有限表示对象，以处理无限直和及可及性问题。
• 应用 $C^*$-范畴的最小与最大张量积理论，对最大范数提供一种新刻画。
• 处理非单位元 $C^*$-范畴与乘子范畴，以应对无限直和，其行为与纯代数设定不同。
• 依赖伪自然性与范畴等价性来定义并验证双极限结构，避免使用严格的极限构造。

实验结果

研究问题

• RQ1 可数可加 $C^*$-范畴的 2-范畴是否具有双极限？若存在，其条件为何？
• RQ2 在不假设半单性或有限性条件的情况下，能否构造 $C^*$-张量范畴上模范畴的平衡张量积？
• RQ3 如何将伴随函子定理适配至双范畴，以在 $C^*$-范畴设定中证明双极限的存在性？
• RQ4 ind-范畴与 $C^*$-范畴中的有限表示对象在具有无限直和的 $C^*$-范畴结构中起何作用？
• RQ5 在构造双极限时，$C^*$-对应关系的双范畴在多大程度上可被 $C^*$-范畴中的直接方法所取代？

主要发现

• 在可数可加 $C^*$-范畴的 2-范畴 $C^*\text{Lin}$ 中，双极限存在，即使在无有限性假设下亦然。
• 在无半单性、对偶性或有限生成性假设下，$C^*$-张量范畴上模范畴的平衡张量积可普遍构造。
• 该构造依赖于双范畴伴随函子定理，避免了严格极限构造中常用的显式生成元与关系。
• 本文通过范畴的普遍性质，对 $C^*$-范畴上的最大张量范数提供了新刻画。
• 证明了 $C^*$-范畴中的 ind-范畴与有限表示对象是处理此类情境下无限直和的关键工具。
• 通过双范畴 Yoneda 引理，确立了双极限在等价意义下的唯一性，确认了其范畴论上的稳健性。