[论文解读] On equivariant triangulated categories

Alexey Elagin|arXiv (Cornell University)|Mar 27, 2014

Algebraic structures and combinatorial models参考文献 17被引用 38

一句话总结

本文在有限群作用下，于技术条件下建立了具有群作用的三角范畴中G-等变对象范畴的三角结构。当原始范畴具有G-等变DG提升时，本文构造了此类等变范畴的DG提升，证明了函子性与拟等价性保持性。

ABSTRACT

Consider a finite group $G$ acting on a triangulated category $\mathcal T$. In this paper we investigate triangulated structure on the category $\mathcal T^G$ of $G$-equivariant objects in $\mathcal T$. We prove (under some technical conditions) that such structure exists. Supposed that an action on $\mathcal T$ is induced by a DG-action on some DG-enhancement of $\mathcal T$, we construct a DG-enhancement of $\mathcal T^G$. Also, we show that the relation "to be an equivariant category with respect to a finite abelian group action" is symmetric on idempotent complete additive categories.

研究动机与目标

• 建立有限群作用下三角范畴中G-等变对象范畴的自然三角结构的存在性。
• 当原始范畴具有G-等变DG提升时，为等变范畴构造一个DG提升。
• 证明在幂等完备的加法范畴上，关于有限阿贝尔群作用的等变范畴关系具有对称性。
• 证明等变DG范畴的构造保持拟等价性与函子性。
• 在几何设定下，为等变导出范畴提供显式的DG提升，例如G-簇上的层或G-不变子簇上的支撑。

提出的方法

• 利用P. Balmer关于群作用下三角范畴的结果，建立等变范畴中三角结构的存在性。
• 构造DG范畴 $ Q_G(Σ) $，作为具有G-作用的预三角DG范畴 $ \mathcal{A} $ 中G-等变对象范畴的DG提升。
• 使用DG范畴 $ \mathcal{A}^G $ 的完美复形范畴 $ \mathrm{Perf}(\mathcal{A}^G) $ 来定义 $ Q_G(\mathcal{A}) $，以确保与三角结构的相容性。
• 应用DG提升与拟等价性的理论，证明构造保持函子性：拟等价的DG范畴诱导出拟等价的等变DG范畴。
• 运用图表追踪与涉及 $ H^0 $、$ \mathrm{Perf} $ 和 $ \Gamma $ 范畴的交换图表，验证诱导函子在等变范畴上良定义且正合。
• 将构造应用于几何例子，如 $ G $-簇与 $ G $-不变子簇，使用内射解析与凝聚层的导出范畴作为DG提升。

实验结果

研究问题

• RQ1 在何种条件下，三角范畴中G-等变对象的范畴会继承自然的三角结构？
• RQ2 当原始范畴 $ \mathcal{T} $ 具有 $ G $-等变DG提升时，能否为等变范畴 $ \mathcal{T}^G $ 构造一个DG提升？
• RQ3 在幂等完备的加法范畴上，关于有限阿贝尔群作用的等变范畴关系是否具有对称性？
• RQ4 DG范畴的拟等价性下，等变DG构造如何表现？
• RQ5 在几何设定下，如G-簇上的层或G-不变子簇上的支撑，等变导出范畴的显式DG提升形式为何？

主要发现

• 在技术条件下，具有有限群作用的三角范畴 $ \mathcal{T} $ 中的G-等变对象范畴 $ \mathcal{T}^G $ 具有自然的三角结构，如定理6.9所确立。
• 当 $ \mathcal{A} $ 是具有G-作用的预三角DG范畴时，为 $ H^0(\mathcal{A})^G $ 构造了DG提升 $ Q_G(\mathcal{A}) $，如定理8.9所述。
• 构造 $ Q_G(\mathcal{A}) $ 保持拟等价性：若 $ \phi: \mathcal{A}_1 \to \mathcal{A}_2 $ 是G-等变DG范畴的拟等价，则 $ Q_G(\phi): Q_G(\mathcal{A}_1) \to Q_G(\mathcal{A}_2) $ 也是拟等价。
• 同调范畴的等价 $ H^0(Q_G(\mathcal{A})) \to H^0(\mathcal{A})^G $ 是正合的，当与G-等变等价 $ \epsilon: H^0(\mathcal{A}) \to \mathcal{T} $ 组合时，可导出正合等价 $ H^0(Q_G(\mathcal{A})) \to \mathcal{T}^G $，如推论8.10所示。
• 对于G-簇 $ X $ 与G-不变闭子簇 $ Z $，范畴 $ \mathcal{D}^b_Z(\mathrm{coh}(X))^G $ 具有DG提升 $ \mathrm{Perf}(\mathcal{I}_Z^G) $，如例8.11所示。
• 该构造具有函子性：映射 $ \phi \mapsto Q_G(\phi) $ 尊重复合运算，并与 $ H^0 $ 和 $ \Gamma $ 范畴交换，确保与三角结构的相容性。