CC BY
31
UDC 530.1; 539.1
FINITE BRST-ANTIBRST TRANSFORMATIONS FOR THE THEORIES WITH GAUGE GROUP
P. Yu. Moshina, A. A. Reshetnyakbc
a Department of Physics, Tomsk State University, pi. Novosobornava, 1, 634050 Tomsk, Russia. b Department of Theoretical Physics, Tomsk State Pedagogical University, ul. Kievskaya, 60, 634061 Tomsk, Russia. c institute of Strength Physics and Material Science SB ofRAS, pr. Akademicheskii, 2/4, 634021 Tomsk, Russia.
E-mail: reshet@tspu.edu.ru
Following our recent results [P. Yu. Moshin, A. A. Reshetnyak, Nucl. Phys. B 888 (2014) 92], we discuss the notion of finite BRST-antiBRST transformations, with a doublet Aa, a = 1, 2, of anticommuting (both global and field-dependent) Grassmann parameters. We find an explicit Jacobian corresponding to this change of variables in the theories with gauge group. Special field-dependent BRST-antiBRST transformations for the Yang-Mills path integral with Sa-potential (functionally-dependent) parameters Aa = SaA generated % a finite even-valued functional A and the anticommuting generators Sa of BRST-antiBRST transformations, amount to a precise change of the gauge-fixing functional. This proves the independence of the vacuum functional under such BRST-antiBRST transformations and leads to presence of modified Ward identities. The form of transformation parameters that induces a change of the gauge in the path integral is found and is exactly evaluated for connecting two arbitrary R^-like gauges. The finite field-dependent BRST-antiBRST transformations are used to generalize the Gribov horizon functional ho, in the Landau gauge in BRST-antiBRST setting, in the Gribov-Zwanziger model and to find h^ corresponding to general R^-like gauges in the form compatible with gauge-independent S-matrix.
Keywords: gauge theories, BRST-antiBRST Lagrangian quantization, Yang-Mills theory, Gribov-Zwanziger model, field-dependent BRST-antiBRST transformations.
1 Motivations
The principles of the special supersymmetries known as BRST symmetry [1,2] and BRST-antiBRST symmetry [3-5] compose a basis of the modern quantization methods for gauge theories [6, 7]. Their peculiarities involve in the presence of a Grassmann-odd parameter p and two Grassmann-odd parameters (m,M), respectively. The latter parameters within the Sp (2)-covariant schemes of generalized Hamiltonian [8] and Lagrangian [9,10] quantizations (see [11] as well) (m,M) = (p1,M2) = Ma form an Sp (2)-doublet. These infinitesimal odd-valued parameters may be regarded both constants and field-dependent functionals to be used respectively for derivation of the Ward identities and for establishing of the gauge-independence of the corresponding partition function in the path integral approach.
In [12] the BRST transformations with a finite field-dependent parameter (FFDBRST) in the gauge theories with gauge group, i.e. Yang-Mills (YM) theories, whose quantum action is constructed by the Faddeev-Popov (FP) rules [13], were first introduced by means of a functional equation for the parameter in question, and used to provide the path integral with such a change of variables that would allow one to relate the quantum action given in a certain gauge with the one given in a different gauge however without it solving in the general setting. The
1For some aspects in study of the Gribov copies problem in YM
problem of establishing a relation of the FP action in a certain gauge with the action in a different gauge, by using a change of variables induced by a FFDBRST transformation was solved in [14], thereby providing an exact relation between a finite parameter and a finite change of the gauge-fixing condition in terms of the gauge Fermion. In particular, this result implies the conservation of the number of physical degrees of freedom in a given YM theory with respect to FFDBRST transformations, which means the impossibility of relating the Yang-Mills theory to another theory, whose action may contain, in addition to the FP action, certain non-BRST invariant terms (such as the Gribov horizon functional [15] in the Gribov-Zwanziger theory [16]) in the same configuration space1.
Note, first, the solution of a similar problem for arbitrary constrained dynamical systems in the generalized Hamiltonian formalism [22, 23] has been recently proposed in [24], second, for the general gauge theories, (possessing by reducible gauge symmetry and/or an open gauge algebra) an exact Jacobian generated by FFDBRST transformations in the path integral constructed according to the BV procedure [25] was obtained in [26] with resolution of the consistency of soft BRST symmetry breaking [27] problem.
Recently, we have proposed an extension of BRST-antiBRST transformations to the case of finite (both
theories in covariant, Landau, maximal Abelian gauges see [17-21].
global and field-dependent) parameters for Yang-Mills in [28] and general gauge theories [29-31] within the BRST-antiBRST Lagrangian and generalized Hamiltonian quantization methods (obtained also in [32]). Here, we review the origin of the concept of finite BRST-antiBRST transformations, and study on a base of their properties its influence on the quantum structure of YM theory in the framework of BRST-antiBRST setting.
We use the conventions introduced in [28]. In particular, unless otherwise specified by an arrow, derivatives with respect to the fields are taken from the right, and those with respect to the corresponding antifields are taken from the left. The raising (lowering) of Sp (2) indices, sa = £absb, sa = £absb, is fulfilled by a constant antisymmetric metric tensor £ab, £ac£cb =
subject to the normalization, e
12
1.
2 Proposal for Finite Field-Dependent BRST-antiBRST transformations
The generating functional of Green's functions for irreducible gauge theories with closed algebra within BRST-antiBRST Lagrangian quantization [9, 10] is given by
ZF (J) = f dt exp {± [SF (t) + Ja^a\) ,
(1)
S0 = -1/4 f ddxFnvFMvn,n = 1,..., N2 - 1,
YM theories. The rest terms in (2) the gauge-fixing term Sgf, the ghost term Sgh, and the interaction term Sadd, quartic in Cma are determined by,
Sgf = /ddx[(3MAm) + £/2Bm] Bm, Sgh = 1 J ddx (dMCma) DmnCnbe.
2
Sadd = - U ddx fmnl f lrsC saC rcC nbC md£ab£cd.
The action (3) is invariant with respect to infinitesimal gauge transformations 5Am = DmnZn with arbitrary
ab,
(5)
functions (a = Zn (£(a) = 0) on R1,d , whereas the infinitesimal BRST-antiBRST transformations, 50A = sa4>A^a, for YM theories in terms of anticommutiong generators sa: sasab + sbsa = 0,
M M
saSBm =1/2/nml (BlCna + (1/6)/lrsCsbCraCncecb),
(6)
depending on sources JA with BRST-antiBRST-invariant quantum action
Sf($) = So (A) + 1/2saSaF(A,C) = So (A) + Sgf (A, B) + Sgh (A,C)+ Sadd (C) , (2)
determined on the total configuration space parameterized respectively by the classical, Sp(2)-duplet of ghost-antighost, Nakanishi-Lautrup fields tA = (Ai,Caa,Ba) (subject to Grassmann parity
e(tA) = eA, eA = (e(Ai),e(Ba),e(Caa)) = (ei,ea,ea + 1) in condensed notations and being the
S0 F
classical gauge-invariant action and admissible gauge-
fixing Bosonic functional chosen here in quadratic
Ai =
AMn(x) given on d-dimensional Minkowski space and taking its values in the algebra Lie of SU(N) gauge group for ^Mv = diag(-, +,..., +)
sbCjma _ (^abBm _ (1/2)f mnl^jla^jn^^
leave the act ion SF and integr and X^ in ZF (0) == f XF % invariant only in the 1-st order in
To restore the total BRST-antiBRST invariance of SF and XF in the whole orders in ^a we introduced in [28] finite transformations of ¿A with a doublet Aa of anticommuting parameters, AaAb + AbAa = 0,
|A ^ ¿'A = |A + A|a = 4><a (||A) : | (l|0) = l, (7)
as the solution of the functional equation
G (|') = G (l) if saG (|) =0 (8)
for any regular functional G(|) invariant under infinitesimal BRST-antiBRST transformations. The general solution of (8) permits to restore finite BRST-antiBRST transformations in a unique way |A ^ l'A,
l'A = lA (1 + VaAa + 2A2) = lA exp{t_aAa}, (9)
where a set of elements {g(A)} = {exp{t_aAa}} forms Abelian two-parametric supergroup with
Aa
X F
FF X<f>g(\) = X4> '
(10)
(3)
given in terms of the strength F= Av]n + f nopA^°AvP and
F^(A, C) = _ 1 J ddx (AmAm» _ C/2£abCmaCmb) (4)
corresponding to R^-family of the gauges (with X(A, B) = 3^a + 2Ba = 0) within № rules for S (|) = 0
where we have used the fact established in [28] that under global finite transformations, corresponding to Aa = const, the integration measure remains invariant.
3 Jacobian for Finite BRST-antiBRST transformations
As we have mentioned above the Jacobian of the change of variables generated by global finite transformations, is equal to I:
Sdet ( j^) = 1 and d$' = dtfr. (11)
At the same time for finite field-dependent transformations, we show in [28] that for the particular case of functionally dependent parameters Aa = AVa, (s1A1 + s2A2 = —s2A) with a certain even-valued potential, A = A which is inspired by infinitesimal field-dependent BRST-antiBRST transformations with the parameters
Mo = £ab (AF) a X= — (saAF) ,
i 2h
(12)
for which with accuracy up to linear in AF terms the gauge independence of the integrand (therefore of the vacuum functional ZF(0)) follows
I0g(M(AF)) = +AF + o(AF)- In case of finite
field-dependent transformations with group element g(Ati~a) a set of which forms now non-Abelian 2-parametric supergroup, the superdeterminant of the change of variables takes the form
Sdet f ^ =
V
1 - 1 s2A
d^' = d^ expj| ihln (1 - 2s2A)2 j .
= d^exp{| [Sf (<£) + ihln(1 - 1 s2A)2]} .
IafV
2ih ^
1
(n + 1)! V4ih
-4- s°s„AF
And visa-verse having considered the equation (15) for unknown AF with given A we obtain
AF (¿) = — 2« A (s2A)-1 ln (1 — s2A/2)2 . (18)
Thus, the field-dependent transformations with the parameters Aa = saA amount to a precise change of the gauge-fixing functional. E.g. to relate ZFf (J) with ZFf+A£ (J) in R^- family of the gauges we should to fulfill FFDBRST-antiBRST transformations with parameters,
/ oo
Aa = AI£aj ddX BnCnb £
(n+1)!
AI / ddy
b^b^_ 1 fuwtftrscsccrpcwdcuq£
.
(13)
(14)
4 Compensation equation for Yang-Mills actions in different gauges
In view of the invariance of the quantum action SF under (9), the change ^ = ^Ag(A(^)) induces in (1) the following transformation of the integrand JF
tf
Due to the explicit form of the initial quantum action Sf = So - (1/2) FV2, the BRST-antiBRST-exact contribution ihln(1 + sasaA/2)2 to the action SF, resulting from the transformation of the integration measure, can be interpreted
cls cl change of the gauge-fixing functional made in the original integrand JF,
ih ln(1 + sasaA/2)2 = sasa (AF/2) (15)
=^ifs(a( 0)) =lF+AF, (16)
for a certain AF (^|A), whose relation to A(^>) is established from (15) called in [28] as well as compensation equation on unknown parameter A(^) to provide gauge independence of the vacuum functional, ZF(0) = ZF+AF(0). The explicit solution of (15) (which satisfies to the solvability condition because of BRST-antiBRST exactness of its both hand-sides) up to BRST-antiBRST-exact terms is given by the relations,
A (¿|AF) = 2AF (saSaAF)-1 exp (^sbs6AF) - 1]
(17)
5 Gauge Dependence Problem and modified Ward identities
The property (16) leads in [30], first, to a so-called modified Ward identity, depending on field-dependent parameters Aa = AVa and therefore on finite change of the gauge due to (17),
({1 + i Ja [XAaAa(A) — 2YaA2(A)] — 1 (|) 2£ab xJAIAaJbXBbA2(A)} (1 — 1 A<—2) -2)F J = 1, (20)
for (s>A,s2^A) = (XAa, —2YA) and, second, to a relation which describes the gauge dependence of ZF(J) for a finite change of the gauge F ^ F + AF:
AZf(J) = Zf(J) (iJa [XAaAa (¿| — AF) — ±YaA2 (¿| — AF)] — ( —1)£B ()2 Jb Ja x (XAaXBb) eabA2 (¿| — AF))F J . (21)
In (20), (21) the symbol "(A)FjJ" for a quantity A = A(^) stands for the source-dependent average expectation value corresponding to a gauge-fixing F
(A)f,j = Z-1 (J) / d^ A (¿) exp { i [Sf + J^]}
with (1)F J = 1. Note, for constant Aa from (20) follows Sp(2) ( )
first order in Aa JA (XAa)FJ = 0 and a derivative
Aa
( Ja [2Ya + (i/ft) £abXAa JbXBb])F J = 0 . (22)
6 Gribov-Zwanziger theory in BRST-antiBRST formulation in Landau and Feynman gauges
Fo
corresponds to Landau gauge we introduce Gribov
1
n
X
2
n
horizon functional in the same manner as in [16] in the FP procedure in Euclidian space
h(A) = j ddx (ddy fmrlA^(x)Kmn-1(x; y)
fnslA^s(y) + d(N2 _ 1)). (23)
with y2, Kmn(x; y) being a Gribov mass parameter determined from implied gap equation and FP matrix. Proper not BRST-antiBRST-invariant action in F0 reference frame looks as
Sh (|)= Sf0 (|) + Y2h (l) .
(24)
We determine the Gribov-Zwanziger theory in any F^ gauge (R^-gauge) in a way compatible with gauge-independent property for generating functional of Green's functions in F0 where Gribov Horizon in F^ gauge should be determined as
h = K1 + 4 (Va)(AF«a) E
1
(n +1)!
*1 _ lisAf_
16S2
(V 2) (AF5 )2
E
1
(n + 1)! V 4ih
1
_AF? V2
(25)
where AF^ is readily determined with account taken of (19); for details, see [281.
7 Conclusion
We have proposed the concept of finite BRST-antiBRST and FFDBRST-antiBRST transformations
Sp(2)
Lagrangian quantization. The Jacobian of the change of variables generated by FFDBRST-antiBRST transformations with functionally dependent parameters is exactly calculated. It is established that quantum YM action in different gauges is related to each other by means of FFDBRST-antiBRST transformations with functionally-dependent parameters obtained as the solution of the compensation equation. The new Ward identity and gauge dependence problem for finite change of the gauge for generating functional of Green's functions is derived and studied. The Gribov-Zwanziger theory in BRST-antiBRST formulation is suggested and Gribov horizon functional in the way compatible with S-matrix gauge independence in the Feynman and arbitrary-gauges is suggested.
Acknowledgement
This research has been supported by the by the RFBR grant, project No. 12-02-00121 and grant for LRSS, project No. 88.2014.2. It has also been partially-supported by the Ministry of Education and Science of the Russian Federation, grant No. 2014/223.
n
1
2
x
References
[1] Becchi C., Rouet A. and Stora R. 1974 Phys. Lett. B 52 344.
[2] Tyutin I. V. 1975 Lebedev Inst, preprint No. 39 [arXiv:0812.0580[hep-th]].
[3] Curci G. and Ferrari R. 1976 Phys. Lett. B 63 91.
[4] Alvarez-Gaume L. and Baulieu L. 1983 Nucl. Phys. B 212 255.
[5] Spiridonov V. P. 1988 Nucl. Phys. B 308 527.
[6] Gitman D. M. and Tyutin I. V. 1990 Quantization of Fields with Constraints (Springer) 291 p.
[7] Faddeev L. D. and Slavnov A. A. 1990 Gauge Fields, Introduction to Quantum Theory (Benjamin, Reading) 232 p.
[8] Batalin I. A., Lavrov P. M. and Tyutin I. V. 1990 J. Math. Phys. 31 6.
[9] Batalin I. A., Lavrov P. M. and Tyutin I. V., 1990 J. Math. Phys. 31 1487.
[10] Batalin I. A., Lavrov P. M. and Tyutin I. V., 1991 J. Math. Phys. 32 532.
[11] Hull C. M. 1990 Mod. Phys. Lett. A 5 1871.
[12] Joglekar S. D. and Mandal B. P. 1995 Phys. Rev. D 51 1919.
[13] Faddeev L. D. and Popov V. N. 1967 Phys. Lett. B 25 29.
[14] Lavrov P. and Lechtenfeld O. 2013 Phys. Lett. B 725 382 [arXiv:1305.0712[hep-th]].
[15] Gribov V. N„ 1978 Nucl. Phys. B 139 1.
[16] Zwanziger D„ 1989 Nucl. Phys. B 323 513.
[17] Sobreiro R. F. and Sorella S. P. 2005 JEEP 0506 054 [arXiv:hep-th/0506165],
[18] Dudal D„ Capri M. A. L„ Gracey J. A. et al. 2007 Braz. J. Phys. 37 320 [arXiv:1210.5651[hep-th]].
[19] Capri M. A. L., Granado D. R„ Guimaraes M. S. et al. 2014 Phys. Rev. D [arXiv: 1404.2573 [hep-th]].
[20] Gongyo S. and lida H. 2014 Phys. Rev. D 89 [arXiv:1310.4877[hep-th]].
[21] Dudal D„ Gracey J. A., Sorella S. P. et all, 2008 Phys. Rev. D 78 065047 [arXiv:0806.0348[hep-th]].
[22] Fradkin E. S. and Vilkovisky G. A. 1975 Phys. Lett. B 55 224; Batalin I. A. and Vilkovisky G. A. 1977 Phys. Lett. B 69 309.
[23] Henneaux M. 1985 Phys. Pep. 126 1.
[24] Batalin I. A., Lavrov P. M. and Tyutin I. V. 2014 Int. J. Mod. Phys. A [arXiv:1404.4154[hep-th]].
[25] Batalin I. A. and Vilkovisky G. A. 1981 Phys. Lett. B 102 27.
[26] Reshetnyak A. A. 2014 Int. J. Mod. Phys. A 29 1450184, [arXiv:1312.2092[hep-th]].
[27] Lavrov P., Lechtenfeld O. and Reshetnyak A. 2011 JEEP 1110 043.
[28] Moshin P. Yu. and Reshetnyak A. A. 2014 Nucl. Phys. B 888 92 [arXiv:1405.0790 [hep-th]].
[29] Moshin P. Yu. and Reshetnyak A. A. 2014 Phys. Lett B 739 110 [arXiv:1406.0179[hep-th]].
[30] Moshin P. Yu. and Reshetnyak A. A. [arXiv:1406.5086 [hep-th]].
[31] Moshin P. Yu. and Reshetnyak A. A. 2014 Int. J. Mod. Phys. A 29 1450159 [arXiv: 1405.7549 [hep-th]].
[32] Batalin I. A., Lavrov P. M. and Tyutin I. V., [arXiv:1405.7218[hep-th]].
Received 24.11.2014
П. Ю. Мошин, А. А. Решетняк
КОНЕЧНЫЕ БРСТ-АНТИБРСТ ПРЕОБРАЗОВАНИЯ ДЛЯ ТЕОРИЙ С
КАЛИБРОВОЧНОЙ ГРУППОЙ
Следуя нашим результатам [P. Yu. Moshin, A. A. Reshetnyak, Nucl. Phys. В 888 (2014) 92], мы обсуждаем понятие конечных БРСТ-антиБРСТ преобразований с дуплетом Аа, a = 1, 2, антикоммутирующих (как глобальных, так и зависящих от полей) грассмановых параметров. Мы непосредственно вычисляем якобиан, соответствующий этой замене переменных для теорий с калибровочной группой. Специальные зависящие от полей БРСТ-антиБРСТ преобразования для функционального интеграла полей Янга—Миллса с «а-потенцпальнымп (функционально-зависимыми) параметрами Аа = saA, порожденными конечным Грассманово-четным функционалом Л и антикоммутирующи-ми генераторами sa БРСТ-антиБРСТ преобразований, обеспечивают точную замену функционала, фиксирующего калибровку. Это доказывает независимость вакуумного функционала относительно таких БРСТ-антиБРСТ преобразований и приводит к наличию модифицированных тождеств Уорда. Найден вид параметров преобразований, которые индуцируют замену калибровки в функциональном интеграле, и они точно оцениваются для связи двух произвольных fí^-подобных калибровок. Конечные зависящие от полей БРСТ-антиБРСТ преобразования используются для обобщения функционала горизонта Грибова ho, в калибровке Ландау в БРСТ-антиБРСТ постановке, в модели Грибова-Цванцигера для нахождения функционала h^ соответствующего общим fí^-подобным калибровкам в виде, совместном с калибровочной независимостью S-матрицы.
Ключевые слова: калибровочные теории, БРСТ-антиБРСТ лагранжево квантование, теории Янга-Миллеа, модель Грибова-Цванцигера, зависящие от полей БРСТ-антиБРСТ преобразования.
Мошин П. Ю., кандидат физико-математических наук. Томский государственный университет. Пл. Новособорная, 1, 634050 Томск, Россия. E-mail: moshin@rambler.ru
Решетняк А. А., кандидат физико-математических наук. Томский государственный педагогический университет.
Ул. Киевская, 60, 634061 Томск, Россия. E-mail: reshet@tspu.edu.ru
Институт физики прочности и материаловедения СО РАН.
Пр. Академический, 2/4, 634021 Томск, Россия. E-mail: reshet@ispms.tsc.ru
