具备�策滤波器的初步同伦理论

本文旨在连接两个看似无关的重要理论：初步同伦理论与�策理论。我们构造了在准规范化基方案S上的初步同伦范畴，其中具有�策滤波器的上同调理论可被表示。每一such上同调理论都享有诸如尼斯维奇下 descent、立方不变性、消去不变性、光滑消去、Gysin 序列、射影丛公式以及Thom 同构等基本性质。在基方案S为完美域的 spectrum 时，每个 reciprocity 丘 sheaf的上同调被升级为在我们范畴中表示的具有�策滤波器的上同调理论。我们还讨论了本理论与其他非A¹-不变的初步同伦理论（如Binda、Park和Østvær的对数初步同伦理论以及Annala-Iwasa 的初步谱理论）之间的关系。