Abstract
We show that the Green’s functions in a non-linear gauge in the theory of perturbative quantum gravity is expressed as a series in terms of those in linear gauges. This formulation also holds for operator Green’s functions. We further derive the explicit relation between the Green’s functions in the theory of perturbative quantum gravity in a pair of arbitrary gauges. This process involves some sort of modified FFBRST transformations which are derivable from infinitesimal field-dependent BRST transformations.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Since its inception, general relativity has had many striking similarities to gauge theories. For instance, both involve the idea of local symmetry and therefore share a number of formal properties. Moreover, consistent quantum gauge theories are well established but as yet no satisfactory quantum field theory of gravity has been found. The structures of the Lagrangians of these theories are rather different. The Yang–Mills Lagrangian contains only up to four-point interactions, while the Einstein–Hilbert Lagrangian contains infinitely many interactions. Despite these differences, string theory provides us with sufficient reasons for claiming that gravity and gauge theories can, in fact, be unified. For example, the Maldacena conjecture [1, 2] relates the weak coupling limit of a gravity theory to a strong coupling limit of a special supersymmetric gauge field theory. With this similarity, the gauge theories are allowed to be used directly as a resource for computations in perturbative quantum gravity.
The perturbative quantum gravity as a gauge theory is a subject of extensive research [3–5]. For example, the mode analysis and Ward identities for a ghost propagator for perturbative quantum gravity have been demonstrated [6]. The Feynman rules and propagator for gravity in the physically interesting cases of inflation have been analyzed [7]. The propagator for a gauge theory exists only after fixing a gauge. For instance, the Landau and Curci–Ferrari type gauges have their common uses in perturbation theory [8, 9]. Being gauge-fixed, the theory loses their local gauge invariance. However, it possesses the rather different fermionic rigid BRST invariance [10, 11].
The BRST symmetry and the associated concept of BRST cohomology provide the most used covariant quantization method for constrained systems such as gauge and string theories [12, 13]. The BRST and the anti-BRST symmetries for perturbative quantum gravity in flat spacetime have also been investigated [14–16], which was summarized by Nakanishi and Ojima [17]. Recently, the BRST formulation for the perturbative quantum gravity in general curved spacetime has also been analyzed [18–20]. The usual infinitesimal BRST transformation has been generalized by allowing the parameter to be finite and field-dependent [21]. This FFBRST enjoys the properties of the usual BRST except that it does not leave the path integral measure invariant. For the FFBRST transformations have been found several applications in gauge field theories in flat spacetime [21–41] as well as in curved spacetime [42, 43]. The FFBRST formulation to connect the Green’s function of Yang–Mills theory in a set of two otherwise unrelated gauge choices has been established [45]. Nevertheless, the FFBRST formulation to connect Green’s functions has not been developed so far in the context of perturbative quantum gravity. The development of a FFBRST formulation to connect Green’s functions in perturbative quantum gravity is the goal of the present investigation.
In this paper, we discuss the usual FFBRST transformation in perturbative quantum gravity to connect the linear and non-linear gauges of the theory. Further, we establish a connection between arbitrary Green’s functions (or operator Green’s functions) in two sets of gauges for the theory of perturbative quantum gravity. In view of their extreme importance, we choose these to be the linear (Landau) and non-linear (Curci–Ferrari) type gauges. Here we find that to connect the Green’s functions of the theory rather than a connection of gauges we require a different FFBRST transformation. Finally, we establish a compact result expressing an arbitrary Green’s function or operator Green’s function in non-linear gauges with a closed expression involving similar Green’s functions in Landau gauges.
This paper is presented as follows. In Sect. 2, we present the usual FFBRST transformation for a general gauge theory. In Sect. 3, we recapitulate the FFBRST transformation to connect the linear and non-linear gauges in linearized gravity. In Sect. 4, we demonstrate a similar FFBRST transformation to connect the Green’s functions of the perturbative quantum gravity by a compact formula. In the last section, we summarize the results motivated by future developments.
2 The usual FFBRST transformations
In this subsection, we recapitulate the FFBRST transformation for the general gauge theory in general curved spacetime [46]. For this purpose, we first write the usual BRST transformation,
where \(\delta \Lambda \) is an infinitesimal and field-independent Grassmann parameter and \(\phi (x)\) is the generic notation of fields \((h, c, \bar{c}, b)\) involved in the theory of quantum gravity. One observes for a BRST transformation that its basic properties do not depend on whether the parameter \(\delta \Lambda \) is (i) finite or infinitesimal, (ii) field-dependent or not, as long as it is anticommuting and spacetime independent. This renders us the freedom to make the parameter \(\delta \Lambda \) finite and field-dependent without affecting its basic features. The first step toward this goal is to make the infinitesimal parameter field-dependent by interpolating a continuous parameter, \(\kappa \ (0\le \kappa \le 1)\), in the theory. The fields, \(\phi (x,\kappa )\), depend on \(\kappa \); \(\phi (x,\kappa =0)=\phi (x)\) is for the initial fields and \(\phi (x,\kappa =1)=\phi ^\prime (x)\) is for the transformed fields.
The infinitesimal field-dependent BRST transformation is defined by [21]
where \(\Theta ^\prime [\phi ( \kappa ) ]{\mathrm{d}\kappa }\) is the infinitesimal but field-dependent parameter. The FFBRST transformation is then obtained by integrating this infinitesimal transformation from \(\kappa =0\) to \(\kappa = 1\), as follows:
where
is the finite field-dependent parameter and \(f[\phi ]\) is given by
The resulting FFBRST transformation leaves the effective action invariant but the functional integral changes non-trivially under it [21]. Now we compute the Jacobian of the path integral measure under the FFBRST transformation.
We first define the Jacobian of the path integral measure under such transformations with an arbitrary finite field-dependent parameter, \(\Theta [\phi (x)]\), by
The Jacobian, \(J(\kappa )\), can be replaced within the functional integral as
where \( S_1[\phi (x), \kappa ]\) is a local functional of the fields if and only if the following condition is satisfied [21]:
The infinitesimal change in the Jacobian \(J(\kappa )\) is addressed with the following formula [21]:
where the \(+\) sign is used for bosonic fields \(\phi \) and the \(-\) sign is used for fermionic fields \(\phi \).
Recently, exactly similar FFBRST transformations have also been considered and a general Jacobian has been calculated explicitly in terms of the general finite parameter \(\Theta \) [47].
3 The FFBRST transformation in perturbative quantum gravity: preliminaries
In this section we consider perturbative quantum gravity in the framework of the FFBRST transformation. In particular we analyze the perturbative quantum gravity in linear and non-linear gauges. Then we generalize the BRST transformation by making the transformation finite and field-dependent. Furthermore, we establish the connection between these two gauges using the FFBRST transformation [46].
3.1 The linearized quantum gravity
Let us start by writing the classical Lagrangian density for gravity in general curved spacetime,
where R is the Ricci scalar curvature and \(\lambda \) is a cosmological constant. Here units are settled in such a manner that \(16\pi G=1\). In the weak approximation the full metric \(g_{ab}^f\) can be written as a sum of the fixed metric of background spacetime \(g_{ab}\) and the small perturbations around it, denoted by \(h_{ab}\). This fluctuation is considered as a quantum field that needs to be quantized. Therefore, numerically
Incorporating such a decomposition, the Lagrangian density given in (10) described in terms of \(h_{ab}\) remains invariant under the following coordinate transformation:
where the Lie derivative of \(h_{ab}\) with respect to the vector field \(\Lambda _a\) is defined by
The gauge invariance reflects the redundancy in physical degrees of freedom. Such a redundancy in gauge degrees of freedom produces constraints in the canonical quantization and leads to divergences in the generating functional. In order to fix the redundancy we choose the following gauge-fixing condition satisfied by the quantum field:
where the parameter \(\beta \ne 1\). This is so because \(\beta =1\) leads to vanishing conjugate momentum corresponding to \(h_{00}\) and therefore the generating functional diverges. This gauge-fixing condition on the quantum level comes about by adding the following term in the classical action:
The induced (Faddeev–Popov) ghost term is then defined by
where the Faddeev–Popov matrix operator \(M_{ab}\) has the following expression:
Henceforth, the effective action for perturbative quantum gravity in curved spacetime dimensions (in linear gauge) reads
which is invariant under the following BRST transformations:
Here we observe that the gauge-fixing and the ghost parts of the effective Lagrangian density are BRST-exact. Therefore,
The gauge-fixed fermion (\(\Psi \)) then has the expression
However, the gauge-fixing and ghost terms in the non-linear Curci–Ferrari gauge condition are written
where \(\alpha \) is a gauge parameter. For instance, the effective action, having such gauge-fixing and Faddeev–Popov ghost terms, in a non-linear gauge is given by
which remains unchanged under the following BRST transformations:
3.2 FFBRST transformation for linear to non-linear gauge
We construct the FFBRST transformation for perturbative quantum gravity utilizing the BRST transformation (19) as follows:
where \( \Theta [\phi ]\) is an arbitrary finite field-dependent parameter. To establish the connection between the Landau and the (non-linear) Curci–Ferrari gauge we opt for the finite field-dependent parameter constructed from the following infinitesimal field-dependent parameter:
Exploiting Eqs. (9) and (26) we calculate the change in Jacobian as
The local functional \(S_1\) in the expression (7) is written by
where the parameters \(\xi _i (i=1,2,\ldots ,7)\) depend explicitly on the parameter \(\kappa \) as follows [46]:
With these identifications of \(\xi _i (\kappa )\) the expression of \(S_1\) becomes
Therefore, the FFBRST transformation (25) changes the effective action in a functional integration as
After performing a shift in the Nakanishi–Lautrup field by \(\bar{c}^b \nabla _b c^a \), the above expression reduces to
which is nothing but the effective action for perturbative quantum gravity in a Landau gauge.
4 Relation between Green’s function for linear and non-linear gauges
In this section, we establish a procedure for a FFBRST transformation that transforms the generating functional (Green’s function) in one kind of a gauge choice to the generating functional in another kind of a gauge choice. For this purpose we define the generating functional for perturbative quantum gravity in a linear gauge,
which transforms under a FFBRST transformation \(\phi '(x)=\phi (x)+s\phi \Theta [\phi ]\) defined in (25) as follows:
Now, we want to implement this transformation to connect the Green’s functions in the two gauges for quantum gravity theory. According to the standard procedure, n-point Green’s functions in a non-linear gauge under the FFBRST transformation transform as
where \(\Delta G^{L}_{i_1,\ldots ,i_n}\) refers to the difference between the n-point Green’s functions in the two sets of gauges. This may involve additional vertices corresponding to insertions of operators \(s_{i_r}\phi \). But it seems technically incorrect for the following reasons.
A priori, it is not obvious that if condition (8) (for replacing the Jacobian to e\(^{iS_1}\)) holds for quantum gravity; then an equation modified to include an arbitrary operator \(\mathcal{O}[\phi ]\) of type
would also hold. Of course it does not hold in general for the reason discussed in [45]. For this reason, to connect the Green’s functions for the two type of gauges we need an elaborate treatment of the FFBRST transformation.
We begin with a general Green’s function in non-linear gauge defined by
where \(\mathcal{O}[\phi ']\) is an arbitrary operator. Therefore, (37) covers both the arbitrary operator Green’s functions and the arbitrary ordinary Green’s functions. Specifically, for \(\mathcal{O}_1[\phi ']=h'_{ab}h'_{cd}\), Eq. (37) describes the gauge graviton propagator, however, for \(\mathcal{O}_2[\phi ']=h'_{ab}\bar{c}'^{c} c'_c\) it describes the 3-point propagator. We want to express the Green’s function (G) of perturbative gravity entirely in terms of the linear type gauge Green’s functions (and possibly involving vertices from \(s\phi \)). So we define
where the form of operator \( \mathcal{O}[\phi (\kappa ),\kappa ]\) demands
Under a FFBRST transformation (\(\kappa =1\)), it reflects that
which coincides with (37), whereas at \(\kappa =0\) this reads
and is numerically equal to (40). Now, we need to determine the form of \(\mathcal{O}[\phi (\kappa ),\kappa ]\) in (38) so that the condition (39) gets satisfied. For this purpose, we perform the field transformation from \(\phi (\kappa )\) to \(\phi (\kappa +d\kappa )\) through an infinitesimal field-dependent BRST transformation defined in (2), which leads to
if and only if
So we get precisely the correct expression (43) for replacing the Jacobian of the path integral measure in the Green’s function of quantum gravity as e\(^{iS_1}\) instead of the incorrect one (36).
Exploiting the information of above expression, the required condition for the \(\kappa \)-independence of G is
Now, we construct the operator \(\mathcal{O}\) to satisfy
Then condition (44) automatically is satisfied. Now, we consider a new set of fields (\(\tilde{h}_{ab}, \tilde{c}_a, \tilde{\bar{c}}_a, \tilde{b}_a\)) having the following infinitesimal field-dependent BRST transformation:
where \(\tilde{B}^a= \tilde{b}^a-\kappa \tilde{\bar{c}}^b\nabla _b \tilde{c}^a\). These new fields satisfy the following boundary condition: \(\tilde{\phi (1)}=\phi (1)\). The condition (45) for \(\mathcal{O}[\tilde{\phi }(\kappa ),\kappa ]\) instead of \(\mathcal{O}[\phi (\kappa ),\kappa ]\) reads
Now utilizing \( \mathcal{O}[\tilde{\phi }(1),1]=\mathcal{O}[ \phi (1),1] =\mathcal{O}[ \phi '] \) we obtain
which tells us how the operator \(\mathcal{O}[\phi (\kappa ),\kappa ]\) evolves. To derive the FFBRST transformation corresponding to (46), we first define the modification in f of (5) as follows:
Therefore,
Performing an integration from 0 to \(\kappa \), we have
Similarly, integrating (46) we get the FFBRST transformation, written compactly as
Now we apply the FFBRST transformation (52) on the Green’s function in non-linear gauge (37)
Further, it can be written by
where \(iS_M= =iS_L+\kappa f_1[ {\phi }]+\frac{\kappa ^2}{2} f_2[{\phi }]\). In this way, we establish the connection between the Green’s function in two gauges in perturbative quantum gravity.
5 Concluding remarks
In this work, unlike the usual FFBRST transformation we have demonstrated a different FFBRST transformation in the case of perturbative quantum gravity to relate the arbitrary Green’s functions of the theory corresponding to two different gauges. For concreteness, we have considered the linear and the non-linear gauges from the point of view of their common usage in gravity theory. The Green’s functions in a non-linear gauge in the theory of perturbative quantum gravity is expressed as a series in terms of those in linear gauges. In this context we have shown the remarkable difference between the modified FFBRST transformation and the usual one. Further, being related to the usual FFBRST formulation, this modified FFBRST transformation is obtained by integration of (46). We hope that the final result, put in a simple form, will be very useful from a computational point of view in the theory of perturbative quantum gravity.
References
J. Maldacena, Int. J. Theor. Phys. 38, 1113 (1998)
O. Aharony, S.S. Gubser, J. Maldacena, H. Ooguri, Y. Oz, Phys. Rept. 323, 183 (2000)
T. Hatanaka, S.V. Ketov, Nucl. Phys. B 794, 495 (2008)
T. Hatanaka, S.V. Ketov, Class. Quant. Grav. 23, L45 (2006)
P. Aschieri, M. Dimitrijevic, F. Meyer, J. Wess, Class. Quant. Grav. 23, 1883 (2006)
N.C. Tsamis, R.P. Woodard, Phys. Lett. B 292, 269 (1992)
J. Iliopoulos, T.N. Tomaras, N.C. Tsamis, R.P. Woodard, Nucl. Phys. B 534, 419 (1998)
D. Dudal, H. Verschelde, V.E.R. Lemes, M.S. Sarandy, S.P. Sorella, M. Picariello, Ann. Phys. 308, 62 (2003)
D. Dudal, V.E.R. Lemes, M. Picariello, M.S. Sarandy, S.P. Sorella, H. Verschelde, JHEP 0212, 008 (2002)
C. Becchi, A. Rouet, R. Stora, Ann. Phys. 98, 287 (1974)
I.V. Tyutin, Lebedev Physics Institute preprint 39 (1975). arXiv: 0812.0580
M. Henneaux, C. Teitelboim, Quantization of Gauge Systems (Univ. Press, Princeton, 1992)
S. Weinberg, The Quantum Theory of Fields, Vol-II: Modern Applications (UK Univ. Press, Cambridge, 1996)
N. Nakanishi, Prog. Theor. Phys. 59, 972 (1978)
T. Kugo, I. Ojima, Nucl. Phys. B 144, 234 (1978)
K. Nishijima, M. Okawa, Prog. Theor. Phys. 60, 272 (1978)
N. Nakanishi, I. Ojima, Covariant operator formalism of gauge theories and quantum gravity (World Sci. Lect. Notes, Phys, 1990)
M. Faizal, Found. Phys. 41, 270 (2011)
S. Upadhyay, Phys. Lett. B 723, 470 (2013)
S. Upadhyay, Ann. Phys. 344, 290 (2014)
S.D. Joglekar, B.P. Mandal, Phys. Rev. D 51, 1919 (1995)
S.D. Joglekar, B.P. Mandal, Int. J. Mod. Phys. A 17, 1279 (2002)
R. Banerjee, B.P. Mandal, Phys. Lett. B 488, 27 (2000)
S. Upadhyay, S.K. Rai, B.P. Mandal, J. Math. Phys. 52, 022301 (2011)
S. Upadhyay, B.P. Mandal, Phys. Lett. B 744, 231 (2015)
S. Upadhyay, B.P. Mandal. arXiv:1407.2017 [hep-th]
S. Upadhyay, B.P. Mandal, Prog. Theor. Exp. Phys. 053B04, 1 (2014)
S. Upadhyay, B.P. Mandal, Eur. Phys. J. C 72, 2065 (2012)
S. Upadhyay, B.P. Mandal, Ann. Phys. 327, 2885 (2012)
S. Upadhyay, B.P. Mandal, EPL 93, 31001 (2011)
S. Upadhyay, B.P. Mandal, Mod. Phys. Lett. A 25, 3347 (2010). arXiv:1503.07390
B.P. Mandal, S.K. Rai, S. Upadhyay, EPL 92, 21001 (2010)
S. Upadhyay, M.K. Dwivedi, B.P. Mandal, Int. J. Mod. Phys. A 28, 1350033 (2013)
M. Faizal, B.P. Mandal, S. Upadhyay, Phys. Lett. B 721, 159 (2013)
R. Banerjee, B. Paul, S. Upadhyay, Phys. Rev. D 88, 065019 (2013)
S. Upadhyay, EPL 105, 21001 (2014)
S. Upadhyay, Phys. Lett. B 727, 293 (2013)
S. Upadhyay, EPL 104, 61001 (2013). arXiv:1308.0982 [hep-th]
R. Banerjee, B. Paul, S. Upadhyay, Phys. Rev. D 88, 065019 (2013)
S. Upadhyay, D. Das, Phys. Lett. B 733, 63 (2014)
R. Banerjee, S. Upadhyay, Phys. Lett. B 734, 369 (2014)
S. Upadhyay, Ann. Phys. 356, 299 (2015)
S. Upadhyay, Phys. Lett. B 740, 341 (2015)
A. Higuchi, S.S. Kouris, Class. Quant. Grav. 18, 4317 (2001)
S.D. Joglekar, A. Mishra, J. Math. Phys. 41, 1755 (2000)
S. Upadhyay, Ann. Phys. 340, 110 (2014)
P.M. Lavrov, O. Lechtenfeld, Phys. Lett. B 725, 382 (2013)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Funded by SCOAP3.
About this article
Cite this article
Upadhyay, S., Mandal, B.P. Green’s functions in perturbative quantum gravity. Eur. Phys. J. C 75, 327 (2015). https://doi.org/10.1140/epjc/s10052-015-3549-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-015-3549-8