[论文解读] On the obscure axiom for one-sided exact categories

Ruben Henrard, Adam-Christiaan van Roosmalen|arXiv (Cornell University)|Oct 21, 2020

Algebraic structures and combinatorial models参考文献 20被引用 6

一句话总结

本文引入了一维精确范畴中晦涩公理（R3、R3⁺、R3⁻）的三种变体，证明在弱幂等完备条件下它们等价，并蕴含关键同调性质（如九项引理和蛇形引理）。主要贡献在于构造了三种闭包运算，将一维精确范畴嵌入精确范畴，同时保持其有界导出范畴在三角等价意义下不变。

ABSTRACT

One-sided exact categories are obtained via a weakening of a Quillen exact category. Such one-sided exact categories are homologically similar to Quillen exact categories: a one-sided exact category $\mathcal{E}$ can be (essentially uniquely) embedded into its exact hull ${\mathcal{E}}^{ extrm{ex}}$; this embedding induces a derived equivalence $ extbf{D}^b(\mathcal{E}) o extbf{D}^b({\mathcal{E}}^{ extrm{ex}})$. Whereas it is well known that Quillen's obscure axioms are redundant for exact categories, some one-sided exact categories are known to not satisfy the corresponding obscure axiom. In fact, we show that the failure of the obscure axiom is controlled by the embedding of $\mathcal{E}$ into its exact hull ${\mathcal{E}}^{ extrm{ex}}.$ In this paper, we introduce three versions of the obscure axiom (these versions coincide when the category is weakly idempotent complete) and establish equivalent homological properties, such as the snake lemma and the nine lemma. We show that a one-sided exact category admits a closure under each of these obscure axioms, each of which preserves the bounded derived category up to triangle equivalence.

研究动机与目标

• 为解决某些一维精确范畴中晦涩公理失效的问题，该问题阻碍了从精确包中传递同调性质。
• 在晦涩公理的弱化版本下建立等价的同调性质（如九项引理和蛇形引理）。
• 构造三种闭包运算（R3⁺、R3⁻及 E_R3⁻ 中的膨胀结构），将一维精确范畴嵌入精确范畴，同时保持其有界导出范畴。
• 阐明晦涩公理与精确包之间的关系，证明将一维精确范畴嵌入其精确包时，该嵌入反映膨胀结构，当且仅当晦涩公理成立。
• 为理解一维精确范畴在何种条件下表现得如同 Quillen 精确范畴（尤其在 $K$-理论与表示论背景下）提供一个框架。

提出的方法

• 引入一维精确范畴中晦涩公理的三种版本（R3、R3⁺、R3⁻），推广经典 R3 公理。
• 在范畴为弱幂等完备时，利用拉回、上推和核-余核对的性质，证明这三个公理等价。
• 证明每个晦涩公理的变体均蕴含九项引理与蛇形引理，从而确保强同调控制。
• 将 R3⁺-闭包与 R3⁻-闭包构造为原始范畴的弱幂等完备化中扩张封闭的子范畴。
• 通过嵌入到精确包所诱导的导出等价性，证明 R3⁺-闭包与 R3⁻-闭包保持有界导出范畴，且与原范畴三角等价。
• 利用精确包的 2-普遍性质与扩张封闭构造，证明这些闭包是精确范畴，且与原范畴导出等价。

实验结果

研究问题

• RQ1 在不损失关键同调性质的前提下，如何在一维精确范畴中弱化或重述晦涩公理？
• RQ2 在何种精确条件下，一维精确范畴嵌入其精确包时会反映膨胀结构？
• RQ3 能否构造一维精确范畴的闭包，使其满足同调公理（如九项引理），同时保持有界导出范畴？
• RQ4 三种晦涩公理变体（R3、R3⁺、R3⁻）之间的关系是什么？在何种条件下它们等价？
• RQ5 不同晦涩公理下的闭包结构与弱幂等完备化上的最大精确结构有何关系？

主要发现

• 当范畴为弱幂等完备时，晦涩公理的三种变体（R3、R3⁺、R3⁻）一致成立，且均蕴含九项引理与蛇形引理。
• 一维精确范畴满足晦涩公理，当且仅当其嵌入精确包的映射反映膨胀结构，即：一个序列在原范畴中为膨胀当且仅当其在精确包中的像为膨胀。
• 一维精确范畴的 R3⁺-闭包与 R3⁻-闭包是与原范畴导出等价的精确范畴，其有界导出范畴通过三角等价性保持不变。
• R3⁺-闭包被构造为原始范畴在弱幂等完备化上最大上浸没与下浸没精确结构交集中的扩张闭包。
• 膨胀结构 E_R3⁻ 是弱幂等完备化上满足 R3⁻-公理且对扩张封闭的最大一维精确结构。
• 闭包构造不必然给出弱幂等完备化上的最大精确结构，如在离散赋值环上 $R/(t)$-模的反例所示。