[论文解读] A note on separable functors and monads

Xiao‐Wu Chen|arXiv (Cornell University)|Mar 6, 2014

Rings, Modules, and Algebras参考文献 7被引用 4

一句话总结

该论文通过分离函子与单子，建立了一个伴随函子的单子性准则：右伴随函子是分离的，当且仅当其关联的单子是分离的，且比较函子在上 retract 意义下是等价的。在幂等完备性条件下，伴随对成为单子的。该结果被应用于证明：当阿贝尔范畴中的群阶可逆时，等变对象的导出范畴与导出范畴中的等变对象之间存在三角等价。

ABSTRACT

For an adjoint pair $(F, G)$ of functors, we prove that $G$ is a separable functor if and only if the defined monad is separable and the associated comparison functor is an equivalence up to retracts. In this case, under an idempotent completeness condition, the adjoint pair $(F, G)$ is monadic. This applies to the comparison between the derived category of the category of equivariant objects in an abelian category and the category of equivariant objects in the derived category of the abelian category.

研究动机与目标

• 通过分离函子与单子，建立伴随对的单子性准则。
• 阐明在阿贝尔范畴中，等变对象的导出范畴与导出范畴中等变对象之间等价的条件。
• 将已知在特征零与遗传条件下的等价结果推广到更广泛的设定中。
• 证明阿贝尔范畴中群阶的可逆性是等变范畴导出等价的充分必要条件。

提出的方法

• 通过在 Hom-函子上诱导的自然变换存在自然截面，定义分离函子。
• 利用伴随对 (F, G) 定义单子 M = GF，并通过 M 与比较函子的性质刻画 G 的分离性。
• 证明 G 是分离的，当且仅当 M 是分离的，且比较函子在上 retract 意义下是等价的。
• 将该准则应用于在等变对象范畴与基范畴之间的伴随关系，通过在 G 上取平均来构造截面。
• 利用在导出范畴上 M = UF 的分离性，诱导出 D^b(A^G) 与 D^b(A)^G 之间的三角等价。
• 利用预三角范畴与稳定分离性的结果，确保导出等价性成立。

实验结果

研究问题

• RQ1 在何种条件下，右伴随函子的分离性可由其关联单子与比较函子来刻画？
• RQ2 在幂等完备性假设下，伴随对何时是单子的？
• RQ3 在不假设特征零或遗传性时，D^b(A^G) 与 D^b(A)^G 之间的等价性是否仍然成立？
• RQ4 群阶的可逆性在建立等变范畴的导出等价性中起什么作用？
• RQ5 在无额外假设下，等变对象的导出范畴与导出范畴中等变对象之间的比较函子是否可以是等价的？

主要发现

• 若有限群 G 的阶在阿贝尔范畴 A 中可逆，则遗忘函子 U: A^G → A 是分离的。
• 在 |G| 可逆的相同条件下，A 上的单子 M = UF 也是分离的。
• 当 A 是幂等完备的且 G 作用由三角函子实现时，范畴 A^G 会继承唯一的预三角结构，使得 U 成为三角函子。
• 当 |G| 在 A 中可逆时，函子 K: D^b(A^G) → D^b(A)^G 是三角等价的。
• 若 |G| 不可逆，则等价性不成立，如在正特征下存在反例所示。
• 该结果推广了 [8, Lemma 1.1]，消除了对特征零与遗传条件的依赖。