。该代数的模称为带旋formula_4-模。这一定义可以拓张到任何光滑代数栈。为了说明的简便，在本节中我们限制formula_3是一个单群，并引入以下记号：在这种情况下，对于每一个formula_145（对应于formula_139所对应的的一个中心扩张），存在一个formula_16上的带旋formula_4-算子formula_151，对应于formula_152到自身的微分算子，其中formula_153是formula_16上的自带的行列式线丛。其对应的带旋formula_4-模范畴记作for