Недавно я попробовал получить тождества Славнова-Тейлора для неабелевых калибровочных теорий, используя факт, что производящий функционал
![$$
\tag 1 Z[J] = \int DB D\bar{\Psi}D\Psi D\bar{c}Dc e^{iS},
$$ $$
\tag 1 Z[J] = \int DB D\bar{\Psi}D\Psi D\bar{c}Dc e^{iS},
$$](https://dxdy-02.korotkov.co.uk/f/9/e/e/9eebbe2bf0b76e3fd2169ee7fcd236a782.png)
где
![$$
S = S_{YM}(B, \partial B) + S_{M}(\Psi , D\Psi) + S_{ghosts} + \int d^{4}x \left[-\frac{1}{2\alpha}(\partial_{\mu}B^{\mu}_{a})^{2} + \sum_{\varphi}(J_{\varphi} \cdot \varphi ) \right],
$$ $$
S = S_{YM}(B, \partial B) + S_{M}(\Psi , D\Psi) + S_{ghosts} + \int d^{4}x \left[-\frac{1}{2\alpha}(\partial_{\mu}B^{\mu}_{a})^{2} + \sum_{\varphi}(J_{\varphi} \cdot \varphi ) \right],
$$](https://dxdy-03.korotkov.co.uk/f/6/a/a/6aada3a24ce0f11b412d9b096d879dcc82.png)

инвариантен относительно преобразований полей вида
![$$
\varphi \to \varphi^{\omega} \approx \varphi + \delta_{\omega}\varphi :
\left(\frac{\delta }{\delta \omega }\prod_{i}\frac{\delta }{\delta J_{\varphi_{i}}} Z[J]\right)_{J, \omega = 0} = 0.
$$ $$
\varphi \to \varphi^{\omega} \approx \varphi + \delta_{\omega}\varphi :
\left(\frac{\delta }{\delta \omega }\prod_{i}\frac{\delta }{\delta J_{\varphi_{i}}} Z[J]\right)_{J, \omega = 0} = 0.
$$](https://dxdy-04.korotkov.co.uk/f/7/5/a/75aee51340dd936bebe2f0fc86e3903182.png)
Применяя эти рассуждения к
![$\left( \frac{\delta}{\delta J_{\mu}^{A}}Z[J]\right)_{J = 0}$ $\left( \frac{\delta}{\delta J_{\mu}^{A}}Z[J]\right)_{J = 0}$](https://dxdy-03.korotkov.co.uk/f/6/e/9/6e97ad4bec5ec6c8d758bf3c955353a082.png)
для случая теории

,

я получил
![$$
\left(\frac{\delta}{\delta \omega (z)}\frac{\delta}{J_{\mu}^{A}(x)} Z[J]\right)_{J, \omega =0} = \int \prod_{\varphi}D \varphi \left(\frac{\partial }{\partial x_{\mu}}\delta (x - z) - \frac{i}{\alpha}A_{\mu}(x)\partial^{2}\partial^{\nu}A_{\nu}(z)\right) e^{iS} = 0
$$ $$
\left(\frac{\delta}{\delta \omega (z)}\frac{\delta}{J_{\mu}^{A}(x)} Z[J]\right)_{J, \omega =0} = \int \prod_{\varphi}D \varphi \left(\frac{\partial }{\partial x_{\mu}}\delta (x - z) - \frac{i}{\alpha}A_{\mu}(x)\partial^{2}\partial^{\nu}A_{\nu}(z)\right) e^{iS} = 0
$$](https://dxdy-04.korotkov.co.uk/f/f/2/2/f2291f455cbae73ad91aaa754e31d07182.png)
(выведение представлено по ссылке (
http://www.itp.phys.ethz.ch/research/qf ... script.pdf ), на стр. 99).
Однако для случая неабелевых теорий, когда

получить тождества Славнова-Тейлора (которые соответствуют тождествам по ссылке,
http://www.scholarpedia.org/article/Sla ... identities , проварьированным один раз по

) не получается. Возникает куча слагаемых, которых нет в тождестве по ссылке.
Где я делаю ошибку?