[论文解读] On some applications of balanced pairs and their relation with cotorsion triplets

Sergio Estrada, Marco A. Pérez+1 more|arXiv (Cornell University)|Feb 27, 2018

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

一句话总结

本文通过利用quiver表示理论，建立了阿贝尔范畴中平衡对与完全遗传余挠三元组之间的深层联系。它证明了：对于非离散的左根和右根quiver $Q$，在表示范畴 $\mathrm{Rep}(Q,\mathsf{Mod}(R))$ 中，平衡对 $(\Phi(\mathcal{F}), \Psi(\mathcal{L}))$ 成立当且仅当原始对 $(\mathcal{F},\mathcal{H})$ 和 $(\mathcal{G},\mathcal{L})$ 在 $\mathsf{Mod}(R)$ 中构成一个完全遗传余挠三元组，从而为拟弗罗贝尼乌斯环提供了新的刻画，并将关于虚拟戈伦斯坦环的结果进行了推广。

ABSTRACT

Balanced pairs appear naturally in the realm of Relative Homological Algebra associated to the balance of right derived functors of the $\mathsf{Hom}$ functor. A natural source to get such pairs is by means of cotorsion triplets. In this paper we study the connection between balanced pairs and cotorsion triplets by using recent quiver representation techniques. In doing so, we find a new characterization of abelian categories having enough projectives and injectives in terms of the existence of complete hereditary cotorsion triplets. We also give a short proof of the lack of balance for derived functors of $\mathsf{Hom}$ computed by using flat resolutions which extends the one showed by Enochs in the commutative case.

研究动机与目标

• 为解决‘在什么条件下一个平衡对会诱导出一个完全遗传余挠三元组’这一开放问题。
• 探讨quiver表示在扩展相对同调代数结构中的作用。
• 通过表示范畴中的平衡对，为拟弗罗贝尼乌斯环和虚拟戈伦斯坦环提供新的刻画。
• 利用quiver理论方法，将艾诺奇斯关于平坦平衡的结果推广到非交换情形。

提出的方法

• 利用quiver表示理论，通过函子 $\Phi$ 和 $\Psi$ 将余挠对从 $\mathsf{Mod}(R)$ 提升到 $\mathrm{Rep}(Q,\mathsf{Mod}(R))$。
• 应用霍尔姆与约尔根森关于表示范畴中诱导余挠对的结果。
• 采用左根和右根quiver的概念，以确保 $\mathrm{Rep}(Q,\mathsf{Mod}(R))$ 中存在完全遗传余挠对。
• 使用同调正合性条件和 $\mathsf{Hom}$-正合序列，验证导出函子的平衡性。
• 应用文献 [16] 和 [10] 中的定理，将完全遗传余挠对提升至表示范畴。
• 建立 $\mathcal{H} = \mathcal{G}$ 与表示范畴中平衡对条件之间的等价性。

实验结果

研究问题

• RQ1 在具有足够投射与内射对象的阿贝尔范畴中，什么条件下一个平衡对会源自一个完全遗传余挠三元组？
• RQ2 通过平坦化解析计算的 $\mathsf{Hom}$-导出函子的平衡性，是否可以超越交换情形？
• RQ3 能否通过表示范畴中的平衡对，对拟弗罗贝尼乌斯环给出范畴上的刻画？
• RQ4 quiver表示如何促进从平衡对构造完全遗传余挠三元组？
• RQ5 能否利用表示理论方法，将虚拟戈伦斯坦环的刻画加以推广？

主要发现

• 在某些非离散的左根和右根quiver $Q$ 下，表示范畴 $\mathrm{Rep}(Q,\mathsf{Mod}(R))$ 中的平衡对 $(\Phi(\mathcal{F}), \Psi(\mathcal{L}))$ 存在，当且仅当 $\mathcal{H} = \mathcal{G}$，即 $(\mathcal{F},\mathcal{G},\mathcal{L})$ 是 $\mathsf{Mod}(R)$ 中的一个完全遗传余挠三元组。
• 环 $R$ 是拟弗罗贝尼乌斯环，当且仅当对于某个非离散的左根和右根quiver $Q$，$(\Phi(\mathsf{Mod}(R)), \Psi(\mathsf{Mod}(R)))$ 是 $\mathrm{Rep}(Q,\mathsf{Mod}(R))$ 中的一个平衡对。
• 证明了单射范畴 $\Phi(\mathsf{Mod}(R))$ 与满射范畴 $\Psi(\mathsf{Mod}(R))$ 构成平衡对，当且仅当 $R$ 是拟弗罗贝尼乌斯环。
• 在假设 $R$ 是左 $n$-完美且右诺特的条件下，$(\mathsf{GProj}(R), \mathsf{GInj}(R))$ 在 $\mathsf{Mod}(R)$ 中是平衡对，当且仅当 $(\Phi(\mathsf{GProj}(R)), \Psi(\mathsf{GInj}(R)))$ 在 $\mathrm{Rep}(Q,\mathsf{Mod}(R))$ 中是平衡对，其中 $Q$ 是某个非离散的左根和右根quiver。
• 本文为通过平坦化解析计算的 $\mathsf{Hom}$-导出函子缺乏平衡性提供了简短证明，将艾诺奇斯的结果推广至非交换情形。
• 该构造证实，在适当的quiver和类条件之下，完全遗传余挠三元组的存在性等价于其在表示范畴中对应对的平衡性。