[论文解读] A triangulated category without models

Fernando Muro|arXiv (Cornell University)|Mar 11, 2007

Algebraic structures and combinatorial models参考文献 12被引用 3

一句话总结

本文在 ℤ/4ℤ 上的有限生成投射模范畴上构造了一个三角范畴结构，证明其既非代数也非拓扑。通过上同调障碍理论及 H³ 中特定 Toda 括号的非零性，作者表明该范畴无法作为任何稳定模型范畴的同伦范畴的全三角子范畴出现，从而提供了首个在代数或拓扑意义上均无模型的三角范畴的实例。

ABSTRACT

We exhibit a triangulated category which is neither the stable category of a Frobenius category nor a full triangulated subcategory of the homotopy category of a stable model category.

研究动机与目标

• 在 ℤ/4ℤ-模的有限生成投射模范畴 P(ℤ/4ℤ) 上构造一个三角范畴结构。
• 通过证明涉及乘法 by 2 的非挠 Toda 括号的存在，证明该三角范畴非代数。
• 确立该范畴非拓扑，即不与任何稳定模型范畴 M 的 Ho(M) 的全三角子范畴等价。
• 通过证明其上同调中的通用 Toda 括号不支持给定的正合三角形，表明该范畴非上同调三角。
• 解决三角范畴理论中的一个基础性问题：是否所有三角范畴均可来自代数或拓扑模型。

提出的方法

• 使用 Heller 关于 Frobenius 范畴上预三角结构的理论，在 P(ℤ/4ℤ) 上构造唯一的三角结构。
• 证明序列 ℤ/4ℤ → ℤ/4ℤ → ℤ/4ℤ → ℤ/4ℤ（每个映射为乘法 by 2）构成一个正合三角形，违反代数三角范畴所需的 2-挠条件。
• 利用 Mac Lane 上同调及平移上同调理论，通过 H³(𝒫(ℤ/4ℤ), Hom(Σ, –)) 中的类对可能的三角结构进行分类。
• 显式计算 H³(𝒫(ℤ/4ℤ), Hom(–, ℤ/2ℤ ⊗ –)) 并证明其同构于 ℤ/2ℤ，而对应于 Toda 括号的群为平凡。
• 应用 [BD89] 中的通用 Toda 括号构造，表明 Ho(𝒫(ℤ/4ℤ)) 中的任何 Toda 括号必须为零，与非平凡 2-挠正合三角形的存在矛盾。
• 通过涉及上同调类的拉回与上推的图表追踪，证明在任何拓扑实现中，2–2–2 序列相关的 Toda 括号必须为零。

实验结果

研究问题

• RQ1 能否在 P(ℤ/4ℤ) 上构造一个既非代数也非拓扑的三角范畴？
• RQ2 P(ℤ/4ℤ) 中涉及乘法 by 2 的非平凡 Toda 括号是否存在会阻碍其作为稳定模型范畴同伦范畴的子范畴的实现？
• RQ3 通过 Mac Lane 上同调的上同调障碍理论能否检测到三角范畴无法拥有模型的失败？
• RQ4 是否存在一个三角范畴，其 Toda 括号结构无法在任何稳定模型范畴中实现？
• RQ5 能否利用三角范畴上同调中的通用 Toda 括号来阻碍其拓扑实现？

主要发现

• 范畴 P(ℤ/4ℤ) 具有唯一的三角结构，其平移函子为恒等函子，且序列 ℤ/4ℤ → ℤ/4ℤ → ℤ/4ℤ → ℤ/4ℤ（每个映射为乘法 by 2）构成一个正合三角形。
• 该范畴非代数，因为与乘法 by 2 相关的 Toda 括号非零，违反了代数三角范畴中 2·1_Y = 0 的条件。
• 该范畴非拓扑：无法全忠实嵌入任何稳定模型范畴的同伦范畴中。
• 上同调群 H³(𝒫(ℤ/4ℤ), Hom(–, ℤ/2ℤ ⊗ –)) 同构于 ℤ/2ℤ，但 2–2–2 序列相关的 Toda 括号在任何拓扑实现中均为零。
• 矛盾源于范畴中的 Toda 括号非零，但任何 Ho(𝒫(ℤ/4ℤ)) 中的此类括号都必须是 Ho(𝒫(ℤ/4ℤ)) 中通用 Toda 括号的拉回，而该通用括号在相关同态下为零。