[论文解读] 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.

研究动机与目标

• 将Balmer与Schlichting关于三角范畴（n=3）的幂等完备化结果推广至n≥3的n-角范畴。
• 在n-角范畴的幂等完备化上构造一个典范的n-角结构。
• 证明包含函子到幂等完备化是n-角函子，并满足泛性质。
• 通过在预n-角范畴中发展新技巧，克服高阶n-角中标准提升与唯一性性质的失效问题。

提出的方法

• 定义加法范畴C的幂等完备化eC，其由对偶(A,e)构成，其中A为对象，e为幂等自同态。
• 通过将C中n-角类Θ的幂等完备化定义为eΘ，将n-角结构从C提升至eC。
• 利用映射锥与弱同构的性质，证明(eC, eΣ, eΘ)满足n-角范畴的公理(N1)–(N4)。
• 使用引理2.1在某些分量消失或为截面/延拓时分解n-角，实现直和分解。
• 应用引理2.2证明弱同构的映射锥保持n-角，这对证明(N4)至关重要。
• 使用引理2.4将复合映射锥与锥的直和关联，确保八面体公理(N4)的封闭性。

实验结果

研究问题

• RQ1 n-角范畴C的幂等完备化eC能否赋予唯一的n-角结构(eC, eΣ, eΘ)，使得包含函子ι: C → eC为n-角函子？
• RQ2 如何克服n>3时n-角中标准提升与唯一性性质的失效，以证明n-角结构的存在性？
• RQ3 映射锥与弱同构在将八面体公理(N4)推广至高阶n-角范畴中起到何种作用？
• RQ4 eC上的n-角结构是否在所有从原范畴出发的n-角函子中具有泛性？

主要发现

• n-角范畴C的幂等完备化eC装备有唯一的n-角结构(eC, eΣ, eΘ)，使得包含函子ι: C → eC为n-角函子。
• eC上的n-角结构满足泛性质：对任意n-角函子F: C → D且D为幂等完备范畴，存在唯一的n-角函子G: eC → D，使得F = G∘ι。
• 证明表明(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-角函子。