Abstract
We derive the complete set of off-shell nilpotent and absolutely anticommuting (anti-)BRST as well as (anti-)co-BRST symmetry transformations for the gauge-invariant Christ–Lee model by exploiting the celebrated (dual-)horizontality conditions together with the gauge-invariant and (anti-)co-BRST invariant restrictions within the framework of geometrical “augmented” supervariable approach to BRST formalism. We show the (anti-)BRST and (anti-)co-BRST invariances of the Lagrangian in the context of supervariable approach. We also provide the geometrical origin and capture the key properties associated with the (anti-)BRST and (anti-)co-BRST symmetry transformations (and corresponding conserved charges) in terms of the supervariables and Grassmannian translational generators.
1. Introduction
The dynamics of a given physical system can be described in terms of the differential equations of various degrees. The classical Hamilton’s equations, Schrödinger equation in quantum theory, and Maxwell’s equations in electrodynamics are a few physically fundamental examples of such systems. In order to get the complete information about the dynamics of a system, one has to solve the equations which describe them. Interestingly, the existence of symmetry further simplifies the solutions of physical system. This is because of the fact that one can describe the properties of a given system without solving all the equations of motion. Thus, the symmetry transformations are the key ingredients of modern physics [1]. It is well-known that the three out of four fundamental interactions of nature can be well described by the gauge theories and associated local gauge symmetries. Gauge symmetry is always generated by the first-class constraints present in a given physical theory [2, 3].
Becchi–Rouet–Stora–Tyutin (BRST) formalism is one of the elegant, mathematically rich, and unique ways to covariantly quantize any gauge theory where unitarity and quantum gauge invariance are respected together [4–7]. It is important to mention that, for a given local gauge symmetry at the classical level, we have two global supersymmetric types (i.e., BRST and anti-BRST) symmetries at the quantum level [8, 9]. These symmetry transformations have two innate properties: nilpotency of order two and absolute anticommutativity. First property elaborates the fermionic nature of the (anti-)BRST symmetries whereas latter one insures that BRST and anti-BRST transformations are linearly independent of each other. The anti-BRST symmetry is just not an artifact rather it plays an instrumental role in providing the geometrical interpretation of the superfield approach to BRST formalism [10–12]. It is also useful in the investigation of perturbative renormalizability of Yang-Mills theory [13–15]. Thus, it is of utmost interest to study the (anti-)BRST invariant theory.
In our earlier work, we have shown that, in addition to the above fermionic (anti-)BRST symmetries, the nilpotent and absolutely anticommuting (anti-)co-BRST symmetries also exist for the Abelian -form gauge theories in a specific -dimensions of spacetime within the framework of BRST formalism [16] where is the dimensionality of spacetime and denotes the degree of the differential form. One of the key differences between the (anti-)BRST and (anti-)co-BRST symmetries is that the former symmetries leave the kinetic term invariant whereas under the latter symmetries the gauge-fixing term remains invariant. The appropriate anticommutators among the fermionic symmetries lead to a unique bosonic symmetry in the theory. These fermionic and bosonic symmetries (and corresponding charges) provide the physical realizations of the de Rham cohomological operators of differential geometry whereas discrete symmetry plays the role of Hodge duality operation (see, e.g., [16–18] for details). In fact, we have conjectured that, in -dimensions of spacetime, any arbitrary Abelian -form gauge theory () provides a field-theoretic model for the Hodge theory within the framework of BRST formalism [16]. Furthermore, we point out that the rigid rotor and Christ–Lee model in the context of BRST formalism are shown to be the examples of Hodge theory [18, 19].
Christ–Lee (CL) model is one of the simplest examples of gauge-invariant system that is described by a singular Lagrangian. Physically, CL model represents a particle moving in plane with some specific constraints [20]. To be more specific, CL model is endowed with two first-class constraints in the language of Dirac’s classification scheme of constraints [2, 3]. CL model has been well studied at the classical and quantum level in many different ways [21–23]. The gauge group of CL model is analogous to the quantum electrodynamics (QED) with a local gauge parameter varying as an arbitrary function of time. This simple physical system has been quantized by exploiting the usual canonical formalism with some specific gauge choices (e.g., temporal and/or Coulomb gauge conditions) [20]. This model has also been quantized by exploiting the BRST formalism [24].
In our earlier work, we have shown that besides the usual off-shell nilpotent (anti-)BRST transformations there also exist (anti-)co-BRST symmetries for CL model. Further, it has been explicitly shown that, in addition to above fermionic transformations, a unique bosonic symmetry transformation is also present for this model within the framework of BRST formalism [19]. We have shown that these transformations (and corresponding conserved charges) obey an algebra which is exactly similar to the algebra satisfied by the de Rham cohomological operators () [25, 26]. Thus, we have been able to show that CL model is a simple toy model for the Hodge theory [19].
As far as the fermionic (anti-)BRST and (anti-)co-BRST symmetries are concerned, their geometrical origin becomes transparent and clear in the superfield formulation [10–12]. Bonora-Tonin superfield approach to BRST formalism is a geometrically intuitive method where the key properties associated with the (anti-)BRST symmetry transformations find their geometrical origin in the language of Grassmannian translational generators in an elegant manner [10, 11]. In this formalism, a -dimensional Minkowskian manifold is generalized to the -dimensional supermanifold. The latter is parametrized by the superspace coordinates where are the bosonic coordinates and are a pair of Grassmannian variables obeying nilpotency and anticommutativity properties (i.e., ). The superspace formalism, in general, allows superfields in a given field-theoretic model. One of the simplest examples is the Abelian 1-form gauge theory in 4D of spacetime. In the superfield approach to BRST formalism [10–12], we define a super 1-form connection and super exterior derivative on the supermanifold corresponding to the ordinary 1-form and exterior derivative . Here the superfields , and , as the supermultiplets of super 1-form, are the generalization of the gauge field , ghost field , and anti-ghost field , respectively. Now we expand these superfields along the Grassmannian directions and with the help of other secondary fields. By exploiting the power and strength of horizontality condition (i.e., ), we precisely determine all the secondary fields in terms of the dynamical/auxiliary fields of the (anti-)BRST invariant theory. We point out that the CL model is a model where the dynamical variables (as the generalized coordinates) are only the function of time-evolution parameter. We utilize here the sanctity of the above superfield approach for the present CL model.
For the interacting theories, a more powerful method known as “augmented” version of the superfield approach has been developed where, in addition to the horizontality condition, the gauge-invariant restrictions are also implemented for the derivation of the complete set of proper (anti-)BRST transformations [27–30]. In our present study, we shall utilize the power and strength of the superfield formalism to derive the off-shell nilpotent and absolutely anticommuting (anti-)BRST as well as (anti-)co-BRST symmetry transformations for the -dimensional CL model. In this approach, we have to go beyond the celebrated (dual-)horizontality condition to derive the proper (anti-)BRST and (anti-)co-BRST for all the dynamical variables present in the model. In fact, in addition to the (dual-)horizontality conditions, we use the gauge and (anti-)co-BRST invariant restrictions.
The contents of our present endeavour are as follows. In Section 2, we briefly discuss the CL model and associated local gauge symmetry. We also discuss the supersymmetric type global (anti-)BRST and (anti-)co-BRST symmetry transformations (and corresponding conserved charges). Section 3 is devoted to the derivation of the off-shell nilpotent and absolutely anticommuting (anti-)BRST symmetry transformations with the help of “augmented” supervariable approach. Section 4 deals with the derivation of the proper (anti-)co-BRST transformations where the (anti-)co-BRST restrictions are used, in addition to the dual-horizontality condition. We capture the (anti-)BRST and (anti-)co-BRST invariances of the Lagrangian within the framework of supervariable approach in Section 5. In our Section 6, we show the nilpotency and anticommutativity properties of the (anti-)BRST and (anti-)co-BRST transformations (and corresponding generators) in terms of the translational generators along the directions of Grassmannian variables. Finally, in Section 7, we provide the concluding remarks.
2. Preliminaries: Christ–Lee Model and Associated Symmetries
We start off with the first-order as well as gauge-invariant Lagrangian of the -dimensional Christ–Lee (CL) model as given by [20, 22, 24]where are the generalized plane polar coordinates and are the corresponding canonical momenta, respectively. The variable is another generalized coordinate and is the potential bounded from below. Under the following continuous gauge symmetry transformationswhere is an infinitesimal local gauge parameter, the Lagrangian remains invariant (i.e., ).
The (anti-)BRST invariant Lagrangian for the Christ–Lee model that incorporates the gauge-fixing term and Faddeev–Popov (anti-)ghost variables can be written as [19, 24]where is the Nakanishi–Lautrup type auxiliary variable and are the Faddeev–Popov (anti-)ghost variables (with ) having ghost numbers , respectively. The Lagrangian (3) respects the off-shell nilpotent and absolutely anticommuting (anti-)BRST () and (anti-)co-BRST symmetry transformations. These continuous symmetries are listed as follows [19]:One can readily check that under the above symmetry transformations remains quasi-invariant [31]. To be more precise, the Lagrangian transforms to a total time derivative under the above continuous and nilpotent symmetry transformations; namely,As a consequence, the action integral remains invariant under the (anti-)BRST and (anti-)co-BRST transformations. According to the Noether theorem, the invariance of the action under the above continuous symmetry transformations leads to the following conserved charges [19]:where on the r.h.s., we have used the equation of motion that has been derived from . These conserved charges are the generators of the corresponding symmetry transformations. It is also to be noted that these charges are nilpotent of order two (i.e., ) and anticommuting in nature.
3. Off-Shell Nilpotent (Anti-)BRST Symmetries: Supervariable Approach
We lay emphasis on the fact that the variable behaves like a gauge variable [32] because, under the gauge transformation, it transforms as . For example, in QED, the temporal component of vector gauge field transforms as under the gauge transformation where is a local gauge parameter. Thus, we define the exterior derivative (with ) and 1-form connection on -dimensional space parameterized only by (bosonic) time-evolution parameter as (see, e.g., [25, 26])We note that because of the property of wedge product . In order to derive the proper (anti-)BRST transformations, we generalize the exterior derivative and 1-form to their corresponding super exterior derivative () and super 1-form (), respectively, on the -dimensional superspace parametrized by (bosonic) and a pair of Grassmannian variables (with ) as given by (see, e.g., [10, 11] for details)where and are the Grassmannian derivatives (with ) corresponding to the variables and , respectively. The supermultiplets as the components of super 1-form can be expanded along the directions of Grassmannian variables () as follows:where are the bosonic secondary variables and are the fermionic secondary variables. We shall determine these secondary variables in terms of the basics and auxiliary variables by exploiting the following horizontality condition:The horizontality condition is also known as “soul-flatness” condition where is a body coordinate and () are the soul coordinates [33]. The horizontality or soul-flatness condition implies that the r.h.s. would remain independent of the soul coordinates when it is generalized onto D supermanifold. The l.h.s. of (10), in full blaze of glory, can be written asExploiting (10) and (11) with the help of (9), we obtain the following interesting relationships among the basic and secondary variables; namely,where we have made the choice for the Nakanishi–Lautrup type auxiliary variable. Substituting the values of secondary variables from (12) in (9), we yield the following expressions for the supervariables:where the superscript on supervariables implies the super expansions of supervariables obtained after the application of horizontality condition (10).
At this juncture, we lay emphasis on the fact that the quantity remains invariant under the gauge transformations (2). Thus, it would also be independent of the Grassmannian variables when we generalize it onto -dimensional superspace. This gauge-invariant quantity will serve our purpose to derive the off-shell nilpotent (anti-)BRST transformations for variable [27–29]. In the language of differential form, we can write this gauge-invariant quantity as follows:which is clearly a 1-form object. Here is a zero-form. Now, we generalize this 1-form object onto -dimensional supermanifold aswhere the super zero-form is defined in the following fashion:In the above, is a bosonic secondary variable whereas are the fermionic secondary variables. The l.h.s. of (15) can be explicitly written asUsing (15) and (17) together with (13), we obtain the precise value of the secondary variablesFurthermore, we point out that the dynamical variables , and are also gauge-invariant as one can see from (2). These gauge-invariant variables would also remain unaffected by the presence of Grassmannian variables. As a result, we obtain the following super expansions; namely,It is to be noted that if we look carefully at the super expansions given in (13) and (19), we can easily find out the proper (anti-)BRST transformations for all the dynamic variables. In fact, the BRST and anti-BRST transformations can be obtained for any generic dynamical variable from its corresponding supervariable in the following manner:Using the above equations, we obtain the off-shell nilpotent and absolutely anticommuting (anti-)BRST symmetry transformations as listed in (4) [19]. However, the (anti-)BRST transformations for the Nakanishi–Lautrup variable have been derived from the requirements of nilpotency and anticommutativity of the (anti-)BRST transformations.
Exploiting the basic tenets of BRST formalism, we can write the Lagrangian (3) in three different ways by using the (anti-)BRST transformations asmodulo a total time derivative term. It is clear from the above that, due to the nilpotency property of , the (anti-)BRST invariance of can now be proven in a simple and straightforward manner.
4. Off-Shell Nilpotent (Anti-)Co-BRST Symmetries: Supervariable Approach
In this section, we shall derive the off-shell nilpotent (i.e., ) and absolutely anticommuting (i.e., ) (anti-)co-BRST symmetry transformations (). We accomplish this goal by exploiting the power and strength of the dual-horizontality condition together with (anti-)co-BRST invariant restrictions. The action of co-exterior derivative (with ) on 1-form yieldswhere () is the Hodge duality operation defined on -dimensional manifold. The gauge-fixing term , which remains invariant under (anti-)co-BRST symmetries, can be written in the following fashion:The invariance of gauge-fixing term under the (anti-)co-BRST transformations can be captured in the following (anti-)co-BRST invariant restriction [17, 28]which tells us that the r.h.s. is independent of the Grassmannian variables and when we generalize it onto D supermanifold. In the above, the super co-exterior derivative (with ) and the Hodge duality operation are defined onto -dimensional supermanifold. In terms of the supervariables, one can simplify (24) aswhere and are symmetric in and . In the above equation, we have used the following mathematical definitions defined on -dimensional supermanifold [17, 28]:From (25), we finally yield the following relationships:Substituting these relationships in (9), we obtain the following super expansions for the supervariableswhere we have chosen for our algebraic convenience and the superscript denotes the reduced form of the supervariables [cf. (9) and (16)].
It is clear that we have not yet obtained the super expansions in terms of the basic variables of the present theory. In fact, the coefficients of , and in the expression of supervariables are still unknown. Thus, to accomplish this goal, we invoke the (anti-)co-BRST invariant restrictions on the dynamical variables. These restrictions are (see, e.g., [28, 30] for details)We demand that these (anti-)co-BRST invariant restrictions would remain intact when we generalize them onto -dimensional supermanifold. As a result, we can writeExploiting (28) and (30), we yield the following relationships:Here we again emphasize the fact that the restrictions in (29) are not enough to determine the precise values of secondary variables. We further note that . These co-BRST and anti-co-BRST invariant restrictions would remain independent of and . The generalization of these restrictions onto -dimensional manifold yields the following interesting relationships:It is clear that the relations and fix the value of secondary variables and as and [28, 30]. The simplest solutions that satisfy the relationships appear in (31) and (32) areAs a consequence, we obtain the precise values of the secondary variables in terms of the basic and auxiliary variables. Further, it is to be noted that the dynamical variables , , and are (anti-)co-BRST invariant and, thus, the supervariables corresponding to them would remain independent of the Grassmannian variables. The supervariables now have the following expansions along the Grassmannian directions as follows:where the superscript denotes that the above expressions for the supervariables obtained after the application of dual-horizontality conditions together with the (anti-)co-BRST invariant restrictions. Now, from the above expansions of the supervariables, we obtain the complete set of off-shell nilpotent and absolutely anticommuting (anti-)co-BRST symmetry transformations [cf. (4)] (see, [30] for details). To be more specific, the co-BRST () and anti-co-BRST () transformations for any generic variable can be obtained from their corresponding supervariable asIn other words, the co-BRST symmetry transformation is equivalent to the translation of the generic supervariable along -direction while keeping -direction fixed. Similarly, the anti-co-BRST transformation can be obtained by taking the translation of the generic supervariable along -direction while -direction remains intact.
Before we wrap this section, we point out that the total gauge-fixing term remains invariant under (anti-)co-BRST transformations. Furthermore, the three terms do not transform under (anti-)co-BRST transformations because the dynamical variables remain invariant under the off-shell nilpotent (anti-)co-BRST symmetry transformations (4). The rest of terms in , we can write as the co-BRST exact term and anti-co-BRST exact term. As a consequence, the Lagrangian can be written in two different ways in terms of and as follows:modulo a total time derivative. It is now clear from the above that the (anti-)co-BRST invariance of can be proven in a simpler way because of the nilpotency property of the (anti-)co-BRST transformations.
5. Invariance of Lagrangian
In this section, we capture the (anti-)BRST and (anti-)co-BRST invariances of the Lagrangian in terms of the Grassmannian translational generators . To accomplish this goal, we generalize the total Lagrangian from (-dimensional manifold to super Lagrangian () defined onto dimensional supermanifold.
We note that the gauge-invariant (first-order) Lagrangian (1) can be generalized to super Lagrangian in terms of the supervariables (13) and (19) asOne can check that the super Lagrangian , defined onto (1, 2)-dimensional supermanifold, is independent of the Grassmannian variables () and this is the reason behind the invariance of under the (anti-)BRST transformations. This statement, mathematically, can be corroborated in terms of the translational generators along the Grassmannian directions as follows:Similarly, the total Lagrangian onto -dimensional supermanifold can be written asThe quasi-(anti-)BRST invariance of the total Lagrangian [cf. (5)] can be translated in terms of the above super Lagrangian and the Grassmannian derivatives asMention should be made here that the super Lagrangian (39), after a bit algebraic computation, leads to the Lagrangian (3) plus total time derivative terms which contain Grassmannian variables . This is why, the actions of Grassmannian derivatives on (39) lead to total derivatives.
Furthermore, there are two more ways to write the super Lagrangian (39) in the language of supervariables. These are listed as follows:We notice that (anti-)BRST invariance of total Lagrangian can also be captured in terms of the Grassmannian derivatives as follows:where we have used the nilpotency property () of the Grassmannian derivatives and . At this juncture, we point out that there is a little difference between (40) and (42). This happens because of the fact that we have discarded the total time derivative term while deriving the Lagrangian (3) from (21) (without any loss of generality). Because we know that the total time derivative term in the Lagrangian (or action) does not affect the dynamics of the system.
In an exactly similar fashion, one can also prove the (anti-)co-BRST invariance of the Lagrangian. For this purpose, we generalize the Lagrangian (3) from an ordinary 1-dimensional space to the -dimensional superspace in terms of the supervariables (34) asUpon simplifying the above super Lagrangian, we note that it is independent of the Grassmannian variables ( and ). In fact, it leads to the Lagrangian (3) modulo a total time derivative term. As a consequence, we yieldwhich are consistent with the equations given in (5).
As we already know that the total gauge-fixing term is (anti-)co-BRST invariant [cf. (4)]. Thus, the total gauge-fixing super Lagrangianas one can easily check, is independent of the Grassmannian variables. In fact, we havewhich reflect the fact that the total gauge-fixing terms remain invariant under the off-shell nilpotent (anti-)co-BRST transformations. Furthermore, the dynamical variables and remain invariant under the (anti-)co-BRST transformations. Thus, we can write the total super Lagrangian in two more different ways in terms of the supervariables (34) asIt is clear from the above super Lagrangian that the (anti-)co-BRST invariance of the Lagrangian can now be proven in a simpler way due to the nilpotency property of the Grassmannian derivatives .
6. Nilpotency and Absolute Anticommutativity Check
The (anti-)BRST as well as (anti-)co-BRST symmetry transformations obey two key properties: (i) nilpotency of order two and (ii) absolute anticommutativity. The nilpotency property for any generic variable can be translated into superspace in terms of the corresponding supervariable and Grassmannian translational generators as follows:Similarly, the absolute anticommutativity property of the above nilpotent symmetry transformations can also be captured in terms of the supervariables and Grassmannian derivatives as given below:where is any generic variable and and are the corresponding supervariables listed in (13), (19), and (34), respectively.
It is worthwhile to mention that the conserved BRST and anti-BRST charges can be written in terms of the (anti-)BRST symmetry transformations as follows:Exploiting the expressions of the supervariables given in (13) and (19), one can generalize these conserved charges onto dimensional supermanifold asUsing the basic principles of BRST formalism, we can also write the BRST and anti-BRST charges in the following fashion; namely,From the expressions given in (50) and (52), it is quite easy to show that which imply the nilpotency property: whereas show the anticommutativity of the (anti-)BRST charges . The above expressions for the (anti-)BRST charges in terms of the supervariables are listed as follows:As a consequence of the expressions (51) and (53), we can capture the nilpotency and anticommutativity of the (anti-)BRST charges in terms of the Grassmannian generators as given below:This algebra is true because of the fact that and .
In a similar fashion, we can write the co-BRST and anti-co-BRST charges, in four different ways; namely,It is clear that, from the above expressions for the conserved (i.e., ) (anti-)co-BRST charges , one can now again easily show and by exploiting the definition of a generator. For instance, the following relation leads to which shows the nilpotency of co-BRST charge.
In terms of the supervariables (34), the (anti-)co-BRST charges given in (55) take the following forms:It clear from the above equation that the following relations are true; namely,where we have used the properties of the translational generators and . It is now clear that we have captured the nilpotency as well as anticommutativity properties of the fermionic symmetry transformations (and corresponding charges) in the language of translational generators along the Grassmannian directions .
7. Conclusions
In our present endeavour, we have derived the proper off-shell nilpotent and absolutely anticommuting (anti-)BRST as well as (anti-)co-BRST symmetry transformations within the framework of “augmented” supervariable approach. For the derivation of (anti-)BRST symmetry transformations, we have used, on one hand, horizontality condition and gauge-invariant restriction [cf. (10) and (17)]. On the other hand, we have exploited the dual-horizontality condition together with (anti-)co-BRST invariant restrictions for the precise derivation of (anti-)co-BRST transformations [cf. (24), (30), and (32)]. The (anti-)BRST and (anti-)co-BRST transformations for the Nakanishi–Lautrup type variable have been derived from the requirements of the nilpotency and absolute anticommutativity properties of these transformations.
We point out that the first-order Lagrangian is gauge-invariant and (anti-)BRST invariant. As a consequence, is independent of the Grassmannian variables [cf. (38)] when it is generalized onto D superspace. Further, the total gauge-fixing terms remain invariant under the (anti-)co-BRST symmetry transformations. In the superspace, one can see from (46) that it is also independent of Grassmannian variables . We have expressed the total Lagrangian (3) in terms of the continuous and nilpotent symmetry transformations and . In fact, for the (anti-)BRST invariance, the total gauge-fixing and Faddeev–Popov ghost terms can be written as the BRST exact, anti-BRST exact and anti-BRST exact followed by BRST exact [cf. (21)]. Similarly, for the (anti-)co-BRST invariance, the total Lagrangian (3) is also written in terms of the (anti-)co-BRST symmetry transformations [cf. (36)]. Thus, the (anti-)BRST and (anti-)co-BRST invariances of the Lagrangian (3) become straightforward because of the nilpotency property of the symmetry transformations and .
We have provided the geometrical origin of the continuous (anti-)BRST and (anti-)co-BRST transformations within the framework of superspace formalism [cf. (20) and (35)]. By using the basic tenets of supervariable approach, we have written the Lagrangian in many different ways in terms of the supervariables (13) and (19) for the (anti-)BRST invariance and in terms of supervariables (34) for the (anti-)co-BRST invariance. Thus, we have been able to capture the invariance of the Lagrangian in the language of translational generators and (cf., Section 5).
Further, we have expressed the (anti-)BRST and (anti-)co-BRST charges in terms of the nilpotent symmetry transformations [cf. (50), (52), and (55), respectively]. In view of these, it is easy for us to write the conserved charges in terms of the supervariables, as one can see, in (51), (53) and (56). The key properties (i.e., nilpotency and anticommutativity) associated with the (anti-)BRST and (anti-)co-BRST transformations (and corresponding conserved charges) are translated in the properties of Grassmannian translational generators along directions.
Data Availability
No data were used to support this study.
Disclosure
The present address of A. Shukla is School of Physics and Astronomy, Sun Yat-Sen University, Zhuhai 519082, China.
Conflicts of Interest
The authors declare that they have no conflicts of interest.
Acknowledgments
R. Kumar would like to thank UGC, Government of India, New Delhi, for financial support under the PDFSS scheme. A. Shukla would like to thank Professor Shu Lin for his kind support.