# Superfield Approach to Nilpotency and Absolute Anticommutativity of Conserved Charges: 2D Non-Abelian 1-Form Gauge Theory.

1. IntroductionThe principle of local gauge invariance is at the heart of standard model of particle physics, where there is a stunning degree of agreement between theory and experiment. One of the most elegant approaches to covariantly quantize the above kinds of gauge theories (based on the principle of local gauge invariance) is Becchi-Rouet-Stora-Tyutin (BRST) formalism, where each local gauge symmetry is traded with two nilpotent symmetries that are christened as the BRST and anti-BRST symmetries. The latter symmetries are the quantum version of the gauge symmetries and their very existence ensures the covariant canonical quantization of a given gauge theory. The decisive features of the above quantum (anti-)BRST symmetries are the observations that (i) they are nilpotent of order two and (ii) they are absolutely anticommuting in nature. In the language of theoretical physics, the nilpotency property ensures the fermionic (supersymmetric-type) nature of the (anti-)BRST symmetries and the linear independence of BRST and anti-BRST symmetries is encoded in the property of absolute anticommutativity of the above (anti-)BRST symmetries.

The superfield approach to BRST formalism [1-8] provides the geometrical basis for the properties of nilpotency and absolute anticommutativity which are associated with the (anti-)BRST symmetries. In the above usual superfield approach [1-8], the celebrated horizontality condition (HC) plays a key and decisive role. The HC leads, however, to the derivation (as well as geometrical interpretation) of the (anti-)BRST symmetries that are associated with the gauge and corresponding (anti)ghost fields only. It does not shed any light on the (anti-)BRST symmetries that are associated with the matter fields in a given interacting gauge theory. In a set of papers [9-12], the above usual superfield formalism has been systematically generalized so as to derive the (anti-)BRST symmetries for the gauge, matter, and (anti)ghost fields together. The latter superfield approach [9-12] has been christened as the augmented version of superfield approach to BRST formalism, where, consistent with the HC, additional restrictions (i.e., gauge invariant conditions) are also invoked. We shall exploit the latter superfield approach [9-12] to discuss a few key features of the 2D non-Abelian 1-form gauge theory (without any interaction with matter fields) which have already been discussed within the framework of BRST formalism [13-16].

To be more specific, in the above works [13-16], we have shown the existence of the nilpotent (anti-)BRST as well as (anti-)co-BRST symmetry transformations for the 2D non-Abelian 1-form gauge theory. The central theme of our present investigation is to capture the nilpotency and absolute anticommutativity of the (anti-)BRST and (anti-)co-BRST conserved charges [13-16] within the framework of augmented version of superfield approach (AVSA) to BRST formalism. In the proof of the absolute anticommutativity of the (anti-)BRST charges (within the framework of AVSA), we invoke the CF condition to recast the expressions for these charges in an appropriate form and, then only, the superfield formalism is applied. However, in the case of the above proof of the (anti-)co-BRST charges, we do not invoke any CF-type restrictions. In our present investigation, we have proven the nilpotency and absolute anticommutativity of the conserved (anti-)BRST and (anti-)co-BRST charges that have been derived from two sets of coupled Lagrangian densities (cf. (1) and (39) below) for our 2D non-Abelian 1-form theory.

In the BRST approach to a given gauge theory, the existence of the (anti-)BRST symmetries and their conserved charges is well known. However, we have been able to establish the existence of (anti-)co-BRST symmetry transformations (in addition to the nilpotent (anti-)BRST symmetry transformations) in the case of a toy model of a rigid rotor in one (0+1) dimension of spacetime [17]. Furthermore, we have demonstrated the existence of such (i.e., (anti-)co-BRST) symmetries in the cases of Abelian p-form (p = 1,2,3) gauge theories in the two (1 + 1) dimensions, four (3+1) dimensions, and six (5 + 1) dimensions of spacetime (see, e.g., [18] and references therein). In other words, we have established that the nilpotent (anti-)co-BRST symmetries exist for any arbitrary Abelian p-form (p = 1,2,3,...) gauge theoryin D = 2p dimensions of spacetime [18]. One of the decisive features of the (anti-)co-BRST symmetries is the observation that it is the gauge-fixing term that remains invariant under these transformations (unlike the kinetic term that remains invariant under the (anti-)BRST transformations). The geometrical origin for these observations has been provided in our review article (see, e.g., [18] and references therein).

We concentrate on the 2D non-Abelian theory (without any interaction with matter fields) because this theory has been shown [13] to be a perfect model of Hodge theory as well as a new model of topological field theory (TFT) which captures a few aspects of Witten-type TFTs [19] and some salient features of Schwarz-type TFTs [20]. The equivalence of the coupled Lagrangian densities of this 2D theory with respect to the (anti-)co-BRST symmetries has been established in our recent publication [14]. We have also discussed the CF-type restrictions for this theory within the framework of superfield approach [15], where we have demonstrated the existence of a tower of CF-type restrictions. This happens for this theory because it is a TFT where there are no physical propagating degrees of freedom for the 2D gauge field. In another work [16], we have derived all the conserved currents and charges for this 2D theory and shown their algebraic structure that is found to be reminiscent of the Hodge algebra [21-24]. In other words, we have provided the physical realizations of the de Rham cohomological operators of differential geometry (and their algebra) in the language of the continuous (as well as discrete) symmetries, corresponding conserved charges, and their algebra in operator form.

We have exploited the key ideas of AVSA to BRST formalism to derive the (anti-)BRST and (anti-)co-BRST symmetry transformations by using HC and dual-HC (DHC) as well as the (anti)chiral superfield approach to BRST formalism (see Appendices A and B below) in the context of our present 2D non-Abelian 1-form gauge theory. In our earlier works [9-12], we have never been able to capture the nilpotency as well as absolute anticommutativity properties of the (anti-)BRST and (anti-)co-BRST charges. The central objective of our present paper is to achieve this goal in the case of 2D non-Abelian 1-form gauge theory. To the best of our knowledge, this issue is being pursued for the first time in our present endeavor. Thus, the novelty in our present investigation is the observation that the nilpotency of the fermionic symmetry transformations and CF-type restrictions play a decisive role in capturing the nilpotency and absolute anticommutativity properties of the conserved (anti-)BRST and (anti-)co-BRST charges in the ordinary 2D spacetime (see Section 5 below). However, it is the nilpotency of the translational generators (along the Grassmannian directions) that plays a crucial role for the same purpose within the framework of AVSA to BRST formalism on the supermanifold (see Section 6 below).

The following key factors have spurred our curiosity to pursue our present investigation. First, to add some new ideas to the existing technique(s) of the superfield formalism is a challenging problem. In this context, we have expressed the fermionic charges (i.e., nilpotent (anti-)BRST and (anti-)co-BRST) in the language of the superfields and derivatives defined on the (2, 2)-dimensional supermanifold. Second, in our earlier works [14,15], we have derived the expressions for the conserved fermionic charges in the ordinary 2D space. It is a challenging problem to express their nilpotency and absolute anticommutativity properties in terms of the quantities that are defined on the (2,2)-dimensional supermanifold. Third, it is also an interesting as well as novel idea to discuss various aspects of the (anti-)co-BRST charges within the framework of AVSA to BRST formalism. Finally, the insights and understandings, gained in our present investigation, would turn out to be useful when we shall discuss the 4D Abelian 2-form and 6D Abelian 3-form gauge theories within the framework of AVSA to BRST formalism. In fact, we have already shown, in our earlier works [25,26], that the above 4D and 6D Abelian 2-form and 3-form gauge theories are the models for the Hodge theory and they do support the existence of the (anti-)BRST and (anti-)co-BRST symmetries (as well as their corresponding conserved charges) in addition to the other continuous symmetries (and corresponding charges). There exist discrete symmetries, too, in these theories [25,26]. All these symmetries (and corresponding conserved charges) are required for the proof that the above models are the tractable field theoretic examples of Hodge theory.

Our present paper is organized as follows. In Section 2, we discuss the nilpotent (fermionic) (anti-)BRST and (anti-)co-BRST symmetries in the Lagrangian formulation. Section 3 is devoted to the discussion of horizontality condition (HC) that leads to the derivation of (anti-)BRST symmetries for the gauge field and corresponding fermionic (anti)ghost fields along with the CF condition. Section 4 deals with the dual-HC (DHC) which enables us to derive the (anti-)co-BRST symmetries that exist for the 2D non-Abelian 1-form gauge theory. The subject matter of Section 5 concerns itself with the discussion of nilpotency and absolute anticommutativity properties of the fermionic charges within the framework of BRST formalism in 2D ordinary spacetime. In Section 6, we discuss the nilpotency and absolute anticommutativity of the fermionic charges within the framework of AVSA to BRST formalism on a (2,2)-dimensional supermanifold, where the CF condition plays an important role for (anti-)BRST charges. Finally, we discuss the key results of our present investigation in Section 7, where we point out a few possible theoretical directions that might be pursued for future investigations.

In Appendices A and B, we derive the (anti-)BRST and (anti-)co-BRST symmetry transformations by exploiting the ideas of (anti)chiral superfield approach to BRST formalism which match with the ones derived in the main body of the text. We express the (anti-)BRST and (anti-)co-BRST invariance of the Lagrangian densities in the language of the AVSA to BRST formalism in Appendix C.

We note that the theoretical materials, contained in Sections 5 and 6, are deeply interrelated. In fact, sometimes, it is due to our observations in Section 5 that we have been able to express the nilpotency and anticommutativity properties of the charges in Section 6 within the framework of AVSA to BRST formalism. On the other hand, at times, it is our knowledge of the AVSA to BRST formalism (cf. Section 6) that has turned out to be handy for our derivations of the above properties in 2D ordinary space (cf. Section 5).

Convention and Notations. We take the 2D ordinary Minkowskian background spacetime to be flat with a metric tensor [[eta].sub.[mu]v] = diag(+1,-1), where the Greek indices [mu], v, [lambda],... = 0,1 correspond to the time and space directions, respectively. We choose 2D Levi-Civita tensor [[epsilon].sub.[mu]v] to obey the properties: [mathematical expression not reproducible], and so forth. In 2D, the curvature tensor (i.e., field strength tensor) [F.sub.[mu]v] has only one existing component [F.sub.01] = E = -[[epsilon].sup.[mu]v][[[partial derivative].sub.[mu]][A.sub.v] + (i/2)([A.sub.[mu]] x [A.sub.v])] because [F.sub.[mu]v] = [[partial derivative].sub.[mu]][A.sub.v] - [[partial derivative].sub.v][A.sub.[mu]] + i([A.sub.[mu]] x [A.sub.v]). Here, in the SU(N) Lie algebraic space, we have adopted the notations A x B = [A.sup.a][B.sup.a] and [(A x B).sup.a] = [f.sup.abc][A.sup.b][B.sup.c] for the nonnull vectors [A.sup.a] and [B.sup.a], where a,b,c = 1,2,...,[N.sup.2] - 1 and [f.sup.abc] are the structure constants in the SU(N) Lie algebra [[T.sup.a], [T.sup.b]] = [f.sup.abc][T.sup.c] for the generators [T.sup.a], which are present in the definition of 1-form potential [A.sub.[mu]] = [A.sub.[mu]] x T = [A.sup.a][T.sup.a] and curvature 2-form field strength tensor [F.sub.[mu]v] = [F.sub.[mu]v] x T = [F.sup.a.sub.[mu]v][T.sup.a] and so forth. Throughout the whole body of our text, we denote the (anti-)BRST and (anti-)co-BRST fermionic ([s.sup.2.sub.(a)b] = [s.sup.2.sub.(a)d] = 0) symmetry transformations by [s.sub.(a)b] and [s.sub.(a)d], respectively.

2. Preliminaries: Nilpotent (Fermionic) Symmetries

We discuss here the (anti-)BRST and (anti-)co-BRST symmetries (and derive their corresponding conserved charges) in the Lagrangian formulation of the 2D non-Abelian 1-form ([A.sup.(1)] = d[x.sup.[mu]][A.sub.[mu]] = d[x.sup.[mu]][A.sub.[mu]] x T) gauge theory within the framework of BRST formalism. The starting coupled Lagrangian densities, in the Curci-Ferrari gauge [27,28], are

[mathematical expression not reproducible], (1)

where B, B, and [bar.B] are the Nakanishi-Lautrup type auxiliary fields that have been invoked for various purposes. For instance, B is introduced in the theory to linearize the kinetic term (-(1/4)[F.sub.[mu]v] x [F.sup.[mu]v] = (1/2)E x E [equivalent to] B x E - (1/2)B x B) and auxiliary fields B and [bar.B] satisfy the Curci-Ferrari restriction: B + [bar.B] + (C x [bar.C]) = 0, where the (anti)ghost fields [bar.C] and C are fermionic (i.e., [([C.sup.a]).sup.2] = [([[bar.C].sup.a]).sup.2] = 0, [C.sup.a][[bar.C].sup.b] + [[bar.C].sup.b][C.sup.a] = 0, [C.sup.a][C.sup.b] + [C.sup.b][C.sup.a] = 0, [[bar.C].sup.a][[bar.C].sup.b] + [[bar.C].sup.b][[bar.C].sup.a] = 0, [[bar.C].sup.a][C.sup.b] + [C.sup.b][[bar.C].sup.a] = 0, etc.) in nature and they are required in the theory for the validity of unitarity. In the above, we have the covariant derivatives [[D.sub.[mu]]C = [[partial derivative].sub.[mu]]C + i([A.sub.[mu]] x C) and [D.sub.[mu]][bar.C] = [[partial derivative].sub.[mu]][bar.C] + i([A.sub.[mu]] x [bar.C])] on the (anti)ghost fields in the adjoint representation.

The Lagrangian densities in (1) respect the following off-shell nilpotent ([s.sup.2.sub.(a)b] = 0) (anti-)BRST symmetries transformations ([s.sub.(a)b]):

[mathematical expression not reproducible], (2)

because the Lagrangian densities [L.sub.B] and [L.sub.[bar.B]] transform under [s.sub.(a)b] as

[mathematical expression not reproducible]. (3)

It should be noted that both the Lagrangian densities in (1) respect both (i.e., BRST and anti-BRST) symmetries on the constrained hypersurface, where the CF condition (B + [bar.B] + (C x [bar.C]) = 0) is satisfied. In other words, we note that [s.sub.b][L.sub.[bar.B]] = -[[partial derivative].sub.[mu]][[bar.B] x [[partial derivative].sup.[mu]]C] and [s.sub.ab][L.sub.B] = [[partial derivative].sub.[mu]][B x [[partial derivative].sup.[mu]][bar.C]] because of the validity of CF condition. As a consequence, the action integrals S = [integral] [d.sup.2] x [L.sub.B] and S = [integral] [d.sup.2] x [L.sub.[bar.B]] remain invariant under the (anti-)BRST symmetries on the above hypersurface located in the 2D Minkowskian spacetime manifold. It is interesting to point out that the absolute anticommutativity {[s.sub.b], [s.sub.ab]} = 0 is also satisfied on the above hypersurface, which is defined by the field equation: B + [bar.B] + (C x [bar.C]) = 0.

According to the celebrated Noether's theorem, the above continuous symmetries lead to the derivations of conserved currents and charges. These (anti-)BRST charges, corresponding to the above continuous symmetries [s.sub.(a)b], are (see, e.g., [14] for details)

[mathematical expression not reproducible], (4)

where a single dot on a field denotes the ordinary time derivative (e.g., [??] = [partial derivative]C/[partial derivative]t).

The above conserved charges [Q.sub.(a)b] are nilpotent ([Q.sup.2.sub.b] = [Q.sup.2.sub.ab] = 0) of order two and they obey absolute anticommutativity property (i.e., [Q.sub.b][Q.sub.ab] + [Q.sub.ab][Q.sub.b] = 0). These properties can be mathematically expressed as follows:

[mathematical expression not reproducible]. (5)

The preciseness of the above expressions can be verified by taking into account the nilpotent (anti-)BRST symmetry transformation [s.sub.(a)b] (cf. (2)) and expressions for the nilpotent (anti-)BRST charges from (4). It should be noted that the property of absolute anticommutativity of the (anti-)BRST charges (i.e., {[Q.sub.b], [Q.sub.ab]} = 0) is true only when we use the CF condition (i.e., B + [bar.B] + (C x [bar.C]) = 0).

The Lagrangian densities (1) also respect the following off-shell nilpotent ([s.sup.2.sub.(a)d] = 0) and absolutely anticommuting ([s.sub.d][s.sub.ad] + [s.sub.ad][s.sub.d] = 0) (anti-)co-BRST [i.e., (anti)dual BRST] symmetry transformations ([s.sub.(a)d]) (see, e.g., [13, ]):

[mathematical expression not reproducible], (6)

because the above Lagrangian densities transform, under [s.sub.(a)d], as follows:

[mathematical expression not reproducible]. (7)

It is clear that both the Lagrangian densities respect both (i.e., co-BRST and anti-co-BRST) fermionic symmetry transformations on a hypersurface, where the CF-type restrictions B x C = 0 and B x [bar.C] = 0 are satisfied. We lay emphasis on the observation that absolute anticommutativity {[s.sub.d], [s.sub.ad]} = 0 is satisfied without any use of CF-type restrictions B x C = 0 and B x [bar.C] = 0. More elaborate discussions about these CF-type restrictions (and other related restrictions) can be found in our earlier works (see, e.g., [14,16] for details).

The Noether conserved ([[??].sub.(a)d] = 0) charges [Q.sub.(a)d], corresponding to the continuous and nilpotent symmetry transformations (6), are

[mathematical expression not reproducible]. (8)

The above charges are found to be nilpotent ([Q.sup.2.sub.(a)d] = 0) and absolutely anticommuting ([Q.sub.d][Q.sub.ad] + [Q.sub.ad][Q.sub.d] = 0) in nature. These claims can be verified in a straightforward fashion by taking the help of symmetries (6) and expressions of the charges (8) as follows:

[mathematical expression not reproducible]. (9)

In fact, in this simple proof, one has to verify the left-hand side of the above equations. In the forthcoming sections, we shall exploit the beauty and strength of the AVSA to BRST formalism to capture the above properties in a cogent and consistent manner.

3. Horizontality Condition: Off-Shell Nilpotent (Anti-)BRST Symmetry Transformations

We concisely mention here the key points associated with the geometrical origin of the nilpotent (anti-)BRST symmetries and existence of the CF condition within the framework of Banora-Tonin (BT) superfield formalism [4,5]. In this connection, first of all, we generalize the 2D ordinary theory onto (2,2)-dimensional supermanifold, where the nonAbelian 1-form gauge field [A.sub.[mu]](x) and (anti)ghost fields ([bar.C])C are generalized onto their corresponding superfields with the following expansions (incorporating the secondary fields [R.sub.[mu]], [[bar.R].sub.[mu]], [S.sub.[mu]], [B.sub.1], [B.sub.2], [[bar.B].sub.1], [[bar.B].sub.2], s, [bar.s]) on the (2,2)-dimensional supermanifolds [4, 5]:

[mathematical expression not reproducible], (10)

where the supermanifold is characterized by the superspace coordinates [Z.sup.M] = ([x.sup.[mu]], [theta], [bar.[theta]]). The 2D ordinary bosonic coordinates [x.sup.[mu]] ([mu] = 0,1) and the Grassmannian coordinates ([theta], [bar.[theta]]) (with [[theta].sup.2] = [[bar.[theta]].sup.2] = [theta][bar.[theta]] + [bar.[theta]][theta] = 0) specify the superspace coordinate [Z.sup.M] and all the superfields, defined on the supermanifold, are function of them. The 2-form super curvature

[mathematical expression not reproducible], (11)

where the super curvature tensor [mathematical expression not reproducible]. In the above equation, the ordinary exterior derivative d = d[x.sup.[mu]][[partial derivative].sub.[mu]] and non-Abelian 1-form ([A.sup.(1)] = d[x.sup.[mu]][A.sub.[mu]]) gauge connection have been generalized onto the (2, 2)-dimensional supermanifold as

[mathematical expression not reproducible], (12)

where ([[partial derivative].sub.[mu]], [[partial derivative].sub.[theta]], [[partial derivative].sub.[bar.[theta]]]) are the superspace derivatives (with [[partial derivative].sub.[mu]] = [partial derivative]/[partial derivative][x.sup.[mu]], [[partial derivative].sub.[theta]] = [partial derivative]/[partial derivative][theta], and [[partial derivative].sub.[bar.[theta]]] = [partial derivative]/[partial derivative][bar.[theta]]).

We have observed earlier that the kinetic term (-(1/4)[F.sub.[mu]v] x [F.sup.[mu]v] = B x E - (B x B)/2) of the Lagrangian densities (1) remains invariant under the (anti-)BRST symmetries (2) and it has its origin in the exterior derivative d (i.e., [F.sup.(2)] = d[A.sup.(1)] + i[A.sup.(1)] [conjunction] [A.sup.(1)]). This gauge invariant quantity should remain independent of the Grassmannian variables ([theta], [bar.[theta]]) as the latter are only mathematical artifacts and they cannot be physically realized. Thus, we have the following equality due to the gauge invariant restriction (GIR):

-[1/4][[??].sub.MN](x, [theta], [bar.[theta]]) x [[??].sup.MN](x, [theta], [bar.[theta]]) = -[1/4][F.sub.[mu]v](x) x [F.sup.[mu]v](x). (13)

The celebrated horizontality condition (HC) requires that the Grassmannian components of [mathematical expression not reproducible] should be set equal to zero so that, ultimately, we should have the following equality:

-[1/4][[??].sub.[mu]v](x, [theta], [bar.[theta]]) x [[??].sup.[mu]v](x, [theta], [bar.[theta]]) = -[1/4][F.sub.[mu]v](x) x [F.sup.[mu]v](x). (14)

The requirement of HC leads to the following [4, 5, 11, 12]:

[mathematical expression not reproducible], (15)

where the last entry is nothing but the celebrated CF condition (B + [bar.B] + (C x [bar.C]) = 0) if we identify [[bar.B].sub.1] = [bar.B] and [B.sub.2] = B. It is crystal clear that the HC leads to the derivation of the secondary fields in terms of the auxiliary and basic fields of the starting Lagrangian densities (1). The substitution of the above expressions for the secondary fields into the super expansion (10) leads to the following [4, 5, 11, 12]:

[mathematical expression not reproducible], (16)

where the superscript (h) on the superfields denotes the fact that these superfields have been obtained after the application of HC. A close look at the above expressions demonstrates that the coefficients of ([theta], [bar.[theta]]) are nothing but the anti-BRST and BRST transformations (2), respectively, which have been listed for the Lagrangian densities (1).

Due to application of HC, ultimately, we obtain the following expression for the super curvature tensor (as we have already set [mathematical expression not reproducible]):

[mathematical expression not reproducible]. (17)

Substitution of the expression for [B.sup.(h).sub.[mu]]((x, [theta], [bar.[theta]]), from (16), yields

[mathematical expression not reproducible], (18)

which leads to the derivation of the (anti-)BRST symmetry transformations for [F.sub.[mu]v] (cf. (2)). It is now crystal clear that the requirements of gauge invariant restrictions in (14) and (13) are satisfied due to HC and, in this process, we have obtained the (anti-)BRST symmetry transformations for all the fields (as well as the CF condition) for our theory. We have derived these (anti-)BRST symmetry transformations by exploiting the potential of (anti)chiral superfields approach to BRST formalism in Appendix A.

4. Dual Horizontality Condition: Nilpotent (Anti-)Co-BRST Symmetry Transformations

We exploit here the dual-HC (DHC) to derive the (anti-)co-BRST symmetry transformations for the (anti)ghost fields and basic tenets of AVSA to obtain the precise form of the (anti-)co-BRST symmetry transformations associated with the gauge field ([A.sub.[mu]] = [A.sub.[mu]] x T) of our 2D non-Abelian theory. In this context, first of all, we note that the gauge-fixing term ([[partial derivative].sub.[mu]][A.sup.[mu]]) has its origin in the coexterior derivative ([delta] = - * d*) of the differential geometry in the following sense (see, e.g., [21-24] for details):

[delta][A.sup.(1)] = - * d * (d[x.sup.[mu]][A.sub.[mu]]) = [[partial derivative].sub.[mu]][A.sup.[mu]], [[delta].sup.2] = 0, (19)

where [delta] = - * d* is the coexterior derivative and * is the Hodge duality operator on 2D Minkowskian flat spacetime manifold. It is clear that the Lorentz gauge-fixing term ([[partial derivative].sub.[mu]][A.sup.[mu]]) is a 0-form which emerges out from the 1-form ([A.sup.(1)] = d[x.sup.[mu]][A.sub.[mu]]) due to application of the coexterior derivative ([delta] = - * d*) which reduces the degree of a form by one.

We have seen that the gauge-fixing term ([[partial derivative].sub.[mu]][A.sup.[mu]]) remains invariant under the (anti-)co-BRST symmetry transformations (cf. (6)). We generalize this observation onto our chosen (2,2)-dimensional supermanifold as follows:

[mathematical expression not reproducible], (20)

where [??] is the super coexterior derivative defined on the (2,2)-dimensional supermanifold and * is the Hodge duality operator on the (2,2)-dimensional supermanifold (see, e.g., [29] for details). The left-hand side of (20) has already been computed in our previous work [29]. We quote here the result of operation of [??] on [[??].sup.(1)] as 0-form; namely,

[mathematical expression not reproducible], (21)

where [s.sup.[theta][theta]] and [s.sup.[bar.[theta]][bar.[theta]]] appear in the following Hodge duality * operation:

[mathematical expression not reproducible]. (22)

These factors (i.e., [s.sup.[theta][theta]] and [s.sup.[bar.[theta]][bar.[theta]]]) are essential to get back the 4-forms ((d[x.sub.[mu]] [conjunction] d[x.sub.v] [conjunction] d[theta] [conjunction] d[theta]) and (d[x.sub.[mu]] [conjunction] d[x.sub.v] [conjunction] d[bar.[theta]] [conjunction] d[bar.[theta]])) if we apply another * on (22). In other words, we have super Hodge duality * on the 0-form as follows:

[mathematical expression not reproducible]. (23)

The equality in (21) ultimately leads to

[mathematical expression not reproducible] (24)

because of the fact that there are no terms carrying the factors [s.sup.[theta][theta]] and [s.sup.[bar.[theta]][bar.[theta]]] on the right-hand side.

At this stage, we substitute the expressions of [B.sub.[mu]](x, [theta], [bar.[theta]]), F(x, [theta], [bar.[theta]]), and [bar.F](x, [theta], [bar.[theta]]) into (24) to derive the following important relationships:

[mathematical expression not reproducible]. (25)

The last entry, in the above, is just like the CF-type restriction which is trivial. With the choices [B.sub.1] = -B and [[bar.B].sub.2] = B, we obtain the following expansions:

[F.sup.(dh)](x, [theta], [bar.[theta]]) = C(x) + [bar.[theta]](-iB) [equivalent to] C(x) + [bar.[theta]] ([s.sub.d]C), [[bar.F].sup.(dh)](x, [theta], [bar.[theta]]) = [bar.C](x) + [theta](iB) [equivalent to] [bar.C](x) + [bar.[theta]]([s.sub.ad][bar.C]), (26)

where the superscript (dh) denotes the expansions of the superfields after the application of DHC. It is self-evident that we have already obtained the (anti-)co-BRST symmetry transformation (4) for the (anti)ghost fields ([bar.C])C of our theory as

[s.sub.d]C = -iB, [s.sub.ad]C = 0, [s.sub.d][bar.C] = 0, [s.sub.ad]C = iB. (27)

Thus, the DHC leads to the derivation of (anti-)co-BRST symmetry transformations for the (anti)ghost fields and very useful restrictions on the secondary fields in (25).

We are now in the position to derive the (anti-)co-BRST symmetry transformations [s.sub.(a)d] for the gauge field [A.sub.[mu]]. We exploit here the idea of AVSA to BRST formalism, which states that the (anti-)co-BRST invariant quantities should be independent of the "soul" coordinates ([theta], [bar.[theta]]). During the early days of the developments of superspace technique, the bosonic coordinates [x.sup.mu] of the superspace coordinates [Z.sup.M] = ([x.sup.[mu]], [theta], [bar.[theta]]) were called the "body" coordinates and the Grassmannian variables ([theta], [bar.[theta]]) were christened as the "soul" coordinates. In this context, we observe that the following is true:

[s.sub.(a)d][[[epsilon].sup.[mu]v][A.sub.v] x [[partial derivative].sub.[mu]]B - i[[partial derivative].sub.[mu]][bar.C] x [[partial derivative].sup.[mu]]C] = 0. (28)

Thus, we have the following equality due to AVSA to BRST formalism:

[mathematical expression not reproducible]. (29)

The substitution of the expansions from (26) yields the following:

[[epsilon].sup.[mu]v][[bar.R].sub.v] + [[partial derivative].sup.[mu]]C = 0, [[epsilon].sup.[mu]v][R.sub.v] + [[partial derivative].sup.[mu]][bar.C] = 0, [[epsilon].sup.[mu]v][S.sub.v] - [[partial derivative].sup.[mu]]B = 0. (30)

It is worthwhile to point out that we have not taken any super expansion of B(x) on the left-hand side in (29) because of the fact that [s.sub.(a)d]B(x) = 0. In other words, we have taken B(x) [right arrow] [??](x, [theta], [bar.[theta]]) = B(x). Ultimately, the relation in (30) produces the following:

[R.sub.[mu]] = -[[epsilon].sub.[mu]v][[partial derivative].sup.v][bar.C], [[bar.R].sub.[mu]] = -[[epsilon].sub.[mu]v][[partial derivative].sup.v]C, [S.sub.[mu]] = [[epsilon].sub.[mu]v][[partial derivative].sup.v]B. (31)

The substitution of these expressions into the super expansions of [B.sub.[mu]](x, [theta], [bar.[theta]]) leads to the following (in terms of the (anti-)co-BRST symmetry transformations (6)):

[mathematical expression not reproducible]. (32)

Here the superscript (dg) on [B.sub.[mu]](x, [theta], [bar.[theta]]) denotes the expansion that has been obtained after the application of (anti)co-BRST (i.e., dual gauge) invariant restriction (29). We end this section with the remark that we have obtained all the (anti-)co-BRST symmetry transformations for our 2D non-Abelian 1-form gauge theory by exploiting the theoretical strength of DHC and basic tenets of AVSA to BRST formalism.

5. Nilpotency and Absolute Anticommutativity of the Fermionic Charges: Ordinary 2D Spacetime

We, first of all, capture the nilpotency and absolute anticommutativity of the (anti-)BRST and (anti-)co-BRST charges in the ordinary space where the concepts/ideas behind the continuous symmetry and their generators (as well as the nilpotency of the (anti-)BRST and (anti-)co-BRST symmetry transformations) play very important roles. We would like to lay stress on the fact that some of the key results of our present section have been obtained due to our knowledge of the AVSA to BRST formalism that is contained in Section 6. Towards this goal in mind, we observe a few aspects of the conserved charges (listed in (4) and (8)) corresponding to the (anti-)BRST and (anti-)co-BRST symmetries of the Lagrangian densities (1). Using the (anti-)BRST and (anti)co-BRST symmetry transformations of (2) and (6), we observe that the following are true:

[mathematical expression not reproducible]. (33)

It should be noted that we have expressed the conserved charges in (4) and (8) in terms of the transformations in (2) and (6). It is elementary now to check that the nilpotency of the charges is satisfied:

[mathematical expression not reproducible], (34)

due to the nilpotency properties of (anti-)BRST and (anti-)co-BRST symmetry transformations (i.e., [s.sup.2.sub.(a)b] = 0, [s.sup.2.sub.(a)d] = 0). In the above, we have used the basic principles behind the continuous symmetries and symmetry generators (as the conserved charges of the theory). We also point out that we have taken into account one of the expressions for [Q.sub.(a)b] and [Q.sub.(a)d] from (4) and (8) which have been explicitly derived in Section 2.

To prove the absolute anticommutativity properties of the (anti-)BRST and (anti-) co-BRST conserved charges, we note the following useful relationships:

[mathematical expression not reproducible], (35)

which establish the absolute anticommutativity properties of the (anti-)co-BRST and nilpotent (anti-)BRST charges as follows:

[mathematical expression not reproducible], (36)

due to, once again, the nilpotency ([s.sup.2.sub.(a)b] = 0, [s.sup.2.sub.(a)d] = 0) properties of the (anti-)BRST and (anti-)co-BRST symmetry transformations. It is interesting to point out that the expressions in the square brackets for the pair ([Q.sub.b], [Q.sub.ad]) and the pair ([Q.sub.d], [Q.sub.ab]) are exactly the same (as is evident from (35)). We would like to make a few remarks at this stage. A close look at (35) and (36) establishes one of the key observations that the nilpotency of symmetries and absolute anticommutativity properties of the conserved (anti-)BRST and (anti-)co-BRST charges are interrelated. Furthermore, we would like to mention that, in the expressions for [Q.sub.(a)d] in (35), we have dropped total space derivative terms in our computations. It is very important to emphasize here that, in the expressions for [Q.sub.(a)b] (cf. (4)), we have utilized the strength of CF condition (B + [bar.B] + (C x [bar.C]) = 0) to recast these expressions in a suitable form before expressing them in the form in (35). To elaborate on it, we take a simple example where the expression for the BRST charges [Q.sub.b] (cf. (4)), emerging from the Noether conserved current, is

[mathematical expression not reproducible]. (37)

Using the CF condition B + [bar.B] + (C x [bar.C]) = 0 (associated with the (anti-)BRST symmetries), we can recast the above expression in the following suitable form:

[mathematical expression not reproducible]. (38)

The above form of the BRST charge has been expressed in the anti-BRST exact form as given in (35). A similar kind of argument has gone into the expression for the anti-BRST charge [Q.sub.ab] (cf. (35)), where we have been able to express it as the BRST exact form. No such kinds of arguments have been invoked in the cases of the (anti-)co-BRST charges (cf. (35)) which have been expressed as the co-BRST exact and anti-co-BRST exact forms.

We have modified the Lagrangian densities (1) in our earlier works [14,16] by incorporating a couple of fermionic Lagrange multiplier fields ([lambda] and [bar.[lambda]] with [[lambda].sup.2] = [[bar.[lambda]].sup.2] =0 and [lambda][bar.[lambda]] + [bar.[lambda]][lambda] = 0) in such a manner that the modified Lagrangian densities [14, 16],

[mathematical expression not reproducible], (39)

respect the following perfect (anti-)co-BRST symmetries transformations:

[mathematical expression not reproducible]. (40)

It can be checked that the above (anti-)co-BRST symmetry transformations are off-shell nilpotent and absolutely anticommuting in nature (where we do not invoke any kinds of CF-type restrictions for its validity). We also note that the superscripts ([lambda]) and ([bar.[lambda]]) on the Lagrangian densities are logically correct because the Lagrange multipliers [lambda] and [bar.[lambda]] characterize these Lagrangian densities. Furthermore, we observe that these Lagrange multiplier fields carry the ghost numbers equal to (+1) and (-1), respectively. Finally, it can be explicitly checked that the following are true:

[mathematical expression not reproducible], (41)

which demonstrate that the action integrals S = [integral] [d.sup.2] x [L.sup.([bar.[lambda]]).sub.B] and S = [integral] [d.sup.2] x [L.sup.([lambda]).sub.[bar.B]] remain invariant under the (anti-)co-BRST symmetry transformations. We would like to lay emphasis on the fact that both the Lagrangian densities [L.sup.([[bar.lambda]]).sub.B] and [L.sup.([lambda]).sub.[bar.B]] respect both the co-BRST and anti-co-BRST symmetries (cf. (40)) separately and independently.

A close look at the transformations (41) and (8) (cf. Section 2) demonstrates that the expressions for the charges [Q.sup.([bar.[lambda]]).sub.d] = [Q.sub.d] and [Q.sup.([lambda]).sub.ad] = [Q.sub.ad] (cf. (8)) remain the same as far as the Lagrangian densities in (1) and [L.sup.([bar.[lambda]]).sub.B] as well as [L.sup.([lambda]).sub.[bar.B]] are concerned. However, we note that the anti-co-BRST charge [Q.sup.([bar.[lambda]]).sub.ad] (derived from the Lagrangian density [L.sup.([bar.[lambda]]).sub.B]) and co-BRST charge [Q.sup.([lambda]).sub.d] (derived from the Lagrangian density [L.sup.([lambda]).sub.[bar.B]]) would be different from (8). These conserved charges and their expressions have been derived in our earlier work (see, e.g., [16] for details). We quote here these expressions explicitly:

[mathematical expression not reproducible]. (42)

In the above equivalent expressions, we have utilized the equations of motion (derived from the Lagrangian densities in (39)) and we have also dropped the total space derivative terms. To prove the nilpotency [[([Q.sup.([bar.[lambda]]).sub.ad]]).sup.2] = 0, [[Q.sup.([lambda]).sub.d]).sup.2] = 0] of the above charges, we note that they can be expressed in terms of the (anti-)co-BRST transformations as

[Q.sup.([bar.[lambda]]).sub.ad] = [s.sub.ad]([integral] dx[-i[bar.C] x [D.sub.0]C + i[bar.[??]] x C]), [Q.sup.([lambda]).sub.d] = [s.sub.d]([integral] dx[i[bar.C] x [??] - i[D.sub.0][bar.C] x C]). (43)

The above expressions for the (anti-)co-BRST charges produce the last entry in the expressions for the charges [Q.sup.([bar.[lambda]]).sub.ad] and [Q.sup.([lambda]).sub.d] in (42). It can be now trivially checked that

[mathematical expression not reproducible]. (44)

Thus, we observe that the nilpotency of the charges [Q.sup.([bar.[lambda]]).sub.ad] and [Q.sup.([lambda]).sub.d] is deeply connected with the nilpotency of the (anti-)-co-BRST symmetries (i.e., [s.sup.2.sub.(a)d] = 0) when we exploit the beauty and strength of the connection between the continuous symmetries and their corresponding generators. We would like to state that the nilpotency of the charges [Q.sup.([bar.[lambda]]).sub.d] = [Q.sub.d] (cf. (8) and (9)) [Q.sup.([lambda]).sub.ad] and = [Q.sub.ad] has already been proven in (9). This happens because of the fact that the expressions for [Q.sup.([lambda]).sub.ad] and [Q.sup.([bar.[lambda]]).sub.d] are the same as given in (8) for the Lagrangian densities (1). Thus, we have proven the nilpotency of all the charges derived from the modified Lagrangian densities (39), where [lambda] and [bar.[lambda]] are present.

We now focus on the proof of the property of absolute anticommutativity of the charges [Q.sup.([bar.[lambda]]).sub.ad] and [Q.sup.([lambda]).sub.d], which are nontrivial (cf. (42)). In this connection, we would like to point out that the absolute anticommutativity of the charges [Q.sup.([bar.[lambda]]).sub.d] = [Q.sub.d] and [Q.sup.([lambda]).sub.ad] = [Q.sub.ad] has already been proven in our present section itself. We note that the following are true:

[mathematical expression not reproducible]. (45)

The above expressions demonstrate that the absolute anticommutativity property of the (anti-)co-BRST charges (i.e., {[Q.sup.([lambda]).sub.d], [Q.sup.([bar.[lambda]]).sub.ad]} = 0) is true and this property is primarily connected with the off-shell nilpotency ([s.sup.2.sub.(a)d] = 0) of the (anti-)co-BRST symmetry transformations ([s.sub.(a)d)] that are present in our 2D non-Abelian theory (cf. (40)). To corroborate the above statements, it is straightforward to note that

[mathematical expression not reproducible]. (46)

From the above relationships, it is crystal clear that the absolute anticommutativity (i.e., {[Q.sup.([lambda]).sub.d], [Q.sup.([bar.[lambda]]).sub.ad]} = 0) for the (anti-)co-BRST charges is deeply connected with the nilpotency ([s.sup.2.sub.(a)d] = 0) property of the (anti-)co-BRST symmetry transformations ([s.sub.(a)d]) for the Lagrangian densities (39). We wrap up this section with the remark that we have proven the nilpotency and absolute anticommutativity properties of the (anti-)co-BRST charges for the Lagrangian densities (1) as well as (39) where we do not invoke any kinds of CF-type restrictions. This observation is novel and drastically different from the proof of the absolute anticommutativity property of the conserved and nilpotent (anti-)BRST charges where it is mandatory for us to invoke the CF condition.

6. Nilpotency and Absolute Anticommutativity of the Fermionic Charges: Superfield Approach

We express here the properties of nilpotency and absolute anticommutativity by exploiting the geometrical AVSA to BRST formalism. In this connection, first of all, we recall that the (anti-)BRST symmetry transformations [s.sub.(a)b] have been shown to be connected with the translational generators ([[partial derivative].sub.[theta]], [[partial derivative].sub.[bar.[theta]]]) along ([theta], [bar.[theta]])-directions of the (2,2)-dimensional supermanifold through the following mappings:

[mathematical expression not reproducible]. (47)

We can very well choose the Grassmannian variables to be ([[theta].sub.1], [[theta].sub.2]) and identify the nilpotent symmetries, [mathematical expression not reproducible] because there are other nilpotent ([s.sup.2.sub.(a)d] = 0) symmetries [s.sub.(a)d] in our theory, too. The latter nilpotent symmetries could be identified with translational generators as [mathematical expression not reproducible] and [mathematical expression not reproducible], where we shall have another set of a pair of Grassmannian variables ([[theta].sub.3], [[theta].sub.4]). However, for the sake of brevity, we have chosen only ([theta], [bar.[theta]]) as the Grassmannian variables so that we could discuss the (anti-)BRST and (anti-)co-BRST symmetries separately and independently. The above mappings imply that the nilpotency of the (anti-)BRST symmetries (i.e., [s.sup.2.sub.(a)b] = 0) is intimately connected with the nilpotency ([[partial derivative].sup.2.sub.[theta]] = [[partial derivative].sup..sub.2[bar.[theta]]] = 0) of the translational generators ([[partial derivative].sub.[theta]], [[partial derivative].sub.[bar.[theta]]]). This observation is utilized in expressing the expressions for the conserved and nilpotent (anti-)BRST charges in (33) as follows:

[mathematical expression not reproducible]. (48)

The above expressions establish the nilpotency of the (anti-)BRST charges [Q.sub.(a)b] because

[mathematical expression not reproducible]. (49)

It should be noted that we do not invoke any kinds of CF-type restrictions for the proof of off-shell nilpotency of the above (anti-)BRST charges.

We capture now the absolute anticommutativity property of the (anti-)BRST symmetry generators [Q.sub.(a)b] in the language of the AVSA to BRST formalism. In this context, we concentrate on the expressions for (anti-)BRST charges that have been quoted in (35). It can be checked that we have the following expressions for these charges in the language of the AVSA to BRST formalism:

[mathematical expression not reproducible]. (50)

It is straightforward to note that the nilpotency properties of the translational generators ([[partial derivative].sub.[theta]], [[partial derivative].sub.[bar.[theta]]]) along the Grassmannian directions imply that

[mathematical expression not reproducible]. (51)

The above observations lead us to draw the conclusion that the absolute anticommutativity ([Q.sub.b][Q.sub.ab] + [Q.sub.ab][Q.sub.b] = 0) of the (anti-)BRST charges (cf. (36)) in the ordinary space can be captured in the language of the superfield approach to BRST formalism.

We briefly comment here on the expressions for the (anti-)co-BRST charges [Q.sub.(a)d] that have been expressed in two different ways in (33) and (35). We have established earlier that the following mappings are true in the cases of [s.sub.d] and [s.sub.ad]:

[mathematical expression not reproducible]. (52)

We can very well repeat here the previous footnote written in our manuscript. However, this would be only an academic exercise. The main issue is the fact that we discuss the (anti-)BRST and (anti-)co-BRST symmetries, within the framework of AVSA to BRST formalism, separately and independently. Thus, when we focus on ([[theta].sub.1], [[theta].sub.2]), we do not bother about ([[theta].sub.3], [[theta].sub.4]) and vice versa. This is precisely the reason why we have taken, for the sake of brevity, only the (2,2)-dimensional supermanifold for our discussion, where, at a time, only a pair of Grassmannian variables are taken into account. Thus, the nilpotency of the (anti-)co-BRST charges can be expressed in terms of the quantities on the (2, 2)-dimensional supermanifold as follows:

[mathematical expression not reproducible], (53)

where the superscript (dg) denotes the superfields (cf. (32)) that have been obtained after the application of (anti-)co-BRST invariant restriction in (29). Similarly, we note that the following is correct:

[mathematical expression not reproducible]. (54)

It is crystal clear, from (53) and (54), that the following are true:

[mathematical expression not reproducible]. (55)

The above relationships, in the ordinary 2D space, correspond to the following explicit expressions in the language of anticommutators:

[mathematical expression not reproducible]. (56)

Thus, we have captured the nilpotency property of the (anti-)co-BRST charges in the language of the quantities that are defined on the (2,2)-dimensional supermanifold. In fact, the nilpotency ([Q.sup.2.sub.(a)d] = 0) of the (anti-)co-BRST charges is deeply connected with the nilpotency ([[partial derivative].sup.2.sub.[theta]] = [partial derivative].sup.2.sub.[bar.[theta]] = 0) of the translational generators ([[partial derivative].sub.[theta]], [[partial derivative].sub.d[bar.[theta]]]) along the Grassmannian directions ([theta], [bar.[theta]]) of the (2,2)-dimensional supermanifold.

Now we dwell a bit on the absolute anticommutativity property of the (anti-)co-BRST charges [Q.sub.(a)d] that have been expressed in (35). Taking the inputs from (52), (32), and (26), we have the following:

[mathematical expression not reproducible]. (57)

Thus, the expressions for the (anti-)co-BRST charges (cf. (57)) imply that

[mathematical expression not reproducible]. (58)

The above expressions capture the absolute anticommutativity property of the (anti-)co-BRST charge (i.e., {[Q.sub.d], [Q.sub.ad]} = 0) in the language of AVSA to BRST formalism. We observe, once again, that it is the nilpotency ([[partial derivative].sup.2.sub.[theta]] = [partial derivative].sup.2.sub.[bar.[theta]] = 0) of the translational generators ([[partial derivative].sub.[theta]], [[partial derivative].sub.[bar.[theta]]]) that plays a decisive role in capturing the nilpotency as well as absolute anticommutativity properties of the (anti-)co-BRST charges in the terminology of AVSA to BRST formalism.

Finally, we would like to comment briefly on the nilpotency and absolute anticommutativity properties of the (anti-)co-BRST charges ([Q.sup.([lambda]).sub.d], [Q.sup.([bar.[lambda]]).sub.ad]) that have been derived from the Lagrangian densities (39) and listed in (42) in different forms. We would like to lay emphasis on the fact that the Lagrangian densities (39) are very special in the sense that these Lagrangian densities respect proper (anti-)co-BRST symmetry transformations (listed in (40)) separately and independently (cf. (41)), where we do not invoke any kinds of CF-type restrictions from outside. Thus, as far as symmetry considerations are concerned, these Lagrangian densities are really beautiful from the point of view of the proper (anti-)co-BRST symmetry transformations (41). Within the framework of AVSA to BRST formalism, it can be checked that the expressions in (43) are

[mathematical expression not reproducible], (59)

where the superfields with superscripts (dh) and (dg) have been explained in Section 4. It is clear, from the above expressions, that we have the following:

[mathematical expression not reproducible]. (60)

The above relations prove the nilpotency of [Q.sup.([lambda]).sub.d] and [Q.sup.([bar.[lambda]]).sub.ad], which is also connected with the nilpotency of the translational generators ([[partial derivative].sub.[theta]], [[partial derivative].sub.[bar.[theta]]]) along the Grassmannian directions ([theta], [bar.[theta]]) of the (2,2)-dimensional supermanifold on which our 2D ordinary theory is considered. To be more precise, the nilpotency of the above (anti-)co-BRST charges (which have been derived from the Lagrangian densities (39)) becomes very transparent when concentrating on the third and sixth lines in (60). In particular, the anticommutator of the conserved charges with themselves being zero immediately implies the nilpotency property (of these conserved charges). Let us now concentrate on the forms of the (anti-)co-BRST charges that have been written in (45). As is evident from (46), the absolute anticommutativity property of the (anti-)co-BRST charges is primarily hidden in (45) and is deeply connected with the nilpotency property of the (anti-)co-BRST symmetry transformations ([s.sub.(a)d]). Thus, we express the forms of the (anti-)co-BRST charges (45) in the language of AVSA to BRST formalism as follows:

[mathematical expression not reproducible], (61)

where the superfields with superscripts (dh) and (dg) have already been explained in Section 4. It is straightforward to note, from the above equation, that

[mathematical expression not reproducible]. (62)

We end this section with the remark that the absolute anticommutativity property of the (anti-)co-BRST charges is deeply connected with the nilpotency property ([[partial derivative].sup.2.sub.[theta]] = [partial derivative].sup.2.sub.[bar.[theta]] = 0) of the translational generators ([[partial derivative].sub.[theta]], [[partial derivative].sub.[bar.[theta]]]) along the Grassmannian directions ([theta], [bar.[theta]]) of the (2,2)-dimensional supermanifold on which our 2D ordinary non-Abelian theory is generalized.

7. Conclusions

We have exploited the theoretical strength of the AVSA to BRST formalism to express the properties of the nilpotency and absolute anticommutativity of the fermionic conserved charges (i.e., (anti-)BRST and (anti-)co-BRST charges) of our self-interacting 2D non-Abelian theory (without any interaction with matter fields). We have not achieved this goal in our earlier works [9-12] on the AVSA to BRST formalism. Thus, the results in our present investigation are achieved for the first time. It is straightforward to express the nilpotency property of the fermionic (i.e., conserved (anti-)BRST and (anti-)co-BRST) charges in the language of the AVSA to BRST formalism. However, the property of absolute anticommutativity is captured, within the framework of AVSA to BRST formalism, by applying specific mathematical trick, where the CF condition plays a decisive role.

We would like to lay emphasis on the contents of Section 5, where we have been able to exploit the virtues of symmetry principles to express the (anti-)BRST and (anti-)co-BRST charges in various exact forms. These theoretical expressions have been exploited, in turn, to capture the nilpotency and absolute anticommutativity properties in the language of AVSA to BRST formalism in Section 6. We observe that the CF condition (B + [bar.B] + (C x [bar.C]) = 0) enables us to express the BRST charge as an anti-BRST exact form and anti-BRST charge as a BRST exact form. We would like to lay emphasis on the fact that the contents of Sections 5 and 6 are intertwined in an elegant manner. Although it appears, from our statements in this paragraph, that the contents of Section 5 have influenced our results in Section 6, we would like to stress that, many times, our understandings of the contents of Section 6 have influenced our results in Section 5. Thus, to be precise, the key results of our present endeavor are influenced by our knowledge of both the above sections which are interrelated. These results play an important role in establishing the absolute anticommutativity properties of the above fermionic charges. Thus, first of all, we have proven the nilpotency and absolute anticommutativity of the (anti-)BRST and (anti-)co-BRST charges in the language of symmetry properties (cf. Section 5). In particular, we have shown that it is the nilpotency of the (anti-)BRST and (anti-)co-BRST symmetry transformations that has played a decisive role in the proof of the above properties in the ordinary 2D space of our non-Abelian 1-form gauge theory. In fact, the results of Section 5 have been translated into the language of AVSA to BRST formalism in Section 6.

The proof of the nilpotency and absolute anticommutativity properties in the language of AVSA to BRST formalism for the fermionic (anti-)BRST and (anti-)co-BRST charges is a novel result because, in our earlier works on AVSA to BRST formalism [9-12], we have not achieved this goal. In our very recent works [30-32], we have captured the property of the absolute anticommutativity of nilpotent charges within the framework of (anti)chiral superfield approach to BRST formalism. However, we have not done so within the framework of AVSA to BRST formalism, where the full expansions of the superfields are taken into account. We plan to exploit our present idea to consolidate it by applying it to the cases of 1D toy model of the rigid rotor, 2D self-dual bosonic theory, modified versions of 2D Proca and anomalous gauge theory, and 4D Abelian 2-form and 6D Abelian 3-form gauge theories, where we have demonstrated the existence of (anti-)BRST and (anti-)co-BRST charges, as these theories are the models for the Hodge theory [18, 30-32].

https://doi.org/10.1155/2018/5797514

Appendix

A. On the Derivation of (Anti-)BRST Symmetries

Here we derive the (anti-)BRST symmetries (cf. Section 2) by exploiting the simple (but fruitful) augmented version of (anti)chiral superfield approach (ACSA) to BRST formalism [30-32], where the (anti-)BRST invariant restrictions play very crucial roles. In this context, first of all, we generalize the basic 2D fields (e.g., [A.sub.[mu]], C, and [bar.C]) onto (2,1)-dimensional antichiral super-submanifold (of the general (2,2)-dimensional supermanifold) as

[A.sub.[mu]](x) [right arrow] [B.sub.s[mu]](x, [bar.[theta]]) = [A.sub.[mu]](x) + [bar.[theta]][R.sub.[mu]](x), C(x) [right arrow] F[x, [bar.[theta]]) = C(x) + i[bar.[theta]][B.sub.1](x), [bar.C](x) [right arrow] [bar.F](x, [bar.[theta]]) = [bar.C](x) + i[bar.[theta]][B.sub.2](x), (A.1)

which are nothing but the limiting cases of the super expansions in (10) (that are on the general (2,2)-dimensional supermanifold). It is worthwhile to mention here that the Nakanishi-Lautrup auxiliary field B(x) has no antichiral expansion (i.e., B(x) [right arrow] [??](x, [bar.[theta]]) = B(x)) because we note that [s.sub.b]B(x) = 0. We further point out that [s.sub.b]([bar.C] x B) = 0. This observation can be generalized onto the antichiral (2,1)-dimensional super-submanifold with the following restriction on the superfields due to the ACSA to BRST formalism:

[bar.F](x, [bar.[theta]]) x [??](x, [bar.[theta]]) = [bar.C](x) x B(x), [??](x, [bar.[theta]]) = B(x), (A.2)

which leads to [B.sub.2] x B = 0. One of the nontrivial solutions is that [B.sub.2] is proportional to B. For the sake of brevity, however, we choose [B.sub.2] = B. The above restriction (A.2) is consistent with the basic tenets of AVSA/ACSA to BRST formalism, where we demand that the BRST invariant quantity should be independent of [bar.[theta]] variable. Thus, we have

[[bar.F].sup.(b)](x, [bar.[theta]]) = [bar.C](x) + i[bar.[theta]]B(x) [equivalent to] [bar.C](x) + [bar.[theta]]([s.sub.b][bar.C]), (A.3)

where the superscript (b) denotes that the superfield [[bar.F].sup.(b)](x, [bar.[theta]]) has been obtained after the application of BRST invariant restriction (A.2). It goes without saying that (in the above process) we have derived the BRST transformation for C as [s.sub.b][bar.C] = iB (cf. Section 2).

We carry out the above kinds of exercises to obtain the other BRST symmetry transformations associated with the other fields of the theory. In this context, first of all, we observe that the following are the useful BRST invariant quantities (in addition to the earlier BRST invariant quantities, [s.sub.b]B = 0, [s.sub.b](B x [bar.C]) = 0):

[s.sub.b]([D.sub.[mu]]C) = 0, [s.sub.b](C x C) = 0, [s.sub.b]([A.sup.[mu]] x [[partial derivative].sub.[mu]]B + i[[partial derivative].sub.[mu]][bar.C] x [D.sup.[mu]]C) = 0. (A.4)

According to the AVSA/ACSA to BRST formalism, the above quantities can be generalized onto the (2, 1)-dimensional antichiral super-submanifold and the corresponding superfields can be restricted to obey the following conditions:

[mathematical expression not reproducible]. (A.5)

In other words, we demand that the left-hand side of the above equality should remain independent of "soul" coordinate [bar.[theta]]. The above requirements lead to the following:

[mathematical expression not reproducible]. (A.6)

We discuss here the solutions of the above conditions. It is clear that [B.sub.1](x) is proportional to (C(x) x C(x)) because we have obtained the condition [B.sub.1](x) x C(x) = 0 in (A.6). Thus, the nontrivial expression for [B.sub.1](x) = [kappa](C(x) x C(x)) where k is a numerical constant. From the relation [D.sub.[mu]][B.sub.1](x) + [R.sub.[mu]](x) x C = 0, it is clear that the choices,

[B.sub.1](x) = -1/2(C(x) x C(x)), [R.sub.[mu]](x) = [D.sub.[mu]]C(x), (A.7)

satisfy the relation [B.sub.1](x) x C(x) = 0 and [D.sub.[mu]][B.sub.1] + ([R.sub.[mu]] x C) = 0 together. It is gratifying to note that these conditions also satisfy the last relationship that has been quoted in (A.6). Thus, ultimately, we have obtained the following expansions (with superscript (b)):

[mathematical expression not reproducible]. (A.8)

In other words, we have already derived the BRST symmetry transformations [s.sub.b] for the basic fields ([A.sub.[mu]], C, [bar.C]) which are nothing but the coefficients of [bar.[theta]] in the superfields expansions (A.8). The sanctity of this statement can be checked from (2).

Finally, we comment on the derivation of the BRST symmetry transformations, [s.sub.b]B = i(B xC), [s.sub.b]E = i(E x C), and [s.sub.b][bar.B] = i([bar.B] x C). In this context, we have the following generalizations on the (2, 1)-dimensional antichiral super-submanifold:

[mathematical expression not reproducible], (A.9)

where (P(x), Q(x), S(x)) are the fermionic secondary fields that have to be determined in terms of the basic and auxiliary fields of the theory. We note the following:

[s.sub.b](B x C) = 0, [s.sub.b](E x C) = 0 [s.sub.b]([bar.B] x C) = 0. (A.10)

According to the basic tenets of AVSA/ACSA, we have the following equalities:

[mathematical expression not reproducible], (A.11)

which show that the BRST invariant quantities of (A.10) should remain independent of the "soul" coordinate [bar.[theta]]. This restriction yields the following:

P(x) = i(B x C), Q(x) = i(E x C), S(x) = i([bar.B] x C). (A.12)

Thus, ultimately, we have derived the following:

[mathematical expression not reproducible], (A.13)

where superscript (b) denotes the fact that the above super expansions have been derived after the application of the BRST invariant restrictions (A.10) and (A.11). From (A.13), we note that coefficients of [bar.[theta]] are nothing but the BRST symmetry transformations for B, E, and B fields as given in (2) (cf. Section 2 for details).

We now focus on the derivation of the anti-BRST symmetry by chiral superfield approach to BRST formalism, where we have the following generalizations:

[A.sub.[mu]](x) [right arrow] [B.sub.[mu]](x, [theta]) = [A.sub.[mu]](x) + [theta][[bar.R].sub.[mu]](x), C(x) [right arrow] F(x, [theta]) = C(x) + i[theta][[bar.B].sub.1](x), [bar.C](x) [right arrow] [bar.F](x, [theta]) = [bar.C](x) + i[theta][[bar.B].sub.2](x), (A.14)

where ([[bar.R].sub.[mu]], [[bar.B].sub.1], [[bar.B].sub.2]) are the secondary fields that have to be determined in terms of the basic and auxiliary fields of the theory by invoking the anti-BRST invariant restrictions. It goes without saying that the above expansions are the limiting cases of the super expansions in (10) when [bar.[theta]] = 0. It can be checked that we have the following useful and interesting anti-BRST invariant quantities (cf. Section 2):

[mathematical expression not reproducible]. (A.15)

According to the basic tenets of AVSA/ACSA, we have to demand that the above quantities (when generalized onto (2,1)-dimensional chiral supermanifold) should be independent of the Grassmannian variable [theta]. In other words, we have the following equalities:

[mathematical expression not reproducible]. (A.16)

We note here that, because of [s.sub.ab][bar.B] = 0, we have no chiral super expansion of [bar.B](x) (i.e., [bar.B](x) [right arrow] [??](x, [theta]) = [bar.B](x)). The above equalities lead to the following expressions for the secondary fields ([[bar.R].sub.[mu]], [[bar.B].sub.1], [[bar.B].sub.2]) in terms of basic and auxiliary fields of our theory:

[[bar.R].sub.[mu]] = [D.sub.[mu]][bar.C], [[bar.B].sub.1] = [bar.B], [[bar.B].sub.2] = -1/2([bar.C] x [bar.C]). (A.17)

Thus, we have obtained the following chiral super expansions:

[mathematical expression not reproducible], (A.18)

where the superscript (ab) denotes the super expansions of the chiral superfields after the application of the anti-BRST invariant restrictions [cf. (A.15) and (A.16)]. A close look at (A.18) demonstrates that we have already obtained the antiBRST symmetry transformations (cf. Section 2) for the basic fields [A.sub.[mu]](x), C(x), and [bar.C](x) of our theory.

Now we dwell a bit on the derivation of the anti-BRST symmetry transformations: [s.sub.ab]B = i(B x [bar.C]), [s.sub.ab]E = i(E x [bar.C]) = 0, and [s.sub.ab]B = i(B x [bar.C]). In this connection, we note that the following are the useful anti-BRST invariant quantities for our further discussion:

[s.sub.ab](B x [bar.C]) = 0, [s.sub.ab](E x [bar.C]) = 0, [s.sub.ab](B x [bar.C]) = 0. (A.19)

According to the basic principles of AVSA/ACSA, the above quantities should be independent of the Grassmannian variable [theta] when they are generalized onto the (2,1)-dimensional chiral super-submanifold. In other words, we have the following equalities:

[mathematical expression not reproducible], (A.20)

where the expansion for the chiral superfield [[bar.F].sup.(ab)](x, [theta]) has been given in (A.18) and the chiral super expansions of the other superfields are as follows:

[mathematical expression not reproducible]. (A.21)

Hence, the fields ([bar.P](x), [bar.Q](x), [bar.S](x)) are the fermionic secondary fields that are to be determined in terms of the basic and auxiliary fields of our 2D non-Abelian theory from the anti-BRST invariant restrictions (cf. (A.19) and (A.20)). Explicit substitution of expansions from (A.18) and (A.21) leads to the following very useful and interesting relationships:

[bar.P](x) = i(B(x) x [bar.C](x)), [bar.Q](x) = i(E(x) x [bar.C](x)), [bar.S](x) = i(B(x) x [bar.C](x)). (A.22)

These relationships prove the fermionic nature of the secondary fields ([bar.P](x), [bar.Q](x), [bar.S](x)), which is also evident from (A.21), due to the fermionic ([[theta].sup.2] = 0) nature of [theta]. Thus, we have the following super expansions for the superfields in (A.21):

[mathematical expression not reproducible], (A.23)

where the superscript (ab) denotes the super expansions of the superfields after the application of the anti-BRST invariant restrictions (A.20). The coefficients of [theta] in (A.23) are nothing but the anti-BRST symmetry transformations for the fields B(x), E(x), and B(x). Thus, we have derived all the (anti-)BRST symmetry transformations of our non-Abelian theory by applying the (anti)chiral superfield approach to BRST formalism.

B. On the Derivation of (Anti-)Co-BRST Symmetries

We derive here the nilpotent and absolutely anticommuting (anti-)co-BRST symmetry transformations by exploiting the virtues of the (anti-)co-BRST invariant restrictions within the framework of the (anti)chiral superfield approach to BRST formalism. In this context, first of all, we take the antichiral super expansions (A.1) and (A.9) and focus on the following very useful and interesting co-BRST invariant quantities:

[mathematical expression not reproducible]. (B.1)

It is crystal clear that the co-BRST invariant quantities when generalized onto the (2,1)-dimensional antichiral supersubmanifold (of the general (2,2)-dimensional supermanifold) should be independent of the Grassmannian coordinate [bar.[theta]]. Against this backdrop, it is very evident (from (A.1) and (A.9)) that the following are true:

[mathematical expression not reproducible], (B.2)

where the superscript (d) on the superfields denotes that the above superfields have been derived after the application of co-BRST invariant restrictions (B.1), which demonstrate that the co-BRST invariant quantities should be independent of the soul coordinate [bar.[theta]] (due to the basic tenets of augmented version of (anti)chiral superfield approach to BRST formalism). Further, the other co-BRST invariant quantities in (B.1) imply that

[mathematical expression not reproducible]. (B.3)

It is evident that the nontrivial co-BRST symmetry transformations are [s.sub.d]C = -iB and [s.sub.d][A.sub.[mu]] = -[[epsilon][mu].sub.v][[partial derivative].sup.v][bar.C]. These can be derived from the co-BRST invariant restrictions:

[mathematical expression not reproducible]. (B.4)

The substitution of the expansion of F(x, [bar.[theta]]) from (A.1) into the top relationship, in the above, leads to the condition [B.sub.1] x B = 0. One of the nontrivial solutions is [B.sub.1] = -B so that we obtain the following useful expansion:

[F.sup.(d)](x, [theta]) = C(x) + [bar.[theta]](-iB) [equivalent to] C(x) + [bar.[theta]]([s.sub.d]C). (B.5)

Finally, when we substitute the expansions for [B.sub.[mu]](x, [bar.[theta]]) from (A.1), [B.sup.(d)](x, [bar.[theta]]) and [[bar.F].sup.(d)](x, [bar.[theta]]) from (B.2), and [F.sup.(d)](x, [bar.[theta]]) from (B.5), we obtain [R.sub.[mu]](x) = -[[epsilon].sub.[mu]v][[partial derivative].sup.v][bar.C], which also satisfies both the additional conditions in (B.3) and leads to

[B.sup.(d).sub.[mu]](x,[bar.[theta]]) = [A.sub.[mu]](x) + [bar.[theta]](-[[epsilon].sub.[mu]v][[partial derivative].sup.v][bar.C]) [equivalent to] [A.sub.[mu]](x) + [bar.[theta]]([s.sub.d][A.sub.[mu]]). (B.6)

The super expansions in (B.2), (B.5), and (B.6) demonstrate that we have derived [s.sub.d][bar.B] = [s.sub.d]B = [s.sub.d][bar.C] = 0, [s.sub.d]C = -iB, and [s.sub.d][A.sub.[mu]] = -[[epsilon].sub.[mu]v][[partial derivative].sup.v][bar.C]. We mention, in passing, that [s.sub.d]B = 0 implies that we have no antichiral expansion for B(x) as it is a co-BRST invariant quantity.

To derive the anti-co-BRST symmetry transformations, we invoke the chiral expansions for the superfields as given in (A.14) and (A.20). In this context, first of all, we look for the useful anti-co-BRST invariant quantities and generalize them onto (2,1)-dimensional chiral super submanifold (of the general (2,2)-dimensional supermanifold on which our present theory is generalized). After this, we demand that such invariant quantities should be independent of the "soul" coordinate [theta]. In this context, we note the following:

[mathematical expression not reproducible]. (B.7)

The trivial chiral expansions are [mathematical expression not reproducible], which imply that [s.sub.ad]C = [s.sub.ad]B = [s.sub.ad][bar.B] = [s.sub.ad]B = 0. The nontrivial conditions are

[mathematical expression not reproducible], (B.8)

which imply that if we choose [[bar.B].sub.2] = B, Precondition [[bar.B].sub.2] x B = 0 is satisfied and it leads to

[[bar.F].sup.(ad)](x, [theta]) = [bar.C](x) + [theta](iB) [equivalent to] [bar.C](x) + [theta]([s.sub.ad][bar.C]), (B.9)

where the superscript (ad) denotes that the above superfield has been obtained after the application of (B.7). Thus, we observe that we have already derived the nontrivial anti-co-BRST symmetry transformation: [s.sub.ad][bar.C] = iB. We now focus on the latter conditions:

[mathematical expression not reproducible], (B.10)

where we have to use [F.sup.(ad)](x, [theta]) = C(x) and (B.9) to obtain the following conditions:

[[bar.R].sub.[mu]] x [[partial derivative].sup.[mu]]C = 0, [[bar.R].sub.[mu]] + [[epsilon].sub.[mu]v][[partial derivative].sup.v]C = 0 [??] [[bar.R].sub.[mu]] = -[[epsilon].sub.[mu]v][[partial derivative].sup.v]C. (B.11)

Thus, ultimately, we obtain the chiral expansion:

[B.sup.(ad).sub.[mu]](x, [theta]) = [A.sub.[mu]](x) + [theta](-[[epsilon].sub.[mu]v][[partial derivative].sup.v]C) [equivalent to] [A.sub.[mu]](x) + [theta]([s.sub.ad][A.sub.[mu]]), (B.12)

where the superscript (ad) denotes that the above superfield has been obtained after the application of (B.7). It is evident, by now, that we have obtained all the anti-co-BRST symmetry transformations [s.sub.ad] (cf. Section 2) of our theory by exploiting the symmetry invariant restrictions on the chiral superfields. We point out that the choice [R.sub.[mu]] = -[[epsilon].sub.[mu]v][[partial derivative].sup.v]C satisfies both additional conditions [[partial derivative].sub.[mu]][[bar.R].sup.[mu]] = 0 and [[bar.R].sub.[mu]] x [[partial derivative].sup.[mu]]C = 0 that are present in (B.9) and (B.11). We comment that we have chosen [B.sub.1] = -B and [[bar.B].sub.2] = +B (which imply that [s.sub.d]C = -iB and [s.sub.ad][bar.C] = iB) because these choices satisfy the absolute anticommutativity property ([s.sub.d][s.sub.ad] + [s.sub.ad][s.sub.d] = 0) of the (anti-)co-BRST symmetry transformations.

C. On the Symmetry Invariance in the Theory

We have concentrated on the (anti-)BRST as well as (anti-)co-BRST invariance(s) of our present 2D non-Abelian theory within the framework of AVSA to BRST formalism. In this appendix, we capture the (anti-)BRST and (anti-)co-BRST invariance of the Lagrangian densities (1) and (39) within the framework of AVSA to BRST formalism (which are explicitly quoted in (3), (7), and (40)). Towards this goal in mind, first of all, we generalize the Lagrangian densities (1) onto (2,2)-dimensional supermanifold as follows:

[mathematical expression not reproducible], (C.1)

where the superfields with superscript (h) are the ones that have been derived in the main body of the text. It is to be noted that we have defined the covariant derivatives as [D.sub.[mu]][F.sup.(h)] (x, [theta], [bar.theta]]) = [[partial derivative].sub.[mu]][F.sup.(h)] (x, [theta], [bar.theta]]) + i([B.sup.(h).sub.[mu]] (x, [theta], [bar.theta]]) x [F.sup.(h)] (x, [theta], [bar.theta]])) and [D.sub.[mu]][[bar.F].sup.(h)] (x, [theta], [bar.theta]]) = [[partial derivative].sub.[mu]][[bar.F].sup.(h)] (x, [theta], [bar.theta]]) + i([B.sup.(h).sub.[mu]] (x, [theta], [bar.theta]]) x [[bar.F].sup.(h)] (x, [theta], [bar.theta]])). The superfields with superscript (g) denote the ones that have been obtained after GIR. We elaborate here a few of them. For instance, let us focus on the explicit expression of [B.sup.(g)] (x, [theta], [bar.theta]]). In this context, we note that

[s.sub.b](E x B) = 0, [s.sub.ab](E x B) = 0. (C.2)

At this stage, we exploit the basic tenets of AVSA to BRST formalism, which state that any arbitrary (anti-)BRST invariant quantity must remain independent of the "soul" coordinates ([theta], [bar.[theta]]) when it is generalized onto an appropriately chosen supermanifold on which our basic gauge theory is generalized. Thus, we have the following equality:

[[??].sup.(h)] (x, [theta], [bar.theta]]) x B(x, [theta], [bar.theta]]) = E(x) x B(x). (C.3)

In the above, the full expansions for [E.sup.(h)] (x, [theta], [bar.theta]]) and B(x, [theta], [bar.theta]]) are

[E.sup.(h)] (x, [theta], [bar.theta]]) = E(x) + [theta](iE x [bar.C]) + [bar.[theta]](iE x C) + [theta][bar.[theta]][-E x B - (E x C) x [bar.C]], B(x, [theta], [bar.theta]]) = B(x) + [theta][bar.S](x) + [bar.[theta]]S(x) + i[theta][theta]P (x), (C.4)

where [E.sup.(h)](x, [theta], [bar.theta]]) has been derived from (18) and the general super expansion for the superfield B(x, [theta], [bar.theta]]) has been quoted in (C.4), where the secondary fields (S(x), [bar.S](x)) are fermionic and P(x) is bosonic in nature. The substitution of (C.4) into (C.3) produces the following expressions for the secondary fields in terms of the basic and auxiliary fields:

S(x) = i(B x C), [bar.S](x) = i(B x [bar.C]), P(x) = i[(B x B) + (B x C) x [bar.C]]. (C.5)

Thus, we have the final expansion for the superfield [B.sup.(g)](x, [theta], [bar.theta]])

[mathematical expression not reproducible]. (C.6)

In other words, we have derived the (anti-)BRST symmetry transformations for the auxiliary field B(x) and, in the process, we have obtained the explicit form of [B.sup.(g)](x, [theta], [bar.[theta]]) which has been used in the explicit expression for the super Lagrangian densities (C.1). We discuss here about the derivations of [??](x, [theta], [bar.[theta]]) and [[??].sup.(g)](x, [theta], [bar.[theta]]) that are present in the expressions for the super Lagrangian densities [[??].sub.B] and [[??].sub.[bar.B]] (cf. (C.1)). Using the (anti-)BRST symmetry transformations from (2), we note that

[s.sub.b](E x [bar.B]) = 0, [s.sub.ab](E x B) = 0, [s.sub.ab][bar.B] = 0 [s.sub.b]B = 0 (C.7)

are the BRST and anti-BRST invariant quantities. According to the basic tenets of AVSA to BRST formalism, the BRST invariance of B (i.e., [s.sub.b]B = 0) and anti-BRST invariance of [bar.B](i.e., [s.sub.ab][bar.B] = 0) imply that the general super expansions

[mathematical expression not reproducible], (C.8)

would remain independent of [bar.[theta]] and [theta], respectively, in view of the mapping [s.sub.b] [left right arrow] [[partial derivative].sub.[bar.[theta]]and] [s.sub.ab] [left right arrow] [[partial derivative].sub.[theta]]. Thus, the reduced forms of the superfields in (C.8) are

[[??].sup.(r)](x, [theta], [bar.[theta]]) = B(x) + [theta][bar.M](x), [??](x, [theta], [bar.[theta]]) = [bar.B](x) + [bar.[theta]][bar.L](x). (C.9)

In the above expansions (C.8) and (C.9), the secondary fields (M(x), [bar.M](x), L(x), [bar.L](x)) are fermionic and (N(x), K(x)) are bosonic in nature due to the fermionic nature (i.e., 9Z =9 = 0, [theta][bar.[theta]] + [bar.[theta]][theta] = 0) of the Grassmannian variables ([theta], [bar.[theta]]) and bosonic nature of the superfields [??](x, [theta], [bar.[theta]]) and [??](x, [theta], [bar.[theta]]). The superscript (r) on the superfields in (C.9) corresponds to the reduced form of the general super expansion in (C.8) when [bar.[theta]] = 0 and [theta] = 0, respectively. Basically, these reduced forms become chiral and antichiral superfields.

We exploit now the (anti-)BRST invariance that has been expressed in (C.7). In fact, we have the following restrictions:

[[??].sup.(h)](x, [theta], [bar.[theta]]) x [[bar.B].sup.(r)](x, [theta], [bar.[theta]]) = E(x) x [bar.B](x), [[??].sup.(h)](x, [theta], [bar.[theta]]) x [B.sup.(r)](x, [theta], [bar.[theta]]) = E(x) x B(x), (C.10)

where the expansion for [E.sup.(h)](x, [theta], [bar.[theta]]) is given in (C.4) and the reduced forms of [[bar.B].sup.(r)](x, [theta], [bar.[theta]]) and [B.sup.(r)](x, [theta], [bar.[theta]]) are quoted in (C.9). Ultimately, with the substitution of these into (C.10), we obtain the following results:

M(x) = i(B x [bar.C]), [bar.L](x) = i([bar.B] x C). (C.11)

Thus, we have the following explicit super expansions:

[mathematical expression not reproducible]. (C.12)

The above expressions for [[??].sup.(g)](x, [theta], [bar.[theta]]) and [??](x, [theta], [bar.[theta]]) have been used in the super Lagrangian densities (C.1). The rest of the other terms in (C.1) are straightforward and clear.

We are now in the position to express the (anti-)BRST invariance of the Lagrangian densities (1) which change to the total spacetime derivatives under the above symmetry transformations (cf. (3) and (4)). It is straightforward to check that

[mathematical expression not reproducible], (C.13)

which are nothing but our earlier results (cf. (3)), where we have shown that [s.sub.ab][L.sub.[bar.B]] = -([bar.B] x [D.sup.[mu]][bar.C]) and [s.sub.b][L.sub.B] = [[partial derivative].sub.[mu]](B x [D.sup.[mu]][bar.C]). Geometrically, the above observations show that super Lagrangian densities (C.1) are the sum of composite (super)fields, obtained after (anti-)BRST invariant restrictions and HC, such that their translation along the ([theta], [bar.[theta]]) directions of the (2,2)-dimensional supermanifold produces the total spacetime derivatives.

In exactly similar fashion, we can discuss the (anti-)co-BRST invariance of the Lagrangian densities (1), where these are generalized onto the (2,2)-dimensional supermanifold as

[mathematical expression not reproducible], (C.14)

where the superscripts (dh) and (dg) on the superfields have already been explained in the main body of the text. We would like to comment here that the expression for [[??].sup.(dg)](x, [theta], [bar.[theta]]) has been derived (i.e., [F.sup.(dg).sub.01](x, [theta], [bar.[theta]]) = [[??].sup.(dg)](x, [theta], [bar.[theta]])) from the superfield corresponding to the field strength tensor; namely,

[mathematical expression not reproducible], (C.15)

where the expansion of [B.sup.(dg).sub.[mu]] (x, [theta], [bar.[theta]]) has been illustrated in (32). In fact, the explicit substitution of this superfield into the above equation leads to the following:

[mathematical expression not reproducible]. (C.16)

We note that the substitution of the super expansions from (26) and (32) into the super Lagrangian densities (C.14) would express them in terms of the coefficients of (1, [theta], [bar.[theta]], [theta][bar.[theta]]). It can be now checked that the following are true:

[mathematical expression not reproducible]. (C.17)

Hence, we have provided the equivalence of the (anti-)co-BRST invariance of the Lagrangian densities (1) in the language of AVSA to BRST formalism. Consequently, the (anti-)co-BRST invariance can be explained within the framework of AVSA to BRST formalism as follows. The translation of the super Lagrangian densities (C.14) along (0,0)-directions of the (2,2)-dimensional supermanifold is such that it results in the total spacetime derivatives, thereby rendering the action integrals (corresponding to the appropriate Lagrangian densities) invariant under the (anti-)co-BRST symmetry transformations. We end this appendix with a concise remark that we can also capture the (anti-)co-BRST invariance of the coupled Lagrangian densities (39) exactly in the same manner as we have done for our starting Lagrangian densities (1) for the present 2D non-Abelian 1-form gauge theory.

Conflicts of Interest

The authors declare that there are no conflicts of interest of any kind.

Acknowledgments

The present investigation has been carried out under the BHU-fellowship received by S. Kumar and DST-INSPIRE fellowship (Government of India) awarded to B. Chauhan. Both authors express their gratefulness to the above funding agencies for the financial support.

References

[1] J. Thierry-Mieg, "Geometrical reinterpretation of Faddeev-Popov ghost particles and BRS transformations," Journal of Mathematical Physics, vol. 21, article 2834, 1980.

[2] M. Quiros, F. J. De Urries, J. Hoyos, M. L. Mazon, and E. Rodriguez, "Geometrical structure of Faddeev-Popov fields and invariance properties of gauge theories," Journal of Mathematical Physics, vol. 22, no. 8, pp. 1767-1774, 1981.

[3] R. Delbourgo and P. D. Jarvis, "Extended BRS invariance and OSp (4/2) supersymmetry supersymmetry," Journal of Physics A: Mathematical and Theoretical, vol. 15, no. 2, p. 611, 1982.

[4] L. Bonora and M. Tonin, "Superfield formulation of extended BRS symmetry," Physics Letters B, vol. 98, no. 1-2, pp. 48-50, 1981.

[5] 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.

[6] L. Bonora, P. Pasti, and M. Tonin, "Superspace approach to quantum gauge theories," Annals of Physics, vol. 144, no. 1, pp. 15-33, 1982.

[7] L. Baulieu and J. Thierry-Mieg, "The principle of BRS symmetry: an alternative approach to Yang-Mills theories," Nuclear Physics B, vol. 197, no. 3, pp. 477-508, 1982.

[8] L. Alvarez-Gaume and L. Baulieu, "The two quantum symmetries associated with a classical symmetry," Nuclear Physics B, vol. 212, no. 2, pp. 255-267, 1983.

[9] R. P. Malik, "Abelian 2-form gauge theory: superfield formalism," The European Physical Journal C, vol. 60, no. 3, pp. 457-470, 2009.

[10] 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, p. 10575, 2006.

[11] R. P. Malik, "An alternative to the horizontality condition in the superfield approach to BRST symmetries," The European Physical Journal C, vol. 51, pp. 169-177, 2007.

[12] R. P. Malik, "Superfield approach to symmetries for matter fields in Abelian gauge theories," Journal of Physics A: Mathematical and General, vol. 37, no. 19, pp. 5261-5274, 2004.

[13] R. P. Malik, "New topological field theories in two dimensions," Journal of Physics A: Mathematical and General, vol. 34, no. 19, pp. 4167-4181, 2001.

[14] N. Srinivas and R. P. Malik, "Nilpotent symmetries and CurciFerrari-type restrictions in 2D non-Abelian gauge theory: superfield approach," International Journal of Modern Physics A, vol. 32, no. 33, Article ID 1750193, 21 pages, 2017.

[15] N. Srinivas and R. P. Malik, "Nilpotent symmetries and Curci-Ferrari type restrictions in 2D non-Abelian gauge theory: superfield approach," International Journal of Modern Physics A, vol. 32, no. 33, pp. 1-21, 2017.

[16] S. Kumar, B. K. Kureel, and R. P. Malik, "(Anti-)BRST and (anti-)co-BRST symmetries in 2D non-Abelian gauge theory: some novel observations," https://arxiv.org/abs/1703.09099.

[17] S. Gupta and R. P. Malik, "Rigid rotor as a toy model for Hodge theory," The European Physical Journal C, vol. 68, no. 1, pp. 325-335, 2010.

[18] R. Kumar, S. Krishna, A. Shukla, and R. P. Malik, "Abelian p-form (p = 1,2,3) gauge theories as the field theoretic models for the Hodge theory," International Journal of Modern Physics, vol. 29, Article ID 1450135, 2014.

[19] E. Witten, "Topological quantum field theory," Communications in Mathematical Physics, vol. 117, no. 3, pp. 353-386, 1988.

[20] A. S. Schwarz, "The partition function of degenerate quadratic functional and Ray-Singer invariants," Letters in Mathematical Physics, vol. 2, no. 3, pp. 247-252, 1978.

[21] T. Eguchi, P. B. Gilkey, and A. J. Hanson, "Gravitation, gauge theories and differential geometry," Physics Reports, vol. 66, no. 6, pp. 213-393, 1980.

[22] S. Mukhi and N. Mukunda, Introduction to topology, differential geometry and group theory for physicists, Wiley Eastern Private Limited, New Delhi, 1990.

[23] K. Nishijima, "Observable states in the representations of BRS algebra," Progress of Theoretical and Experimental Physics, vol. 80, no. 5, pp. 905-912, 1988.

[24] J. W. van Holten, "Becchi-Rouet-Stora-Tyutin cohomology of compact gauge algebras," Physical Review Letters, vol. 64, no. 24, pp. 2863-2865, 1990.

[25] S. Gupta and R. P. Malik, "A field-theoretic model for Hodge theory," The European Physical Journal Particles and Fields, vol. 58, no. 3, pp. 517-529, 2008.

[26] S. Krishna, A. Shukla, and R. P. Malik, "Topologically massive non-Abelian theory: superfield approach," International Journal of Modern Physics A, vol. 26, no. 25, pp. 4419-4450, 2011.

[27] D. Dudal, V. E. R. Lemes, M. S. Sarandy, S. P. Sorella, and M. Picariello, "On the SL(2, R) symmetry in Yang-Mills theories in the Landau, Curci-Ferrari and maximal Abelian gauge," Journal of High Energy Physics, vol. 212, no. 8, 2002.

[28] D. Dudal, H. Verschelde, V. E. Lemes et al., "The anomalous dimension of the gluon-ghost mass operator in Yang-Mills theory," High Energy Physics, vol. 569, no. 1-2, pp. 57-66, 2003.

[29] R. P. Malik, "Hodge duality operation and its physical applications on supermanifolds," International Journal of Modern Physics A, vol. 21, no. 16, pp. 3307-3336, 2006.

[30] N. Srinivas, T. Bhanja, and R. P. Malik, "(Anti)chiral superfield approach to nilpotent symmetries: self-dual chiral bosonic theory," Advances in High Energy Physics, vol. 2017, Article ID 6138263, 2017.

[31] D. Shukla, T. Bhanja, and R. P. Malik, "Supervariable approach to the nilpotent symmetries for a toy model of the Hodge theory," Advances in High Energy Physics, vol. 2016, Article ID 2618150, 13 pages, 2016.

[32] N. Srinivas, A. Shukla, and R. P. Malik, "Nilpotent symmetries of a 4D model of the hodge theory: augmented (anti-)chiral superfield formalism," https://arxiv.org/abs/1501.06770.

S. Kumar, (1) B. Chauhan, (1) and R. P. Malik (iD) (1, 2)

(1) Physics Department, Center of Advance Studies, Institute of Science, Banaras Hindu University, Varanasi 221 005, India

(2) DST Centre for Interdisciplinary Mathematical Sciences, Institute of Science, Banaras Hindu University, Varanasi 221 005, India

Correspondence should be addressed to R. P. Malik; rpmalik1995@gmail.com

Received 22 October 2017; Accepted 16 January 2018; Published 20 March 2018

Academic Editor: Elias C. Vagenas

Printer friendly Cite/link Email Feedback | |

Title Annotation: | Research Article |
---|---|

Author: | Kumar, S.; Chauhan, B.; Malik, R.P. |

Publication: | Advances in High Energy Physics |

Article Type: | Report |

Geographic Code: | 1USA |

Date: | Jan 1, 2018 |

Words: | 14250 |

Previous Article: | Analysis of CP Violation in [D.sup.0] [right arrow] [K.sup.+][K.sup.-][[pi].sup.0]. |

Next Article: | From de Sitter to de Sitter: Decaying Vacuum Models as a Possible Solution to the Main Cosmological Problems. |

Topics: |