[论文解读] Generalized bornological coarse spaces and coarse motivic spectra

Daniel Heiss|arXiv (Cornell University)|Jul 9, 2019

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

一句话总结

本论文通过放宽单点必须有界的公理，引入了广义的粗化有界空间，构建了一个完备且共完备的范畴，该范畴扩展了经典的有界空间粗化范畴。证明了包含函子在动机粗化谱上诱导出等价关系，因此在所有C-值粗化同调理论中亦成立，表明广义框架在同伦理论目的下与经典框架范畴等价。

ABSTRACT

We generalize the notion of a bornology by omitting the condition that a one-point-subset is bounded and obtain a complete and co-complete generalization of the category of bornological coarse spaces. Then we imitate the construction of motivic coarse spectra in this new setting and show that the inclusion functor from the category of bornological coarse spaces to its generalization induces an equivalence of motivic coarse spectra. In particular, for any stable co-complete $\infty$-category $C$, it induces an equivalence between the category of $C$-valued coarse homology theories on bornological coarse spaces and the category of $C$-valued coarse homology theories on generalized bornological coarse spaces.

研究动机与目标

• 解决经典有界空间粗化范畴中缺乏完备性与共完备性的问题。
• 通过去除单点必须有界的条件，推广有界空间粗化概念。
• 构建一个完备且共完备的广义有界空间粗化范畴。
• 建立从经典到广义空间的包含函子在动机粗化谱与同调理论上的等价性。
• 证明粗化同调理论与动机谱在该推广下保持等价。

提出的方法

• 通过在有界性的公理中省略单点子集必须有界的条件，定义广义的有界空间粗化。
• 将新范畴的$\Gamma$-等变推广构造为范畴$\bm{\Gamma}\widetilde{\text{B}}\text{ornCoarse}$。
• 通过极限与上确界的显式构造，证明$\bm{\Gamma}\widetilde{\text{B}}\text{ornCoarse}$既完备又共完备。
• 通过预层的局部化与稳定化，定义广义的动机粗化谱$\bm{\Gamma}\text{S}\widetilde{\text{p}}\bm{\mathcal{X}}$。
• 证明包含函子$U: \bm{\Gamma}\text{BornCoarse} \to \bm{\Gamma}\widetilde{\text{B}}\text{ornCoarse}$保持所有极限与上确界。
• 通过涉及层范畴与局部化、稳定化的普遍性质的一系列等价关系，建立$\infty$-范畴的等价关系$\bm{\Gamma}\text{S}\widetilde{\text{p}}\bm{\mathcal{X}} \simeq \bm{\Gamma}\text{S}\text{p}\bm{\mathcal{X}}$。

实验结果

研究问题

• RQ1 若去除单点必须有界的条件，是否能获得有界空间粗化的一个合理推广？
• RQ2 由此产生的广义有界空间粗化范畴是否完备且共完备？
• RQ3 广义与经典范畴的动机粗化谱之间有何关系？
• RQ4 从经典到广义空间的包含函子是否在动机粗化谱上诱导出等价关系？
• RQ5 对于任意稳定且共完备的$\infty$-范畴$\mathcal{C}$，广义范畴上的粗化同调理论是否与经典范畴上的同调理论等价？

主要发现

• 广义$\Gamma$-等变有界空间粗化范畴$\bm{\Gamma}\widetilde{\text{B}}\text{ornCoarse}$既完备又共完备。
• 包含函子$U: \bm{\Gamma}\text{BornCoarse} \to \bm{\Gamma}\widetilde{\text{B}}\text{ornCoarse}$保持所有极限与上确界。
• 该包含函子在广义与经典动机粗化谱之间诱导出$\infty$-范畴的等价关系$\bm{\Gamma}\text{S}\widetilde{\text{p}}\bm{\mathcal{X}} \simeq \bm{\Gamma}\text{S}\text{p}\bm{\mathcal{X}}$。
• 对于任意稳定且共完备的$\infty$-范畴$\mathcal{C}$，该包含函子在经典与广义范畴上的$\mathcal{C}$-值粗化同调理论之间诱导出等价关系。
• 该等价关系通过涉及层范畴与局部化、稳定化普遍性质的一系列等价关系建立。
• 结果表明，广义框架并未扩展粗化同调理论，而是提供了更便利的范畴基础。