局域动力学的规范型与规范对称性

本文提出了一种系统化方法，用于推导一般（不一定是变分）运动方程的所有规范对称性。对于变分方程，该方法可归结为带约束哈密顿系统的Dirac-Bergmann算法，并具有特定扩展：它仍适用于Dirac猜想范围之外的情形。尽管在一般非变分动力学中，约束与规范对称生成元之间不存在配对关系，但仍可在不借助任何泊松结构的情况下，识别出第一类和第二类约束的某些对应物。研究表明，一般局域规范动力学可等价地重述为对合规范型。最后一种动力学形式始终允许BRST嵌入，且无需经典方程遵循任何变分原理。