[论文解读] Stacks of Ann-Categories and their morphisms

Ettore Aldrovandi|arXiv (Cornell University)|Jan 29, 2015

Homotopy and Cohomology in Algebraic Topology参考文献 22被引用 5

一句话总结

本论文通过超覆盖上的下降数据与双模蝴蝶结构，建立了阿贝尔群 HomS~ab(¯D2k(A,X)) 中的一个类，证明了 SH³((A|V₁)/k, X|V₁) 中的三重扩张类对应于 Ann-范畴堆栈之间的态射，且满足一致的上链条件。关键结果是构造了一个良定义的同构 f，使得 f₀₂ = f₀₁ ∘ f₁₂ 成立，确保在拉回下的一致性。

ABSTRACT

We show that $\mathit{ann}$-categories admit a presentation by crossed bimodules, and prove that morphisms between them can be expressed by special kinds spans between the presentations. More precisely, we prove the groupoid of morphisms between two $\mathit{ann}$-categories is equivalent to that of bimodule butterflies between the presentations. A bimodule butterfly is a specialization of a butterfly, i.e. a special kind of span or fraction, between the underlying complexes

研究动机与目标

• 通过超覆盖上的下降数据定义 HomS~ab(¯D2k(A,X)) 中的一个类。
• 通过双模蝴蝶结构与一致上链条件刻画 Ann-范畴之间的态射。
• 在 V₁ 上建立三重扩张类之间良定义的核同构 f。
• 验证拉回下态射 f 满足复合律 f₀₂ = f₀₁ ∘ f₁₂。
• 通过自然同构与一致性关系，证明构造在 V₀、V₁、V₂ 与 V₃ 上的一致性。

提出的方法

• 使用 S~（或 S）中终端对象的超覆盖 V∙ → pt 来通过下降表示 R。
• 通过 (S/V₀)~ 上的双模蝴蝶 ∂: M → R 表示 R，其中 R₀ ≃ [M → R]~。
• 在 V₀ 上构造环型堆栈之间的态射 F: d₀∗R₀ ∼→ d₁∗R₀。
• 在 V₀ 上应用涉及 ε∗X、M、R、ε∗A 与 ∂ 的四重正合序列。
• 在 V₁ 上构造一个蝴蝶图示，涉及拉回 d₀∗M、d₁∗M、d₀∗R、d₁∗R 以及态射 η、κ、∂、ξ、π、j。
• 在 V₂ 与 V₃ 上通过自然同构 a: F₀₁ ∘ F₁₂ ⇒ F₀₂ 验证 2-范畴上链条件，并满足一致性关系 a₀₂₃ ∘ a₀₁₂ = a₀₁₃ ∘ a₁₂₃。

实验结果

研究问题

• RQ1 如何通过超覆盖上的下降数据构造 HomS~ab(¯D2k(A,X)) 中的类？
• RQ2 何种条件可确保由具有一致上链数据的双模蝴蝶结构导出的 Ann-范畴态射成立？
• RQ3 V₁ 上三重扩张类之间的同构 f 如何与态射 f₀₁ 与 f₁₂ 的复合相关联？
• RQ4 拉回 d₀∗、d₁∗、d₂∗ 在 V₀、V₁、V₂ 与 V₃ 上保持一致性方面起什么作用？
• RQ5 在缺失指标约定下，自然同构 ξ 与 η 如何与 A 与 X 上的恒等映射相关联？

主要发现

• 态射 f: SH³((A|V₁)/k, X|V₁) → SH³((A|V₁)/k, X|V₁) 是由一致蝴蝶结构诱导的同构。
• 同构 f 满足复合律 f₀₂ = f₀₁ ∘ f₁₂，确认在 2-范畴框架下的一致性。
• V₀ 与 V₁ 上的数据满足涉及 ∂: M → R 及 A 与 X 拉回的四重正合序列。
• 自然同构 a: F₀₁ ∘ F₁₂ ⇒ F₀₂ 在 V₃ 上满足五边形一致性条件 a₀₂₃ ∘ a₀₁₂ = a₀₁₃ ∘ a₁₂₃。
• 蝴蝶结构的同构 α: E₁₂ ⊕ᴹ¹ᴿ¹ E₀₁ → E₀₂ 与 V₃ 上的协调性条件 a 相容。
• 通过关系 d₀∗ε∗ ≃ (εd₀)∗ ≃ (εd₁)∗ ≃ d₁∗ε∗，A 与 X 上的恒等映射得以保持，从而通过命题 LABEL:prop:1 构造出 f。