[论文解读] Quantum categories, star autonomy, and quantum groupoids

Brian Day, Ross Street|ArXiv.org|Jan 20, 2003

Algebraic structures and combinatorial models参考文献 13被引用 15

一句话总结

本文通过 enriched category theory 将 bialgebroids 推广为 'quantum category' 的概念，提出使用 star-autonomous duality（优于 compactness）来重新定义 antipode，并将 'quantum groupoid' 定义为具有多个对象的 Hopf 代数。该框架通过范畴对偶性统一了量子对称性和非交换几何，解决了文献中关于 antipode 定义的歧义。

ABSTRACT

A useful general concept of bialgebroid seems to be resolving itself in recent publications; we give a treatment in terms of modules and enriched categories. We define the term "quantum category". The definition of antipode for a bialgebroid is less resolved in the literature. Our suggestion is that the kind of dualization occurring in Barr's star-autonomous categories is more suitable than autonomy (= compactness = rigidity). This leads to our definition of quantum groupoid intended as a "Hopf algebra with several objects".

研究动机与目标

• 通过模范畴和 enriched category theory 形式化 bialgebroid 的一般概念。
• 通过提出 star-autonomous 对偶性作为比 compactness 更合适的框架，解决 bialgebroid 中 antipode 定义的歧义。
• 通过基于对偶性的方法，将量子群胚定义为 '具有多个对象的 Hopf 代数'。
• 通过范畴结构统一量子对称性和非交换几何。
• 纠正早期量子群胚对偶性表述中的错误，特别是在本文的最后三节中。

提出的方法

• 作者将量子范畴定义为在适当的模范畴上的张量范畴中的范畴。
• 他们采用 Barr 的 star-autonomous 范畴概念来定义对偶性，取代传统的 compactness（刚性）条件。
• 通过涉及 star-对偶的自然同构重新定义 antipode，确保与 bialgebroid 结构的兼容性。
• 该构造使用模理论技术和 enriched category theory，将 Hopf 代数公理由单个对象推广到多个对象。
• 本文纠正了最后三节中早期对偶性错误，特别是在对偶对象的伴随结构处理方面。
• 它证明了所得结构满足作为 Hopf 代数推广的量子群胚的公理。

实验结果

研究问题

• RQ1 如何通过 enriched category theory 和模范畴系统地推广 bialgebroid 的概念？
• RQ2 在 bialgebroid 中定义 antipode 的最合适对偶性概念是什么？与 compactness 相比，star-autonomous 对偶性有何优势？
• RQ3 能否通过范畴对偶性有意义地将量子群胚定义为 '具有多个对象的 Hopf 代数'？
• RQ4 在量子范畴的语境下，正确的对偶关系是什么？如何纠正早期表述中的错误？
• RQ5 所提出的框架如何通过范畴结构统一量子对称性和非交换几何？

主要发现

• 本文引入了量子范畴的新定义：作为 bialgebroid 上模范畴中的范畴。
• 它证明了 star-autonomous 对偶性在定义 antipode 时比 compactness 提供了更自然且一致的框架。
• 修正后的版本纠正了最后三节中的对偶性错误，特别是在对偶对象的伴随结构方面。
• 作者将量子群胚定义为具有 star-autonomous antipode 的 bialgebroid，将 Hopf 代数推广到多个对象。
• 该框架为量子对称性和非交换几何提供了连贯的范畴基础。
• 结果以 41 页 PDF 形式呈现，修订版（v2）修正了最后几节中的关键对偶性问题。