在标准的W–X公式和Sp(2)-扩展的场对场形式主义中,系统地研究了有限的BRST-BV转换。 通过制定新的李方程,引入了有限的BRST-BV变换。 得出了轨距固定主动作X的相应有限变化和相应的Ward身份。