[论文解读] A note on stable recollements

Clark Barwick, Saul Glasman|arXiv (Cornell University)|Jul 7, 2016

Homotopy and Cohomology in Algebraic Topology参考文献 1被引用 11

一句话总结

本文证明了一个稳定∞-范畴 admits一个recollement结构当且仅当它包含一个既是反射性又是余反射性的全子范畴，表明整个recollement结构可由最小数据重构。关键贡献在于左右正交补之间的对称对偶性，且建立了在闭子范畴上完全的对象∞-范畴与在该子范畴上支撑的对象∞-范畴之间的等价关系。

ABSTRACT

In this short étude, we observe that the full structure of a recollement on a stable infinity-category can be reconstructed from minimal data: that of a reflective and coreflective full subcategory. The situation has more symmetry than one would expect at a glance. We end with a practical lemma on gluing equivalences along a recollement.

研究动机与目标

• 证明一个稳定∞-范畴上的recollement结构完全由一个既是反射性又是余反射性全子范畴决定。
• 通过识别对偶正交补，阐明recollement结构中隐藏的对称性。
• 提供一个实用准则，用于判断一个函子在两个recollement之间何时诱导出等价关系。
• 建立整个recollement结构可由最小数据重构，从而增强在导出代数几何与高阶范畴论中的结构理解。

提出的方法

• 使用伴随函子：给定一个既是反射性又是余反射性全子范畴U ⊆ X，定义伴随函子j⁎, j∗, j×，并利用它们构造正交补Z∧和Z∨。
• 将Z∧定义为U的右正交补，Z∨定义为U的左正交补，通过映射空间来强制正交性。
• 通过余纤维序列和伴随关系证明Z∧是反射性，Z∨是余反射性，表明其包含函子存在左和右伴随。
• 构造一个涉及j⁎j∗和i∧i∨的裂化正方形，证明其为笛卡尔图，从而确立分层结构。
• 利用三种结构之间的等价性：反射性/余反射性子范畴、沿Δ¹的分层结构、以及recollement结构，证明它们的本质等价性。
• 通过复合函子i∧i∨和i∨i∧在Z∧与Z∨之间建立逆等价，证明结构中的对称性。

实验结果

研究问题

• RQ1 一个稳定∞-范畴上的recollement结构能否仅由一个反射性与余反射性全子范畴重构？
• RQ2 在稳定∞-范畴中，此类子范畴的左正交补与右正交补之间的确切关系是什么？
• RQ3 如何判断一个函子在两个recollement之间何时诱导出环境∞-范畴的等价？
• RQ4 在recollement中，沿闭子范畴完全的范畴与在该子范畴上支撑的范畴之间是否存在内在对称性？
• RQ5 在函子保持U、Z∧、Z∨子范畴的前提下，满足何种条件时，其在整体∞-范畴上诱导出等价？

主要发现

• 一个稳定∞-范畴X admits一个recollement结构当且仅当它包含一个既是反射性又是余反射性全子范畴U。
• 右正交补Z∧是反射性，左正交补Z∨是余反射性，其伴随函子分别为i∧和i∨。
• 复合函子i∧i∨与i∨i∧在Z∧与Z∨之间定义了互逆等价，揭示了recollement结构中的深层对称性。
• X上的完整recollement结构等价于沿Δ¹的分层结构，其中分层位于点0、点1及整个单形处。
• 函子F: X → X′在两个此类recollement之间是等价函子，当且仅当它保持子范畴U、Z∧、Z∨，且在U上以及在Z∧或Z∨中至少一个上诱导出等价。
• ∞-范畴X等价于在Δ¹上的cocartesian纤维丛的截面∞-范畴，其纤维为Z∧ × {0}和U × {1}，从而为recollement提供了几何模型。