[论文解读] A generalization of Gabriel's Galois covering functors and derived equivalences

Hideto Asashiba|arXiv (Cornell University)|Jul 29, 2008

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

一句话总结

本文通过引入一种新的 $G$-覆盖函子概念，推广了 Gabriel 的伽罗瓦覆盖函子，该概念无需经典假设中的自由性或局部有界性。它证明了此类函子通过自然映射 $\mathcal{C} \to \mathcal{C}/G$ 是普遍的 $G$-不变函子，并利用这一结果改进了导出等价性技术，澄清了轨道范畴与 smash 乘积之间的关系，且无需假设自由作用。

ABSTRACT

Let $G$ be a group acting on a category $\mathcal{C}$. We give a definition for a functor $F\colon \mathcal{C} o \mathcal{C}'$ to be a $G$-covering and three constructions of the orbit category $\mathcal{C}/G$, which generalizes the notion of a Galois covering of locally finite-dimensional categories with group $G$ whose action on $\mathcal{C}$ is free and locally bonded defined by Gabriel. Here $\mathcal{C}/G$ is defined for any category $\mathcal{C}$ and we do not require that the action of $G$ is free or locally bounded. We show that a $G$-covering is a universal "$G$-invariant" functor and is essentially given by the canonical functor $\mathcal{C} o \mathcal{C}/G$. By using this we improve a covering technique for derived equivalence. Also we prove theorems describing the relationships between smash product construction and the orbit category construction by Cibils and Marcos (2006) without the assumption that the $G$-action is free. The orbit category construction by a cyclic group generated by an auto-equivalence modulo natural isomorphisms (e.g., the construction of cluster categories) is justified by a notion of the "colimit orbit category". In addition, we give a presentation of the orbit category of a category with a monoid action by a quiver with relations, which enables us to calculate many examples.

研究动机与目标

• 通过去除自由性和局部有界性群作用的限制性假设，推广 Gabriel 的经典伽罗瓦覆盖函子。
• 通过轨道范畴 $\mathcal{C}/G$ 定义一种新的 $G$-覆盖函子概念，使其成为普遍的 $G$-不变函子。
• 通过放宽范畴与群作用的条件，改进覆盖技术以实现导出等价性。
• 在不假设自由 $G$-作用的前提下，澄清 smash 乘积构造与轨道范畴构造之间的关系。
• 为单子作用下的轨道范畴提供一个带关系的箭头图表示，从而实现显式计算。

提出的方法

• 引入一种广义的 $G$-覆盖函子，使用一个不变性调节器 $\phi = (\phi_\alpha: F \to FA_\alpha)_{\alpha \in G}$，即一族自然同构。
• 为任意范畴 $\mathcal{C}$ 和群 $G$-作用定义轨道范畴 $\mathcal{C}/G$，无需假设自由性或有界性。
• 证明从 $\mathcal{C}$ 到 $\mathcal{C}/G$ 的自然函子是所有 $G$-不变函子中的普遍函子。
• 利用普遍性质表明，$G$-覆盖函子本质上由自然投影 $\mathcal{C} \to \mathcal{C}/G$ 给出。
• 将该框架应用于推导出在不假设自由作用下的导出范畴之间的等价性。
• 当 $G$ 通过单子作用时，提供 $\mathcal{C}/G$ 的带关系箭头图表示，从而实现具体计算。

实验结果

研究问题

• RQ1 Gabriel 的伽罗瓦覆盖函子如何被推广，以去除对自由性和局部有界性群作用的假设？
• RQ2 在 $G$-不变函子的背景下，自然函子 $\mathcal{C} \to \mathcal{C}/G$ 的普遍性质是什么？
• RQ3 Cibils–Marcos 与 Keller 的轨道范畴构造与覆盖函子之间，在不假设自由作用的情况下有何关系？
• RQ4 在没有自由 $G$-作用的前提下，smash 乘积构造与轨道范畴构造之间的精确关系是什么？
• RQ5 当单子作用于范畴时，其轨道范畴能否通过带关系的箭头图显式表示？

主要发现

• 从 $\mathcal{C} \to \mathcal{C}/G$ 的自然函子是所有 $G$-不变函子中的普遍函子，为广义覆盖技术提供了范畴论基础。
• 所提出的 $G$-覆盖函子即使在不假设作用自由或有界的情况下，也等价于自然投影 $\mathcal{C} \to \mathcal{C}/G$。
• 导出等价性技术得到显著简化与推广，不再需要范畴的半完美性或作用的自由性。
• 在不假设自由 $G$-作用的前提下，澄清了 smash 乘积构造与轨道范畴构造之间的关系。
• 为单子作用下的 $\mathcal{C}/G$ 提供了带关系箭头图表示，从而可实现具体例子的显式计算。
• 通过新框架，即使群作用非自由，也合理化了通过余极限轨道范畴构造簇范畴的方法。