[论文解读] A categorical framework for glider representations

Ruben Henrard, Adam-Christiaan van Roosmalen|arXiv (Cornell University)|Mar 12, 2020

Topological and Geometric Data Analysis参考文献 2被引用 7

一句话总结

本文为滤环上的滑翔表示建立了一个范畴框架，证明了滑翔表示的范畴是完备的、余完备的，并且是亏值准阿贝尔范畴。对于双代数滤子，该范畴成为张量范畴，并且与半霍普夫范畴的表示范畴存在导出等价，从而仅通过张量结构即可重构原始双代数，并区分同范畴群。

ABSTRACT

Fragment and glider representations (introduced by F. Caenepeel, S. Nawal, and F. Van Oystaeyen) form a generalization of filtered modules over a filtered ring. Given a $Γ$-filtered ring $FR$ and a subset $Λ\subseteq Γ$, we provide a category $\operatorname{Glid}_ΛFR$ of glider representations, and show that it is a complete and cocomplete deflation quasi-abelian category. We discuss its derived category, and its subcategories of natural gliders and Noetherian gliders. If $R$ is a bialgebra over a field $k$ and $FR$ is a filtration by bialgebras, we show that $\operatorname{Glid}_ΛFR$ is a monoidal category which is derived equivalent to the category of representations of a semi-Hopf category (in the sense of E. Batista, S. Caenepeel, and J. Vercruysse). We show that the monoidal category of glider representations associated to the one-step filtration $k \cdot 1 \subseteq R$ of a bialgebra $R$ is sufficient to recover the bialgebra $R$ by recovering the usual fiber functor from $\operatorname{Glid}_ΛFR.$ When applied to a group algebra $kG$, this shows that the monoidal category $\operatorname{Glid}_ΛF(kG)$ alone is sufficient to distinguish even isocategorical groups.

研究动机与目标

• 为滑翔表示发展一个全面的范畴框架，其推广了滤模。
• 证明滑翔表示的范畴是完备的、余完备的，并且具有亏值-正合结构。
• 在滤环为双代数滤子时，建立滑翔表示上的张量结构。
• 证明滑翔表示的张量范畴可通过纤维函子重构原始双代数。
• 证明该范畴能够区分同范畴群，即使群代数不构同。

提出的方法

• 将滑翔表示的范畴构造为预滑翔范畴的局部化。
• 将滑翔表示定义为具有相容包络模的片段，以确保部分作用的结合性。
• 使用黏合技术将滑翔范畴与预滑翔和预片段范畴关联。
• 当滤环为双代数滤子时，为滑翔表示范畴赋予张量结构。
• 证明滑翔表示范畴与半霍普夫范畴表示范畴之间的导出等价性。
• 利用从滑翔表示范畴到纤维函子的映射重构原始双代数或群代数。

实验结果

研究问题

• RQ1 能否为滑翔表示发展一个范畴框架，以捕捉其结构与同调性质？
• RQ2 滑翔表示的范畴是否完备且余完备，是否具有亏值-正合结构？
• RQ3 双代数滤子的滑翔表示上的张量结构是否足以重构原始双代数？
• RQ4 滑翔表示的张量范畴能否区分同范畴群？
• RQ5 自然滑翔表示的范畴是否在所有滑翔表示范畴中为反射子范畴？

主要发现

• 滤环上的滑翔表示范畴是完备的、余完备的，并且是亏值准阿贝尔范畴。
• 对于双代数滤子，滑翔表示范畴成为张量范畴，且与半霍普夫范畴表示范畴导出等价。
• 与双代数的一阶滤子相关的滑翔表示张量范畴，足以通过纤维函子重构原始双代数。
• 群代数的滑翔表示上的张量结构足以区分同范畴群，即使群本身不构同。
• 自然滑翔表示的范畴是所有滑翔表示范畴的反射子范畴，因此是完备且余完备的。