微分域上的微分

给定微分域 $K$ 上的代数 $A$，我们研究与 $K$ 上导子相容的 $A$ 上的导子。存在一个泛对象，它是通常微分模的一个扭曲版本，我们建立了它的一些基本性质。在微分代数几何的背景下，人们得到这些 $\tau$-微分的层，其可解释为簇的 prolongation 上的某些自然函数，正如 Buium 所研究的那样。该层对应于簇的 Kodaira-Spencer 类。