[論文レビュー] Polygon of recollements and $N$-complexes

Osamu Iyama, Kiriko Kato+1 more|arXiv (Cornell University)|Mar 19, 2016

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

ひとこと要約

本稿は、加法的圏 $\mathcal{B}$ 上の $N$-複体のホモトピー圏および $N-1$-重の分解単射の族のホモトピー圏において、$2N$-角形の再構成構造を確立し、これらの圏の間の三角同値を証明する。さらに、このような構造が $(m/n)$-カルラビ-ヤウ三角圏および代数の導来圏において自然に生じることを示す。

ABSTRACT

We study a structure of subcategories which are called a polygon of recollements in a triangulated category. First, we study a $2n$-gon of recollements in an $(m/n)$-Calabi-Yau triangulated category. Second, we show the homotopy category $\mathsf{K}(\mathsf{Mor}_{N-1}(\mathcal{B}))$ of complexes of an additive category $\mathsf{Mor}_{N-1}(\mathcal{B})$ of $N-1$ sequences of split monomorphisms of an additive category $\mathcal{B}$ has a $2N$-gon of recollments. Third, we show the homotopy category $\mathsf{K}_{N}(\mathcal{B})$ of $N$-complexes of $\mathcal{B}$ has also a $2N$-gon of recollments. Finally, we show there is a triangle equivalence between $\mathsf{K}(\mathsf{Mor}_{N-1}(\mathcal{B}))$ and $\mathsf{K}_{N}(\mathcal{B})$.

研究の動機と目的

• 三角圏内の部分圏の構造を多角形による再構成によって調査すること。
• 加法的圏 $\mathcal{B}$ 上の $N$-複体のホモトピー圏において $2N$-角形の再構成構造の存在を確立すること。
• $\mathcal{B}$ 内の $N-1$-重の分解単射の族のホモトピー圏において $2N$-角形の再構成構造を構成すること。
• $\mathsf{K}(\mathsf{Mor}_{N-1}(\mathcal{B}))$ と $\mathsf{K}_N(\mathcal{B})$ の間の三角同値を証明すること。
• $(m/n)$-カルラビ-ヤウ三角圏および有限次元代数の導来圏へこれらの結果を拡張すること。

提案手法

• 安定 $t$-構造および三角圏における再構成多角形を用いて、$n$-角形の再構成構造を定義する。
• $(m/n)$-カルラビ-ヤウ圏における関手的に有限な厚い部分圏および直交部分圏 $\mathcal{U}_{i+1} = \mathcal{U}_i^\perp$ の概念を適用する。
• 分解単射列の構造を用いて、$\mathsf{K}(\mathsf{Mor}_{N-1}^{\mathrm{sm}}(\mathcal{B}))$ における再構成構造を構成する。
• 随伴函手および安定圏を用いて、$\mathsf{K}(\mathsf{Mor}_{N-1}(\mathcal{B}))$ と $\mathsf{K}_N(\mathcal{B})$ の間の函手 $F$ を通じた三角同値を確立する。
• フロベニウス圏および安定圏に関する結果を用いて、正確な函手を安定圏間の三角函手に引き上げる。
• $N$-複体およびその導来圏の理論を用いて、$\mathsf{D}_N(\mathcal{A})$ と $\mathsf{D}(\mathsf{Mor}_{N-1}(\mathcal{A}))$ の関係を確立する。

実験結果

リサーチクエスチョン

• RQ1 加法的圏上での $N$-複体のホモトピー圏において、$2N$-角形の再構成構造が存在する条件は何か？
• RQ2 $\mathsf{K}(\mathsf{Mor}_{N-1}(\mathcal{B}))$ と $\mathsf{K}_N(\mathcal{B})$ のホモトピー圏は、三角同値によってどのように関係しているか？
• RQ3 $N-1$-重の分解単射の族のホモトピー圏において、$2N$-角形の再構成構造を構成できるか？
• RQ4 $(m/n)$-カルラビ-ヤウ三角圏は再構成多角形を生成するために果たす役割は何か？
• RQ5 安定 $t$-構造および反変的に有限な部分圏は再構成多角形の構成にどのように寄与するか？

主な発見

• $\mathcal{B}$ を任意の加法的圏とするとき、ホモトピー圏 $\mathsf{K}(\mathsf{Mor}_{N-1}^{\mathrm{sm}}(\mathcal{B}))$ は $2N$-角形の再構成構造をもつ。
• $\mathcal{B}$ 上の $N$-複体のホモトピー圏 $\mathsf{K}_N(\mathcal{B})$ に対しても $2N$-角形の再構成構造が存在する。
• $\mathsf{K}(\mathsf{Mor}_{N-1}(\mathcal{B}))$ と $\mathsf{K}_N(\mathcal{B})$ の間には三角同値が存在し、カテゴリカルな双対性を確立する。
• $(m/n)$-カルラビ-ヤウ三角圏において、任意の関手的に有限な厚い部分圏 $\mathcal{U}_1$ は、ある $2n$ の約数 $l$ に対して $l$-角形の再構成構造を生成する。
• 有限次元 $k$-代数 $A$ で、$A/J_A$ が分離的であるもの、および有限自己射的次元をもつ $k$-代数 $R$ に対して、導来圏 $\mathsf{D}^b(\mathrm{mod}\, R \otimes_k A)$ および安定圏 $\underline{\mathrm{CM}}(R \otimes_k A)$ は、ある $2n$ の約数 $l$ に対して $l$-角形の再構成構造をもつ。
• この構成は、直交部分圏 $\mathcal{U}_{i+1} = \mathcal{U}_i^\perp$ に依存しており、安定 $t$-構造が存在することを保証し、したがって再構成多角形が存在することを保証する。