Cores and localizations of $(\infty,\infty)$-categories

本文通过核心函子和局部化函子研究 $(\infty,\infty)$-范畴，比较了由此产生的两个 $(\infty,1)$-范畴，并证明局部化极限是核心极限的反射性局部化，同时探讨了由余归纳等仅在 $d=\infty$ 时涌现的可逆性概念所定义的中间局部化。

要点

这是一篇关于**“无限维数学结构”（称为 $(\infty, \infty)$-范畴）的深奥论文。为了让你轻松理解，我们可以把这篇论文想象成是在探讨“如何给一个无限复杂的乐高城堡定义‘完全相等’和‘完全可逆’"**。

1. 核心背景：什么是 $(\infty, \infty)$-范畴？

想象你在搭乐高。

• 0 维：是积木块（对象）。
• 1 维：是把积木块连起来的连接件（箭头/函数）。
• 2 维：是连接件之间的“连接件”（比如两个连接件怎么拼在一起才算是“一样”的）。
• 3 维、4 维...：以此类推，直到无限。

在普通的数学里，如果两个东西“相等”，那就是完全一样。但在 $(\infty, \infty)$-范畴里，“相等”本身也是一个可以无限细分的过程。

• 两个连接件 $A$ 和 $B$ 相等吗？
• 也许它们不相等，但有一个“变形过程”把 $A$ 变成 $B$（2 维箭头）。
• 那这个变形过程本身相等吗？也许需要另一个变形过程来连接它们（3 维箭头）。
• 这个过程可以无限进行下去。

这篇论文研究的就是这种无限层级的结构。

2. 两个视角的冲突：核心（Core）vs. 局部化（Localization）

作者发现，当我们试图定义这种“无限结构”时，有两种非常自然但截然不同的方法，就像是用两种不同的滤镜看同一个世界：

方法 A：核心法（The Core / 右极限）——“只保留完美的”

想象你是一个完美主义者。你手里有一个无限复杂的乐高城堡。

• 你的规则是：“只有那些能完美反转、没有任何损耗的连接，才算数。”
• 任何稍微有点“歪”或者“不可逆”的连接，你都会把它扔掉。
• 结果：你得到的是一个非常纯净、非常对称的结构。在这个结构里，所有能动的箭头都是“可逆”的。
• 比喻：就像你在整理房间，只保留那些“完美对称”的装饰品，把任何不对称的杂物都扫进垃圾桶。

方法 B：局部化法（The Localization / 左极限）——“强行让一切可逆”

想象你是一个实用主义者（或者是个大力士）。你手里也有同一个乐高城堡。

• 你的规则是：“不管这个连接原本能不能反转，我都要强行把它变成能反转的！”
• 如果两个连接件 $A$ 和 $B$ 不能直接互换，你就发明一个新的连接件，强行把它们连起来，假装它们可以互换。
• 结果：你得到的是一个结构，里面充满了各种“强行制造”的等价关系。很多原本不同的东西，在这里都被视为“一样”了。
• 比喻：就像你为了把房间整理得井井有条，把那些不对称的杂物强行“压平”或者“粘合”在一起，让它们看起来好像是对称的。

3. 论文的主要发现：谁更“大”？谁更“强”？

作者通过严密的数学推导，发现这两个视角并不是平行的，而是有层级关系的：

• 核心法（完美主义）是基础：它保留了更多的细节。
• 局部化法（实用主义）是核心法的“简化版”。
• 关键结论：局部化法得到的结构，其实是核心法结构的一种“反射”或“投影”。
  • 如果你用“核心法”看世界，你能看到很多细微的差别。
  • 如果你用“局部化法”看世界，你会把很多在“核心法”中不同的东西，强行视为相同。
  • 比喻：想象“核心法”是一张超高清的 8K 照片，而“局部化法”是把这张照片压缩成了低像素的 JPG。JPG（局部化）丢失了很多 8K（核心）中的细节信息。

论文证明了： 从“核心法”到“局部化法”的过程，就像是一个**“去噪”或“模糊化”**的过程。这个过程会抹平一些特定的“弱等价”（Weakly $\infty$-surjective maps），让原本不同的东西变得一样。

4. 中间地带：共归纳（Coinduction）与 $\omega$-完备性

在“完美”和“强行”之间，作者还发现了一些中间状态，这就像是在寻找“既不完全丢弃细节，也不完全强行粘合”的平衡点。

• 共归纳（Coinduction）：这是一种**“无限递归”**的定义方式。

  • 想象你在定义“什么是可逆”。
  • 普通定义：$A$ 可逆，如果存在 $B$ 使得 $A \to B \to A$ 是恒等。
  • 共归纳定义：$A$ 可逆，如果存在 $B$，且 $A \to B$ 和 $B \to A$ 之间又有“可逆的变形”，而这些变形之间又有“可逆的变形”……无限循环下去。
  • 这就像是一个无限套娃。只要你能无限地套下去，你就被认为是“可逆”的。

• 发现：

  • 有些结构满足这种“无限套娃”的可逆性（共归纳完备），但它们并不满足“局部化法”的要求。
  • 这意味着，“无限递归的可逆”（共归纳）比**“强行可逆”（局部化）要更严格**，但也更微妙。
  • 作者举了一个例子（$E(\omega)$），就像一个无限长的梯子。在这个梯子上，每一步看起来都能往上爬（共归纳可逆），但你永远无法真正到达顶端（它不是局部化后的结果）。

5. 总结：这篇论文讲了什么故事？

如果把数学宇宙比作一个无限维度的迷宫：

1. **左派（局部化）**说：“别管细节了，把所有路都修成双向的，这样大家都能随便走！”（结果：路变多了，但很多路是强行修的，细节丢失了）。
2. **右派（核心）**说：“只有那些天然就是双向的路才算数，其他的都别算！”（结果：路变少了，但每条路都真实可靠）。
3. 作者说：“其实，左派的世界是右派世界的一种投影。而且，在两者之间，还有一种**‘无限递归’**的视角（共归纳），它比左派更严格，但比右派更灵活。我们证明了这三者之间的精确关系，并发现有些结构在‘无限递归’视角下是完美的，但在‘强行可逆’视角下却会崩塌。”

一句话总结：
这篇论文通过建立一套精密的数学框架，理清了当我们面对“无限维度”的数学对象时，“保留所有细节”（核心）和**“强行简化”（局部化）这两种处理方式之间的深刻联系，并揭示了其中隐藏的“无限递归”（共归纳）这一微妙层次。它告诉我们，“看起来一样”和“本质上一样”**在无限的世界里，有着非常复杂的区别。

技术摘要

这是一份关于论文 《(∞, ∞)-范畴的核心与局部化》 (Cores and Localizations of (∞, ∞)-Categories) 的详细技术总结。该论文由 Viktoria Ozornova, Martina Rovelli 和 Tashi Walde 撰写。

1. 研究背景与问题 (Problem)

在无穷范畴理论中，$(\infty, d)$-范畴是指那些在维度 $d$ 以上所有箭头都可逆的范畴。当 $d \to \infty$ 时，如何定义 $(\infty, \infty)$-范畴（即所有维度的箭头都参与，且没有预设的“最高维可逆”界限）是一个长期存在的难题。

论文主要探讨了两个通过极限过程构造 $(\infty, \infty)$-范畴的通用方法，并研究它们之间的关系：

1. 核心极限 (Core-limit)：通过核心函子 (Core functor, $R_d$) 构造。该函子移除 $(\infty, d+1)$-范畴中所有非可逆的 $(d+1)$-箭头，只保留可逆部分。这对应于“右”$(\infty, \infty)$-范畴（记为 $\text{Cat}^R_\infty$）。
2. 局部化极限 (Localization-limit)：通过局部化函子 (Localization functor, $L_d$) 构造。该函子形式地使 $(\infty, d+1)$-范畴中所有 $(d+1)$-箭头可逆。这对应于“左”$(\infty, \infty)$-范畴（记为 $\text{Cat}^L_\infty$）。

核心问题：
这两个极限构造出的 $(\infty, 1)$-范畴 $\text{Cat}^R_\infty$ 和 $\text{Cat}^L_\infty$ 之间是什么关系？是否存在一种自然的映射？哪一个更能代表“真正的”$(\infty, \infty)$-范畴？论文指出，由于 $L_d$ 和 $R_d$ 分别是全嵌入 $I_d$ 的左、右伴随，这两个极限范畴之间存在一个伴随对，但 $L$ 并非全忠实（fully faithful），这意味着 $\text{Cat}^L_\infty$ 是 $\text{Cat}^R_\infty$ 的一个真局部化。

2. 方法论 (Methodology)

作者采用了一种公理化与抽象化相结合的方法，结合具体的 $(\infty, d)$-范畴模型：

• 双归纳系统 (Biinductive Systems)：
  作者将 $(\infty, d)$-范畴的层级结构抽象为一个“双归纳系统”。在这个系统中，范畴序列 $C_0 \subseteq C_1 \subseteq \dots$ 具有左伴随（局部化 $L_d$）和右伴随（核心 $R_d$）。
• 偏倚 (Bias)：
  为了处理 $L$ 和 $R$ 之间的不对称性，作者引入了“偏倚”的概念（Definition 4.9）。这是一个由子范畴 $S_n$ 组成的序列，用于捕捉“$n$-满射”（$n$-surjective）映射的性质。这些性质包括：
  • 检测同构性。
  • 与伴随函子 $L_d, R_d$ 的相容性。
  • 可数复合下的封闭性。
  • 消去律（Cancellation laws）。
• $n$-满射性 (n-surjectivity)：
  这是贯穿全文的关键技术工具。一个映射是 $n$-满射的，如果它在对象上是满的，且在低维箭头上的诱导映射是 $(n-1)$-满射的。这推广了拓扑中 $n$-连通映射的概念。
• 内部可逆性 (Internal Invertibility)：
  在 Section 5 中，作者从内部结构出发，定义了共归纳同构 (coinductive isomorphisms) 和 $\omega$-同构 ($\omega$-isomorphisms)。这些概念不依赖于外部的局部化函子，而是基于箭头本身是否存在无限层级的逆元塔。

3. 主要贡献与结果 (Key Contributions & Results)

A. 主定理：反射局部化 (Main Theorem)

论文证明了 $\text{Cat}^L_\infty$ 是 $\text{Cat}^R_\infty$ 的一个反射局部化 (reflective localization)。

• 定理 4.25：存在一个伴随对 $L: \text{Cat}^R_\infty \rightleftarrows \text{Cat}^L_\infty : R$，其中 $R$ 是全忠实的。
• 局部化对象：$L$ 精确地反转了弱 $\infty$-满射映射 (weakly $\infty$-surjective maps)。
• 意义：这确立了 $\text{Cat}^L_\infty$ 作为 $\text{Cat}^R_\infty$ 的一个特定子范畴的地位，解决了两者关系的结构性问题。

B. 共归纳完备性 (Coinductive Completeness)

• 定义：一个 $(\infty, \infty)$-范畴被称为共归纳完备的，如果其中所有的共归纳同构（即具有无限逆元塔的箭头）实际上都是真正的同构。
• 结果：作者证明了 $\text{Cat}^R_\infty$ 到其共归纳完备子范畴 $\text{Cat}^{coind}_\infty$ 的局部化，正是通过反转 $\infty$-满射映射实现的（Corollary 5.31）。
• 对比：$\text{Cat}^L_\infty$ 包含在 $\text{Cat}^{coind}_\infty$ 中，但通常不等于它。

C. $\omega$-完备性与反例

• $\omega$-同构：定义为对于任意有限高度 $n$ 都存在逆元塔，但不一定存在统一的无限塔。
• 反例 (Example 5.45)：作者引用 Henry-Loubaton 的构造，展示了一个共归纳完备但不是 $\omega$-完备 的范畴 $E(\omega)$。
• 推论：由于 $\text{Cat}^L_\infty$ 中的对象必须是 $\omega$-完备的（Proposition 5.55），而 $E(\omega)$ 是共归纳完备但不是 $\omega$-完备的，因此 $E(\omega)$ 不在 $\text{Cat}^L_\infty$ 的像中。这证明了 $\text{Cat}^L_\infty \subsetneq \text{Cat}^{coind}_\infty$。

D. 具体例子的行为

• 跨度范畴 (Spans)：$\text{Cat}^R_\infty$ 中的跨度范畴（Spans）在局部化 $L$ 下会坍缩为平凡范畴（Example 4.26）。
• 配边范畴 (Cobordisms)：完全对偶化的配边范畴在 $L$ 下坍缩为其 $(\infty, 0)$-局部化（即群胚），因为所有箭头都变成了可逆的（Corollary 5.43）。

4. 关键发现总结表

概念	定义/性质	关系
$\text{Cat}^R_\infty$	右 $(\infty, \infty)$-范畴 (核心极限)	基础宇宙，包含所有结构
$\text{Cat}^L_\infty$	左 $(\infty, \infty)$-范畴 (局部化极限)	$\text{Cat}^R_\infty$ 的反射局部化
弱 $\infty$-满射	$L$ 反转的映射类	定义了 $\text{Cat}^L_\infty$
共归纳完备	共归纳同构 = 同构	$\text{Cat}^L_\infty \subseteq \text{Cat}^{coind}_\infty$
$\omega$-完备	$\omega$-同构 = 同构	$\text{Cat}^L_\infty \subseteq \text{Cat}^\omega_\infty \subsetneq \text{Cat}^{coind}_\infty$

5. 意义与影响 (Significance)

1. 澄清了 $(\infty, \infty)$-范畴的歧义：
   长期以来，关于 $(\infty, \infty)$-范畴的定义存在“左”和“右”两种观点。本文严格证明了它们并非等价的，而是存在一个自然的包含关系（通过局部化）。这为选择正确的模型提供了理论依据。

2. 建立了公理化框架：
   通过引入“偏倚”和“双归纳系统”，作者将具体的 $(\infty, d)$-范畴模型（如 Segal 空间、拟范畴等）中的复杂性质抽象出来。这意味着主定理不仅适用于特定的模型，而且适用于任何满足这些公理的系统，增强了理论的普适性。

3. 揭示了内部可逆性的层次：
   论文详细区分了“共归纳同构”、“$\omega$-同构”和“有限层级同构”。它表明，仅仅要求所有箭头在某种意义下“无限可逆”（共归纳完备）并不足以得到 $\text{Cat}^L_\infty$；还需要更强的条件（$\omega$-完备性）。这揭示了无穷范畴中“可逆性”概念的微妙层级结构。

4. 解决了开放问题：
   论文部分解决了 Loubaton 提出的猜想，证明了 $\text{Cat}^L_\infty$ 是 $\text{Cat}^{coind}_\infty$ 的真子集，并指出了 $E(\omega)$ 作为反例的重要性。同时，论文提出了关于 $\omega$-完备性是否足以刻画 $\text{Cat}^L_\infty$ 的新猜想（Conjecture 5.57），为后续研究指明了方向。

总结：
这篇论文通过精妙的公理化构造和具体的反例分析，彻底厘清了 $(\infty, \infty)$-范畴中两种主要极限构造（核心与局部化）之间的关系。它证明了“左”$(\infty, \infty)$-范畴是“右”$(\infty, \infty)$-范畴的一个特定的反射局部化，并深入探讨了内部可逆性概念（共归纳与 $\omega$-可逆）在这一结构中的核心作用。这项工作为高维范畴论的基础研究奠定了坚实的理论基础。