我们研究了具有自由规范对称性的场论的一般结构,其中规范参数受微分方程约束。 非自由轨距对称性的示例包括单模重力中的体积保留微分和具有横向轨距对称性的各种较高自旋场理论。 具有自由轨距对称性的模型的所有已知示例均具有一个共同特征。 尽管它们不是拉格朗日方程及其导数的线性组合,但它们接受在壳体上消失的局部量。 我们将这些量称为质量壳完成函数。在具有不受约束的规范参数的通常规范对称的情况下,不可约规范代数涉及两个基本成分:动作函数生成器和规范对称生成器。 对于非自由轨距对称性的情况,我们确定了另外两个基本组成部分:轨距参数约束的运算符和完成函数。 这两个额外的成分与具有作用和量规对称性生成器的等足非