2025-11-10T03:09:02.767131

On orthogonal factorization systems and double categories

Juran
We prove that the $\infty$-category of orthogonal factorization systems embeds fully faithfully into the $\infty$-category of double $\infty$-categories. Moreover, we prove an (un)straightening equivalence for double $\infty$-categories, which restricts to an (un)straightening equivalence for op-Gray fibrations and curved orthofibrations of orthogonal factorization systems.
academic

On orthogonal factorization systems and double categories

基本信息

  • 论文ID: 2501.01363
  • 标题: On orthogonal factorization systems and double categories
  • 作者: Branko Juran (Copenhagen University)
  • 分类: math.CT (Category Theory), math.AT (Algebraic Topology)
  • 发表时间: 2025年1月2日
  • 论文链接: https://arxiv.org/abs/2501.01363

摘要

本文证明了正交分解系统的∞-范畴完全忠实地嵌入到双∞-范畴的∞-范畴中。此外，还证明了双∞-范畴的(un)straightening等价性，该等价性限制为正交分解系统的op-Gray纤维化和弯曲正交纤维化的(un)straightening等价性。

研究背景与动机

问题背景

  1. 历史渊源: 正交分解系统和双范畴都是范畴论中的经典对象，分别可追溯到MacLane Mac50和Ehresmann Ehr63的工作。它们的∞-范畴类比由Joyal Joy08和Haugseng Hau13引入，在高阶范畴论中发挥同样重要的作用。
  2. 共同特征: 这两个概念都涉及配备两个区别态射类的范畴结构：
    • 正交分解系统：具有两类态射的范畴，任何态射都可以唯一地分解为第一类态射与第二类态射的复合
    • 双范畴：具有两种不同类型态射（垂直和水平态射）的范畴，它们不能直接复合，但通过"方块"见证兼容性

研究动机

从这个角度看，双范畴似乎是正交分解系统的推广。本文的目标是在∞-范畴的语境下精确化这一直觉，构建从正交分解系统到双∞-范畴的函子，并研究其性质。

核心问题

如何精确描述正交分解系统与双范畴之间的关系，并利用这种关系来理解相关的纤维化理论。

核心贡献

  1. 构造了完全忠实嵌入: 证明了函子 Fact : OFS ↪ DCat 从正交分解系统的∞-范畴到双∞-范畴的∞-范畴是完全忠实的
  2. 刻画了本质像: 确定了该嵌入的本质像恰好是满足特定条件的双∞-范畴（分解双范畴）
  3. 建立了纤维化等价: 证明了正交分解系统的弯曲正交纤维化与双范畴的(cocart,right)-纤维化之间的等价性
  4. 证明了(un)straightening等价: 为双∞-范畴建立了(un)straightening等价性
  5. 计算了自同构群: 完全描述了充足正交分解系统范畴的自同构群为Z/2Z，生成元为span范畴函子

方法详解

核心构造

函子Fact的定义

Construction 3.3: 通过限制Yoneda嵌入构造函子：

Fact : OFS → PSh(Δ×Δ)

沿着双余简单对象：

Δ×Δ → OFS
([m],[n]) ↦ [m]×̄[n]

对于正交分解系统 C† = (C, C_eg, C_in)，Fact(C†) 是一个双范畴，其中：

  • 对象：C的对象
  • 水平态射：C_eg中的态射
  • 垂直态射：C_in中的态射
  • 方块：交换方块

分解双范畴的刻画

Proposition 3.1: 双范畴C是分解双范畴当且仅当满足以下等价条件之一：

  1. 方块 C(1,1) → C(1,0) × C(0,1) ← C(0,0) 是拉回
  2. 函子 C(-,d₀) : C(-,1) → C(-,0) 是左纤维化
  3. 函子 C(d₁,-) : C(1,-) → C(0,-) 是右纤维化

这些条件精确地编码了"错误顺序"的态射复合可以唯一地重写为"正确顺序"的复合。

逆函子的构造

Construction 3.14: 构造逆函子 Cnr: DCat_OF → OFS：

  1. 对双范畴C，定义corner范畴 cnr(C) 通过限制Yoneda嵌入：
    cnr : DCat → Fun(Δᵒᵖ,S)
C ↦ (n ↦ map_DCat(Ar([n]),C))
  2. 证明当C是分解双范畴时，cnr(C)是完备Segal空间
  3. 通过自然函子 C(-,0) → cnr(C) 和 C(0,-) → cnr(C) 构造正交分解系统

关键技术引理

Lemma 3.12: 证明了两个态射类的饱和化相等：

  • 态射 ([0]⊠[1]) ∪ ([1]⊠[0]) → [1]⊠[1]
  • 脊柱包含 I_n(Ar(-)) → Ar(n) (n≥2)

这个引理是连接双范畴的局部性条件与正交分解系统性质的关键。

主要定理

Theorem A (Theorem 3.19)

函子 Fact : OFS ↪ DCat 是完全忠实的，其本质像恰好是分解双范畴。

证明思路:

  1. 构造逆函子 Cnr: DCat_OF → OFS
  2. 证明单位和余单位变换都是等价性
  3. 利用Proposition 3.16和3.18完成证明

Theorem B (Theorem 4.6)

对双∞-范畴C，存在自然等价：

CoR(C)≃ ≅ map_DCat((C)^{2 op}, Sq^{oplax}(Cat₁^{(2)}))

这确认了Nui24, Remark 2.14中概述的预期。

Theorem C (Theorem 5.5)

充足正交分解系统范畴的自同构群为：

Aut(OFS⊥) ≅ Z/2Z

生成元由span范畴函子给出。

纤维化理论

纤维化的对应关系

Proposition 4.5: 函子Fact诱导等价：

Ortho(C†) ≅ CoR(Fact(C†))
opGray(C†) ≅ CaR(Fact(C†))

这表明正交分解系统的纤维化可以视为双范畴纤维化的特殊情况。

(un)straightening等价性

通过将双范畴纤维化理论与正交分解系统纤维化理论联系起来，获得了统一的框架来理解这些结构。

充足性与span范畴

充足分解系统的刻画

Definition 5.1: 正交分解系统C†称为充足的，如果：

  1. 每个ambigressive方块都是拉回
  2. 每个ambigressive余span都承认拉回

Proposition 5.4: 正交分解系统C†充足当且仅当Fact(C†)充足（即Fact(C†)^{1 op}也是分解双范畴）。

span范畴的恢复

Corollary 5.6: 对充足分解系统C†，有自然等价：

Fact(C†)^{1 op} ≅ Fact(Span(C†))

这通过双范畴的操作恢复了span范畴构造，避免了通常涉及的简单复形组合学。

技术创新点

  1. 统一框架: 首次在∞-范畴层面建立了正交分解系统与双范畴的精确对应关系
  2. 纤维化统一: 将看似不同的纤维化概念（弯曲正交纤维化、op-Gray纤维化等）统一到双范畴纤维化框架中
  3. 计算方法: 通过双范畴操作计算自同构群，提供了新的计算工具
  4. 局部性刻画: 利用局部性条件精确刻画分解双范畴，连接了不同的数学结构

相关工作

历史发展

  • 经典理论: MacLane的正交分解系统理论，Ehresmann的双范畴理论
  • ∞-范畴推广: Joyal的∞-范畴正交分解系统，Haugseng的双∞-范畴
  • 最近进展: Štěpán Ště23在1-范畴情形的类似结果

纤维化理论

  • HHLN系列工作: HHLN23a,HHLN23b建立的纤维化理论
  • Nuiten的工作: Nui24关于双范畴纤维化的研究
  • Barwick的充足性: Bar17关于充足分解系统的理论

结论与讨论

主要结论

  1. 正交分解系统完全嵌入双范畴，本质像为分解双范畴
  2. 相关纤维化理论完全对应
  3. 充足分解系统的自同构群为Z/2Z
  4. span范畴构造可通过双范畴操作理解

理论意义

  • 统一理解: 为两个重要的范畴论概念提供了统一的视角
  • 计算工具: 提供了新的计算和理解这些结构的方法
  • 纤维化理论: 扩展了纤维化理论的适用范围

技术贡献

  • ∞-范畴方法: 展示了∞-范畴理论在理解经典结构中的威力
  • 局部性技术: 发展了利用局部性条件刻画数学对象的技术
  • 函子构造: 提供了在不同范畴结构间建立联系的系统方法

深度评价

优点

  1. 理论深度: 建立了两个重要概念间的深刻联系，具有很强的理论价值
  2. 技术精湛: 证明技术娴熟，充分利用了∞-范畴理论的现代工具
  3. 结果完整: 不仅建立了基本对应关系，还发展了相应的纤维化理论
  4. 计算价值: 提供了具体的计算结果（自同构群）

创新性

  1. 概念创新: 首次在∞-范畴层面精确化了正交分解系统与双范畴的关系
  2. 方法创新: 利用局部性条件和Yoneda嵌入的创新应用
  3. 理论贡献: 为纤维化理论提供了新的统一框架

局限性

  1. 抽象程度: 高度抽象，可能限制了直接应用
  2. 专业要求: 需要深厚的∞-范畴理论背景
  3. 计算复杂性: 虽然提供了理论框架，但具体计算仍可能复杂

影响力

  1. 理论影响: 为范畴论提供了新的统一视角
  2. 方法影响: 展示了∞-范畴方法的威力
  3. 后续研究: 为相关领域的进一步研究奠定了基础

适用场景

  • 高阶范畴论研究
  • 代数拓扑中的纤维化理论
  • 同伦理论中的分解系统研究
  • 双范畴理论的发展

参考文献

论文引用了丰富的参考文献，包括：

  • 经典文献：MacLane Mac50, Ehresmann Ehr63
  • ∞-范畴理论：Lurie Lur09b, Lur17, Joyal Joy08
  • 相关现代工作：HHLN系列 HHLN23a,HHLN23b, Nuiten Nui24, Štěpán Ště23

本论文为范畴论领域贡献了重要的理论结果，不仅建立了两个重要概念间的精确对应关系，还发展了相应的纤维化理论，展示了∞-范畴理论在理解和统一经典数学结构方面的强大威力。