[论文解读] On the relation between Auslander-Reiten (d+2)-angles and Serre duality

Panyue Zhou|arXiv (Cornell University)|Oct 3, 2019

Algebraic structures and combinatorial models参考文献 11被引用 5

一句话总结

本文建立了具有 d-悬垂的 (d+2)-角化范畴中 Auslander-Reiten (d+2)-角与 Serre 对偶性之间的深刻联系。证明了 Serre 赋子存在当且仅当范畴具有 Auslander-Reiten (d+2)-角，并表明 d-Auslander-Reiten 转移等于 Serre 赋子与逆 d-悬垂的复合，推广了三角范畴及高维情形下的经典结果。

ABSTRACT

Let $\cal C$ be an $(d+2)$-angulated category with an $d$-suspension functor $\Sigma^d$. Our main results show that every Serre functor on $\cal C$ is an $(d+2)$-angulated functor. We also show that $\cal C$ has a Serre functor $\mathbb{S}$ if and only if $\cal C$ has Auslander-Reiten $(d+2)$-angles. Moreover, $ au_d=\mathbb{S}\Sigma^{-d}$ where $ au_d$ is $d$-Auslander-Reiten translation. These results generalize the works by Bondal-Kapranov and Reiten-Van den Bergh. In addition, we prove that for a strongly functorially finite subcategory $\cal X$ of $\cal C$, the quotient category $\cal C/\cal X$ is an $(d+2)$-angulated category if and only if $(\cal C,\cal C)$ is an $\cal X$-mutation pair, and if and only if $ au_d\cal X =\cal X$. This generalizes a result by Jorgensen who proved the equivalence between the first and the third conditions for triangulated categories.

研究动机与目标

• 将 Bondal-Kapranov 与 Reiten-Van den Bergh 关于 Serre 对偶性与 AR 转移的结果推广至高维 (d+2)-角化范畴。
• 在该类范畴中，建立 Serre 赋子存在性与 Auslander-Reiten (d+2)-角存在的精确对应关系。
• 将 Jorgensen 关于对偶对与商范畴的结果扩展至具有强函子性有限子范畴的 (d+2)-角化范畴情境中。

提出的方法

• 利用具有 d-悬垂函子 Σ^d 的 (d+2)-角化范畴的结构，定义并分析 d-Auslander-Reiten 转移。
• 证明该范畴上的每个 Serre 赋子必为 (d+2)-角化函子，保持高维精确结构。
• 通过恒等式 au_d = 𝕊Σ^{-d} 证明 Serre 赋子的存在性与 Auslander-Reiten (d+2)-角的存在性等价。
• 引入 X-对偶对 (C, C) 的概念，以刻画商范畴 C/X 为 (d+2)-角化范畴的条件。
• 证明 C/X 为 (d+2)-角化范畴当且仅当 au_dX = X，将 Jorgensen 的结果从三角范畴推广至高阶角化范畴。
• 应用函子性有限子范畴的理论，分析高阶角化范畴中的商结构与对偶性。

实验结果

研究问题

• RQ1 在何种条件下，(d+2)-角化范畴会拥有 Serre 赋子？
• RQ2 在高阶角化范畴中，Auslander-Reiten (d+2)-角与 Serre 对偶性之间有何关系？
• RQ3 在 (d+2)-角化范畴中，d-Auslander-Reiten 转移 au_d 与 Serre 赋子 𝕊 之间的精确关系为何？
• RQ4 当一个 (d+2)-角化范畴 C 的强函子性有限子范畴 X 满足何种条件时，其商范畴 C/X 本身也是 (d+2)-角化范畴？
• RQ5 条件 au_dX = X 如何与 C/X 的 (d+2)-角化结构相关联？

主要发现

• 在具有 d-悬垂的 (d+2)-角化范畴中，每个 Serre 赋子必为 (d+2)-角化函子，保持高阶角化结构。
• (d+2)-角化范畴拥有 Serre 赋子当且仅当其具有 Auslander-Reiten (d+2)-角。
• d-Auslander-Reiten 转移满足 au_d = 𝕊Σ^{-d}，提供了 d-AR 转移与 Serre 对偶性之间精确的公式联系。
• 对于强函子性有限子范畴 X，商范畴 C/X 为 (d+2)-角化范畴当且仅当 (C, C) 是一个 X-对偶对。
• 条件 au_dX = X 与 C/X 为 (d+2)-角化范畴等价，将 Jorgensen 的结果推广至高阶角化范畴。