twisted D-module)的概念。对于一个光滑的代数簇formula_14，一个带旋formula_4-算子是一个带有formula_134 (filtration)的结合代数层，其与formula_14的切丛formula_136所生成的作为泊松代数同构。该代数的模称为带旋formula_4-模。这一定义可以拓张到任何光滑代数栈。为了说明的简便，在本节中我们限制formula_3是一个单群，并引入以下记号：在这种情况下，对于每一个formula_145（对应于formula_139所对应的的