Abstract

We derive the complete set of off-shell nilpotent and absolutely anticommuting Becchi-Rouet-Stora-Tyutin (BRST), anti-BRST, and (anti-)co-BRST symmetry transformations for all the fields of the modified version of two -dimensional (2D) Proca theory by exploiting the “augmented” superfield formalism where the (dual-)horizontality conditions and (dual-)gauge invariant restrictions are exploited together. We capture the (anti-)BRST and (anti-)co-BRST invariance of the Lagrangian density in the language of superfield approach. We also express the nilpotency and absolute anticommutativity of the (anti-)BRST and (anti-)co-BRST charges within the framework of augmented superfield formalism. This exercise leads to some novel observations which have, hitherto, not been pointed out in the literature within the framework of superfield approach to BRST formalism. For the sake of completeness, we also mention, very briefly, a unique bosonic symmetry, the ghost-scale symmetry, and discrete symmetries of the theory and show that the algebra of conserved charges provides a physical realization of the Hodge algebra (satisfied by the de Rham cohomological operators of differential geometry).

1. Introduction

One of the earliest known gauge theories (with gauge symmetry) is the Abelian 1-form (, ) Maxwell theory which describes the massless vector boson () with () degrees of freedom in any arbitrary -dimensions of spacetime. Thus, in the physical four dimensions of spacetime, has two degrees of freedom. Its massive generalization is a Proca theory that describes a vector boson with three degrees of freedom in the physical four -dimensions of spacetime. The central goal of our present investigation is to study the two -dimensional Stueckelberg-modified [1] version of the Proca theory which also incorporates a pseudoscalar field on physical and mathematical grounds [2, 3]. This model is very special because it is endowed with mass together with various kinds of internal symmetries which originate, primarily, from the gauge symmetry and its “dual” version. The existence of the above symmetries renders the model to become an example for the Hodge theory [2, 3].

Recently, in a set of papers [46], we have demonstrated that the supersymmetric (SUSY) quantum mechanical models also provide a set of physical examples of Hodge theory because of their specific continuous and discrete symmetry transformations which provide the physical realizations of the de Rham cohomological operators and Hodge duality () operation of differential geometry [712]. However, these SUSY models are not gauge theories because they are not endowed with first-class constraints in the terminology of Dirac’s prescription for the classification scheme of constraints [13, 14]. One of the characteristic features of these SUSY models is that they have mass but do not possess gauge symmetries that are primarily generated by the first-class constraints (see, e.g., [1416]).

We have also provided the physical realizations of the de Rham cohomological operators of the differential geometry in the context of Abelian -form () gauge theories in dimensions of spacetime within the framework of BRST formalism [1720]. As a consequence, these theories are also the field theoretic models for the Hodge theory. One of the decisive features of these theories is the observation that they have gauge symmetry (generated by the first-class constraints) but they do not have mass. The modified version of Proca theory is, thus, a very special field theory which possesses mass as well as various kinds of internal symmetries and, as has turned out, it also presents a field theoretic model for the Hodge theory within the framework of BRST formalism [2, 3].

One of the most intuitive approaches to understand the abstract mathematical properties associated with the (anti-)BRST symmetries is the geometrical superfield formalism (see, e.g., [2124]), where the celebrated horizontality condition (HC) plays a very important role as far as the derivation of (anti-)BRST symmetry transformations for the gauge fields and associated (anti-)ghost fields, for a given gauge theory, is concerned. In the augmented version [2528] of the above superfield formalism, the HC blends together with the gauge invariant restrictions (GIRs) in a beautiful fashion enabling us to derive the (anti-)BRST symmetry transformations for the gauge, (anti-)ghost, and matter fields of a given interacting gauge theory in a cohesive and consistent manner. The central objective of our present paper is to apply extensively the above augmented version of the geometrical superfield formalism [2528] to discuss various aspects of the modified version of Proca theory within the framework of BRST formalism.

In our present investigation, we derive the off-shell nilpotent and absolutely anticommuting (anti-)BRST and (anti-)co-BRST symmetry transformations by exploiting the theoretical power of augmented version of superfield formalism. In fact, we exploit the celebrated (dual-)horizontality conditions and (dual-)gauge invariant restrictions to obtain the proper (anti-)BRST and (anti-)co-BRST symmetry transformations for all the fields of the modified version of Proca theory. We provide the geometrical meaning to the above nilpotent symmetry transformations in the language of translational generators along the Grassmannian directions of the -dimensional supermanifold on which our ordinary modified version of Proca theory is generalized.

Some of the key observations of our present investigation are contained in Sections 3.3 and 4.4 where we have expressed the (anti-)BRST and (anti-)co-BRST charges in terms of the superfields (obtained after the applications of and ), Grassmannian partial derivatives, and Grassmannian differentials. The off-shell nilpotency and absolute anticommutativity properties of the (anti-)BRST and (anti-)co-BRST symmetries (and their corresponding generators) emerge very naturally within the framework of our augmented version of superfield formalism. We have also captured the (anti-)BRST and (anti-)co-BRST invariances of the Lagrangian density within the ambit of our augmented version of superfield approach in a very simple and straightforward manner.

The main motivating factors behind our present investigations are as follows. First, it is very important for us to put the basic ideas of our augmented version of superfield formalism on solid footing by applying it to various interesting physical systems which are BRST invariant. Second, it is essential for us to establish the correctness of our earlier results [3] where we have discussed the off-shell nilpotent (anti-)BRST and (anti-)co-BRST symmetry transformations for the modified Proca theory. Finally, the present endeavor is our modest step towards the main goal of applying our basic ideas to find out the 4D massive models for the Hodge theory which might enforce the existence of fields that would turn out to be the candidates for the dark matter [29, 30]. We have already shown the emergence and existence of the latter (as a pseudoscalar field with a negative kinetic term) in our study of the modified version of Proca theory [2, 3].

The contents of our present paper are organized as follows. In Section 2, we recapitulate the bare essentials of the usual Proca theory and discuss the gauge symmetry transformations of the Stueckelberg-modified version of it in any arbitrary -dimensions of spacetime. Section 3 is devoted to the derivation of off-shell nilpotent (anti-)BRST symmetry transformations within the framework of augmented superfield formalism. In Section 4, we deal with the (anti-)co-BRST symmetry transformations for the Stueckelberg-modified Proca theory by exploiting the augmented version of superfield approach. Section 5 describes, very briefly, a unique bosonic symmetry, the ghost-scale symmetry, and discrete symmetries of our present theory. In Section 6, we present the algebraic structure of all the generators of the above continuous symmetries and establish its connection with the cohomological operators of differential geometry. Finally, we make some concluding remarks in Section 7.

In our Appendices A and B, we perform some explicit computations which have been used in the main body of our present text.

Essential Definitions(1)On a compact manifold without a boundary, a set of three operators () define the de Rham cohomological operators [712] of differential geometry. Here (with ) is the exterior derivative and (with ) defines the coexterior derivative, where () stands for the Hodge duality operation. The Laplacian operator is defined in terms of and (where ).(2)We have christened the extended version of the usual Bonora-Tonin superfield formalism [21, 22] as the augmented superfield formalism where, in addition to the HC, other physically relevant restrictions (consistent with the HC) are also imposed on the superfields defined on the appropriate supermanifold.

2. Preliminaries: Local Gauge Symmetries in the Modified Version of Proca Theory

Let us begin with the Lagrangian density () of a Proca theory (with a mass parameter ) in any arbitrary -dimensions of spacetime. This can be expressed in an explicit form as follows:Here is derived from the 2-form , where (with ) is the exterior derivative and the 1-form defines the vector boson . In physical four -dimensions of spacetime, the bosonic field has three degrees of freedom and has the dimension of mass in natural units (where ). In the massless limit (i.e., ), we obtain the 4D Maxwell Lagrangian density from (1) which respects the gauge invariance under the transformations:where is the local gauge parameter. It is evident that, in the Proca theory, the gauge symmetry transformations (2) are lost because of the presence of mass term. In some sense, a Proca theory is a generalization of Maxwell’s theory as the latter is the massless () limit of the former (where the usual gauge symmetry invariance is respected).

By exploiting the Stueckelberg formalism, one can restore the gauge symmetry (2) for the original Lagrangian density (1), where the field is replaced by . As a consequence, we obtain the following Stueckelberg’s Lagrangian density:which respects the following local, continuous, and infinitesimal gauge symmetry transformations ():where is a real scalar field. The key points, at this stage, are as follows. First, by incorporating the Stueckelberg field , we have converted the second-class constraints of the original Lagrangian density (1) into the first-class variety in the terminology of Dirac’s prescription for the classification scheme [13, 14]. Second, the Lagrangian density (3) describes, in the physical four dimensions of spacetime, a theory where the mass and gauge invariance coexist together in a beautiful and meaningful manner.

We close this section with the following remarks. First, the gauge symmetry transformations (4) are valid in any arbitrary dimension of spacetime for the Stueckelberg-modified Lagrangian density () at the classical level. This symmetry, therefore, could be exploited for the (anti-)BRST symmetry transformations at the quantum level. Second, the quantity is a gauge invariant quantity because (for and ). These observations would play very important roles in our further discussions on the derivation of proper (anti-)BRST symmetries within the framework of augmented version of superfield formalism.

3. Nilpotent (Anti-)BRST Symmetries: Geometrical Superfield Formalism

In this section, we derive the full set of proper  (anti-)BRST symmetry transformations by exploiting the strength of HC and GIR. Furthermore, we capture the (anti-)BRST invariance of the Lagrangian density and the nilpotency as well as absolute anticommutativity properties of the (anti-)BRST charges within the framework of superfield formalism.

3.1. Derivation of the (Anti-)BRST Symmetries: HC and GIR

According to the prescription, laid down by the superfield approach to BRST formalism [21, 22], we have to generalize the present -dimensional Stueckelberg-modified theory onto a -dimensional supermanifold which is parameterized by the superspace variable , where are the ordinary -dimensional spacetime variables and () are a pair of Grassmannian variables (with , ).

The central role, in the superfield approach [2124], is played by the HC which requires that the gauge invariant quantity , owing its origin to the exterior derivative, remain independent of the Grassmannian variables when it is generalized onto a -dimensional supermanifold. In other words, the ordinary curvature 2-form must be equal (i.e., ) to the super curvature 2-form :In the above, the super exterior derivative (with ) and super 1-form connection are defined on the -dimensional supermanifold asWe have taken as the superspace derivative on the -dimensional supermanifold. Physically, the equality of the HC implies that the gauge invariant electric and magnetic fields of the ordinary theory should not be affected by the presence of the Grassmannian variables and of the supermanifold on which the ordinary theory has been generalized within the ambit of superfield formalism.

The superfields , , and of (6) are the generalizations of the gauge field (), ghost field (), and anti-ghost field (), respectively, of the ordinary -dimensional BRST invariant theory because the above superfields can be expanded along the Grassmannian directions of the -dimensional supermanifold as (see, e.g., [21])where () are the basic fields of any arbitrary -dimensional (anti-)BRST invariant Abelian theory (an Abelian BRST invariant theory, in any arbitrary dimension of spacetime, contains the gauge-fixing and FP-ghost terms in addition to the kinetic term for ) and rest of the fields, on the r.h.s. of (7), are the secondary fields which can be expressed in terms of the basic and auxiliary fields of the ordinary -dimensional theory by exploiting HC. It is clear that () and () are the fermionic and bosonic secondary fields, respectively, on the r.h.s. of (7).

One can expand the expression of (5) in the following explicit form using (6). This expansion, in its full blaze of glory, is as follows:In a similar fashion, one can also expand the r.h.s. of (5) as follows:The HC requires that be equal to . This implies that .

Written in an explicit form, we have the following relationships (from the comparison between (8) and (9)) due to the celebrated HC; namely,The substitution of the expansions (7) into the above equation yields the following relationships amongst the secondary fields and the basic as well as auxiliary fields of the ordinary theory (our method of derivation is somewhat different from the original work of Bonora-Tonin superfield formalism [21, 22] even though our present work is motivated by the latter works (i.e., [21, 22])); namely,The last entry in the above is nothing but the celebrated Curci-Ferrari condition [31] which turns out to be trivial in the case of Abelian 1-form modified Proca gauge theory. Taking the help of (11), we have the following expansions (if we choose , ); namely,which yields the following off-shell nilpotent (anti-)BRST symmetries for the gauge () and Faddeev-Popov (FP) (anti-)ghost fields of the theory:A few noteworthy points, at this stage, are as follows. First, the superscript () on the superfields in (12) denotes the expansion of the superfields after the application of HC. Second, the transformations on the Nakanishi-Lautrup auxiliary fields have been derived from the nilpotency condition. Third, it can be checked that the last entry of (10) is satisfied: , due to expansions in (12). Finally, we have the following mappings (see, e.g., [2528] for details):Thus, we note that the Grassmannian translation generators () are connected with the off-shell nilpotent () and absolutely anticommuting () fermionic (anti-)BRST symmetry transformations . These properties have their origin in the properties , , of the Grassmannian translation generators () when the above relations are taken in their operator form.

Truly speaking, the exact relationship between the (anti-)BRST symmetry transformations and Grassmannian translational generators () is for the BRST transformations and for the anti-BRST symmetry transformations, where is the -dimensional ordinary field and is the corresponding superfield (obtained after the application of the HC). However, we will continue with the mapping (14) but will keep in mind that the precise connection between the (anti-)BRST transformations and is and .

Now we exploit the strength of the augmented version of superfield formalism [2528] to derive the (anti-)BRST symmetry transformations for the real scalar field . To this end in mind, we recall that the quantity () is a gauge invariant quantity (cf. Section 2). Thus, this physical quantity should remain unaffected by the presence of the Grassmannian variables () when it is generalized onto a -dimensional supermanifold. In other words, in the language of differential geometry, the following is true:Here [cf. (12)] and the zero-form superfield has the following superexpansion along the Grassmannian directions () of the -dimensional supermanifold; namely,In the above, it is evident that the pair of secondary fields () is fermionic and () are bosonic in nature. In the limit , we retrieve back our real scalar Stueckelberg field of the original -dimensional ordinary theory.

The gauge invariant restriction (GIR) in (15) leads to the following relationships:The substitution of (17) into (16) yieldswhere the superscript () on the superfield corresponds to the superexpansion of this superfield after the application of GIR. It is clear, from the above equation, that we have the following:We note that, ultimately, it is the combination of HC and GIR which leads to the derivation of full set of correct off-shell nilpotent () and absolutely anticommuting () (anti-)BRST transformations for all the fields of the -dimensional modified version of Proca theory.

3.2. Lagrangian Densities: (Anti-)BRST Invariance

Exploiting the full set of (anti-)BRST symmetry transformations, we can derive the (anti-)BRST invariant Lagrangian densities (which incorporate the gauge-fixing and Faddeev-Popov ghost terms) by exploiting the standard techniques of BRST approach; namely,In explicit form, the total (anti-)BRST invariant Lagrangian densities (containing two signatures) look as the following form:Using the full set of (anti-)BRST symmetries (13) and (19), we can check that the above Lagrangian densities transform to the total spacetime derivatives asAs a consequence, the action integral remains invariant for the physically well-defined fields of the theory. The above infinitesimal and continuous symmetry transformations, according to Noether’s theorem, lead to the following expressions for the (anti-)BRST charges :which are found to be conserved () and nilpotent () of order two. These charges are the generators of transformations listed in (13) and (19) and they are derived from the following Noether conserved currents:In the proof of the conservation laws (), we have to use the following Euler-Lagrange (E-L) equations of motion:which emerge from the Lagrangian densities (21).

The (anti-)BRST invariance of the Lagrangian density (21) can be also captured in the language of superfield formalism. To this end in mind, first of all, we note that the Stueckelberg Lagrangian density [cf. (3)] can be written aswithin the framework of superfield formalism, where the superfields are obtained after the applications of HC and GIR [cf. (12) and (18)]. It is straightforward to check that the following is true; namely,In view of the mappings (14), it is evident that the Stueckelberg Lagrangian densities are (anti-)BRST invariant (i.e., , , and ).

Exploiting the techniques of superfield formalism, the full (anti-)BRST invariant Lagrangian densities (21) (which incorporate the gauge-fixing and Faddev-Popov ghost terms) can be expressed in three different ways (modulo a total spacetime derivative); namely,Taking into account the nilpotency () and anticommutativity () property of the generator (), it is straightforward to prove thatwhere the mappings (14) and results from (27) have been taken into consideration. We would like to lay emphasis on the fact that there is no contradiction amongst (20), (22), (28), and (29). This is due to the observation that, in reality, we have . However, we have thrown away the total spacetime derivative term from the Lagrangian density (21). If we keep this term in (21), then we have instead of the expressions in (22). Thus, there is no inconsistency anywhere.

3.3. Conserved Charges: Superfield Approach

We can also express the (anti-)BRST charges in terms of superfields (obtained after the application of HC and GIR), the Grassmannian partial derivatives (), and differentials (). For instance, we note that the following expression for the BRST charge is true; namely,in the language of superfields (after the application of HC). It is clear, from the mappings (14), that the above expression impliesin the ordinary -dimensions of spacetime where the (anti-)BRST transformations and ordinary fields are defined. The proof of the nilpotency of the BRST charge becomes quite simple now due to the nilpotency () of and that of the translation generator (because ). In exactly similar fashion, we can express the anti-BRST charge , within the framework of superfield formalism, asOnce again, the proof of nilpotency of the anti-BRST charge becomes pretty simple because of the fact that, in the ordinary -dimensional spacetime, expression (32) can be written in the following form by exploiting the mappings (14); namely,where implies that (due to ). Within the framework of superfield formalism, the nilpotency of is encoded in the nilpotency of (because ). In other words, we can explicitly verify the nilpotency of the conserved (anti-)BRST charges in terms of the translational generators along the Grassmannian directions () of the -dimensional supermanifold as , because .

There are other alternative forms of the conserved and nilpotent (anti-)BRST charges, within the framework of the superfield formalism, that are also interesting. For instance, it can be checked that the anti-BRST charge can be expressed as:In exactly similar fashion, we can express the conserved BRST charge asThe nilpotency () of the (anti-)BRST charges is encoded in the observation that the following are true; namely,where the nilpotency () of and plays an important role.

We close this subsection with the remark that the following observations in the context of expressions for the (anti-)BRST charges:lead to the proof of absolute anticommutativity of the (anti-)BRST charges because it can be readily checked that the following are true; namely,because of the nilpotency of (anti-)BRST transformations . These observations can also be captured in the language of the superfield formalism; namely,The above expressions imply the following:A close look at (38), (39), and (40) shows that the nilpotency and anticommutativity property are interrelated. In other words, the properties and are interconnected. For instance, in the latter relation when we set , we obtain the former relation which actually provides the connection between the properties of anticommutativity and nilpotency associated with the (anti-)BRST symmetry transformations ().

We wish to make a final remark that it is the strength of the superfield approach to BRST formalism that we have obtained various expressions for the (anti-)BRST charges in the language of (anti-)BRST symmetry transformations. Some of the results are completely novel as, to the best of our knowledge, these expressions have not been pointed out in the literature. In fact, these new expressions are responsible, with the help of mapping in (14), to establish the nilpotency and absolute anticommutativity of the (anti-)BRST symmetries (and corresponding charges) within the framework of superfield formalism. For instance, the relationships, given in (38), demonstrate that the nilpotency property and absolute anticommutativity property (of and ) are intertwined together.

4. (Anti-)co-BRST Symmetries: Superfield Approach

In this section, first of all, we discuss the dual-gauge transformations for the gauge-fixed Lagrangian densities and show that a particular kind of restriction must be imposed on the dual-gauge parameter if we wish to maintain the dual-gauge symmetry in the theory. Then, we derive the off-shell nilpotent and absolutely anticommuting (anti-)co-BRST symmetry transformations by exploiting the strength of dual-HC (DHC) and dual-GIR (DGIR). After this, we prove the (anti-)co-BRST invariance of the Lagrangian densities within the framework of superfield formalism. Finally, we capture the (anti-)co-BRST invariance of the conserved charges, their nilpotency, and absolute anticommutativity within the ambit of the augmented version of superfield approach to BRST formalism.

4.1. Dual-Gauge Transformations for the Gauge-Fixed Lagrangian Densities in Two-Dimensions of Spacetime

Analogous to the infinitesimal, continuous, and local gauge symmetry transformations (4), we wish to discuss, in this subsection, the dual-gauge transformations which would be, finally, generalized to the (anti-)co-BRST symmetry transformations (in the two -dimensions of spacetime, a particular part of the Lagrangian density [i.e., ] becomes [] because there is only one nonvanishing component of which is ; this is a pseudoscalar field because it changes sign under the operation of parity transformation and it has only one existing component). In their most general form, the two -dimensional gauge-fixed Lagrangian densities for the modified Proca theory (without the fermionic (anti-)ghost fields) are as follows (for the theory, we adopt the convention and notations such that the background flat Minkowskian spacetime manifold is endowed with a metric with signatures () so that is the dot product between two nonnull vectors and ; we also choose the antisymmetric Levi-Civita tensor such that , , , etc.) (see, e.g., [3]): where () are the Nakanishi-Lautrup type auxiliary fields and is a pseudoscalar field that has been incorporated in the theory on mathematical as well as physical grounds [2, 3]. It will be noted that the (pseudo-)scalar fields have been added/subtracted in a symmetrical fashion to the kinetic and gauge-fixing terms, respectively, so that we would have appropriate discrete symmetry transformations in the theory [cf. (89) below].

Let us discuss the dual-gauge transformations :where is the d’Alembertian operator, is the local and infinitesimal dual-gauge parameter, and the superscripts () denote the dual-gauge transformations for the Lagrangian densities and , respectively. We note that the Lagrangian densities transform, under the above dual-gauge transformations , as follows:Thus, it is clear that, to maintain the dual-gauge symmetries in the gauge-fixed theory, we have to impose the condition , from outside, on the dual-gauge parameter . We note that the operation of coexterior derivative on the connection 1-form () yields which is a zero form. We can add/subtract a scalar field to it as is the case with the gauge-fixing terms that have been incorporated in . This scalar field is nothing but the Stueckelberg field.

A few noteworthy points, at this juncture, are as follows. First, we point out that the nomenclature of the dual-gauge symmetry is appropriate because we have . In other words, the total gauge-fixing terms , owing their fundamental origin to the dual-exterior derivative, remain invariant. Second, the dual-gauge parameter has to be restricted by to maintain the dual-gauge symmetry in the theory. One can take care of this restriction by introducing the (anti-)ghost fields within the framework of BRST formalism as we will see in our Section 4.3. Third, the dual-gauge symmetry transformations exist only in the specific two -dimensions of spacetime for the Abelian 1-form gauge theory, whereas the local gauge and (anti-)BRST symmetries exist in any arbitrary dimension of spacetime. Fourth, the perfect analogue of the gauge symmetry [cf. (4)] does not exist for the dual-gauge symmetry (because we have to impose the restriction from outside). Finally, in the forthcoming sections, we will see that one can have perfect (anti-)dual-BRST (or (anti-)co-BRST) symmetries in the theory, where will be replaced by the (anti-)ghost fields (without any ad hoc restrictions from outside).

We claim that there would not be any restrictions on anything (from outside) when we will discuss the full (anti-)BRST and (anti-)co-BRST invariant Lagrangian densities of our present theory.

4.2. Nilpotent (Anti-)co-BRST Symmetry Transformations: Geometrical Superfield Technique

As prescribed by the superfield formalism, first of all, we generalize the theory onto the -dimensional supermanifold and promote the ordinary coexterior derivative onto the same supermanifold, aswhere the () operator is the Hodge duality operation, defined on the -dimensional supermanifold. The working rule for the operation of () has been worked out in our earlier paper [32] and we exploit these results in the following dual-HC (DHC):where the l.h.s. is () and r.h.s. is obviously equal to the Lorentz condition for the gauge-fixing (). The definition of and is quoted in (6) and the superexpansions of the superfields are listed in (7).

The explicit expression for the computation of the l.h.s. of the DHC, in (45), is as follows (we have performed explicit computation of () in our Appendix A and derived clearly (46) which plays an important role in our further discussions) (see, e.g., [32] for details):where coefficients, in the above, have turned up while taking the Hodge duality () operation on the following super 4-forms (defined on the -dimensional supermanifold), while the computations of are performed; namely,It is to be noted that () is a super 4-form on the -dimensional supermanifold and when we perform another () operation on it, the differentials of (47) appear. In the above, and are symmetric in and and all the other coefficients of the l.h.s. of (45) have been worked out in our earlier paper [32]. On the comparison of the l.h.s. and r.h.s. of (45), we obtainIt is clear that, unlike the HC where all the secondary fields of expansions (7) are exactly and uniquely determined, in the case of DHC, the secondary fields are not uniquely determined and there can be various (non-)local choices for the solution of (48) (see, e.g., [33] for details). Thus, we have the complete freedom to make the choices. Finally, we select (by exploiting the augmented version of superfield formalism, we have derived these exact expressions in our Appendix B; thus, results of (49) are mathematically precise and exact) the following local expressions for the solution of (48); namely,which, unambiguously, satisfy and . From now on, we will focus only on the Lagrangian density of (41) and its generalization to the (anti-)co-BRST invariant Lagrangian density (57) (see below). However, it is straightforward to make the local choices for the Lagrangian density , too. For instance, we can choose , , , , and for the (anti-)co-BRST invariant version of .

Ultimately, we obtain the following expansions for the superfields along the Grassmannian -directions of the -dimensional supermanifold after the application of DHC; namely,where the superscript () denotes the expansions of the superfields after the application of DHC. A close look at the above expansions demonstrates that we have already obtained the (anti-)co-BRST symmetry transformations for the gauge field and corresponding (anti-)ghost fields . Physically, the DHC states that the dual-gauge invariant quantity [i.e., ], which is nothing but the Lorentz condition () for the gauge-fixing, does not depend on the Grassmannian variables and in any form.

To obtain the (anti-)co-BRST symmetry transformations for the field, we exploit the strength of augmented superfield formalism where we demand that all the dual-gauge (or (anti-)co-BRST) invariant quantities should remain independent of the Grassmannian variables and . In this context, we observe that under the dual-gauge transformations (42). Thus, we demand the following dual-GIR on the superfields of the -dimensional supermanifold; namely,We note that the DGIR combines DHC and the dual-gauge invariance together in a fruitful fashion. Taking the help from (50) and using the following expansion for the superfield along the Grassmannian ()-directions of the -dimensional supermanifold:we obtain the following results:It is obvious, from the above, that and are fermionic in nature and is bosonic. Plugging in the above values into (52), we deduce the following:where the superscript () denotes the superexpansion after the application of dual-GIR (DGIR) on the superfields of the -dimensional supermanifold.

A careful observation of (50) and (54) leads to the derivation of the following fermionic (anti-)co-BRST symmetry transformations for the whole theory; namely,which would be the symmetry transformations for the appropriately modified [cf. (57) below] form of the Lagrangian density (21). A careful observation at the transformations (55) demonstrates that the (anti-)co-BRST symmetry transformations are off-shell nilpotent as we do not use any equation of motion in the proof of . Further, these transformations are absolutely anticommuting in nature because it can be checked that . Finally, we have christened the transformations (55) as (anti-)dual-BRST (or (anti-)co-BRST) transformations because the total gauge-fixing term (), originating basically from the coexterior derivative, remains invariant under the nilpotent () and absolutely anticommuting () transformations .

It is clear that the nilpotent (anti-)co-BRST symmetry transformations (55) are derived from the superexpansions (50) and (54) which are present on the -dimensional supermanifold. Hence, there should be some connection between the nilpotent (anti-)co-BRST symmetries and the superfield formalism on -dimensional superspace. A careful observation at the superexpansions in (50) and (54) leads to the following relationships:where is the generic superfield obtained after the application of DHC and DGIR on the -dimensional supermanifold and is the ordinary field of our present (anti-)co-BRST invariant theory. It is evident that the transformations (55) would be automatically off-shell nilpotent and absolutely anticommuting because these are identified with the translational operators (), along the Grassmannian directions () of the -dimensional supermanifold, which satisfy , due to their inherent properties. We end this subsection with the remark that because is a dual-gauge invariant quantity (i.e., ).

4.3. Lagrangian Densities: (Anti-)co-BRST Invariance

The (anti-)co-BRST invariant version of the Lagrangian density of (41) is the one that incorporates the FP-ghost terms; namely,We note that the gauge-fixing and Faddeev-Popov ghost terms of the above Lagrangian density are same as that of the (anti-)BRST invariant Lagrangian density (21). Under the off-shell nilpotent and absolutely anticommuting (anti-)co-BRST symmetry transformations [cf. (55)], the above Lagrangian density transforms to the total spacetime derivatives as illustrated in the following:Hence, the action integral of our theory remains invariant.

We note that the gauge-fixing and FP-ghost terms of the Lagrangian densities (21) have been derived by exploiting the off-shell nilpotent (anti-)BRST symmetry transformations [cf. (20)]. In exactly similar fashion, it is interesting to observe thatThe above expressions show that there are three different ways (modulo a total spacetime derivative term) to write the kinetic term plus the FP-ghost terms in the language of the off-shell nilpotent () (anti-)co-BRST symmetry transformations which are also absolutely anticommute (i.e., ) with each other in their operator form.

We can express the above three relations in the language of superfield formalism because we observe that the following expressions:also lead to the derivation of the sum of a part of kinetic term and FP-ghost terms. Ultimately, this exercise implies that the sum of kinetic and FP-ghost terms,is always (anti-)dual-BRST invariant quantity (modulo a total spacetime derivative) because this is trivially true when we take into account the nilpotency and absolute anticommutativity of the (anti-)co-BRST symmetry transformations. In other words, we conclude that modulo a total spacetime derivative. Thus, a part of Lagrangian density (57) is invariant under .

We have already seen that a part of the kinetic term and the total of FP-ghost terms can be expressed in terms of the superfields obtained after the application of DHC and DGIR [cf. (60)]. Furthermore, the kinetic term for the field and the total gauge-fixing term [] would remain intact within the framework of superfield formalism as they are the dual-gauge (or (anti-)co-BRST) invariant quantities. We note that in the superfield formalism and it is trivial to check that [cf. (50)] so that without any change whatsoever when we generalize it onto the -dimensional supermanifold. The rest of the terms can be generalized onto the -dimensional supermanifold aswhere the symbols have already been explained earlier and they are nothing but the superexpansions after the application of the DHC and DGIR [cf. (50) and (54)].

It is interesting to note that the last term of (62) is always (anti-)co-BRST invariant quantity because we observe the following:where we have taken the expansions of from (50). Taking the help of the mappings (56), we note the following:which demonstrates that is always a total spacetime derivative. The rest of the terms in (62) are also (anti-)co-BRST invariant quantity because we check that Ultimately, we conclude that is always a total spacetime derivative. As a consequence, this specific part of the Lagrangian density (i.e., ) is (anti-)co-BRST invariant quantity.

Ultimately, we have the total expression for the Lagrangian density (57) in the superfield formalism, on the -dimensional supermanifold, aswhere all the symbols have been explained earlier. The (anti-)co-BRST invariance of the Lagrangian density, within the framework of superfield formalism, isDue to the above observations, it is clear that the action integral would remain invariant under the nilpotent (anti-)co-BRST symmetry transformations.

Finally, we would like to state that we have accomplished our goal of capturing the (anti-)co-BRST invariance of the action integral within the framework of superfield formalism where we have used the superfields that have been obtained after the application of DHC and DGIR. We further note that the expressions in (58) and (67) match very nicely. The appearance of the terms like , , and in the parenthesis of above equation is due to the same kind of arguments as offered at the end of (29) in the context of (anti-)BRST symmetries and corresponding invariance of the action integral under these continuous and nilpotent symmetry transformations.

4.4. Nilpotency and Anticommutativity of the Conserved (Anti-)co-BRST Charges: Superfield Formulation

Exploiting the standard technique of the Noether theorem and using the appropriate equations of motion, we obtain the following expressions for the conserved () and off-shell nilpotent () (anti-)co-BRST (or (anti-)dual-BRST) charges:which have been derived from the Lagrangian density (57) that has led to the following conserved (i.e., ) Noether currents:The conservation law (i.e., ) can be proven by exploiting the following equations of motion emerging from the Lagrangian density (57); namely,It is straightforward to check that the (anti-)co-BRST charges can be expressed in terms of the (anti-)co-BRST symmetry transformations asExploiting the mapping (56), it can be seen that the above expressions could be recast in the language of the superfields, obtained after the application of DHC and DGIR, asFrom the above expressions, too, one can prove the off-shell nilpotency () of the charges by observing that the following are true; namely,The above observation of the nilpotency of is intimately connected with the nilpotency of translational generators () along the Grassmannian directions of the supermanifold.

The nilpotency of can also be proven by the following expressions of in terms of the (anti-)co-BRST symmetry transformations ; namely,Thus, it is clear that the following will be true; namely,due to the nilpotency of (i.e., ). In the language of superfield formalism, expressions (74) can be written aswhich demonstrate trivially the following:where the nilpotency of and (i.e., ) plays a decisive role.

To prove the absolute anticommutativity of , we note the following interesting expressions for the conserved (anti-)co-BRST charges:The above expressions automatically imply the following beautiful relationships:Thus, we point out a very interesting observation that the absolute anticommutativity property of the (anti-)co-BRST charges is deeply and clearly connected with the nilpotency of the (anti-)co-BRST symmetry transformations (i.e., ). These expressions (78) could be also written in terms of superfields, translational generators (), and differentials () defined on the -dimensional supermanifold, asThe above expressions capture the anticommutativity property of the (anti-)co-BRST charges in the language of superfield formalism, aswhere the properties , play important roles when we use the expressions for from (80). The anticommutativity property is hidden in (81) in view of the mapping (56) which implies that (81) can be written as and primarily due to , .

We end this subsection with the remark that the nilpotency and absolute anticommutativity properties of the (anti-)co-BRST symmetry transformations (and their corresponding conserved charges) are related to the properties , and . These relations are, in turn, interconnected with each other because the limiting case of the latter (i.e., ) leads to the derivation of the former (, ) when we set in the latter relationship of anticommutativity between and .

5. On a Unique Bosonic Symmetry, the Ghost-Scale Symmetry, and the Discrete Symmetries

From the four nilpotent () symmetries of the theory, we can construct a unique bosonic symmetry , under which, the relevant fields of our present theory (described by the Lagrangian density (57)) transform asmodulo an overall factor of (). We note that , , , and . We point out that the fundamental symmetries of the theory are and which have been derived from the augmented superfield formalism. The bosonic symmetry transformation is derived from the above basic off-shell nilpotent () symmetries and . One of the decisive features of the above bosonic symmetry is the observation that the ghost part of the Lagrangian density remains invariant.

Under the above transformations (82), the Lagrangian density (57) transforms asAs a consequence, the action integral remains invariant. The above symmetry transformation, according to Noether’s theorem, leads to the derivation of the following conserved charge (as the analogue of the Laplacian operator):which emerges from the Noether conserved () currentThe conserved charge (84) is the generator of the continuous and infinitesimal bosonic symmetry transformations (82) which can be checked by using the standard formula between the continuous symmetry and its generator.

Our theory, described by the Lagrangian density (57), is endowed with the following ghost-scale symmetry transformations (with a global (i.e., spacetime independent) scale parameter ); namely,where the numerals in the exponentials denote the ghost numbers of the fields. The infinitesimal version of the above scale transformations () ismodulo a factor of that can be set equal to one for the sake of brevity. The above transformations are generated by the following ghost charge [2, 3]:This charge has been derived from the conserved current . The conservation law can be proven by using the Euler-Lagrange equations of motion and which emerge from (57).

In addition to the above continuous symmetries, we have a set of suitable discrete symmetries in the theory. These symmetries are as follows:It is straightforward to check that the Lagrangian density (57) remains invariant under the above discrete symmetry transformations. Further, it can be readily verified that the following is true; namely,where the operator () is nothing but the operation of the above discrete symmetry transformations on the conserved charges of the theory. We note that two successive operations of the discrete symmetry transformations leave the conserved charges intact. On the other hand, a single operation of the discrete symmetry transformations interchanges each of the pairs () and () such that (, ) and the ghost charge transforms as .

6. Algebraic Structures and Cohomological Aspects

It can be checked that the six conserved (i.e., ) charges (i.e., , ) of the theory obey the following extended BRST algebra:The above algebra is exactly like the algebra satisfied by the de Rham cohomological operators of differential geometry [712]; namely,where (with ) and (with ) are the (co-)exterior derivatives and is the Laplacian operator of differential geometry. In the above, the symbol () stands for the Hodge duality operation on a given spacetime manifold. For the even dimensional manifold, the relation is always true.

There is a simpler way to check the sanctity of the extended BRST algebra listed in (91) where we use the well-known relationship between the continuous symmetry transformations and their generators. For instance, the above algebra can be obtained from the following transformations on the conserved charges; namely,where the l.h.s. can be calculated in a straightforward manner by exploiting the expressions for the six conserved charges and the corresponding continuous symmetry transformations that have been mentioned in the main body of our text.

A comparison between (91) and (92) demonstrates that and are the Casimir operators (the algebras (91) and (92) are not the Lie algebras; hence, the charge and operator are not the Casimir operators in the sense of such objects in the case of Lie algebra) for the above algebras in the sense that they absolutely commute with the rest of the operators. A close look at these algebras leads to the following clear-cut two-to-one mappings:between the conserved charges and the cohomological operators. Furthermore, we note that we have the following beautiful relationship [2, 3]:which provides the physical realization of the relationship (i.e., ) between the (co-)exterior derivatives defined on an even dimensional spacetime manifold. In (95), we observe that it is the interplay between the continuous symmetries (i.e., ) and the discrete symmetries (89) that provide the analogue of relationship . In fact, the latter (i.e., (89)) leads to the physical realization of the Hodge duality () operation of the differential geometry. Thus, we note that the in (95) is nothing but the discrete symmetry transformations (89). The minus sign on the r.h.s of (95) is governed by two successive operations of the discrete symmetry transformations (89) on the generic field ; namely, (see, e.g., [34] for details).

One of the distinguishing features of the cohomological operators () is the observation that when they operate on a differential form of a specific degree, the consequences turn out to be completely different. For instance, when the (co-)exterior derivatives operate on a form () of degree , they (lower) raise the degree of the form by one (i.e., , ). On the contrary, when acts on a form of degree , it does not change the degree at all (i.e., ). We have to capture these properties in the language of the symmetry properties and conserved charges of our present modified version of Proca theory so that we could establish precise analogy.

The above algebraic features could be also captured in the language of conserved charges. To this end in mind, let us define a state in the quantum Hilbert space of states aswhere the eigenvalue is the ghost number because is the ghost charge [cf. (88)]. Due to the algebra (91), respected by the various charges, it can be readily checked that the following relationships are true; namely,Thus, we note that the ghost numbers for the states , and are , and , respectively. In exactly similar fashion, the states , and also carry the ghost numbers , and , respectively. These properties are exactly like the consequences that ensue from the operations of the cohomological operators on a differential form of degree defined on a given manifold.

We conclude that, if the degree of a form is identified with the ghost number, then the operation of () on this given form is exactly like the operations of the set () and/or () on the state with ghost number equal to the degree of the form. Thus, the mappings (94) are correct as far as the algebraic structures of (91) and (92) are concerned and we have two-to-one mapping from the conserved charges of the theory to the de Rham cohomological operators of differential geometry. A careful look at (90) and (91) leads to the conclusion that the algebra (91) remains invariant under any number of operations of discrete (duality) symmetry transformations (89). This establishes that our present theory is a perfect model for the Hodge theory where the continuous symmetry transformations (and corresponding generators) provide the physical realizations of the cohomological operators. On the other hand, it is the discrete symmetry transformations of the theory that are the physical analogue of the Hodge duality operation of differential geometry. Finally, we observe that the ghost number of a specific state in the quantum Hilbert space provides the physical analogue of the degree of a form of differential geometry as far as its cohomological aspects are concerned.

7. Conclusions

In our present endeavor, we have applied the augmented version of superfield formalism to derive the off-shell nilpotent (anti-)BRST and (anti-)co-BRST symmetry transformations for the modified version of Proca theory. We have exploited the theoretical strength of horizontality condition (HC) and gauge invariant restriction (GIR) to derive the (anti-)BRST symmetries for all the fields of our present theory. In addition, we have made use of the dual-HC (DHC) and dual-GIR (DGIR) to obtain the complete set of (anti-)co-BRST symmetry transformations for all the fields of our present theory. The local gauge symmetry transformations [cf. (4)] are the perfect “classical” version of the (anti-)BRST symmetries which exist in any arbitrary dimension of spacetime. However, there is no such perfect “classical” analogue (see, e.g., Section 4.1) for the (anti-)co-BRST symmetries of our present theory. The latter symmetries exist only in specific dimensions of spacetime and they are always “quantum” in nature. For instance, for the Abelian 1-form gauge theory, these “quantum” symmetries exist only in two dimensions of spacetime.

In Sections 3.3 and 4.4, we have expressed the (anti-)BRST and (anti-)co-BRST charges in various forms due to our knowledge of the augmented superfield approach to BRST formalism. In these subsections, we have been able to provide the meaning of their nilpotency and absolute anticommutativity in the language of superfield formalism. We have been also able to establish connections between the properties of nilpotency and absolute anticommutativity. In fact, it is the strength of the augmented superfield formalism that we have expressed the (anti-)BRST and (anti-)co-BRST charges in a completely novel fashions (which have, hitherto, not been pointed out in literature). Thus, there are completely novel results in Sections 3.3 and 4.4 as far as our present investigation on the superfield approach to BRST formalism is concerned.

In addition to the above results, there are applications of DHC and DGIR in deducing the full set of (anti-)co-BRST symmetry transformations for all the fields of our present theory. These derivations are also novel results. In particular, the application of DGIR, in the derivation of the (anti-)co-BRST symmetry transformations for the pseudoscalar field (), is a completely new result which has not been discussed in the literature. The symmetries of the theory enforce the pseudoscalar field to have a negative kinetic term. Since this field is massive [i.e., ], it is a very good candidate for the dark matter [29, 30]. We lay emphasis on the fact that the Stueckelberg scalar field () has always a positive kinetic term and, hence, it is an ordinary matter (due to ).

In our investigation, we have provided physical realizations of the de Rham cohomological operators in the language of the continuous symmetry transformations (and their corresponding charges). Further, we have shown that a set of discrete symmetry transformations provide the physical analogue of the Hodge duality operation of differential geometry. Ultimately, we have shown that, at the algebraic level, the set of six conserved charges of our theory obey exactly the same algebra as that of the de Rham cohomological operators of differential geometry. This algebra remains invariant [cf. (90)] under the discrete symmetry transformations (89) which are the analogue of Hodge theory () operation. The degree of a form finds its physical analogue as the ghost number of a state (in the quantum Hilbert space of states). Thus, our present modified version of Proca theory turns out to be a perfect model for the Hodge theory. The unique feature of our present theory is the coexistence of mass and various kinds of internal symmetries together in a physically and mathematically meaningful manner.

It would be nice future endeavor to study the above kind of possibilities in the cases of 3D and 4D massive gauge theories [35, 36] where the gauge invariance and mass would coexist together. In other words, we would like to study whether Stueckelberg’s type of technique would be able to modify the above theories in such a way that they could also become massive field theoretic models for the Hodge theory. We speculate that such kind of situation will exist and these models will provide candidates for the dark matter in more physical 3D and 4D of spacetime (analogous to the massive pseudoscalar of our present theory). Our speculation is based on the fact that we have already shown that the 4D free Abelian 2-form gauge theory is a model for the Hodge theory where a massless pseudoscalar field does exist with a negative kinetic term (see, e.g., [18, 19] for details). We are currently intensively involved with such kind of problems and we will be able to report about our progress in our future publications.

Appendices

A. On the Verification of (46)

Here we compute (46) step by step which is nothing but the expression for (). Taking the expression for (from (6)) and applying a single () on it, we obtain the following on a -dimensional supermanifold (see, e.g., [32] for details):which is nothing but a super 3-form on the above supermanifold. In the above computation, we have used the following relationship on the given -dimensional supermanifold (see, e.g., [32] for details):Now we obtain a super 4-form on the -dimensional supermanifold by applying a on (A.1). This is given by the following expression:It is clear, from the above, that the second and third terms would be zero because there are wedge-products which contain three spacetime differentials (which is not allowed on a -dimensional supermanifold). Furthermore, fourth and seventh terms would be zero because the wedge product with three Grassmannian differentials is not allowed on a -dimensional supermanifold. Hence, we have the existing super 4-form aswhere we have taken into account the following rules:Taking a [] on (A.4), we obtainwhere we have used the following inputs (see, e.g., [32]):Thus, we finally obtain the explicit expression for () as follows:which has been mentioned in (46).

B. On the Verification of (49)

By exploiting the basic ideas behind the augmented superfield formulation, we demonstrate here that the choices made in (49) are exact. Towards this goal in mind, we note that the following (anti-)co-BRST invariant quantity:should remain independent of the “soul” coordinates and when it is generalized onto the -dimensional (anti-)chiral super-submanifolds. This is physically allowed and it can be readily utilized within the framework of the augmented superfield formalism. In other words, the following equality:should hold good as far as the (super)fields of our present theory are concerned. Plugging in the superexpansions from (7) and (50) for , , and , we obtain the following relationships:which are obtained when we set equal to zero the coefficients of and and in the equality (B.2). From (B.3), it is clear that we obtainThe substitution of these values into (7) leads to the derivation of the expansions . It is worth pointing out that the expansions for and have been obtained due to the dual-HC (given in (45)). This demonstrates that, for our theory, the choices made in (49) can be computed exactly in a precise manner.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

Two of the authors (A. Shukla and S. Krishna) would like to gratefully acknowledge the financial support from CSIR and UGC, Government of India, New Delhi, under their respective SRF-schemes.