拓扑化与函数解析化 II：$\infty$-范畴动机构造在同伦语境中
摘要
这是我们关于相应拓扑化与相应函数解析化的第二篇考察。我们将聚焦于当前考察中相应的函子性与动机构造。我们考虑拓扑动机导出的 -进与导出的 -进上同调，通过 Bhatt、Guo、Illusie、Morrow、Scholze 的派生 de Rham 复形，以及 Kedlaya-Liu 的 Robba 环上的 Frobenius 层，在我们在本系列前期工作中为 Bambozzi-Ben-Bassat-Kremnizer -预栈所定义的某些派生 -进与派生 -进几何语境中。我们所依托的基础将基于 Bambozzi-Ben-Bassat-Kremnizer、Ben-Bassat-Mukherjee、Clausen-Scholze 和 Kelly-Kremnizer-Mukherjee 的工作，以将该构造推广到更一般的同伦与 -范畴语境。这使我们得以在 Bambozzi-Ben-Bassat-Kremnizer、Ben-Bassat-Mukherjee、Clausen-Scholze 和 Kelly-Kremnizer-Mukherjee 的框架中，构造函数解析的派生棱柱上同调与派生预完美oid化，以及继 Bhatt-Scholze 和 Koshikawa 之后的函数解析派生对数棱柱上同调与派生对数预完美oid化。
引用
@article{arxiv.2112.12679,
title = {Topologization and Functional Analytification II: $\infty$-Categorical Motivic Constructions for Homotopical Contexts},
author = {Xin Tong},
journal= {arXiv preprint arXiv:2112.12679},
year = {2022}
}
备注
128 pages. This is based on the author's UCSD dissertation on the Geometric and Representation Theoretic Aspects of p-adic Motives. The fifth version, added constructions for inductive systems of $\infty$-ringed $\infty$-toposes