[论文解读] On Tannaka Duality

M. Szyld|arXiv (Cornell University)|Oct 24, 2011

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

一句话总结

本文通过将 Tannaka duality 从向量空间推广到抽象张量范畴，基于 Joyal 和 Street 的框架，建立了张量范畴与霍普夫代数之间的对偶性。它证明了范畴与某个霍普夫代数上的有限维余模范畴之间存在提升等价性，并表明对这一等价性进行对偶化处理，可恢复 K-线性张量范畴背景下 Saavedra Rivano 与 Deligne-Milne 的结果。

ABSTRACT

The purpose of this work is twofold: to expose the existing similarities between the generalizations of the Tannaka and Galois theories, and on the other hand, to develop in detail our own treatment of part of the content of Joyal and Street [1] paper, generalizing from vector spaces to an abstract tensor category. We also develop in detail the proof of the Tannaka equivalence of categories in the case of vector spaces. Saavedra Rivano [2], Deligne and Milne [3] generalize classical Tannaka theory to the context of K-linear tensor (or monoidal) categories. They obtain a lifting-equivalence into a category of \group representations for a finite-dimensional vector space valued monoidal functor. This lifting theorem is similar to the one of Grothendieck Galois theory [4] for a finite sets valued functor. On the other hand, Joyal and Street [1] work on the algebraic side of the duality between algebra and geometry, and also obtain a lifting-equivalence, but now to the category of finite-dimensional comodules over a Hopf algebra. In this work we follow the ideas of Joyal and Street and prove their lifting-equivalence, and then we show how it corresponds, by dualizing, to the ones of Saavedra Rivano [2] and Deligne and Milne [3]. Text is in spanish, but a brief english introduction is provided.

研究动机与目标

• 统一并阐明广义 Tannaka 对偶性与伽罗瓦理论在张量范畴背景下的联系。
• 对抽象张量范畴中 Joyal 与 Street 的提升等价定理进行详尽推导。
• 展示如何通过对 Joyal 与 Street 基于余模的等价性进行对偶化，恢复 Saavedra Rivano 与 Deligne-Milne 的经典 Tannaka-Kreín 结果。
• 将经典的 Tannaka 对偶性框架从向量空间推广至任意 K-线性张量范畴。
• 通过霍普夫代数余模建立代数几何、表示理论与范畴对偶性之间的概念性桥梁。

提出的方法

• 采用 Joyal 与 Street 关于代数与几何对偶性的范畴框架，聚焦于张量范畴。
• 从张量范畴到某个霍普夫代数上的有限维余模范畴构造提升等价性。
• 利用纤维函子的结构，通过 Tannakian 重构过程恢复霍普夫代数。
• 应用对偶性原理，将余模范畴转化回表示论设定。
• 将所得等价性与 K-线性张量范畴背景下经典 Tannaka-Kreín 定理进行比较。
• 借助张量函子与自然变换的范畴语言，以完全一般性证明该等价性。

实验结果

研究问题

• RQ1 Joyal 与 Street 在霍普夫代数余模背景下提出的提升等价性，与经典 Tannaka 对偶性有何关联？
• RQ2 Joyal 与 Street 的余模等价性的精确范畴对偶是什么？它如何恢复 Saavedra Rivano 与 Deligne-Milne 的结果？
• RQ3 将 Tannaka 对偶性从向量空间推广到抽象张量范畴时，如何保持表示理论的核心结构？
• RQ4 如何系统性地对余模设定中的提升等价性进行对偶化，以恢复经典的 Tannaka-Kreín 重构定理？
• RQ5 在何种条件下，一个到有限维向量空间的张量函子能诱导出一个霍普夫代数，使得其余模能恢复原始范畴？

主要发现

• 本文在刚性张量范畴与某个霍普夫代数上的有限维余模范畴之间建立了提升等价性，推广了 Joyal 与 Street 的结果。
• 对这一等价性进行对偶化处理，可恢复 K-线性张量范畴背景下 Saavedra Rivano 与 Deligne-Milne 的经典 Tannaka-Kreín 重构定理。
• 该构造表明，在给定纤维函子下，重构霍普夫代数上的余模范畴与原始范畴等价。
• 提升等价性的证明得到了详尽展开，为抽象张量范畴中的 Tannaka 对偶性提供了范畴论基础。
• 该框架表明，Joyal 与 Street 所形式化的代数与几何之间的对偶性，可自然推广至 K-线性张量范畴的设定。
• 结果证实，向量空间上的经典 Tannaka 对偶性是涉及霍普夫代数与余模的更广泛范畴对偶性的一个特例。