[论文解读] Uniqueness of unitary structure for unitarizable fusion categories

David Reutter|arXiv (Cornell University)|Jun 24, 2019

Algebraic structures and combinatorial models被引用 4

一句话总结

本文证明了每个可单位化融合范畴——以及半单C*-张量范畴、有 braiding 的融合范畴和模范畴——在幺模等价意义下，其单位化结构唯一。证明依赖于范畴化的极分解定理，表明任意幺模等价可唯一分解为一个单位化等价后接一个正自同构等价，而由于有限性约束，该正自同构必须是平凡的，从而确立了单位化结构的唯一性。

ABSTRACT

We show that every unitarizable fusion category, and more generally every semisimple C*-tensor category, admits a unique unitary structure. Our proof is based on a categorified polar decomposition theorem for monoidal equivalences between such categories. We prove analogous results for unitarizable braided fusion categories and module categories.

研究动机与目标

• 解决一个开放问题：可单位化融合范畴是否在幺模等价意义下具有唯一的单位化结构。
• 将唯一性结果推广至半单C*-张量范畴、有braiding的融合范畴和模范畴。
• 确立单位化融合范畴之间的幺模等价在同构意义下唯一单位化。
• 证明单位化张量函子之间的自然同构也唯一单位化。
• 证明从单位化范畴到一般幺模范畴的遗忘2-函子是等价的，从而确认单位化性是范畴的性质而非结构。

提出的方法

• 范畴化的极分解：任意半单C*-范畴之间的幺模等价可唯一分解为一个单位化幺模等价后接一个正幺模自同构等价。
• 利用融合范畴中幺模自同构群的有限性，证明正自同构是平凡的。
• 将极分解推广至函子之间的自然同构，将其分解为单位化部分与正部分。
• 利用普遍分次群的有限性，排除非平凡的正幺模自然自同构。
• 通过证明构造与braiding相容，将框架适配至有braiding的范畴。
• 通过将幺模自同构替换为模自同构，将方法推广至模范畴，同时保持唯一性论证的成立。

实验结果

研究问题

• RQ1 可单位化融合范畴在幺模等价意义下是否可能具有多个单位化结构？
• RQ2 半单C*-张量范畴上的单位化结构是否唯一确定？
• RQ3 单位化张量函子之间的幺模自然同构是否必然单位化？
• RQ4 有braiding的可单位化融合范畴是否具有唯一的单位化braided结构？
• RQ5 从单位化范畴到一般幺模范畴的遗忘2-函子是否为等价？

主要发现

• 任意两个单位化融合范畴之间的幺模等价，自然同构于一个单位化幺模等价，从而证明了单位化结构的唯一性。
• 任意两个单位化张量函子之间的幺模自然同构必为单位化，这是由于正自然自同构的平凡性。
• 单位可化融合范畴的2-群胚在单位化等价意义下等价于单位化融合范畴的2-群胚，从而确认单位化性为范畴的性质。
• 从单位化范畴到一般幺模范畴的遗忘2-函子是等价的，表明单位化结构在同构意义下唯一。
• 结果可推广至有braiding的融合范畴：任意braided幺模等价自然同构于一个单位化braided等价，从而确保唯一单位化braided结构。
• 模范畴的情形同样成立：在单位化融合范畴上的模范畴中，模等价可唯一单位化。