[论文解读] Exponentiable Higher Toposes

Mathieu Anel, Damien Lejay|arXiv (Cornell University)|Feb 28, 2018

Homotopy and Cohomology in Algebraic Topology参考文献 6被引用 3

一句话总结

该论文将可指数的 ∞-拓扑空间表征为那些其 ∞-层范畴是连续的 ∞-范畴，即从 ind-对象到其列极限的函子存在左伴随。它引入了 ω-连续层——满足有限极限与过滤列极限条件的函子——并利用此工具证明：在可指数的 ∞-拓扑空间上，其稳定层的 ∞-范畴在现代表示稳定 ∞-范畴的 ∞-范畴中是自对偶的。

ABSTRACT

We characterise the class of exponentiable $\infty$-toposes: $\mathcal X$ is exponentiable if and only if $\mathcal S\mathrm{h}(\mathcal X)$ is a continuous $\infty$-category. The heart of the proof is the description of the $\infty$-category of $\mathcal C$-valued sheaves on $\mathcal X$ as an $\infty$-category of functors that satisfy finite limits conditions as well as filtered colimits conditions (instead of limits conditions purely); we call such functors $ω$-continuous sheaves. As an application, we show that when $\mathcal X$ is exponentiable, its $\infty$-category of stable sheaves $\mathcal S\mathrm{h}(\mathcal X, \mathrm{Sp})$ is a dualisable object in the $\infty$-category of presentable stable $\infty$-categories.

研究动机与目标

• 通过其层 ∞-范畴的连续性来表征可指数的 ∞-拓扑空间。
• 通过满足有限极限与过滤列极限条件的 ω-连续函子，提出一种对 ∞-拓扑空间上 C-值层的新描述。
• 在现代表示稳定 ∞-范畴的 ∞-范畴中，建立可指数 ∞-拓扑空间上稳定层的 ∞-范畴的自对偶性。
• 将 ∞-范畴的张量积与 ∞-拓扑空间 ∞-范畴中的乘积结构联系起来，从而实现对可指数对象的结构分析。

提出的方法

• 引入 ω-连续层的概念：即从一个小的、有限完备的子范畴 D 到 ∞-范畴 C 的函子，满足涉及双模 w: Dop × D → S 的合收条件。
• 使用合收公式 F(a) ≃ ∫_{b ∈ D} w(a,b) ⊗ F(b) 来表示可指数 ∞-拓扑空间 X 上的 C-值层。
• 在 ∞-范畴中应用合收与左凯恩扩张的理论，将层 ∞-范畴描述为 ind-对象的余反射局部化。
• 依赖自由 ∞-逻辑斯的普遍性质与伴随函子定理，通过左正合函子来表征层 ∞-范畴。
• 使用稳定化函子 C ↦ C ⊗ Sp 将现代表示 ∞-范畴与稳定 ∞-范畴联系起来，并利用此工具在 Presst 中证明自对偶性。
• 利用对称单体 ∞-范畴中，自对偶对象的截影也是自对偶的这一事实，得出 Sh(X, Sp) 的自对偶性。

实验结果

研究问题

• RQ1 如何通过其层 ∞-范畴的结构来表征可指数的 ∞-拓扑空间？
• RQ2 如何使用有限极限与过滤列极限而非仅极限来描述 ∞-拓扑空间上的层 ∞-范畴？
• RQ3 在现代表示稳定 ∞-范畴的 ∞-范畴中，何时 ∞-拓扑空间上的稳定层 ∞-范畴是自对偶的？
• RQ4 ∞-范畴的张量积如何与 ∞-拓扑空间 ∞-范畴中的乘积结构相互作用？
• RQ5 是否能通过在 Presst 中利用 ind-对象与稳定化函子的截影论证，建立 Sh(X, Sp) 的自对偶性？

主要发现

• 当且仅当其层 ∞-范畴 Sh(X) 是连续的，即 ind(Sh(X)) → Sh(X) 的列极限函子存在左伴随时，∞-拓扑空间 X 是可指数的。
• 在可指数 ∞-拓扑空间 X 上，C-值层的 ∞-范畴与满足合收条件 F(a) ≃ ∫_{b ∈ D} w(a,b) ⊗ F(b) 对所有 a ∈ D 成立的 ω-连续函子 F: Dop → C 的 ∞-范畴同构。
• 当 X 是可指数时，稳定层 ∞-范畴 Sh(X, Sp) 在现代表示稳定 ∞-范畴的 ∞-范畴中是自对偶的。
• Presst 中的自对偶对象恰好是形如 P(D) ⊗ Sp 及其截影的 ∞-范畴，且证明 Sh(X, Sp) 是此类范畴的截影。
• 稳定化函子保持自对偶性，当 D 具有有限列极限时，Ind(D) ⊗ Sp 是 P(D) ⊗ Sp 在 Presst 中的截影。
• 证明依赖于 ∞-范畴的张量积与通过合收识别内函子，将经典层理论推广至 ∞-范畴设定。