形式堆栈上的导出代数与棱柱计量

本文研究导出代数（以 Bhatt-Mathew 和 Raksit 的定义为准）如何与形式导出几何交互，具体而言是原primit化理论中出现的形式导出堆栈。作为应用，我们证明了在某类过滤形式堆栈上的导出代数的分类定理，这些堆栈包括其准协同层为完美核环上的棱柱计量的堆栈。我们在此过程中，等等，研究了导出代数在导出几何中沿图示准仿射态射的行为，例如将源上的导出代数完整分类为目标上接收来自源结构层推送的映射的导出代数。我们还指出了如何将部分结果扩展到（形式）可对角化群方案的分类堆栈。作为副作用，我们还展示了即使是准协同层在形式堆栈上（在我们所知的情况下）尚未在导出几何文献中出现的分类定理。这些结果的动机是作者即将发表的工作，但希望对一般用途有所帮助。