Quantization of Weyl invariant unimodular gravity with antisymmetric ghost fields

The enforcement of the unimodularity condition in a gravity theory by means of a Lagrange multiplier leads, in general, to inconsistencies upon quantization. This is so, in particular, when the classic linear splitting of the metric between the background and quantum fields is used. To avoid the need of introducing such a Lagrange multiplier while using the classic linear splitting, we carry out the quantization of unimodular gravity with extra Weyl symmetry by using Becchi-Rouet-Stora-Tyutin (BRST) techniques. Here, two gauge symmetries are to be gauge-fixed: transverse diffeomorphisms and Weyl transformations. We perform the gauge-fixing of the transverse diffeomorphism invariance by using BRST transformations that involve antisymmetric ghost fields. We show that these BRST transformations are compatible with the BRST transformations needed to gauge-fix the Weyl symmetry, so that they can be combined in a set of transformations generated by a single BRST operator. Newton's law of gravitation is derived within the BRST formalism we put forward as well as the Slavnov-Taylor equation.

Unimodular gravity -see Refs.[1] and [2], for introductions-solves [3,4,5,6,7] a part of the so-called Cosmological Constant problem, for in that gravity theory the vacuum energy does not gravitate.Indeed, all the field configurations in unimodular gravity have got determinant equal to ´1 .
There exists sundry approaches to the quantization of unimodular gravity, e.g., Refs.[8,9,10,11,12,13,14,15,16].It is not known whether they give rise to the same quantum theory on a Minkowski background, for they involve different sets of ghosts.This is an open problem, as it is their equivalence to quantum General Relativity when the Cosmological Constant is not set to zero.
It has been shown recently -see Ref. [17]-that the unimodularity condition cannot be implemented in the path integral by using a Lagrange multiplier unless the unimodularity condition be equivalent to imposing a linear constraint on the graviton field.This fact precludes the use of the classic linear splitting of the metric into background metric and graviton field if the unimodularity condition is to be enforced by using a Lagrange multiplier.As also shown in Ref. [17] the problem goes away if the so-called exponential splitting [18] is used.We think that it is quite a drawback to have a formalism where the classic linear splitting -which is standardly used in General Relativity-cannot be employed.This is so even sidestepping the issue that even in General Relativity the exponential parametrization may not yield the same quantum theory as the linear splitting: the exponential parametrization is not a field redefinition of the linear splitting -see Ref. [19] and Refs.therein.
In Refs.[9,11,14] and [16] the unimodularity condition is imposed by using a Lagrange multiplier and thus those formalisms do not make sense for the linear splitting of the metric.In Refs.[8,12,13] and [15] the exponential parametrization is implemented already at classical level and prior to quantization.The BRST formalism put forward in Ref. [10] admits any kind of parametrization in terms of background and quantum fields -the linear and exponential parametrizations, in particular-for no Lagrange multiplier is introduced.Indeed, in Ref. [10], building on Refs.[20] and [21], the unimodularity condition is solved, prior to quantization, by expressing the unimodular metric, ĝµν , in terms of an unconstrained tensor field g µν as follows ĝµν pxq " g µν pxq |g| 1{D pxq .
(1.1) D is the space-time dimension.Several properties of the formalism set up in Ref. [10] have been analyzed leading to sound results -see Refs.[22], [23] and [24], for recent publications.
Let us recall that because of Eq. (1.1) the classical action of unimodular gravity has two gauge symmetries: transverse diffeomorphisms and Weyl transformations of g µν .This is why the gravity theory in question is called Weyl invariant unimodular gravity.
As we have pointed out above, the BRST formalism put forward in Ref. [16] breaksdown at the quantum level if the classic linear splitting of the metric is employed.This is the parametrization originally considered in Ref. [16].Of course, the inconsistency disappears if the exponential parametrization is used.The question arises as to whether this formalism can be modified so that the classic linear splitting can be utilized consistently.
The purpose of this paper is to show that, by using Eq.(1.1), the framework of Ref. [16] can be combined with part of the formalism of Ref. [10] so that the linear splitting of the gravity field works at the quantum level: no Lagrange multiplier is needed here to enforce the unimodularity condition.That this combination works is non trivial since the implementation of Eq. (1.1) introduces an additional gauge symmetry -a Weyl symmetry-in the theory.This gauge symmetry leads to additional BRST transformations which might clash with BRST transformations arising from the transverse gauge transformations as defined in Ref. [16].
The layout of this paper is as follows.In section 2 we discuss the Becchi-Rouet-Stora-Tyutin (BRST) quantization of our unimodular theory.This second section contains several subsections since our unimodular theory has two gauge symmetries, namely, transverse diffeomorphisms and Weyl transformations.In subsection 2.1, we carry out the gauge-fixing of the invariance under transverse diffeomorhisms by adapting to our case the BRST formalism of Ref. [16].Subsection 2.2 is devoted to the analysis of the gauge-fixing of the Weyl symmetry by using BRST methods.In this latter subsection, we show the compatibility of the BRST transformations associated to transverse diffeomorphism and the BRST transformations coming from the Weyl transformations.We prove that the two BRST operators, each generating one of those two BRST transformations, can be combined into a single BRST operator.This single operator gives rise to the full BRST invariance of the theory.In subsection 2.3, we give the full BRST invariant action of the theory.We make a consistency check of the BRST formalism we have put forward by obtaining, in section 3, Newton's potential.In section 4, we derive the Slavnov-Taylor equation, and the corresponding linearized Slavnov-Taylor operator, for cohomological techniques will be needed to obtain sensible renormalized radiative corrections: as we shall discuss, dimensional regularization does not preserve the BRST symmetry of the theory.

BRST quantization.
In 4 space-time dimensions, the classical action of the unimodular theory with Weyl invariance reads S class " 2 where ĝµν is defined in terms of the unconstrained field g µν in Eq. (1.1), g µν being the dynamical field variable.R rĝs above denotes the Ricci scalar for unimodular metric ĝµν .
The action in Eq. (2.1) has two gauge symmetries acting on g µν : it is invariant under transverse diffeomorphisms and under Weyl transformations.The infinitesimal transverse diffeomorphisms x µ Ñ x µ `ξµ T , with B µ ξ µ T " 0 , are defined as follows: where ξ T µ " g µν ξ ν T and ∇ µ is the covariant derivative for g µν .The infinitesimal Weyl transformations read g µν Ñ g µν `δg µν , δg µν " 2θg µν , θ being an infinitesimal scalar field.Notice that these transformations leave ĝµν , as defined in Eq. (1.1), invariant by construction.
Before going ahead, let us show that the transformation in (2.2) generates an infinitesimal transverse diffeomorphism of ĝµν : where ξT µ " ĝµν ξ ν T and ∇µ is the covariant derivative with regard to ĝµν .The previous variation of ĝµν leaves its determinant invariant, since ∇µ ξ µ T " B µ ξ µ T for a unimodular metric.Indeed δĝ " ĝĝ µν δĝ µν " ´ĝ Below we shall use which are equivalent to Eqs. (2.2) and (2.3), respectively 2.1 BRST formalism for the transverse diffeomorphisms.
In this subsection we shall adapt the formalism put forward in Ref. [16] to case at hand, i.e., the metric, ĝµν , will be unimodular from the very beginning, its transverse diffeomorphisms being generated by the transverse diffeomorphisms of g µν -see Eqs.(2.2), (2.3) and (2.4)-and the transversality of ξ µ T is not with regard to the covariant derivative of g µν , but with regard to the partial derivative.This entails a modification, though minor, of the formalism in Ref. [16], for transversality in Ref. [16] -see its Eq.(1.8)-is with regard to the covariant derivative of the metric; this metric being unimodular only after having solved for the Lagrange multiplier.
Although only a minor modification of the formalism in Ref. [16] is needed for our transverse diffeomorphisms, we shall give all the relevant details to make this subsection self-consistent and to set the notation.
Let B D denote the BRST operator with ghost number 1 and let us introduce the transverse ghost fields c µ T ( N ghost pcq " 1 ) and c ν T ( N ghost pcq " ´1 ), where N ghost stands for the ghost number.The action of B D on g µν reads which in turn -see Eq. (2.3)-induces the following BRST transformation of ĝµν : Eqs. (2.6) and (2.7) are the BRST counterparts of the transformations in Eq. (2.5), respectively.Note that ∇ µ denotes the covariant derivative with regard to g µν .
We should keep in mind that when a linear splitting of g µν into background, g µν , and quantum, h µν , fields is carried out, g µν " g µν `hµν , the BRST transformation in Eq. (2.6) boils down, by definition, to (2.8) ∇ µ is the covariant derivative with regard to g µν .
The action of the BRST operator on the ghost fields is defined to be 12) The reader should always bear in mind that, for any vector field since ĝµν has determinant equal to ´1 .
Taking into account the previous definitions and that it is easy to show that B D is nilpotent: Once we have defined the action of the BRST operator on the fields, we may try to use, in a naïve way, the BRST quantization procedure and add to the classical lagrangian the following BRST-exact object to define the path integral.But this will not do for the ghost fields we have introduced are constrained fields and we do not know its integration measure.To overcome this difficulty we shall solve the constraints as done in Ref. [16].Indeed, the constraints in Eq. (2.12) can be solved by introducing three unconstrained, antisymmetric tensor fields c νµ , c νµ and b νµ and express c µ T , c µ T and b µ T in terms of the former as follows Notice that ∇ν c νµ " B ν c νµ , and so on, since the metric ĝµν is unimodular; however, we have decided to keep the covariant derivative for ĝµν to render any comparison with the results in Ref. [16] straightforward.
We may now define the path integral of the theory by integrating over de unconstrained fields c νµ , c νµ and b νµ .But, unfortunately that path integral will not be well defined because the use of Eq. (2.15) will give rise to a new gauge invariance: the substitutions do not change the values of c µ T , c µ T and b µ T , respectively, if c ρνµ , d ρνµ and b ρνµ are antisymmetric tensor fields.This gauge invariance comes from the mismatch between the 3 independent components of, say, c µ T and the 6 independent components of c ρνµ .We shall fix this mismatch, and remove the corresponding gauge invariance, by gauge-fixing.This gaugefixing will demand the introduction of new ghosts -called second generation ghosts, which will be antisymmetric tensor fields of rank 3.This second generation ghosts will give rise in turn to a new gauge symmetry, which will lead to the introduction of a third generation of new ghosts -rank 4 antisymmetric tensors.This process is called ghost for ghost process.As we shall see below the ghost for ghost process stops after introducing the rank 4 tensor ghosts if the dimension of space-time is 4, but this is not so if the dimension of space-time is greater than 4. We thus conclude that the field content of the quantum theory depends on the spacetime dimension.

BRST variations of the first generation ghosts.
Let us work out the action of the BRST operator B D on the first generation ghosts c νµ , c νµ and b νµ , which are the rank 2 antisymmetric tensor fields introduced in Eq. (2.15).Let V µν 1 ...νn a rank n `1 antisymmetric tensor field.Then the following result ∇µ V µν 1 ...νn " B µ pV µν 1 ...νn q leads to Taking into account the previous equation and Eqs.(2.9) and (2.15), one gets ∇ν pB D c νµ ´cν T c µ T q " 0.
The general solution to this equation reads The symbol d ρνµ denotes a new ghost which is an antisymmetric tensor field of rank 3 and it is called a second generation ghost.
We are now ready to define the action of B D on the first generation ghost, antighost and auxiliary field: (2.18)The symbol pµ 1 , µ 2 ...q stands for full symmetrization so that already symmetric objects are left invariant.

Second generation ghosts and BRST transformations.
We have already discussed in the last paragraph of subsection 2.1 that the transformations in Eq. (2.16)To remove the gauge invariance generated by the need of second generation ghosts one introduces gauge-fixing conditions.The gauge-fixing conditions we choose read ∇ rρ c νµs " 0 and ∇ rρ c νµs " 0. (2.19) The Lagrange multiplier BRST doublets needed to implement them in the Lagrangian are pd ρνµ , c ρνµ q and pb ρνµ , c ρνµ q, (2.20) respectively.The symbol rµ 1 , µ 2 ...s denotes antisymmetrization with regard to the indices so that antisymmetric indices are left invariant.Note that the gauge-fixing term for the gauge transformation of b νµ is obtained using the BRST transformation of c νµ .
Let us now introduce the BRST transformations of the second generation ghosts.The first equation in (2.17) and the requirement that B 2 D " 0 leads to the following equation to be satisfied by The general solution to this equation runs thus: The symbol t σρνµ stands for a new ghost field which is a rank 4 antisymmetric field, i.e., a third generation ghost.
We are now ready to define the action of the BRST operator on the second generation ghosts: ( The new fields c ρνµ and c ρνµ constitute BRST doublets with d ρνµ and b ρνµ , respectively. Recall Eq. (2.20) and the key point that indices are raised and lowered with the unimodular metric ĝµν .
Furnished with the gauge-fixing conditions in Eq. (2.19) and the BRST transformations in Eq. (2.22), we are ready to introduce a ghost Lagrangian that removes the gauge symmetry arising from the introduction of second generation ghosts, i.e., the gauge invariance under the transformations in Eq. (2.16): (2.23)

Third generation ghosts and their BRST transformations.
At least one gauge symmetry still occurs in our theory -we have not discussed the Weyl symmetry yet.This gauge symmetry is generated by rank 4 antisymmetric fields and arises from the invariance of the ghost Lagrangian in Eq. (2.23) under the following transformations (2.24) The fields t σρνµ , t σρνµ , b σρνµ , b σρνµ , c σρνµ and c σρνµ , which generate the previous gauge transformations will be promoted to ghost fields becoming third generation ghosts.
To remove the gauge invariance of the Lagrangian under the gauge transformations in Eq. (2.24), we shall introduce -as done in Ref. [16]-the following gauge-fixing conditions: ρνµs " 0 and ∇ rσ b ρνµs " 0. ( The Lagrange multiplier BRST doublets used to implement the previous gauge-fixing conditions are the following pt σρνµ , d σρνµ q, pc σρνµ , d σρνµ q and pc σρνµ , b σρνµ q, respectively. In the previous list, we have not included any gauge-fixing conditions for c ρνµ and c ρνµ since they will be generated, via the action of the BRST operator, by the gauge-fixing terms in the Lagrangian that implement the gauge-fixing conditions for b ρνµ and d ρνµ , respectively -see Eq. (2.27) below.
Let us define next the BRST transformations for the third generation ghosts t σρνµ , t σρνµ , b σρνµ , c σρνµ and c σρνµ .Let us begin with the BRST transformation of t σρνµ .Since we must have B 2 D " 0 , Eq. (2.21) leads to The general solution to this equation reads No new ghosts occur this time since, in 4 dimensions, no rank 5 antisymmetric tensor exists.
We are now in the right position to define the BRST transformations (2.26) The gauge-fixing conditions in Eq. (2.25) and the BRST transformations in Eq. (2.26) lead to the following part of the BRST invariant Lagrangian which carries out the gauge-fixing of the symmetries in Eq. (2.24): ´i ∇σ c σρνµ ¨BD pĝ ρκ ĝντ ĝµλ q b κτ λ ı . (2.27)

31) L
pDq ghost above can be obtained from the corresponding expression in Ref. [16] by choosing in the latter the unimodular metric ĝµν as the spacetime metric.
In table 1, the reader may find a summary of the action of B D on the Hodge duals introduced above 2.2 Gauge-fixing the Weyl invariance and the complete BRST operator.
Let us recall that in our formalism, in the path integral defining our theory, we must integrate over the unconstrained field g µν , not over ĝµν .Also recall ĝµν is defined in terms of g µν by 1st generation 2nd generation 3rd generation Table 1: BRST transformations of the Hodge duals.N ghost stands for the ghost number.
Eq. (1.1).Now, it is the unimodular metric ĝµν , the metric that enters L pDq ghost and, hence, L pDq ghost depends on g µν only through ĝµν .It then follows that L pDq ghost has a gauge symmetry, the following Weyl symmetry: g µν pxq Ñ g µν pxq `δW g µν pxq, δ W g µν pxq " 2θpxqg µν pxq, (2.32) where θ is an arbitrary scalar field.
The Weyl symmetry we have just mentioned has to be removed from the action in the path integral, lest the path integral be ill defined.We shall do so by using the BRST formalism.
Since one of the purposes of this paper is to make consistent the formalism of Ref. [16] with the classic linear splitting of the gravitational field, we shall introduce that splitting now: and define the BRST transformations so that they are adapted to the splitting in question.
In the previous equation g µν is the background gravitational field and h µν is the quantum gravitational field.Now, let R ( N ghost pRq " 1 ) denote the ghost associated to the Weyl transformation in Eq. (2.32), R ( N ghost pRq " ´1 ) the corresponding antighost field and L ( N ghost pLq " 0 ) the Nakanishi-Lautrup auxiliary field.Let B W denote the BRST operator for the Weyl symmetry in Eq. (2.32).Then, we define the action of B W on the fields as follows (2.34) We will also need the action of B W on the first generation, the second generation, the third generation ghosts and the corresponding Nakanishi-Lautrup auxiliary fields introduced in the previous subsections.We define this action to be equal to zero.Hence, we have The fields R , R and L are scalar fields and, hence, the action on these fields of the BRST operator, B D , associated to the transverse diffeomorphisms reads where it is important to always bear in mind that c µ T " ´εµνρσ ∇ν C ρσ .
Let us show now that B 2 D " 0 on R , R and L .Let F stand for any of those fields, then We have taken into account that c ρ T is a Grassmann field and that Eqs.(2.9) and (2.13) hold.
Next, let us define the following linear operator acting on the fields we have introduced so far.
Let us now prove that B is a BRST operator, i.e., that B 2 " 0 .Since we already know that B 2 D " 0 and B 2 W " 0 , all that is left for us to do is show that That B W c µ T " 0 leads immediately to the conclusion that Eq. ( 2.38) holds when acting on R and L .Now, recall that B W annihilates the first generation, the second generation, the third generation ghosts and the corresponding Nakanishi-Lautrup auxiliary fields, and that B D acting on those very fields only involves the fields in question and the unimodular metric ĝµν -this metric being invariant under the Weyl transformations of g µν .Hence, Eq. (2.38) also holds for the fields we have just mentioned.
We are now ready to carry out the BRST gauge-fixing of the Weyl gauge symmetry in Eq. ( 2.32) in a way which is consistent with the BRST gauge-fixing of the transverse diffeomorphisms.Indeed, we shall add to L pDq ghost in Eq. (2.28) -which does the gauge-fixing of the transverse diffeomorphism invariance-the following term ) where h " g µν h µν and ∇ µ is the covariant derivative with respect to g µν .
Notice that L pW q ghost is exact with regard to the complete BRST operator B in Eq. (2.37), a must if the full power of the BRST formalism is to be taken advantage of.But what about L pDq ghost in Eq. (2.28)?The answer is in the affirmative.Indeed, L pDq ghost,1 in Eq, (2.18), L pDq ghost,2 in Eq, (2.23) and L pDq ghost,3 in Eq, (2.27) can be also expressed as follows This is a consequence of the fact that, as we have seen above, the action of B W on any of the fields entering the definition of L pDq ghost,1 , L pDq ghost,2 and L pDq ghost,3 yields zero.We thus conclude that fixing the gauge for the Weyl symmetry does not introduce any modification of L pDq ghost as given in Eqs.(2.28), (2.29), (2.30) and (2.31).

The complete BRST invariant action.
In the previous subsections we have achieved, by using the BRST formalism, a complete gaugefixing of the two gauge symmetries of our theory.Let us now quote the full action, S , of our theory.This action reads 3 The free graviton propagator and Newton's Law of gravitation.
In this section we shall put to work the action S , in Eq. (2.40), and work out the free graviton propagator, first, and, then, obtain Newton's law of gravitation by using Feynman diagrams.
Let the background field g µν in Eq. (2.33) be the Minkowski metric with signature p´, `, `, `q .Then, the free part of S needed for the computation of the free graviton propagator reads Hence, the free graviton propagator is obtained by inverting the following matrix , where V h,h " ´p2 η µpρ η σqν `2p pµ η νqpσ p ρq ´1 2 pp µ p ν η ρσ `pρ p σ η µν q ´1 8 p 2 η µν η ρσ .For the free graviton propagator of our theory, we have obtained the following result: with In unimodular gravity, the graviton field h µν couples to the traceless part of the energymomentum tensor T µν " T µν ´ηµν T ρ ρ {4 .This is equivalent to saying that it is the traceless part of graviton field, ĥµν " h µν ´ηµν h{4 , the one which couples to the energy-momentum tensor T µν .Hence, to retrieve the gravitational Newton's potential from unimodular gravity it is useful to compute the free two-point Green function of ĥµν .This Green function can be obtained from Eq. (3.2) and it reads ) . ( The Gravitational Newton's potential can be obtained by computing, in the non-relativistic limit, the amplitude, M , of the process in which one graviton is exchanged between two scalar particles with masses M 1 y M 2 .The Feynman diagram describing this process is in Fig. 1.The amplitude in question is given by where p i y p 1 i are the initial and final momenta, respectively, of the i particle, i " 1, 2 .Hence, the transferred momentum k is given by k " p 1 ´p1 1 " p 1 2 ´p2 y M 2 i " ´p2 i " ´p1 2 i .In Eq. (3.4) T piq µν pp i , p 1 i q denotes the on-shell lowest order contribution of the energy-momentum tensor between the states with momenta p i y p 1 i .T piq µν pp i , p 1 i q is given by which in the non-relativistic limit -hence k µ " p0, kq -reads We thus conclude that, in the non-relativistic, limit the amplitude M is equal to x ĥ00 pkq ĥ00 p´kqy, where x ĥ00 pkq ĥ00 p´kqy is given in Eq. (3.3) and k µ " p0, kq .
The exchange of one graviton Now, the Fourier transform of the Newton's potential is given by From Eq. (3.3), we get x ĥ00 pkq ĥ00 p´kqy " ´i{2k 2 so that which precisely the Fourier transform of the Newton's potential one finds in elementary textbooks, in the unit system where G " 1{p32πq .
4 The Slavnov-Taylor equation and the linearized Slavnov-Taylor operator.
As was discussed by the authors of Ref. [16] the construction of their BRST formalism involving antisymmetric tensor ghosts is such that the field content of the resulting BRST invariant theory depends on the dimension of spacetime.We have also analyzed this issue right below Eq. (2.16).It is then clear that dimensional regularization does not provide a BRST invariant regularization of the field theory in 4 dimensional spacetime -nor in any other spacetime dimension.Since no regularization method that preserves general covariance, while keeping the spacetime dimension equal to 4, is known, one is lead to the conclusion that one has to take advantage of the algebraic renormalization techniques -see Ref. [25]-to keep the BRST symmetry of the renormalized theory under control.The implementation of algebraic renormalization techniques begins with the derivation of the formal Slavnov-Taylor equation, which is to be satisfied by the 1PI functional, and continues with the formulation, and solution, of a cohomology problem for the linearized Slavnov-Taylor operator.In this section, we will just obtain the Slavnov-Taylor equation for the 1PI functional and define the linearized Slavnov-Taylor and its cohomology problem.Since the theory is not renormalizable by power counting, the solution of this cohomology problem will demand the use of the highbrow algebraic cohomological and homological methods reviewed in Ref. [26] and this lies quite outside the scope of our paper.
Let us begin the derivation of the formal Slavnov-Taylor equation.Let S be the action in Eq. (2.40).Let Φ generically denote the fields of our theory.These fields are Then, the generating functional of the complete Green functions of our theory reads Let J be given by Then, the 1PI functional of our theory is defined as usual: Γ rΦs " W rJ µν , j µν , .By expanding Γ rΦs in powers of , one reaches the conclusion that the Slavnov-Taylor equation implies that the one-loop contribution, Γ 1 rΦs , to Γ rΦs must satisfy the linearized Slavnov-Taylor equation, which reads ∆Γ 1 rΦs " 0, (4.4) where ∆ is the so-called linearized Slavnov-Taylor operator: ∆ " It can be shown that the linearized Slavnov-Taylor operator is nilpotent ∆ 2 " 0.
and it has ghost number equal to 1. Hence, any one-loop anomalous breaking, A , of the linearized Slavnov-Taylor equation -thus breaking the BRST symmetry-must satisfy ∆A " 0, A ‰ ∆Ξ, A being a (infinite) linear combination of monomials in the fields and their derivatives which has ghost number equal to 1. Ξ is also a linear combination of monomial of the fields and their derivatives but it has got zero ghost number.The solution to this problem is a very involved one and lies well beyond the scope of paper.If the BRST symmetry can be restored at one-loop -i.e,A =0, one has to face the very same type of cohomology problem at two loops, and so on.
The main conclusion of the paper is that a modification of the BRST transformations of Ref. [16] can be combined with the BRST transformations arising from the extra Weyl symmetry of our unimodular theory into a set of transformations generated by a single BRST operator.In principle, that this combination be feasible is a non trivial fact, for it involves different types of BRST transformations.We obtained the full gauge-fixed action of the theory and use it to compute the Newton's potential and the Slavnov-Taylor equation, the latter governs full BRST symmetry of the theory at the quantum level.Let us point out that the derivation of the Slavnov-Taylor equation is a must.Indeed, there is no known regularization method that preserves the symmetries of the theory and therefore non BRST invariant counterterms must be introduced to compensate for the breaking of BRST invariance due to the regularization and/or renormalization process one uses.Recall that the ghost content of the theory depends on the spacetime dimension: dimensional regularization does not furnish a BRST invariant regularized theory.Also recall that the construction of those non BRST invariant counterterms and the analysis of their consistency is guided by the cohomology of the linearized Slavnov-Taylor operator.
are gauge symmetries of the theory, the fields d ρνµ , d ρνµ and b ρνµ being referred to as second generation ghosts.It is apparent that the ghost Lagrangian in Eq. (2.18) is invariant under the changes in Eq.(2.16).Notice that in the previous subsection the field d ρνµ has shown up already in the BRST transformations of the first generation ghost c νµ -see Eq. (2.17).
This is the Slavnov-Taylor equation.This equation governs the BRST equation at the quantum level.