[论文解读] On Frobenius algebras in rigid monoidal categories

Jürgen Fuchs, Carl Stigner|ArXiv.org|Jan 30, 2009

Algebraic structures and combinatorial models参考文献 18被引用 25

一句话总结

本文证明了弗罗贝尼乌斯代数和对称弗罗贝尼乌斯代数的关键刻画——此前仅在向量空间范畴中已知——可分别推广至刚性张量范畴中的弗罗贝尼乌斯代数，以及对称张量范畴中的对称弗罗贝尼乌斯代数。主要贡献在于将等价结果推广，并在这些更广泛的范畴设定下分析了 Nakayama 自同态。

ABSTRACT

We show that the equivalence between several possible characterizations of Frobenius algebras, and of symmetric Frobenius algebras, carries over from the category of vector spaces to more general monoidal categories. For Frobenius algebras, the appropriate setting is the one of rigid monoidal categories, and for symmetric Frobenius algebras it is the one of sovereign monoidal categories. We also discuss some properties of Nakayama automorphisms.

研究动机与目标

• 将弗罗贝尼乌斯代数的各种刻画等价性从向量空间范畴推广至刚性张量范畴。
• 将对称弗罗贝尼乌斯代数的理论推广至对称张量范畴的设定。
• 研究在刚性与对称范畴背景下 Nakayama 自同态的性质。
• 为弗罗贝尼乌斯代数提供一个支持拓扑量子场论与量子代数应用的范畴框架。
• 通过弗罗贝尼乌斯代数公理阐明对偶性与迹结构在抽象张量范畴中的作用。

提出的方法

• 利用刚性张量范畴的结构，其中每个对象都有对偶，来推广弗罗贝尼乌斯代数的定义。
• 应用对称范畴的概念——具有与张量积相容的对偶结构的张量范畴——以处理对称弗罗贝尼乌斯代数。
• 在范畴设定下建立弗罗贝尼乌斯性质（即共乘法是模同态）与其他标准刻画之间的等价性。
• 通过刚性范畴中的对偶同构分析 Nakayama 自同态，证明其自然性与在特定变换下的不变性。
• 采用图解推理与范畴迹恒等式，验证广义弗罗贝尼乌斯公理的一致性。
• 依赖范畴论与量子代数中既有的结果，特别是关于典范与带结范畴的研究成果，以支撑构造。

实验结果

研究问题

• RQ1 在何种范畴设定下，弗罗贝尼乌斯代数的标准刻画仍保持等价？
• RQ2 如何将对称弗罗贝尼乌斯代数的概念推广至向量空间范畴之外？
• RQ3 Nakayama 自同态在刚性张量范畴中的作用是什么？它与对偶性有何关联？
• RQ4 刚性范畴中的迹与对偶结构在多大程度上保持了弗罗贝尼乌斯代数的性质？
• RQ5 是否可以在纯粹范畴论框架下证明弗罗贝尼乌斯代数公理之间的等价性，而无需依赖向量空间？

主要发现

• 在刚性张量范畴中，弗罗贝尼乌斯代数公理之间的等价性——例如共乘法是模同态，以及存在非退化迹——依然成立。
• 对于对称弗罗贝尼乌斯代数，刻画之间的等价性可推广至对称张量范畴，其中左对偶与右对偶自然同构。
• Nakayama 自同态被证明是刚性范畴中由对偶结构自然导出的代数自同态。
• Nakayama 自同态在弗罗贝尼乌斯代数的同构下保持不变，并与乘法和共乘法映射可交换。
• 刚性范畴中的迹与对偶结构确保弗罗贝尼乌斯条件可通过推广经典情形的交换图来表达。
• 本研究结果为在拓扑场论及抽象张量范畴中霍普夫代数的表示理论中定义弗罗贝尼乌斯代数提供了基础。