[論文レビュー] Idempotent completion of n-angulated categories

Zengqiang Lin|arXiv (Cornell University)|Jan 16, 2017

Homotopy and Cohomology in Algebraic Topology参考文献 3被引用数 4

ひとこと要約

この論文は、n-角化された圏の冪等完備化が、包含関手がn-角化されるような一意的なn-角化構造を一意に持ち、普遍性を満たすことを確立する。この構成は、BalmerとSchlichtingの三角圏（n=3）に関する結果を、より高いn-角化圏へ一般化したものであり、前n-角化圏における冪等元の持ち上げとマッピングコーン技術を用いて、公理(N1)(c)および(N4)の証明がなされる。

ABSTRACT

We show that the idempotent completion of an n-angulated category admits a unique n-angulated structure such that the inclusion is an n-angulated functor, which satisfies a universal property.

研究の動機と目的

• n ≥ 3 に対して、BalmerとSchlichtingの三角圏（n=3）における冪等完備化の結果をn-角化圏へ拡張すること。
• n-角化圏の冪等完備化に自然なn-角化構造を構成すること。
• 元の圏への包含関手がn-角化であり、普遍性を満たすことを示すこと。
• n > 3 のとき、標準的な持ち上げおよび一意性の性質の失敗を克服するため、前n-角化圏における新しい技術を開発すること。

提案手法

• 加法圏Cの冪等完備化eCを定義する。これは、対(A,e)の集合であり、Aは対象で、eは冪等な自己準同型である。
• Cにおけるn-角のクラスΘの冪等完備化eΘを用いて、CからeCへのn-角化構造を持ち上げる。
• マッピングコーンと弱同型の性質を用いて、(eC, eΣ, eΘ)がn-角化圏の公理(N1)-(N4)を満たすことを証明する。
• 補題2.1を用いて、特定の成分が消えたり、単射・再帰的である場合にn-角を分解し、直和分解を可能にする。
• 補題2.2を適用して、弱同型のマッピングコーンがn-角を保存することを示し、(N4)の証明に不可欠な役割を果たす。
• 補題2.4を用いて、合成写像のマッピングコーンを、コーンの直和と関連づけ、八面体公理(N4)の閉包性を保証する。

実験結果

リサーチクエスチョン

• RQ1 n-角化圏Cの冪等完備化eCは、包含関手ι: C → eCがn-角化であるような一意的なn-角化構造をもつだろうか？
• RQ2 n > 3 のn-角において標準的な持ち上げや一意性の性質が失敗する場合、n-角化構造の存在を示すために、どのようにしてこれを克服できるか？
• RQ3 マッピングコーンと弱同型は、八面体公理(N4)をより高いn-角化圏へ一般化する際に、どのような役割を果たすのか？
• RQ4 元の圏からのすべてのn-角化関手に関して、eCにおけるn-角化構造は普遍的だろうか？

主な発見

• n-角化圏Cの冪等完備化eCは、包含関手ι: C → eCがn-角化であるような一意的なn-角化構造(eC, eΣ, eΘ)をもつ。
• eCにおけるn-角化構造は普遍性を満たす：任意の冪等完備な圏Dへのn-角化関手F: C → Dに対して、F = G∘ιを満たす一意的なn-角化関手G: eC → Dが存在する。
• 証明により、(eC, eΣ, eΘ)はすべての公理(N1)-(N4)を満たすことが示され、特に(N1)(c)および(N4)は分解補題とマッピングコーン技術によって証明される。
• クラスeΘは同型、直和、直和成分に関して閉じており、すべての可縮n-角を含む。
• eCにおけるn-角化構造の一意性は、任意の代替n-角化eΘ'がeΘを含み、[5, 系2.5(c)]によりeΘ' = eΘでなければならないことから導かれる。
• n-角化関手F: C → Dに対して自然同型α: FΣ → Σ'Fが存在するが、これは自然同型eα: GeΣ → Σ'Gへ持ち上げられ、Gがn-角化であることを保証する。