[论文解读] Tannaka Reconstruction of Weak Hopf Algebras in Arbitrary Monoidal Categories

Micah Blake McCurdy|ArXiv.org|Mar 2, 2009

Algebraic structures and combinatorial models参考文献 8被引用 4

一句话总结

本文通过引入张量范畴与余张量函子的图形演算，将Tannaka对偶性推广至任意张量范畴中的弱霍普夫代数。证明了若一个可分弗罗贝尼乌斯函子 $F: A \to B$ 将一个张量范畴 $A$ 映射到一个辫状自对偶范畴 $B$，则Tannaka重构将得到 $B$ 中的一个弱双代数；若 $A$ 是自对偶的，则结果为一个弱霍普夫代数。

ABSTRACT

We introduce a variant on the graphical calculus of Cockett and Seely for monoidal functors and illustrate it with a discussion of Tannaka reconstruction, some of which is known and some of which is new. The new portion is: given a separable Frobenius functor F: A --> B from a monoidal category A to a suitably complete or cocomplete braided autonomous category B, the usual formula for Tannaka reconstruction gives a weak bialgebra in B; if, moreover, A is autonomous, this weak bialgebra is in fact a weak Hopf algebra.

研究动机与目标

• 将Tannaka重构推广至标准霍普夫代数设定之外的弱霍普夫代数。
• 确立在辫状自对偶范畴 $B$ 中进行Tannaka重构时，何时可得到弱双代数或弱霍普夫代数的条件。
• 开发并应用一种改进的张量与余张量函子的图形演算，以简化并阐明重构过程。
• 阐明弗罗贝尼乌斯函子与可分函子在重构对象中确保弱双代数与弱霍普夫代数结构中的作用。
• 证明在弱情形下，重构过程不会产生伴随关系，从而将其与经典强张量情形下的伴随关系区分开来。

提出的方法

• 采用受Cockett与Seely启发的张量与余张量函子图形演算，经修改以增强清晰性与形变不变性。
• 使用端构造 $E_F = \int_{a \in A} [Fa, Fa]$ 来定义 $B$ 中的重构代数对象，利用函子 $F: A \to B$。
• 施加条件：$F$ 是可分弗罗贝尼乌斯函子——即同时具备张量与余张量结构，并满足额外的一致性公理——以确保弱双代数结构。
• 应用图形演算验证弱双代数与弱霍普夫代数的公理，表明一致性条件可简化为涉及 $F$ 的结构映射的恒等式。
• 证明当 $F$ 是弗罗贝尼乌斯函子时，弱双代数的单位公理由图形演算与约化形式计算验证；而余单位公理由 $F$ 的张量与余张量结构保证，无需弗罗贝尼乌斯条件。
• 通过卷积图分析对偶公理，表明当 $F$ 是张量与余张量函子时，弱对偶公理由卷积恒等式 $S \star E_F \star S = S$ 成立。

实验结果

研究问题

• RQ1 在何种条件下，Tannaka重构在辫状自对偶范畴 $B$ 中会得到一个弱双代数？
• RQ2 函子 $F$ 的可分弗罗贝尼乌斯性质如何确保重构对象中的弱双代数结构？
• RQ3 为使重构对象成为弱霍普夫代数而非仅弱双代数，还需哪些额外条件？
• RQ4 图形演算如何简化重构过程中弱双代数与弱霍普夫代数公理的验证？
• RQ5 为何在弱情形下重构过程无法产生伴随关系，而经典强张量设定下却存在？

主要发现

• 若 $F: A \to B$ 是一个可分弗罗贝尼乌斯函子，且 $A$ 是张量范畴，$B$ 是适当完备或上完备的辫状自对偶范畴，则Tannaka重构 $E_F$ 是 $B$ 中的一个弱双代数。
• 若 $A$ 同样是自对偶的，且 $F$ 是可分弗罗贝尼乌斯函子，则 $E_F$ 是 $B$ 中的一个弱霍普夫代数，从而将经典Tannaka对偶性推广至弱设定。
• 弱双代数的单位公理由图形演算与约化形式计算精确验证，当且仅当 $F$ 是弗罗贝尼乌斯函子时成立。
• 弱双代数的余单位公理由 $F$ 同时具备张量与余张量结构保证，无需弗罗贝尼乌斯条件。
• 弱对偶公理由卷积图验证，关键恒等式 $S \star E_F \star S = S$ 在 $F$ 为张量与余张量函子时成立。
• 在弱情形下，重构过程不会产生伴随关系，这与经典强张量设定下重构函子与表示函子之间存在伴随关系形成鲜明对比。