代数几何中，通常习惯于对两个向量丛之间的微分算子有一个坐标无关描述。设formula_28与formula_29是流形formula_30上两个向量丛。截面的一个formula_31-线性映射formula_32称为一个"k"-阶微分算子，如果它分解穿过节丛formula_33。换句话说，存在一个向量丛的线性映射使得这里formula_36表示由formula_37，在截面上诱导的映射，而formula_38，是典范（或通用）"k"-阶微分算子。这恰好意味着对一个给定的截面formula_39