[论文解读] Fiber functors, monoidal sites and Tannaka duality for bialgebroids

Kornél Szlachányi|ArXiv.org|Jul 9, 2009

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

一句话总结

本文通过将纤维函子推广至非阿贝尔的小加法张量范畴，利用张量范畴上的拓扑与层论构造，建立了双代数胚的塔南卡对偶定理。关键结果表明，重构后的双代数胚的余模范畴与原始范畴上张量格罗滕迪克拓扑的层范畴等价，将先前结果拓展至非阿贝尔设定之外。

ABSTRACT

What are the fiber functors on small additive monoidal categories C which are not abelian? We give an answer which leads to a new Tannaka duality theorem for bialgebroids generalizing earlier results by Phung Ho Hai. The construction reveals a sheaf theoretic interpretation in so far as the reconstructed bialgebroid H has comodule category equivalent to the category of T-sheaves w.r.t. a monoidal Grothendieck topology on C. We also prove an existence theorem for fiber functors on small additive monoidal categories with bounded fusion and weak kernels. For certain autonomous categories a generalized Ulbrich Theorem can be formulated which relates fiber functors to Hopf algebroid Galois extensions.

研究动机与目标

• 将塔南卡对偶性推广至非必然阿贝尔的小加法张量范畴，其中由于缺乏核与余核，传统纤维函子可能失效。
• 定义一类适用于非阿贝尔范畴的新纤维函子，推广德尔涅、海与乌尔布里希的经典框架。
• 利用张量格罗滕迪克拓扑上的层，建立双代数胚的重构定理，从而将范畴对偶性与层论联系起来。
• 在有界融合与弱核条件下证明纤维函子的存在性，将适用范围拓展至阿贝尔范畴之外。

提出的方法

• 从纤维函子 $F$ 构造一个保持张量结构的预层范畴上的张量扩展函子 $\mathcal{F}$。
• 在原始范畴与预层范畴之间引入一个张量伴随 $\mathcal{F} \dashv \mathcal{G}$。
• 定义一个张量幂等单子 $\mathsf{T}$，其代数对应于张量格罗滕迪克拓扑下的层。
• 使用比较函子将重构后双代数胚的余模范畴与 $\mathsf{T}$-层范畴关联起来。
• 应用嵌入定理，将 $\mathsf{T}$-层范畴实现为双代数胚上模范畴的全子范畴。
• 推导出一个广义的乌尔布里希定理，将纤维函子与自洽设定下的霍普夫代数胚伽罗瓦扩张联系起来。

实验结果

研究问题

• RQ1 在小加法张量范畴 $\mathcal{C}$ 非阿贝尔时，其满足何种条件可保证纤维函子的存在？
• RQ2 当源范畴非阿贝尔时，如何对双代数胚实现塔南卡对偶性的重构？
• RQ3 重构后双代数胚的余模范畴在层论上如何解释？
• RQ4 张量格罗滕迪克拓扑与纤维函子及塔南卡重构的结构有何关联？
• RQ5 能否基于纤维函子与伽罗瓦扩张，为霍普夫代数胚形式化一个广义的乌尔布里希定理？

主要发现

• 重构后双代数胚 $H$ 的余模范畴与 $\mathcal{T}$-层范畴等价，其中 $\mathcal{T}$ 是 $\mathcal{C}$ 上的张量格罗滕迪克拓扑，为塔南卡对偶性提供了层论解释。
• 在具有有界融合与弱核的小加法张量范畴上，纤维函子存在，将塔南卡对偶性的适用范围拓展至阿贝尔范畴之外。
• 重构定理建立了张量等价 $\mathcal{C} \simeq \mathcal{M}^Q_{\mathrm{fgp}}$，其中 $\mathcal{M}^Q_{\mathrm{fgp}}$ 是底层为有限生成投影双模的余模全子范畴。
• 在自洽范畴中，证明了广义乌尔布里希定理，通过伽罗瓦对象 $G$ 将纤维函子与霍普夫代数胚伽罗瓦扩张联系起来。
• 重构后双代数胚的对合算子满足霍普夫代数胚的公理，且当范畴 $\mathcal{C}$ 为典范时，该对合算子为对合。
• 本文提供了重构定理的 $k$-线性版本，将德尔涅与海的结果推广至非交换基环。