重访导出晶体上同调

我们证明了动画环的满射的 $\infty$-范畴是投射生成的，引入并研究了动画 PD-对的概念——带有“导出”PD-结构的动画环的满射。这使我们能够将经典结果推广到非平坦且非有限生成的情形。利用动画 PD-对，我们发展了导出晶体上同调的几种方法并建立了比较定理。作为一个应用，我们将导出晶体上同调与经典晶体上同调之间的比较从合谋（仿射）概型（由 Bhatt 给出）推广到拟合谋概型。我们还发展了棱镜与棱柱包的非完备动画类比。我们证明了动画棱柱包上的 Hodge-Tate 比较的一个变体，并由此推导出关于拟合谋概型的最终对象的平坦覆盖的一个结果，该结果推广了在光滑性与有限性条件下的若干已知结果。