BV代数的规范固定

BV代数是在其中实现BV量子化算法的形式框架。除了编码在BV主方程中的规范对称性外，主作用通常还表现出进一步的全局对称性，这些对称性可以被规范固定。我们展示了如何在BV代数设置中实现这一点。根据全局对称性的性质，规范固定涉及耦合到一个具有不同数量鬼超对称性的纯鬼系统。耦合到N=0鬼系统产生一个普通规范理论，其可观测量由不变BV上同调适当分类。耦合到N=1鬼系统导致一个拓扑规范场论，其可观测量由等变BV上同调分类。耦合到更高N鬼系统产生具有更高拓扑对称性的拓扑规范场论。然而，在后一种情况下，出现了全新类型的问题，需要对标准BV代数框架进行修订。