[论文解读] Symmetric recollements induced by bimodule extensions

Pu Zhang|arXiv (Cornell University)|Jan 20, 2011

Algebraic structures and combinatorial models参考文献 13被引用 3

一句话总结

本文通过双模扩张在 triangulated 和 abelian 范畴中引入对称重合（symmetric recollements），在存在 Serre 范畴时，建立了上对称与下对称重合之间的一一对应关系。当 A 和 B 为 Gorenstein 代数且双模 M 在 A 和 B 上均为投射时，本文为上三角矩阵代数 Λ = (A M; 0 B) 上的 Gorenstein-投影模的稳定范畴构造了一个对称 triangulated 重合。

ABSTRACT

nspired by the work of J$ø$rgensen [J], we define a (upper-, lower-) symmetric recollements; and give a one-one correspondence between the equivalent classes of the upper-symmetric recollements and one of the lower-symmetric recollements, of a triangulated category. Let $\m = \left(\begin{smallmatrix} A&M 0&B \end{smallmatrix} ight)$ with bimodule $_AM_B$. We construct an upper-symmetric abelian category recollement of $\m$-mod; and a symmetric triangulated category recollement of $\underline {\m\mbox{-}\mathcal Gproj}$ if $A$ and $B$ are Gorenstein and $_AM$ and $M_B$ are projective.

研究动机与目标

• 在 triangulated 和 abelian 范畴中定义并研究对称重合。
• 在存在 Serre 范畴时，建立上对称与下对称重合之间的对偶关系。
• 为上三角矩阵代数 Λ 的 Gorenstein-投影 Λ-模的稳定范畴构造一个对称 triangulated 重合，其中 Λ 是 Gorenstein 代数 A 和 B 上的矩阵代数，且双模 M 是投射的。
• 将关于 Gorenstein-投影模重合的已知结果推广至一般上三角矩阵代数的情形。

提出的方法

• 利用伴随函子和正合性条件，在 triangulated 和 abelian 范畴中定义上对称与下对称重合。
• 利用双模 M 和上三角矩阵的结构，为 Λ-mod 构造一个上对称的 abelian 重合，其中 Λ = (A M; 0 B)。
• 证明若 A 和 B 是 Gorenstein 代数，且 M 在 A 和 B 上均为投射，则 Gorenstein-投影 Λ-模的稳定范畴允许存在一个对称 triangulated 重合。
• 利用 Gorenstein-投影模稳定范畴上存在 Serre 范畴的事实，通过 Jørgensen 的结果推导出重合的对称性。
• 明确描述重合中涉及的函子：i*, i*, i!, j!, j*, j* 及其伴随关系。
• 利用 Frobenius 范畴的性质和函子的有限性，确保稳定范畴中存在 Auslander–Reiten 三角形和 Serre 范畴。

实验结果

研究问题

• RQ1 在何种条件下，triangulated 范畴的重合允许存在对称对偶，即交换子范畴的角色？
• RQ2 能否为上三角矩阵代数 Λ = (A M; 0 B) 上的 Gorenstein-投影模的稳定范畴构造一个对称重合？
• RQ3 代数 A 和 B 以及双模 M 需满足何种条件，才能使 Gorenstein-投影 Λ-模的稳定范畴允许存在对称重合？
• RQ4 重合中的函子如何与代数 Λ 的模结构以及 A 和 B 上模的 Gorenstein-投影性质相关联？
• RQ5 若 Gorenstein-投影模的稳定范畴上存在 Serre 范畴，是否意味着重合是对称的？

主要发现

• 当范畴具有 Serre 范畴时，上对称与下对称 triangulated 重合的等价类之间存在一一对应关系。
• 利用双模 M 和上三角结构，为 Λ-mod（其中 Λ = (A M; 0 B)）构造了一个上对称的 abelian 重合。
• 若 A 和 B 是 Gorenstein 代数，且 M 在 A 和 B 上均为投射，则 Gorenstein-投影 Λ-模的稳定范畴允许存在一个对称 triangulated 重合。
• 通过对偶函子 i*, i*, i!, j!, j*, j* 显式描述该对称重合，且在稳定范畴中 Hom-集之间存在自然同构。
• Gorenstein-投影 Λ-模的稳定范畴是 Hom-有限的、Krull–Schmidt 的，并且具有 Serre 范畴，因此可通过 Jørgensen 定理保证对称性。
• 该结果将 Iyama–Kato–Miyachi 关于 T2(A)-mod 的定理推广至任意具有投射双模的上三角矩阵代数的情形。