[論文レビュー] 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.

研究の動機と目的

• Serre対称性とAR移動に関するBondal-KapranovおよびReiten-Van den Berghの結果を、高次元の(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)-角の存在と同値であることを示す。
• 商圏 C/X が(d+2)-角的であるための条件を特徴付けるために、X-変形対 (C, C) の概念を導入する。
• C/X が(d+2)-角的であるための必要十分条件が au_dX = X であること、すなわちJorgensenの結果を三角的から高次元の角的設定へ一般化する。
• 関手的に有限な部分圏の理論を応用して、高次元の角的圏における商構造と双対性を分析する。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下で(d+2)-角的圏がSerre函手を備えるか？
• RQ2 高次元の角的圏において、Auslander-Reiten (d+2)-角とSerre対称性の関係は何か？
• RQ3 d-Auslander-Reiten移動 au_d と(d+2)-角的圏内のSerre函手 𝕊 の間の正確な関係は何か？
• RQ4 d-自己同型を備えた(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の結果を高次元の角的圏へ一般化する。