A pre-triangulated category which is not triangulated

技术摘要：一个非三角范畴的预三角范畴

问题陈述
本文探讨了同调代数中关于预三角范畴与三角范畴之间关系的一个基本问题。虽然 Verdier 的公理（TR1–TR4）定义了三角范畴，但第四个公理（TR4），即八面体公理（octahedral axiom），控制了态射复合与映射锥之间的相互作用。如果仅满足公理 TR1–TR3，则该结构被称为“预三角”（pre-triangulated）或“Puppe-triangulated”。

几十年来，是否存在每一个预三角范畴必然是三角范畴的问题一直是一个悬而未决的问题。这个问题由 Beligiannis 正式化（归功于 Keller 和 Neeman）为 猜想 1.1，该猜想认为存在一个具有 $\Sigma$-稳定结构的阿贝尔 Frobenius 范畴 $B$，使得其诱导的预三角范畴不是三角范畴。本文旨在构造一个显式的反例，从而证明 TR4 并不是 TR1–TR3 的形式推论。

方法论
作者利用 $\mathbb{F}_2$ 域上 $A_5$ 型预投影代数（preprojective algebra）的表示论构造了一个反例。其方法论通过以下步骤进行：

1. 代数设置： 研究聚焦于类型为 $A_5$ 的预投影代数 $\Lambda = \Pi(A_5)$，其定义在 $\mathbb{F}_2$ 上。该代数是自反射的（self-injective），这使得其有限生成模的范畴 $\text{mod}\,\Lambda$ 是一个阿贝尔 Frobenius 范畴。其稳定范畴 $\underline{\text{mod}}\,\Lambda$ 自然是三角范畴。
2. 稳定结构与 Heller 构造： 作者利用 Heller 定理，该定理建立了 Frobenius 范畴在其子范畴 $P(\Lambda)$ 上的 $\Sigma$-稳定结构与预三角结构之间的对应关系。$\Sigma$-稳定结构由一个自等价 $\Sigma$ 和一个满足特定相容条件的自然同构 $\theta: \Sigma \xrightarrow{\sim} \Omega^{-3}$ 定义。
3. 扭转比较过程：
   • 标准的三角结构由图反射自同构 $\nu$（其中 $\Sigma = (-)^\nu$）和规范同构 $\theta_0$ 导出。
   • 作者识别出一个维数向量为 $(2, 2, 2, 1, 0)$ 的不可约模 $M$，使得 $\Omega^2(M) \cong M$。
   • 利用 Auslander–Reiten 理论，他们构造了一个支撑在轨道 $\{M, \Omega(M)\}$ 上的非平凡自然变换 $\Delta$，满足 $\Delta^2 = 0$ 且与悬挂（suspension）交换。
   • 该变换被用于“扭转”规范比较 $\theta_0$，从而创建一个新的同构 $\theta_\epsilon = \epsilon \circ \theta_0$，其中 $\epsilon = \text{Id} + \Delta$。这产生了一个新的预三角结构 $(P(\Lambda), \Sigma, \triangle_\epsilon)$，它满足 TR1–TR3。
4. 障碍分析（四乘四性质）： 为了证明 TR4 失效，作者证明了结构 $\triangle_\epsilon$ 缺乏“四乘四性质”（four-by-four property），这是源自八面体公理的三角范畴的必要条件。他们构造了一个包含两个 distinguished 行（$T_A, T_B$）和两个由涉及模 $A$ 和 $B$ 的 Auslander–Reiten 序列导出的 distinguished 列的图表。
5. 刚性论证： 证明的核心在于分析该图表的可能补全方式。作者表明，任何有效的第三个垂直箭头都受到第二行自同构的严格约束：由于比较映射 $\theta_\epsilon$ 在模 $M$（作为第三行的余核）上的“扭转”性质，导致了一个矛盾：所要求的第三行必须同时满足扭转的比较（由于列的结构）和未扭转的比较（由于图表补全的刚性）。

主要贡献与结果

• 构造反例： 本文显式地构造了一个预三角范畴 $(P(\Pi(A_5)), \Sigma, \triangle_\epsilon)$，它满足 TR1–TR3 但不满足 TR4。
• 反驳猜想 1.1： 该结果证实了 Beligiannis 的猜想（归功于 Keller 和 Neeman），即存在一个阿贝尔 Frobenius 范畴上的 $\Sigma$-稳定结构，其诱导的预三角范畴不是三角范畴。
• 八面体公理的失效： 本文证明了在基于 Heller 构造的预三角范畴语境下，八面体公理（TR4）在逻辑上独立于前三个公理。
• 具体的代数反例： 该反例源自 $\mathbb{F}_2$ 上的 $A_5$ 型预投影代数，利用了模 $M$ 和图反射自同构的特定属性。

意义
本文确立了预三角范畴类严格大于三角范畴类。这阐明了在定义三角结构的公理中，八面体公理（TR4）相对于其他公理的逻辑独立性。该结果解决了三角范畴理论中一个长期存在的开放问题，即证明了 TR1–TR3 的“形式”推论并不能自动保证八面体公理的存在。作者指出，他们的构造依赖于 $\mathbb{F}_2$ 的特定算术性质以及 $A_5$ 预投影代数的特定表示论性质，为预三角结构与三角结构之间的区别提供了一个具体的、可计算的实例。