Point-set models for homotopy coherent coalgebras

这篇论文题为《同调相干余代数的点集模型》（Point-Set Models for Homotopy Coherent Coalgebras），由 Dan Petersen, Victor Roca i Lucio 和 Sinan Yalin 撰写。文章主要解决了在微分分次（dg）设置下，如何为同调相干余代数（homotopy coherent coalgebras）构建明确的点集模型（point-set models）的问题，并证明了这些模型与 $\infty$-范畴定义下的余代数范畴是等价的。

以下是该论文的详细技术总结：

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

• 代数与余代数的不对称性： 在代数领域，Lurie 等人已经建立了著名的“整流定理”（Rectification Theorem），即 $E_1$-代数（或更一般的 $\mathcal{O}$-代数）的 $\infty$-范畴等价于点集层面上严格结合代数（或 $\mathcal{O}$-代数）在拟同构下的局部化。然而，对于余代数，这一结论并不成立。
• 现有方法的局限性：
  • 试图通过取对偶（$C^{op}$）将余代数转化为代数来处理是行不通的，因为闭幺半范畴（closed monoidal categories）的对偶通常不再是闭幺半范畴，且自由余代数的构造极其复杂（不像自由代数那样有简单的公式）。
  • 现有的反例表明，在一般拓扑空间或谱的范畴中，同调相干余代数无法被严格化（rectified）为点集层面的严格余代数（例如，所有结合余代数在点集层面自动成为 cocommutative，但在 $\infty$-层面并非如此）。
• 核心问题： 是否存在一种合理的假设（例如限制在**上纤维化（cofibrant）算子（operad）**上），使得同调相干余代数的 $\infty$-范畴等价于点集层面上某种严格定义的余代数范畴（在拟同构下局部化）？

2. 方法论 (Methodology)

作者采用了一种基于**细胞附着（cell attachments）**的归纳法，结合 $\infty$-范畴理论和模型范畴技术来解决这一问题。

• $\infty$-范畴余代数的定义：
  • 作者首先定义了在富化 $\infty$-范畴（enriched $\infty$-operad）上的余代数。
  • 由于对偶 Schur 函子（dual Schur functor）在 $\infty$-层面仅具有“弱余单子”（lax comonad）性质，无法直接定义代数。作者借鉴 Heuts 的方法，将定义域扩展到Pro-对象（pro-objects）范畴 $\text{pro}(\mathcal{D})$。
  • 通过构造对偶 Schur 函子在 Pro-范畴上的延拓 $\widehat{\text{Sc}}_{\text{pro}}$，使其成为强幺半函子，从而将 $\mathcal{P}$-余代数定义为 $\text{pro}(\mathcal{D})$ 中 $\widehat{\text{Sc}}_{\text{pro}}(\mathcal{P})$-余代数范畴与 $\mathcal{D}$ 的拉回（pullback）。
• 整流策略（归纳法）：
  • 步骤 1（自由算子）： 证明对于自由 dg 算子 $T(M)$（其中 $M$ 是上纤维化的对称序列），其 dg 余代数范畴在拟同构下的局部化等价于 $\infty$-范畴中的余代数。这利用了余代数范畴作为端函子（endofunctor）余代数的拉回性质。
  • 步骤 2（细胞附着）： 利用 dg 算子的半模型结构，任何上纤维化算子都可以看作是通过细胞附着（cell attachments）从自由算子构建的。作者证明了余代数范畴函子将算子的余极限（colimits）转化为余代数范畴的极限（limits）。
  • 步骤 3（同伦极限）： 关键的技术难点在于证明这些点集层面的拉回在 $\infty$-层面确实是同伦拉回（homotopy pullback）。作者使用了相对范畴（relative categories）和完全 Segal 空间（complete Segal spaces）的模型，证明了限制函子在特定条件下是拟范畴的纤维化（fibration of quasi-categories）。
• 对偶性处理： 避免了直接处理复杂的“自由余代数”构造，而是通过算子的对偶性质和 Pro-范畴的延拓来绕过这一障碍。

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

主要定理

• 定理 A (Theorem A)： 设 $k$ 为域，$D(k)$ 为链复形的导出 $\infty$-范畴。对于 $A_\infty$-算子（即上纤维化的 dg 算子），存在一个等价：
  $$\text{Coalg}(D(k)) \simeq A_\infty\text{-coalg}[Q.iso^{-1}]$$
  这意味着 $A_\infty$-余代数的 $\infty$-范畴等价于点集层面 $A_\infty$-余代数范畴在拟同构下的局部化。
• 定理 C (Theorem C)： 推广到任意上纤维化 dg 算子 $\mathcal{P}$。存在等价：
  $$\mathcal{P}\text{-coalg}[Q.iso^{-1}] \simeq \text{Coalg}_{\mathcal{P}}(D(k))$$
  其中左边是点集层面 dg $\mathcal{P}$-余代数的局部化，右边是 $D(k)$ 上由 $\mathcal{P}$ 诱导的富化 $\infty$-算子下的余代数 $\infty$-范畴。
• 定理 B (Theorem B)： 建立了 Lurie 定义的（非富化）$\infty$-算子 $\mathcal{O}$-余代数与本文定义的富化 $\infty$-算子 $\mathcal{F}(\mathcal{O})$-余代数之间的等价性，确保了定义的兼容性。

具体应用

• 定理 D (Theorem D)： 提供了 $E_\infty$-余代数的显式点集模型。
  • 考虑 Barratt-Eccles dg 算子 $E$ 及其上纤维化解 $\Omega BE \xrightarrow{\sim} E$。
  • 证明了单纯集上的胞链函子 $C_*(-; k)$ 可以提升到 dg $\Omega BE$-余代数范畴，这给出了 $\infty$-范畴中链函子及其 $E_\infty$-余代数结构的点集模型。
• p-进同伦类型的模型：
  • 结合 Bachmann-Burklund 的定理（关于 $p$-进同伦类型的链函子完全忠实性），作者移除了之前结果中关于“有限型（finite type）”的假设。
  • 推论 1.15： 对于特征 $p>0$ 的可分闭域 $k$，任意点化的幂零单纯集 $X$，其到绝对分区 $L_\infty$-代数的单位映射在 $F_p$ 系数同调下是等价。这使得可以在点集层面构建幂零 $p$-进同伦类型的代数模型，无需有限型假设。

4. 意义与影响 (Significance)

1. 填补理论空白： 长期以来，同调相干余代数缺乏像代数那样成熟的点集模型和整流理论。本文首次证明了在 dg 设置下，对于上纤维化算子，这种整流是可能的。
2. 计算工具： 为研究者提供了在经典模型范畴（如 dg 余代数范畴）中计算 $\infty$-范畴性质的工具。例如，可以计算极限、余极限、映射空间等，而无需完全依赖抽象的 $\infty$-范畴语言。
3. 拓扑应用： 为 $p$-进同伦理论提供了新的代数模型。特别是，它允许将 Mandell 关于 $E_\infty$-代数的定理对偶化到余代数侧，并去除了“有限型”这一限制性条件，从而能够处理更广泛的拓扑空间（如非有限型的 $p$-进空间）。
4. 统一框架： 这项工作为后续研究（如文中提到的 [PRiLY26]）奠定了基础，旨在统一文献中各种 Bar-Cobar 伴随关系（包括 1-范畴和 $\infty$-范畴版本），特别是在 $E_n$-和 $E_\infty$-情形下。

总结

这篇论文通过引入富化 $\infty$-算子上的余代数定义，并利用 Pro-范畴技术和细胞附着归纳法，成功建立了微分分次余代数的点集模型与 $\infty$-范畴模型之间的等价性。这一突破不仅解决了同调代数中的一个长期难题，还为 $p$-进同伦理论提供了强有力的计算工具和更广泛的适用范围。