[论文解读] The morphism axiom for n-angulated categories

Emilie Arentz-Hansen, Petter Andreas Bergh+1 more|arXiv (Cornell University)|Jan 26, 2016

Algebraic structures and combinatorial models参考文献 4被引用 7

一句话总结

本文证明了在 $n$-上三角范畴中，态射公理由广义八面体公理和存在公理可推出，因此是冗余的。作者通过连续两次应用广义八面体公理以及对任意态射存在 $n$-角的性质，构造出一个 $n$-角之间的态射，从而消除了将态射公理作为独立条件的需要。

ABSTRACT

The morphism axiom for n-angulated categories states that a morphism between the bases of two n-angles can be extended to a morphism of n-angles. We show that this axiom is redundant. For triangulated categories, this was proved by J.P. May.

研究动机与目标

• 确定 $n$-上三角范畴中的态射公理由其他公理由逻辑独立。
• 将梅对三角范畴（$n=3$）的结果推广到更广泛的 $n$-上三角范畴设定中。
• 证明态射公理由广义八面体公理和存在公理可推导而出，从而简化 $n$-上三角范畴的基础框架。

提出的方法

• 利用存在公理，为三个关键态射 $\gamma_1: A_1 \to B_2$、$\varphi_2: A_2 \to B_2$ 和 $\varphi_1: A_1 \to B_1$ 构造 $n$-角。
• 对包含这些 $n$-角的两个独立图示分别应用广义八面体公理（N4），生成带有虚线态射的交换图。
• 通过组合两次应用（N4）所得的态射，构造复合态射 $\varphi_k = \eta_k \circ \rho_k$（$3 \leq k \leq n$）。
• 将第一个图示的上半部分与第二个图示的下半部分合并，形成一个不含中间行的单一交换图。
• 验证所得序列 $ (\varphi_1, \varphi_2, \dots, \varphi_n) $ 构成一个 $n$-角之间的态射，从而满足态射公理。

实验结果

研究问题

• RQ1 在 $n$-上三角范畴中，态射公理由广义八面体公理和存在公理是否独立？
• RQ2 在 $n \geq 3$ 的 $n$-上三角范畴中，态射公理由广义八面体公理和存在公理是否可推导？
• RQ3 该结果是否可将梅对三角范畴（$n=3$）的证明推广至更高 $n$ 的情形？
• RQ4 广义八面体公理中引入的对角态射在构造 $n$-角之间的态射中起什么作用？
• RQ5 若移除态射公理，$n$-上三角范畴的公理框架是否可能存在结构上的简化？

主要发现

• 在 $n$-上三角范畴中，态射公理由广义八面体公理和存在公理可推出，因此是冗余的。
• 通过两次应用广义八面体公理由存在公理导出的相关 $n$-角，实现了 $n$-角之间态射的构造。
• 广义八面体公理引入的对角态射在证明中并非必需，表明该公理的使用可进一步简化。
• 该证明将梅对三角范畴（$n=3$）的结果推广至 $n$-上三角范畴，确认了在 $n=3$ 情形下的自洽性。
• 态射 $\varphi_k = \eta_k \circ \rho_k$（$3 \leq k \leq n$）为 $n$-角之间态射中缺失的态射提供了明确的构造，完成了证明。