Advances in High Energy Physics
Volume 2016 (2016), Article ID 6367545, 11 pages
http://dx.doi.org/10.1155/2016/6367545

Research Article

Superspace Unitary Operator in Superfield Approach to Non-Abelian Gauge Theory with Dirac Fields

T. Bhanja,¹ D. Shukla,¹ and R. P. Malik1,2

¹Physics Department, Institute of Science, Banaras Hindu University, Varanasi, Uttar Pradesh 221 005, India
²DST Centre for Interdisciplinary Mathematical Sciences, Institute of Science, Banaras Hindu University, Varanasi 221 005, India

Received 28 December 2015; Accepted 26 April 2016

Academic Editor: Edward Sarkisyan-Grinbaum

Copyright © 2016 T. Bhanja et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. The publication of this article was funded by SCOAP³.

Abstract.

Within the framework of augmented version of the superfield approach to Becchi-Rouet-Stora-Tyutin (BRST) formalism, we derive the superspace unitary operator (and its Hermitian conjugate) in the context of four (3 + 1)-dimensional (4D) interacting non-Abelian 1-form gauge theory with Dirac fields. The ordinary 4D non-Abelian theory, defined on the flat 4D Minkowski spacetime manifold, is generalized onto a (4, 2)-dimensional supermanifold which is parameterized by the spacetime bosonic coordinates (with ) and a pair of Grassmannian variables () which satisfy the standard relationships: and  . Various consequences of the application of the above superspace (SUSP) unitary operator (and its Hermitian conjugate) are discussed. In particular, we obtain the results of the application of horizontality condition (HC) and gauge-invariant restriction (GIR) in the language of the above SUSP operators. One of the novel results of our present investigation is the derivation of explicit expressions for the SUSP unitary operator (and its Hermitian conjugate) without imposing any Hermitian conjugation condition from outside on the parameters and (super)fields of the supersymmetric version of our 4D interacting non-Abelian 1-form theory with Dirac fields.

1. Introduction

The covariant canonical quantization of a given gauge theory is performed within the framework of Becchi-Rouet-Stora-Tyutin (BRST) formalism where the local gauge symmetries of the classical gauge theory are traded with the quantum gauge (i.e., BRST) symmetries. For a single classical local gauge symmetry, there exist two quantum gauge symmetries which are christened as the BRST and anti-BRST symmetries. In one stroke, the BRST formalism provides (i) the covariant canonical quantization, (ii) the proof of unitarity, (iii) the physicality criteria in the quantum Hilbert space, and so forth, for a given gauge theory. The two key mathematical properties, associated with the above (anti-)BRST symmetries, are the nilpotency property and absolute anticommutativity. The former property establishes the fermionic (i.e., supersymmetric) nature of these symmetries and the latter property encodes the linear independence of the BRST and anti-BRST transformations.

The superfield approach (see, e.g., [1–5]) to BRST formalism provides the geometrical origin and interpretation for the nilpotency and absolute anticommutativity properties of the (anti-)BRST symmetries that are required for the covariant canonical quantization of the -form () gauge theories. In particular, the horizontality condition (HC) plays a pivotal role in the derivation of the nilpotent (anti-)BRST symmetry transformations connected with the -form Abelian gauge and corresponding (anti)ghost fields of the theory and it also leads to the systematic derivation of the Curci-Ferrari (CF) condition(s). The latter have been shown to be connected with the geometrical objects called gerbes in the context of BRST description of the Abelian 2-form and Abelian 3-form gauge theories [6, 7] in four (3 + 1) and six (5 + 1) dimensions of the flat Minkowskian spacetime, respectively.

The above usual superfield approach [1–5] has been systematically generalized to incorporate the additional restrictions on the superfields so as to derive the proper (anti-)BRST symmetries for the matter fields in an interacting gauge theory (in addition to the nilpotent (anti-)BRST symmetries for the gauge and (anti)ghost fields that are derived due to HC). These additional restrictions are found to be consistent with the HC because the geometrical interpretations for the (anti-)BRST symmetries remain intact. In particular, it is the gauge-invariant restrictions involving the covariant derivatives on the matter fields that play a decisive role in this direction where the inputs from the HC also play a key role. We have christened these generalized versions of superfield approach to BRST formalism as the augmented version of superfield formalism [8–10]. The latter (i.e., the augmented version of superfield formalism) is basically the consistent generalization of the usual superfield formalism (particularly developed in [1–3]).

A superspace (SUSP) unitary operator has been shown to exist in the superfield approach to the description of 4D non-Abelian 1-form gauge theory within the framework of BRST formalism (see, e.g., [1–3]). The beauty of this operator is the observation that it maintains the explicit group structure in the transformation space of the superspace (where the ordinary fields, defined on the -dimensional ordinary flat Minkowskian manifold, are generalized onto the superfields defined on the the (, 2)-dimensional supermanifold). This explicit group structure is somewhat hidden in the direct application of HC. Thus, the utility of the SUSY unitary operator has an edge over the utility of HC because the results of the latter could be derived by using the former one (cf. Section 5). The central theme of our present paper is to derive this unitary operator (and its Hermitian conjugate) explicitly by applying the augmented version of superfield formalism [8–10] in the description of the 4D non-Abelian interacting theory with Dirac fields. It should be noted that this operator has been judiciously chosen in [1–3] for the BRST description of the 4D interacting non-Abelian gauge theory with a generic matter field. One of the central aims of our present investigation is to theoretically prove the sanctity and preciseness of this choice.

Our present investigation is motivated by the following key factors. First, the explicit computation of the SUSP unitary operator in maintains the group structure in the transformation space. Second, the existence of this group structure leads to the definition of the supercovariant derivative on the superfield which obeys the same transformation property (i.e., ). Third, the definition of the covariant derivative and its transformation rule yield the transformation rule for the supercurvature 2-form (i.e., ). Fourth, the above arguments lead to the results that are obtained only due to the application of HC (cf. Section 3 below). Thus, in some sense, the derivation of the SUSP operators and provides an alternative to the HC where group structure is respected very clearly. Fifth, we theoretically derive the SUSP unitary operator and mathematically support the sanctity of the choice made in [1–3]. The judicious choice made in reference [1–3] is somewhat straightforward when one knows the (anti-)BRST symmetry transformations beforehand. However, the explicit derivation, within the framework of our superfield formalism, is a novel result for the 4D non-Abelian 1-form gauge theory with Dirac fields. Finally, our present attempt is the generalization of our earlier work on the 4D Abelian 1-form interacting gauge theory with Dirac and complex scalar fields [11] to the 4D interacting non-Abelian 1-form gauge theory with Dirac fields.

The contents of our present investigation are organized as follows. To set up the notations and convention, in Section 2, we briefly recapitulate the bare essentials of the (anti-)BRST symmetries for the 4D interacting non-Abelian gauge theory with Dirac fields in the Lagrangian formulation. Section 3 is devoted to a concise discussion on the horizontality condition (HC) and the derivation of the nilpotent (anti-)BRST symmetries for the gauge and (anti)ghost fields. In Section 4, we derive the nilpotent (anti-)BRST symmetry transformations for the Dirac fields by exploiting the power and potential of gauge-invariant restriction (GIR) on the superfields defined on the (4, 2)-dimensional supermanifold. Section 5 contains the derivation of SUSP unitary operator and it incorporates various consequences that emerge out from the knowledge of this unitary operator (and its Hermitian conjugate). Finally, in Section 6, we summarize our key results and point out a few future directions for further investigations. In Appendix, we discuss a few things for readers’ convenience.

Convention and Notations. We adopt the convention and notations such that the 4D Minkowskian flat spacetime manifold is endowed with a metric with signatures so that , where the Greek indices correspond to the spacetime directions and Latin indices stand for the space directions only. In the Lie-algebraic space, we take dot and cross products between and as follows: and , where are the structure constants that can be chosen to be totally antisymmetric for the group with the Lie algebra . Here, (with are the generators of the Lie algebra corresponding to the group. We have used the same notation for the covariant derivative and the dimensionality of the spacetime. However, the different meanings, attached with the symbol , are quite unambiguous in the whole body of the text of our present endeavor. We have explicitly taken the covariant derivatives on the matter field and ghost fields as follows: and which are in the fundamental and adjoint representations, respectively.

2. Preliminaries: (Anti-)BRST Symmetries

We begin with the (anti-)BRST invariant Lagrangian densities and   (see, e.g., [12, 13]) for the 4D interacting non-Abelian 1-form gauge theory with the massive (with mass ) Dirac fields (), in the Curci-Ferrari gauge (where ) [14, 15], as

for the explicit derivation of the gauge-fixing and Faddeev-Popov ghost terms. In other words, we have derived the final expressions for the Lagrangian densities and by taking into account the Curci-Ferrari gauge where . It will be noted that the above Lagrangian densities and are equivalent on the constrained hypersurface defined by the field equation: which is nothing but the Curci-Ferrari (CF) condition [16]. In the above, we have the curvature tensor which is derived from the 2-from where the connection 1-from defines the vector potential in the Lie-algebraic space (with ). The fields and are the Nakanishi-Lautrup auxiliary fields and the fermionic ,  , etc. (anti)ghost fields are required for the validity of unitarity in the theory.

We have a covariant derivative on the Dirac field as follows: , where the coupling constant has been set equal to one for the sake of brevity. Similarly, we have taken into consideration the definition of the covariant derivatives (with ) on the (anti)ghost fields as follows: and . The Dirac fields are fermionic (, ) in nature because they commute (, , etc.) with all the bosonic fields (e.g., ,, , and ) but they anticommute (, , , etc.) with the fermionic (anti)ghost fields of our theory. The above Lagrangian densities (1) respect the following off-shell nilpotent (), absolutely anticommuting (), continuous, and infinitesimal (anti-)BRST symmetry transformations (see, e.g., [17] and our Appendix for details):

The noteworthy points, at this stage, are as follows: (i) The kinetic term remains invariant under the (anti-)BRST symmetry transformations. Geometrically, the curvature tensor has its origin in the exterior derivative because defines the tensor (which can be explicitly written in terms of the potential as follows: , where we observe that and ). (ii) The CF-condition remains invariant (i.e., ) under the off-shell nilpotent (anti-)BRST symmetry transformations. Thus, it is a physical constraint that can be imposed on the 4D non-Abelian interacting 1-form gauge theory. (iii) The Lagrangian densities and both are equivalent on the hypersurface in the 4D Minkowskian spacetime manifold due to the CF-condition (i.e., ). In fact, it is on this hypersurface that the off-shell nilpotency and absolute anticommutativity properties of the (anti-)BRST symmetry transformations are valid (see, e.g., [12–15]) in an explicit manner.

3. Symmetries for the Gauge and (Anti)Ghost Fields: Horizontality Condition

In this section, we shall exploit the geometrical beauty of in the context of HC within the framework of superfield formalism and derive the CF-condition: as well as the proper (anti-)BRST symmetry transformations for the gauge and (anti)ghost fields of the 4D non-Abelian 1-form gauge theory. For this purpose, first of all, we define the supercurvature 2-form on the (4, 2)-dimensional supermanifold , where is the superspace coordinate that characterizes the (4, 2)-dimensional supermanifold with as the bosonic variables and as a pair of fermionic and Grassmannian variables. The other symbols of relevance, on the appropriately chosen (4, 2)-dimensional supermanifold, are as follows [1–3, 17]:

where constitutes the vector multiplet and the superspace derivative stands for . The latter (i.e., ) are the components of the superspace derivative () with .

The requirement of the HC is to set all the Grassmannian components of equal to zero (i.e., ). We know that the kinetic term [] for the gauge field is (anti-)BRST invariant quantity. The HC basically demands the independence of this quantity (i.e., ). In other words, this gauge- (i.e., BRST-) invariant quantity should be independent of the Grassmannian variables because the latter cannot be realized physically in the ordinary space. This condition leads to the derivation of the relationships between the basic and the auxiliary fields of the Lagrangian densities and and the secondary fields of the following expansions (see, e.g., [1–3] for details):

where, as pointed out earlier, the superfields , , and constitute the multiplet of the vector superfield . The above expansions are nothing but the shift transformations for the superfields along the Grassmannian directions of the (4, 2)-dimensional supermanifold. The HC (i.e., ) yields the following interesting and very useful relationships [1–3, 17]:

where and the last entry, in the above, is nothing but the CF-condition. The substitution of the above expressions for the secondary fields into (4) yields the following:

where the superscript denotes the expansions obtained after the application of HC. It is to be noted that the CF-condition emerges out from setting the coefficient of equal to zero in the relationship which results in the condition . It is elementary to check that the explicit substitutions from (6) into this restriction yield the CF-condition . The (anti-)BRST invariance of the CF-condition can be captured within the framework of superfield formalism as it can be readily checked that and which physically imply the (anti-)BRST invariance of the CF-condition defined on the ordinary 4D Minkowskian spacetime manifold as the constrained field equation.

4. (Anti-)BRST Symmetries for the Matter Fields: Gauge-Invariant Restriction

We exploit the strength of the gauge-invariant restriction (GIR) on the superfields, defined on the (4, 2)-dimensional supermanifold, to obtain the proper (anti-)BRST symmetry transformations for the matter fields of the interacting 4D non-Abelian gauge theory with Dirac fields. This appropriate condition (which incorporates the results of HC (cf. (6))) is as follows [17]:

where the super 1-form connection on the l.h.s., derived after the application of HC, is and the superfields and have the following expansions along the Grassmannian directions of the appropriately chosen (4, 2)-dimensional supermanifold (see, e.g., [17]):

Here, , , , and are the bosonic secondary fields in the above expansions and and are the fermionic secondary fields. It is obvious that the above superfields are the generalizations of the ordinary 4D fermionic Dirac fields and onto the (4, 2)-dimensional supermanifold because, in the limit , we retrieve the latter fields from the above superfield expansions. We also note that the r.h.s. of the GIR (7) is a gauge-invariant quantity. Furthermore, the decisive feature of GIR (7) is the key observation that this relationship blends the ideas of HC and GIR together in a meaningful manner where the expansions of , , and (cf. (6)) play very important role (as the super 1-form contains these results from the HC and it appears on the l.h.s. of the GIR (7)). Thus, we note that (7) incorporates the results of HC.

Taking into account the expansions from (8) and the expressions obtained after the application of the HC (cf. (6)), we obtain the following relationships [17] between the secondary fields of (8) and the basic and auxiliary fields of the Lagrangian densities and :

It will be noted that this is slightly different from the results obtained in [15] for the values of and . However, our present results and relationships in (9) are correct. The substitution of the above values of the secondary fields into expansions (8) yields the following:

where the superscript denotes the superfield expansions after the application of GIR. Thus, we observe that the coefficients of and yield the symmetry transformations corresponding to and , respectively. In other words, we have obtained a relationship between the translational generators along the Grassmannian directions of the (4, 2)-dimensional supermanifold and the (anti-)BRST transformations for the matter fields and in the ordinary 4D spacetime (cf. (2)). The appropriate mapping between these quantities of interest is as follows: , , and .

5. SUSP Unitary Operator: Key Consequences

It is clear from expansions (10) that we have already derived the (anti-)BRST symmetry transformations for the Dirac fields which turn out to be the coefficients of in these expansions. Furthermore, the coefficients of turn out to be and , respectively. These expansions (cf. (10)) can be reexpressed as follows:

where all the fields are defined in the Lie-algebraic space (e.g., ,  ,  , and  ). Thus, it is obvious that we have derived the SUSP unitary operator and its Hermitian conjugate in a very natural fashion. It is elementary to check that the criterion for the unitarity condition is satisfied by the above SUSP operators:

We emphasize that we have taken into account the fermionic nature (i.e., , , , etc.) of the Grassmannian variables and (anti)ghost fields in the above proof of unitarity. The above SUSP unitary operators can be exponentiated, in a mathematically precise fashion, as follows:

We mention that has been taken into account due to and the fermionic () nature of the (anti)ghost fields . The above exponential form of the unitary operator respects the group structure in the transformation superspace because

In other words, we note that the SUSP unitary operators and generate the shift transformations (cf. (10)) along the Grassmannian directions and because we note that the ordinary fields and are the limiting cases of the superfields and when the limit is taken to be in (14).

The relationship , where the group structure is maintained in the transformation superspace, allows us to define the covariant derivative in terms of the super exterior derivative and super 1-form connection with the following inherent property for the 4D non-Abelian 1-form gauge theory:

where and . Equation (15) above leads to the following explicit transformation rule for the connection super 1-form in the superspace:

The substitution of the expressions for and , from (11), leads to the following explicit results from the second term of the r.h.s. of (16):

Comparing with the coefficients of and that are present on the l.h.s. of the super 1-form connection , we observe that we have already derived the correct expressions for the superfields and where, as is evident, and are the expansions that have been obtained after the application of the HC. A close look at the coefficients of in (17) shows that if we use the CF-condition , we have an alternative form of the last entry in (17); namely,

This expression (when compared with from the l.h.s.) yields the transformations , , and as the coefficients of , , and , respectively. To fully derive the results of HC, we have to explicitly compute the coefficients of from the r.h.s. of (16). The coefficient of , from the sum of the first term and second term on the r.h.s. of transformations (16), yields the following:

where the above equation is nothing but the sum of the following:

We note that contributions (20) come out explicitly from the first and second terms on the r.h.s. of (16). When the above expression is compared with the l.h.s. of the definition , we obtain the expansion for that has been derived due to HC in (6).

The transformations on in the superspace can also be computed by establishing a connection between and . In this endeavor, the property of the successive operations of a couple of covariant derivatives and their connection with the curvature 2-form plays an important role. For instance, in the ordinary 4D Minkowskian flat spacetime, we know that

This relation can be generalized onto (4, 2)-dimensional supermanifold as

where and . Actually, the relationships of the kind in (21) and (22) are covariant relations [due to and ]. Thus, we have the following explicit relationship:

The above equation emerges out from (22) [with and ]. From relation (23), it is clear that we have the following explicit relationship:

which has been mentioned earlier, too, as the transformation property of the curvature in the superspace.

There is an altogether different theoretical method to derive the transformation property of in the superspace by exploiting the celebrated Maurer-Cartan type of equation. It will be noted that the exact Maurer-Cartan equation is somewhat different from the relationship that defines the curvature 2-form. However, it looks similar in appearance. From (16), it is evident that we have the following:

where we have used the properties , , and . We further observe, from (16), that

where, once again, we have used the inputs from the differential geometry (i.e., ) and . The sum of (25) and (26) yields

The above relation is basically the relationship that has been derived in (24) by exploiting the property of covariant derivatives. Ultimately, we conclude that there are, at least, two different and distinct theoretical methods to compute the relationships () between and which are the super and ordinary curvature 2-forms in our (4, 2)-dimensional SUSY and (3 + 1)-dimensional ordinary theories, respectively.

We would like to briefly comment on the relationships between the GIR (invoked in (7)) and the SUSP operators (that have been derived in (11) and (13)). Towards this goal in mind, we focus on the basic definitions of the (super)covariant derivatives that have been quoted in (15). In fact, in its explicit form, this equation can be written as follows:

Using the fundamental definitions of and from (3) and (16), we obtain the following equalities when we compare the l.h.s. with the r.h.s. of the above equation:

where we have used the abbreviations and . It is quite elementary to observe that the solution does satisfy the top two equations in (29). It is interesting to note that this solution also satisfies the last equation that is present in (29). If we substitute the exact form of from (11) into this relationship, we obtain the result in (10) which are derived due to the application of GIR. We further point out that the solution implies that we also have . If we substitute the exact mathematical expression for from (11) into this relationship, we obtain the (anti-)BRST symmetry transformations for field as quoted in (10). Ultimately, we lay emphasis on our key observation that the exact mathematical derivation of the SUSP operators and provides, in some sense, the alternative to HC as well as GIR (where the group structure of the non-Abelian theory is very explicitly maintained in the superspace).

Before we end this section, we would like to lay emphasis on our observation that we have derived the SUSP operators and without invoking any Hermitian conjugation condition from outside on the parameters () and fields () of our SUSY theory. However, it can be checked explicitly that if we apply the following Hermitian conjugation operations from outside, namely,

the SUSP unitary operators interchange (i.e., ). In other words, by using the above operations, we can obtain from and vice versa. Thus, our theory does support a set of Hermitian conjugate symmetry transformations, too. It should be noted that the Hermitian conjugation conditions, quoted in (30), are not unique. Our theory might support another set of Hermitian conjugation conditions, as well.

6. Conclusions

In our present investigation, we have explicitly computed mathematically precise form of the SUSP unitary operator that appears in the transformation superspace of the Dirac field . We have also computed the Hermitian conjugate SUSP operator (i.e., ) that appears in the transformation of the Dirac field . We have shown that which proves the unitarity of this SUSP operator. The key point, to be noted, is the observation that and appear very naturally from the transformation properties of and to and , respectively. We have not invoked any Hermitian conjugation operation from outside on the parameters () and fields (, etc.) of our theory for the computation of from the known expression for . However, to demonstrate that our theory also supports a set of Hermitian conjugation operations, we have listed a couple of such operations in (30) on the parameters as well as appropriate fields of our theory which provide a connection between and .

The above SUSP transformations (which maintain the group structure) lead to the definition of the covariant derivative on the (4, 2)-dimensional supermanifold. This definition, in turn, enables us to obtain the transformation () on the 1-form connection (cf. (16)). This relationship immediately leads to the derivation of the results of HC. In other words, we derive expansions (6) in terms of the SUSP operators and due to the appearance of (16) in our present endeavor. Thus, the precise derivation of SUSP unitary operators and provides an alternative to the HC where the group structure is maintained explicitly in the superspace. In fact, these SUSP operators have also enabled us to obtain the results of GIR where, once again, the idea of covariant derivative has played an important role. We have discussed the derivation of the relationships , in equations (28) and (29) (cf. Section 5) where the mathematical forms of SUSP operators and play crucial roles.

As we know, two successive applications of the covariant derivative on the Dirac field (i.e., ) lead to the definition of the curvature 2-form (i.e., ). This relation is a covariant relation and one can tap the potential of this relationship to obtain its SUSY version (i.e., ). Now, using the well-known relationship of the covariant derivative , we obtain the relationship which leads to the derivation of the (anti-)BRST transformations for the curvature tensor (i.e., and ) in the context of our 4D non-Abelian theory. The above precise relationship (i.e., ) reduces to its Abelian counterpart that has been discussed in our earlier work [11] on the interacting Abelian gauge theory with Dirac and complex scalar fields where there is an explicit coupling between the gauge field and matter fields.

In our earlier works [18–20], we have derived the nilpotent (anti-)BRST and (anti-)co-BRST symmetry transformations for the Stueckelberg-modified version of the 2D Proca theory [18], the modified version of the 2D anomalous gauge theory [19], and the 2D self-dual chiral bosonic field theory [20] by exploiting the tools and techniques of the augmented version of geometrical superfield formalism [8–10]. We lay emphasis on the fact that, in these theories [18–20], we have the presence of the matter as well as gauge fields which are coupled to one another in a specific fashion. Thus, it would be very nice idea to find out the SUSP unitary operators for these theories where not only the off-shell nilpotent (anti-)BRST symmetry transformations but also the off-shell nilpotent (anti-)co-BRST symmetries exist, too, for the matter, gauge, and (anti)ghost fields. We are currently intensively involved with these ideas. In this connection, it is gratifying to state that we have partially accomplished this goal in our very recent work [21] where we have discussed only the (anti-)BRST symmetries and corresponding SUSP unitary operators and . The discussion about the nilpotent (anti-)co-BRST symmetry transformations and the corresponding dual SUSP unitary operators has been achieved in our very recent work [22]. In this context, it is very gratifying to state that we have also derived the dual SUSP unitary operator and its Hermitian conjugate which lead to the derivation of the proper (anti-)co-BRST symmetry transformations for some of the interesting Abelian models [18–20] of the Hodge theory.

Appendix

More on the (Anti-)BRST Invariant Lagrangian Densities in the Curci-Ferrari Gauge

For the readers’ convenience, we discuss explicitly a few more key points, connected with the form of our Lagrangian densities and in the Curci-Ferrari gauge [cf. (1)] of our present investigation (where we have already taken ). It is very interesting to note that (modulo some total spacetime derivatives)

where the covariant derivative on the matter field [i.e., ] is in the fundamental representation of the Lie algebra. We note that the following are true:

Here, the covariant derivative is in the adjoint representation of the Lie algebra. Thus, we note that the gauge-fixing and Faddeev-Popov ghost terms of the Lagrangian densities and are derived from (A.2) modulo a total spacetime derivative term. In the above derivations, we have not used the CF-conditions anywhere.

Now, we concentrate on the computations of the following equivalent expressions:

where we have to use the CF-condition because the absolute anticommutativity is satisfied only on the hypersurface where is true in the 4D Minkowskian spacetime manifold. In this context, we note that we have the following:

Now, using the CF-condition , we obtain the following:

We note that the gauge-fixing and Faddeev-Popov ghost terms of the Lagrangian densities and of (1) are nothing other than the appropriate sum of (A.2) and (A.5). It is straightforward to note that produces the same result as in (A.5) (when we use the CF-condition). The (anti-)BRST symmetry transformations of the above Lagrangian densities yield the following total spacetime derivatives plus terms that are zero on the hypersurface where the CF-condition is valid:

Thus, as far as the symmetry properties are concerned, the Lagrangian densities and are equivalent on the hypersurface (in the 4D Minkowskian spacetime manifold) where the CF-condition is satisfied. In fact, the absolute anticommutativity property of the (anti-)BRST symmetry transformations is also true only on this hypersurface. We end this Appendix with the remark that the Lagrangian densities and can be expressed as follows:

The equations of motion (i.e., and ) with respect to and yield the following:

The sum of the above relationships leads to the derivation of the CF-condition.

Competing Interests

The authors declare that they have no competing interests.

Acknowledgments

One of the authors (R. P. Malik) would like to express his deep sense of gratitude to the AS-ICTP and SISSA, Trieste, Italy, for the warm hospitality extended to him during his participation in the conference on “Aspects of Gauge and String Theories” (1-2 July 2015) which was held at SISSA to celebrate the 0th birth anniversary of L. Bonora. The idea behind this work came during this conference. D. Shukla is thankful to the UGC, Government of India, New Delhi, for financial support through RFSMS-SRF scheme and T. Bhanja is grateful to the BHU-fellowship under which the present investigation has been carried out. Fruitful comments by our esteemed reviewer are gratefully acknowledged, too.

References

L. Bonora and M. Tonin, “Superfield formulation of extended BRS symmetry,” Physics Letters B, vol. 98, no. 1-2, pp. 48–50, 1981.

L. Bonora, P. Pasti, and M. Tonin, “Extended BRS symmetry in non-Abelian gauge theories,” Il Nuovo Cimento A, vol. 64, no. 3, pp. 307–331, 1981.

L. Bonora, P. Pasti, and M. Tonin, “Superspace approach to quantum gauge theories,” Annals of Physics, vol. 144, no. 1, pp. 15–33, 1982.

R. Delbourgo and P. D. Jarvis, “Extended BRS invariance and OSp (4/2) supersymmetry supersymmetry,” Journal of Physics A: Mathematical and General, vol. 15, no. 2, p. 611, 1982.

R. Delbourgo, P. D. Jarvis, and G. Thompson, “Local OSp(4/2) supersymmetry and extended BRS transformations for gravity,” Physics Letters B, vol. 109, no. 1-2, pp. 25–27, 1982.

L. Bonora and R. P. Malik, “BRST, anti-BRST and gerbes,” Physics Letters B, vol. 655, no. 1-2, pp. 75–79, 2007.

L. Bonora and R. P. Malik, “B{RST}, anti-{BRST} and their geometry,” Journal of Physics. A. Mathematical and Theoretical, vol. 43, no. 37, 375403, 17 pages, 2010.

R. Malik and B. Mandal, “Augmented superfield approach to exact nilpotent symmetries for matter fields in non-Abelian theory,” The European Physical Journal C, vol. 47, no. 1, pp. 219–226, 2006.

R. R. Malik, “Augmented superfield approach to unique nilpotent symmetries for complex scalar fields in QED,” The European Physical Journal C, vol. 48, no. 3, pp. 825–834, 2006.

R. P. Malik, “Superfield approach to nilpotent symmetries for {QED} from a single restriction: an alternative to the horizontality condition,” Journal of Physics. A. Mathematical and General, vol. 39, no. 33, pp. 10575–10587, 2006.

D. Shukla, T. Bhanja, and R. P. Malik, “Superspace unitary operator in QED with Dirac and complex scalar fields: superfield approach,” Europhysics Letters, vol. 112, no. 1, Article ID 11001, 2015.

N. Nakanishi and I. Ojima, Covariant Operator Formalism of Gauge Theories and Quantum Gravity, World Scientific, Singapore, 1990.

K. Nishijima, “B{RS}-invariance, asymptotic freedom and color confinement (a review),” Czechoslovak Journal of Physics, vol. 46, no. 1, pp. 1–40, 1996.

D. Dudal, V. E. R. Lemes, M. S. Sarandy, S. P. Sorella, and M. Picariello, “On the SL(2, ) symmetry in yang-mills theories in the landau, curci-ferrari and maximal abelian gauge,” Journal of High Energy Physics, vol. 2002, no. 12, article 8, 2002.

D. Dudal, H. Verschelde, V. E. R. Lemes et al., “More on ghost condensation in Yang-Mills theory: BCS versus Overhauser effect and the breakdown of the Nakanishi-Ojima annex SL(2,R) symmetry,” Journal of High Energy Physics, vol. 2003, no. 6, article 003, 2003.

G. Curci and R. Ferrari, “Slavnov transformations and supersummetry,” Physics Letters B, vol. 63, no. 1, pp. 91–94, 1976.

R. P. Malik and B. P. Mandal, “Augmented superfield approach to exact nilpotent symmetries for matter fields in non-abelian theory,” The European Physical Journal C. Particles and Fields, vol. 47, no. 1, pp. 219–226, 2006.

T. Bhanja, D. Shukla, and R. P. Malik, “Novel symmetries in the modified version of two dimensional Proca theory,” The European Physical Journal C, vol. 73, no. 8, article 2535, 2013.

S. Gupta, R. Kumar, and R. P. Malik, “On free 4D Abelian 2-form and anomalous 2D Abelian 1-form gauge theories,” The European Physical Journal C, vol. 65, no. 1-2, pp. 311–329, 2010.

D. Shukla, T. Bhanja, and R. P. Malik, “Self-dual chiral boson: augmented superfield approach,” The European Physical Journal C, vol. 74, article 3025, 2014.

T. Bhanja, N. Srinivas, and R. P. Malik, “Universal superspace unitary operator for some interesting abelian models: superfield approach,” Advances in High Energy Physics, vol. 2016, Article ID 3673206, 11 pages, 2016.

T. Bhanja, N. Srinivas, and R. P. Malik, “Universal superspace unitary operator and nilpotent (anti-)dual BRST symmetries: superfield formalism,” http://arxiv.org/abs/1603.08104