arxiv: v3 [hep-th] 15 Mar 2018

Transcription

1 Superfiel Approach to Nilpotency an Absolute Anticommutativity of Conserve Charges: 2D Non-Abelian 1-Form Gauge Theory arxiv: v3 [hep-th] 15 Mar 2018 S. Kumar (a), B. Chauhan (a), R. P. Malik (a,b) (a) Physics Department, Center of Avance Stuies, Institute of Science, Banaras Hinu University, Varanasi , (U.P.), Inia (b) DST Centre for Interisciplinary Mathematical Sciences, Institute of Science, Banaras Hinu University, Varanasi , Inia s: sunil.bhu93@gmail.com; bchauhan501@gmail.com; rpmalik1995@gmail.com Abstract: We exploit the theoretical strength of augmente version of superfiel approach (AVSA) to Becchi-Rouet-Stora-Tyutin (BRST) formalism to express the nilpotency an absolute anticommutativity properties of the (anti-)brst an (anti-)co-brst conserve charges for the two (1 + 1)-imensional (2D) non-abelian 1-form gauge theory (without any interaction with matter fiels) in the language of superspace variables, their erivatives an suitable superfiels. In the proof of absolute anticommutativity property, we invoke the strength of Curci-Ferrari (CF) conition for the (anti-)brst charges. No such outsie conition/restriction is require in the proof of absolute anticommutativity of the (anti-)co- BRST conserve charges. The latter observation (as well as other observations) connecte with (anti-)co-brst symmetries an corresponing conserve charges are novel results of our present investigation. We also iscuss the (anti-)brst an (anti-)co-brst symmetry invariance of the appropriate Lagrangian ensities within the framework of AVSA. In aition, we well a bit on the erivation of the above fermionic (nilpotent) symmetries by applying the AVSA to BRST formaism where only the (anti-)chiral superfiels are use. Keywors: 2D non-abelian 1-form gauge theory; augmente superfiel formalism; (anti-) chiral superfiels; nilpotency an absolute anticommutativity properties; (anti-)brst an (anti-)co-brst conserve charges; symmetry invariance; geometrical interpretation

2 1 Introuction The principle of local gauge invariance is at the heart of stanar moel of particle physics where there is a stunning egree of agreement between theory an experiment. One of the most elegant approaches to covariantly quantize the above kins of gauge theories (base on the principle of local gauge invariance) is Becchi-Rouet-Stora-Tyutin (BRST) formalism where each local gauge symmetry is trae with two nilpotent symmetries which are christene as the BRST an anti-brst symmetries. The latter symmetries are the quantum version of the gauge symmetries an their very existence ensures the covariant canonical quantization of a given gauge theory. The ecisive features of the above quantum (anti-)brst symmetries are the observations that (i) they are nilpotent of orer two, an (ii) they are absolutely anticommuting in nature. In the language of theoretical physics, the nilpotency property ensures the fermionic (supersymmetic-type) nature of the (anti-)brst symmetries an the linear inepenence of BRST an anti-brst symmetries is encoe in the property of absolute anticommutativity of the above (anti-)brst symmetries. The superfiel approach to BRST formalism [1-8] provies the geometrical basis for the properties of nilpotency an absolute anticommutativity that are associate with the (anti-)brst symmetries. In the above usual superfiel approach [1-8], the celebrate horizontality conition (HC) plays a key an ecisive role. The HC leas, however, to the erivation (as well as geometrical interpretation) of the (anti-)brst symmetries that are associate with the gauge an corresponing (anti-)ghost fiels only. It oes not she any light on the (anti-)brst symmetries that are associate with the matter fiels in a given interacting gauge theory. In a set of papers [9-12], the above usual superfiel formalism has been systematically generalize so as to erive the (anti-)brst symmetries for the gauge, matter an (anti-)ghost fiels together. The latter superfiel approach [9-12] has been christene as the augmente version of superfiel approach to BRST formalism where, consistent with the HC, aitional restrictions (i.e. gauge invariant conitions) are also invoke. We shall exploit the latter superfiel approach [9-12] to iscuss a few key features of the 2D non-abelian 1-form gauge theory (without any interaction with matter fiels) that have alreay been iscusse 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 an absolute anticommutativity of the (anti-)brst an (anti-)co- BRST conserve charges [13-16] within the framework of augmente version of superfiel 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-conition to recast the expressions for these charges in an appropriate form an, then only, the superfiel formalism is applie. However, in the case of the above proof of the(anti-)co-brst charges, we o not invoke any CF-type restrictions. In our present investigation, we have proven the nilpotency an absolute anticommutativity of the conserve (anti-)brst an (anti-) co-brst charges that have been erive from two sets of couple Lagrangian ensities (cf. Eqs. (1), (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 an their conserve charges is well-known. However, we have been able to establish 2

3 the existence of (anti-)co-brst symmetry transformations (in aition to the nilpotent (anti-)brst symmetry transformations) in the case of a toy moel of a rigi rotor in one (0 + 1)-imension of spacetime [17]. Furthermore, we have emonstrate 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)-imensions, four (3+1)-imensions an six (5+1)-imensions of spacetime (see, e.g., [18] an reference therein). In other wors, we have establishe that the nilpotent (anti-)co-brst symmetries exist for any arbitrary Abelian p-form (p = 1, 2, 3,...) gauge theory in D = 2p imensions of spacetime [18]. One of the ecisive features of the (anti-)co-brst symmetries is the observation that it is the gauge-fixing term that remains invariant uner these transformations (unlike the kinetic term that remains invariant uner the (anti-)brst transformations). The geometrical origin for these observations has been provie in our review article (see, e.g. [18] an reference therein). We concentrate on the 2D non-abelian theory (without any interaction with matter fiels) because thistheoryhasbeenshown[13]tobeaperfect moelofhogetheoryaswell as a new moel of topological fiel theory (TFT) which captures a few aspects of Wittentype TFTs [19] an some salient features of Schwarz-type TFTs [20]. The equivalence of the couple Lagrangian ensities of this 2D theory with respect to the (anti-)co-brst symmetries has been establishe in our recent publication [14]. We have also iscusse the CF-type restrictions for this theory within the framework of superfiel approach [15] where we have emonstrate 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 egrees of freeom for the 2D gauge fiel. In an another work [16], we have erive all the conserve currents an charges for this 2D theory an shown their algebraic structure that is foun to be reminiscent of the Hoge algebra [21-24]. In other wors, we have provie the physical realizations of the e Rham cohomological operators of ifferential geometry (an their algebra) in the language of the continuous (as well as iscrete) symmetries, corresponing conserve charges an their algebra in operator form. We have exploite the key ieas of AVSA to BRST formalism to erive the (anti-) BRST an (anti-)co-brst symmetry transformations by using HC an ual-hc (DHC) as well as the (anti-)chiral superfiel approach to BRST formalism (see, Appenices A an 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 an (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 knowlege, this issue is being pursue for the first time in our present eneavor. Thus, the novelty in our present investigation is the observation that the nilpotency of the fermionic symmetry transformations an CF-type restrictions play a ecisive role in capturing the nilpotency an absolute anticommutativity properties of the conserve (anti-)brst an (anti-)co-brst charges in the orinary 2D spacetime (see, Sec. 5 below). However, it is the nilpotency of the translational generators (along the Grassmannian irections) that plays a crucial role for the same purpose within the framework of AVSA to BRST formalism on the supermanifol (see, Sec. 6 below). The following key factors have spurre our curiosity to pursue our present investigation. First, to a some new ieas to the existing technique(s) of the superfiel formalism is a challenging problem. In this context, we have expresse the fermionic charges (i.e. 3

4 nilpotent (anti-)brst an (anti-)co-brst) charges in the language of the superfiels an erivatives efine on the (2, 2)-imensional supermanifol. Secon, in our earlier works [14,15], we have erive the expressions for the conserve fermionic charges in the orinary 2D space. It is a challenging problem to express their nilpotency an absolute anticommutativity properties in terms of the quantities that are efine on the (2, 2)-imensional supermanifol. Thir, it is also an interesting as well as novel iea to iscuss various aspects of the (anti-)co-brst charges within the framework of AVSA to BRST formalism. Finally, the insights an unerstanings, gaine in our present investigation, woul turn out to be useful when we shall iscuss the 4D Abelian 2-form an 6D Abelian 3-form gauge theories within the framework of AVSA to BRST formalism. In fact, we have alreay shown, in our earlier works [25,26], that the above 4D an 6D Abelian 2-form an 3-form gauge theories are the moels for the Hoge theory an they o support the existence of the (anti-)brst an (anti-)co-brst symmetries (as well as their corresponing conserve charges) in aition to the other continuous symmetries (an corresponing charges). There exist iscrete symmetries, too, in these theories [25,26]. All these symmetries (an corresponing conserve charges) are require for the proof that the above moels are the tractable fiel theoretic examples of Hoge theory. Our present paper is organize as follows. In Sec. 2, we iscuss the nilpotent (fermionic) (anti-)brst an (anti-)co-brst symmetries in the Lagrangian formulation. Our Sec. 3 is evote to the iscussion of horizontality conition (HC) that leas to the erivation of (anti-)brst symmetries for the gauge fiel an corresponing fermionic (anti-)ghost fiels along with the CF-conition. Sec. 4 of our paper eals with the ual-hc (DHC) which enables us to erive the (anti-)co-brst symmetries that exist for the 2D non-abelian 1-form gauge theory. The subject matter of Sec. 5 concerns itself with the iscussion of nilpotency an absolute anticommutativity properties of the fermionic charges within the framework of BRST formalism in 2D orinary spacetime. In Sec. 6, we iscuss the nilpotency an absolute anticommutativity of the fermionic charges within the framework of AVSA to BRST formalism on a(2, 2)-imensional supermanifol where the CF-conition plays an important role for (anti-)brst charges. Finally, we iscuss the key results of our present investigation in Sec. 7 where we point out a few possible theoretical irections which might be pursue for future investigations. In our Appenices A an B, we erive the (anti-)brst an (anti-)co-brst symmetry transformations by exploiting the ieas of (anti-)chiral superfiel approach to BRST formalism which match with the ones erive in the main boy of the text. We express the (anti-)brst an (anti-)co-brst invariance of the Lagrangian ensities in the language of the AVSA to BRST formalism in our Appenix C. We note that the theoretical materials, containe in Secs. 5 an 6, are eeply interrelate. In fact, sometimes, it is ue to our observations in Sec. 5 that we have been able to express the nilpotency an anticommutativity properties of the charges in Sec. 6 within the framework of AVSA to BRST formalism. On the other han, at times, it is our knowlege of the AVSA to BRST formalism (cf. Sec. 6) that has turne out to be hany for our erivations of the above properties in 2D orinary space (cf. Sec. 5). Convention an Notations: We take the 2D orinary Minkowskian backgroun spacetime to be flat with a metric tensor η µν = iag (+1, 1) where the Greek inices µ,ν,λ,... = 0,1 4

5 correspon to the time an space irections, respectively. We choose 2D Levi-Civita tensor ε µν to obey the properties: ε µν ε µν = 2!, ε µν ε νλ = δ λ µ, ε 01 = +1 = ε 10, etc. In 2D, the curvature tensor (i.e. fiel strength tensor) F µν has only one existing component F 01 = E = ε µν [ µ A ν + i 2 (A µ A ν )] because F µν = µ A ν ν A µ + i(a µ A ν ). Here, in the SU(N) Lie algebraic space, we have aopte the notations A B = A a B a an (A B) a = f abc A b B c for the non-null vectors A a an B a where a,b,c = 1,2,...,N 2 1 an f abc are the structure constants in the SU(N) Lie algebra [T a,t b ] = f abc T c for the generators T a which are present in the efinition of 1-form potential A µ = A µ T = A a µ Ta an curvature 2-form fiel strength tensor F µν = F µν T = F a µνt a, etc. Through out the whole boy of our text, we enote the (anti-)brst an (anti-)co-brst fermionic (s 2 (a)b = s2 (a) = 0) symmetry transformations by s (a)b an s (a), respectively. 2 Preliminaries: Nilpotent (Fermionic) Symmetries We iscuss here the (anti-)brst an (anti-)co-brst symmetries (an erive their corresponing conserve charges) in the Lagrangian formulation of the 2D non-abelian 1-form (A (1) = x µ A µ = x µ A µ T) gauge theory within the framework of BRST formalism. The starting couple Lagrangian ensities, in the Curci-Ferrari gauge [27,28], are: L B = B E 1 2 B B + B ( µa µ )+ 1 2 (B B + B B) i µ C D µ C, L B = B E 1 2 B B B ( µ A µ )+ 1 2 (B B + B B) id µ C µ C, (1) where B, B an B are the Nakanishi-Lautrup type auxiliary fiels that have been invoke for various purposes. For instance, B is introuce in the theory to linearize the kinetic term ( 1 4 F µν F µν = 1 2 E E B E B B) an auxiliary fiels B an B satisfy the Curci-Ferrari restriction: B + B +(C C) = 0 where the (anti-)ghost fiels C an C are fermionic (i.e. (C a ) 2 = ( C a ) 2 = 0, C a Cb + C b C a = 0, C a C b +C b C a = 0, Ca Cb + C b Ca = 0, Ca C b +C b Ca = 0, etc.) in nature an they are require in the theory for the valiity of unitarity. In the above, we have the covariant erivatives [D µ C = µ C +i(a µ C) an D µ C = µ C +i(aµ C)] on the (anti-)ghost fiels in the ajoint representation. The Lagrangian ensities in (1) respect the following off-shell nilpotent (s 2 (a)b = 0) (anti-)brst symmetries transformations (s (a)b ) s b A µ = D µ C, s b C = i 2 (C C), s b C = ib, s b B = 0, s b (B B) = 0, s b B = i( B C), sb E = i(e C), s b B = i(b C), s b (B E) = 0, s ab A µ = D µ C, sab C = i 2 ( C C), s ab C = i B, s ab B = 0, sab (B B) = 0, s ab E = i(e C), s ab B = i(b C), s ab B = i(b C), s ab (B E) = 0, (2) because the Lagrangian ensities L B an L B transform uner s (a)b as: s b L B = µ (B D µ C), s ab L B = µ ( B D µ C), s ab L B = µ [{ B +(C C)} µ C]+{B + B +(C C)} Dµ µ C, s b L B = µ [{B +(C C)} µ C] {B + B +(C C)} D µ µ C. (3) 5

6 It shoul be note that both the Lagrangian ensities in Eq. (1) respect both (i.e. BRST an anti-brst) symmetries on the constraine hypersurface where the CF-conition (B + B +(C C) = 0) is satisfie. In other wors, we note that s b L B = µ [ B µ C] an s ab L B = µ [B µ C] because of the valiity of CF-conition. As a consequence, the action integrals S = 2 xl B an S = 2 xl B remain invariant uner the (anti-)brst symmetries on the above hypersurface locate in the 2D Minkowskian spacetime manifol. It is interesting to point out that the absolute anticommutativity {s b,s ab } = 0 is also satisfie on the above hypersurface which is efine by the fiel equation: B + B +(C C) = 0. Accoring to the celebrate Noether s theorem, the above continuous symmetries lea to the erivations of conserve currents an charges. These (anti-)brst charges, corresponing to the above continuous symmetries s (a)b, are (see, e.g. [14] for etails) Q ab = x [ B 1 C B D0 C + 2 ( C C) Ċ], Q b = x [B D 0 C Ḃ C 1 C (C C)], (4) 2 where a single ot on a fiel enotes the orinary time erivative (e.g. Ċ = C/ t). The above conserve charges Q (a)b are nilpotent (Q 2 b = Q2 ab = 0) of orer two an they obey absolute anticommutativity property (i.e. Q b Q ab +Q ab Q b = 0). These properties can be mathematically expresse as follows: s b Q b = i {Q b,q b } = 0 = Q 2 b = 0, s abq ab = i{q ab,q ab } = 0 = Q 2 ab = 0, s ab Q b = i{q b,q ab } = 0 = {Q b,q ab } = 0 s b Q ab = i{q ab,q b } = 0. (5) The preciseness of the above expressions can be verifie by taking into account the nilpotent (anti-)brst symmetry transformation s (a)b (cf. Eq. (2)) an expressions for the nilpotent (anti-)brst charges from Eq. (4). It shoul be note that the property of absolute anticommutativity of the (anti-)brst charges (i.e. {Q b,q ab } = 0) is true only when we use the CF-conition (i.e. B + B +(C C) = 0). The Lagrangian ensities (1) also respect the following off-shell nilpotent (s 2 (a) = 0) an absolutely anticommuting (s s a +s a s = 0) (anti-)co-brst [i.e. (anti-)ual BRST] symmetry transformations (s (a) ) (see, e.g. [13], [14]) s a A µ = ε µν ν C, s a C = 0, s a C = i B, sa B = 0, s a B = 0, sa E = D µ µ C, s a ( µ A µ ) = 0, s a B = 0, s A µ = ε µν ν C, s C = 0, s C = i B, s B = 0, s B = 0, s E = D µ µ C, s ( µ A µ ) = 0, s B = 0, (6) because the above Lagrangian ensities transform, uner s (a), as follows: s a L B = µ [B µ C], s L B = µ [B µ C], s a L B = µ [B D µ C +ε µν C ( ν C C)]+i ( µ A µ ) (B C), s L B = µ [B D µ C ε µν C ( ν C C)]+i ( µ A µ ) (B C). (7) 6

7 It is clear that both the Lagrangian ensities respect both (i.e. co-brst an anti-co-brst) fermionic symmetry transformations on a hypersurface where the CF-type restrictions B C = 0, B C = 0 are satisfie. We lay emphasis on the observation that absolute anticommutativity {s,s a } = 0 is satisfie without any use of CF-type restrictions B C = 0, B C = 0. More elaborate iscussions about these CF-type restrictions (an other relate restrictions) can be foun in our earlier works (see, e.g., [14,16] for etails). The Noether conserve ( Q (a) = 0) charges Q (a), corresponing to the continuous an nilpotent symmetry transformations (6), are: Q = x [B C +B 1 C] x [B C D0 B C +( 1 C C) C], Q a = x [B Ċ B 1 C] x [B Ċ D 0 B C ( C 1 C) C]. (8) The above charges are foun to be nilpotent (Q 2 (a) = 0) an absolutely anticommuting (Q Q a +Q a Q = 0) in nature. These claims can be verifie in a straightforwar fashion by taking the help of symmetries (6) an expressions of the charges (8) as follows: s Q = i {Q,Q } = 0 = Q 2 = 0, s aq a = i{q a,q a } = 0 = Q 2 a = 0, s Q a = i{q a,q } = 0 s a Q = i{q,q a } = 0 = {Q,Q a } = 0. (9) In fact, in this simple proof, one has to verify the l.h.s. of the above equations. In the forthcoming sections, we shall exploit the beauty an strength of the AVSA to BRST formalism to capture the above properties in a cogent an consistent manner. 3 Horizontality Conition: Off-Shell Nilpotent (Anti-)BRST Symmetry Transformations We concisely mention here the key points associate with the geometrical origin of the nilpotent (anti-)brst symmetries an existence of the CF-conition within the framework of Banora-Tonin (BT) superfiel formalism [4,5]. In this connection, first of all, we generalize the 2D orinary theory onto (2, 2)-imensional supermanifol where the non- Abelian 1-form gauge fiel A µ (x) an (anti-)ghost fiels ( C)C are generalize onto their corresponing superfiels with the following expansions (incorporating the seconary fiels R µ, R µ,s µ,b 1,B 2, B 1, B 2,s, s) on the (2,2)-imensional supermanifols [4,5]: A µ (x) B µ (x,θ, θ) = A µ (x)+θ R µ (x)+ θr µ (x)+iθ θs µ (x), C(x) F(x,θ, θ) = C(x)+iθ B 1 +i θb 1 +iθ θs(x), C(x) F(x,θ, θ) = C(x)+iθ B 2 +i θb 2 +iθ θ s(x), (10) where the supermanifol is characterize by the superspace coorinates Z M = (x µ,θ, θ). The 2Dorinarybosoniccoorinates x µ (µ = 0,1)antheGrassmanniancoorinates(θ, θ) (with θ 2 = θ 2 = θ θ+ θθ = 0) specify the superspace coorinate Z M an all the superfiels, efine on the supermanifol, are function of them. The super curvature 2-form is ( Z F (2) M Z N ) = FMN (x,θ, θ) 2! Ã(1) +i(ã(1) Ã(1) ), (11) 7

8 where the super curvature tensor F MN = ( F µν, F µθ, F µ θ, F θθ, F θ θ, F θ θ). In the above equation, the orinary exterior erivative = x µ µ an non-abelian 1-form (A (1) = x µ A µ ) gauge connection have been generalize onto the (2, 2)-imensional supermanifol as = x µ µ = x µ µ +θ θ + θ θ, 2 = 0, A (1) = x µ A µ Ã(1) = x µ B µ (x,θ, θ)+θ F(x,θ, θ)+ θf(x,θ, θ), (12) where ( µ, θ, θ) are the superspace erivatives (with µ =, x µ θ = an θ θ = ). θ We have observe earlier that the kinetic term ( 1 F 4 µν F µν = B E B B ) of the 2 Lagrangian ensities (1) remains invariant uner the (anti-)brst symmetries (2) an it has its origin in the exterior erivative (i.e. F (2) = A (1) + ia (1) A (1) ). This gauge invariant quantity shoul remain inepenent of the Grassmannian variables (θ, θ) as the latter are only a mathematical artifacts an they cannot be physically realize. Thus, we have the following equality ue to the gauge invariant restriction (GIR): 1 4 F MN (x,θ, θ) F MN (x,θ, θ) = 1 4 F µν(x) F µν (x). (13) The celebrate horizontality conition(hc) requires that the Grassmannian components of F MN (x,θ, θ) = ( F µν, F µθ, F µ θ, F θθ, F θ θ, F θ θ) shoul be set equal to zero so that, ultimately, we shoul have the following equality, namely; 1 4 F µν (x,θ, θ) F µν (x,θ, θ) = 1 4 F µν(x) F µν (x). (14) The requirement of HC leas to the following [4,5,11,12] R µ (x) = D µ C, Rµ (x) = D µ C, s = i ( B C), s = i(b C), S µ = (D µ B +D µ C C) (D µ B +C Dµ C), B1 = 1 (C C), 2 B 2 = 1 2 ( C C), B 1 +B 2 +(C C) = 0, (15) where the last entry is nothing but the celebrate CF-conition (B + B + (C C) = 0) if we ientify B 1 = B an B 2 = B. It is crystal clear that the HC leas to the erivation of the seconary fiels in terms of the auxiliary an basic fiels of the starting Lagrangian ensities (1). The substitution of the above expressions for the seconary fiels into the super expansion (10) leas to the following [4,5,11,12] B (h) µ (x,θ, θ) = A µ (x)+θ(d µ C)+ θ(dµ C)+iθ θ[d µ B +D µ C C] A µ (x)+θ(s ab A µ )+ θ(s b A µ )+θ θ(s b s ab A µ ), F (h) (x,θ, θ) = C(x)+θ(i B)+ θ[ i 2 (C C)]+θ θ( B C) C(x)+θ(s ab C)+ θ(s b C)+θ θ(s b s ab C), F (h) (x,θ, θ) = C(x)+θ[ i 2 ( C C)]+ θ(ib)+θ θ(b C) C(x)+θ(s ab C)+ θ(sb C)+θ θ(sb s ab C), (16) 8

9 where the superscript(h) on the superfiels enotes the fact that these superfiels have been obtaine after the application of HC. A close look at the above expressions emonstrate that the coefficients of (θ, θ) are nothing but the anti-brst an BRST transformations (2), respectively, that have been liste for the Lagrangian ensities (1). Due to application of HC, ultimately, we obtain the following expression for the supercurvature tensor (as we have alreay set F µθ = F µ θ = F θ θ = F θθ = F θ θ = 0): F (h) µν (x,θ, θ) = µ B (h) ν ν B (h) µ +i(b(h) µ B(h) ν ). (17) Substitution of the expression for B (h) µ (x,θ, θ), from (16), yiels F (h) µν (x,θ, θ) = F µν (x)+θ(if µν C)+ θ(if µν C) + θ θ [ (F µν C) C F µν B] F (h) µν +θ (s abf µν )+ θ (s b F µν )+θ θ (s b s ab F µν ), (18) which leas to the erivation of the (anti-)brst symmetry transformations for the F µν (cf. (2)). It is now crystal clear that the requirements of gauge invariant restrictions in (14) an (13) are satisfie ue to HC an, in this process, we have obtaine the (anti-)brst symmetry transformations for all the fiels (as well as the CF-conition) for our theory. We have erive these (anti-)brst symmetry transformations by exploiting the potential of (anti-)chiral superfiels approach to BRST formalism in our Appenix A. 4 Dual Horizontality Conition: Nilpotent (Anti-)co- BRST Symmetry Transformations We exploit here the ual-hc (DHC) to erive the (anti-)co-brst symmetry transformations for the (anti-)ghost fiels an basic tenets of AVSA to obtain the precise form of the (anti-)co-brst symmetry transformations associate with the gauge fiel (A µ = A µ T) of our 2D non-abelian theory. In this context, first of all, we note that the gauge-fixing term ( µ A µ ) has its origin in the co-exterior erivative (δ = ) of the ifferential geometry in the following sense (see, e.g. [21-24] for etails) δa (1) = (x µ A µ ) = µ A µ, δ 2 = 0, (19) where δ = is the co-exterior erivative an is the Hoge uality operator on 2D Minkowskian flat spacetime manifol. It is clear that the Lorentz gauge-fixing term ( µ A µ ) is a 0-form which emerges out from the 1-form (A (1) = x µ A µ ) ue to application of the co-exterior erivative (δ = ) which reuces the egree of a form by one. We have seen that the gauge-fixing term ( µ A µ ) remains invariant uner the (anti-)co- BRST symmetry transformations (cf. Eq. (6)). We generalize this observation onto our chosen (2, 2)-imensional supermanifol as follows δã(1) = δa (1), δ =, δ2 = 0 2 = 0, (20) where δ is the super co-exterior erivative efine on the (2, 2)-imensional supermanifol an is the Hoge uality operator on the (2, 2)-imensional supermanifol (see, e.g. [29] 9

10 for etails). The l.h.s. of (20) has alreay been compute in our previous work [29]. We quote here the result of operation of δ on Ã(1) as 0-form, namely; µ B µ + θ F + θf +s θ θ( θ F)+s θθ ( θ F) = µ A µ, (21) where s θθ an s θ θ appear in the following Hoge uality operation: (x µ x ν θ θ) = ε µν s θ θ (x µ x ν θ θ) = ε µν s θθ. (22) These factors (i.e. s θθ, s θ θ) are essential to get back the 4-forms (x µ x ν θ θ) an (x µ x ν θ θ) if we apply another on (22). In other wors, we have super Hoge uality on the 0-form as follows: The equality in (21) ultimately, leas to (ε µν s θθ ) = ± (x µ x ν θ θ), (ε µν s θ θ) = ± (x µ x ν θ θ). (23) θ F = 0, θ F = 0, µ B µ + θ F + θf = µ A µ, (24) because of the fact that there are no terms carrying the factors s θθ an s θ θ on the r.h.s. At this stage, we substitute the expressions of B µ (x,θ, θ), F(x,θ, θ) an F(x,θ, θ) into Eq. (24) to erive the following important relationships: µ R µ = 0, Rµ µ = 0, µ S µ = 0, s = 0, B 1 = 0, B 2 = 0, s = 0, B 1 + B 2 = 0. (25) The last entry, in the above, is just like the CF-type restriction which is trivial. With the choices B 1 = B an B 2 = B, we obtain the following expansions F (h) (x,θ, θ) = C(x)+ θ ( ib) C(x)+ θ (s C), F (h) (x,θ, θ) = C(x)+θ ( ib) C(x)+ θ (s a C), (26) where the superscript (h) enotes the expansions of the superfiels after the application of DHC. It is self-evient that we have alreay obtaine the (anti-)co-brst symmetry transformation (4) for the (anti-)ghost fiels ( C)C of our theory as: s C = i B, s a C = 0, s C = 0, sa C = i B. (27) Thus, the DHC leas to the erivation of (anti-)co-brst symmetry transformations for the (anti-)ghost fiels an very useful restrictions on the seconary fiels in (25). We are now in the position to erive the (anti-)co-brst symmetry transformations s (a) for the gauge fiel A µ. We exploit here the iea of AVSA to BRST formalism which states that the (anti-)co-brst invariant quantities shoul be inepenent of the soul coorinates (θ, θ). During the early ays of the evelopments of superspace technique, the bosonic coorinates x µ of the superspace coorinates Z M = (x µ,θ, θ) were calle as the 10

11 boy coorinates an the Grassmannian variables (θ, θ) were christene as the soul coorinates. In this context, we observe that the following is true, namely; s (a) [ε µν A ν µ B i µ C µ C] = 0. (28) Thus, we have the following equality ue to AVSA to BRST formalism: ε µν B ν (x,θ, θ) µ B(x) i µ F(h) (x,θ, θ) µ F (h) (x,θ, θ) ε µν A ν (x) µ B(x) i µ C(x) µ C(x). (29) The substitution of the expansions from (26) yiels the following: ε µν Rν + µ C = 0, ε µν R ν + µ C = 0, ε µν S ν µ B = 0. (30) It is worthwhile to point out that we have not taken any super expansion of B(x) on the l.h.s. in (29) because of the fact that s (a) B(x) = 0. In other wors, we have taken B(x) B(x,θ, θ) = B(x). Ultimately, the relation in (30) prouces the following: R µ = ε µν ν C, Rµ = ε µν ν C, S µ = ε µν ν B. (31) The substitution of these expressions into the super expansions of B µ (x,θ, θ) leas to the following (in terms of the (anti-)co-brst symmetry transformations (6)): B (g) µ (x,θ, θ) = A µ (x)+θ (ε µν ν C)+ θ ( ε µν ν C)+θ θ +(εµν ν B) A µ (x)+θ (s a A µ )+ θ (s A µ )+θ θ (s s a A µ ). (32) Here the superscript (g) on B µ (x,θ, θ) enotes the expansion that has been obtaine after the application of (anti-)co-brst (i.e. ual gauge) invariant restriction (29). We en this section with the remark that we have obtaine all the (anti-)co-brst symmetry transformations for our 2D non-abelian 1-form gauge theory by exploiting the theoretical strength of DHC an basic tenets of AVSA to BRST formalism. 5 Nilpotency an Absolute Anticommutativity of the Fermionic Charges: Orinary 2D Spacetime We, first of all, capture the nilpotency an absolute anticommutativity of the (anti-)brst an (anti-)co-brst charges in the orinary space where the concepts/ieas behin the continuous symmetry an their generators (as well as the nilpotency of the (anti-)brst an (anti-)co-brst symmetry transformations) play very important roles. We woul like to lay stress on the fact that some of the key results of our present section have been obtaine ue to our knowlege of the AVSA to BRST formalism that is containe in Sec. 6. Towars this goal in min, we observe a few aspects of the conserve charges (liste in Eq. (4) an Eq. (8)) corresponing to the (anti-)brst an (anti-)co-brst symmetries 11

12 of the Lagrangian ensities (1). Using the (anti-)brst an (anti-)co-brst symmetry transformations of Eq. (2) an Eq. (6), we observe that the following are true, namely; ( Q b = s b x [B A 0 +i C ( C] ), Q ab = s ab x [i C Ċ B ) A 0 ], ( ) ( Q = s x [B A 1 +B A 0 ], Q a = s a x [B A 1 B ) A 0 ]. (33) It shoul be note that we have expresse the conserve charges in (4) an (8) in terms of the transformations in Eqs. (2) an (6). It is elementary now to check that the nilpotency of the charges is satisfie s b Q b = i{q b,q b } = 0, s ab Q ab = i {Q ab,q ab } = 0, s Q = i{q,q } = 0, s a Q a = i {Q a,q a } = 0, (34) ue to the nilpotency properties of (anti-)brst an (anti-)co-brst symmetry transformations (i.e. s 2 (a)b = 0,s2 (a) = 0). In the above, we have use the basic principles behin the continuous symmetries an symmetry generators (as the conserve charges of the theory). We also point out that we have taken into account one of the expressions for Q (a)b an Q (a) from Eq. (4) an Eq. (8) that have been explicitly erive in Sec. 2. To prove the absolute anticommutativity properties of the (anti-)brst an (anti-) co-brst conserve charges, we note the following useful relationships Q = s a [ x ( i C C + C 2 (A 0 C) )], Q a = s [ x ( i C Ċ C 2 (A 0 C) )], Q b = s ab [ x ( i C Ċ C 2 (A 0 C) )], Q ab = s b [ x ( i C C + C 2 (A 0 C) )], (35) which establish the absolute anticommutativity properties of the(anti-)co-brst an nilpotent (anti-)brst charges as follows s a Q = i {Q,Q a } = 0, s Q a = i {Q a,q } = 0, s ab Q b = i {Q b,q ab } = 0, s b Q ab = i {Q ab,q b } = 0, (36) ue to, once again, the nilpotency (s 2 (a)b = 0,s2 (a) = 0) properties of the (anti-)brst an (anti-)co-brst symmetry transformations. It is interesting to point out that the expressions in the square brackets for the pair (Q b,q a ) an the pair (Q,Q ab ) are exactly the same (as is evient from Eq. (35)). We woul like to make a few remarks at this stage. A close look at equations (35) an (36) establishes one of the key observations that the nilpotency of symmetries an absolute anticommutativity properties of the conserve (anti-)brst an (anti-)co-brst charges are inter-relate. Furthermore, we woul like to mention that, in the expressions for Q (a) in (35), we have roppe total space erivative 12

13 terms in our computations. It is very important to emphasize here that in the expressions for Q (a)b (cf. Eq. (4)), we have utilize the strength of CF-conition (B+ B+(C C) = 0) to recast these expressions in a suitable form before expressing them in the form (35). To elaborate on it, we take a simple example where the expression for the BRST charges Q b (cf. Eq. (4)), emerging from the Noether conserve current, is: Q b = x [ B D 0 C Ḃ C C 2 (C C) ]. (37) Using thecf-conitionb+ B+(C C) = 0(associatewiththe(anti-)BRSTsymmetries), we can recast the above expression in the following suitable form: Q b = [ x B C B D0 C (C C) D 0 C + [ x B C B D0 C + C 2 ] (C C)+(Ċ C) C, C 2 (C C) i(c C) (A 0 C) ]. (38) The above form of the BRST charge has been expresse in the anti-brst exact form as given in Eq. (35). A similar kin of argument has gone into the expression for the anti- BRST charge Q ab (cf. (35)) where we have been able to express it as the BRST exact form. No such kins of arguments have been invoke in the cases of the (anti-)co-brst charges (cf. (35)) which have been expresse as the co-brst exact an anti-co-brst exact forms. We have moifie the Lagrangian ensities (1) in our earlier works [14,16] by incorporating a couple of fermionic Lagrange multiplier fiels (λ, λ with λ 2 = λ 2 = 0, λ λ+ λλ = 0) in such a manner that the following moifie Lagrangian ensities [14,16] L ( λ) B L (λ) B = B E 1 2 B B+B ( µa µ )+ 1 2 (B B + B B) i µ C D µ C + λ (B C), = B E 1 2 B B B ( µ A µ )+ 1 2 (B B + B B) id µ C µ C +λ (B C), (39) respect the following perfect (anti-)co-brst symmetries transformations: s a A µ = ε µν ν C, s a C = 0, s a C = i B, sa B = 0, s a E = D µ µ C, s a ( µ A µ ) = 0, s a λ = i ( µ A µ ), s a λ = 0, s A µ = ε µν ν C, s C = 0, s C = i B, s B = 0, s E = D µ µ C, s ( µ A µ ) = 0, s λ = i ( µ A µ ), s λ = 0. (40) It can be checke that the above (anti-)co-brst symmetry transformations are off-shell nilpotent an absolutely anticommuting in nature (where we o not invoke any kins of CF-type restrictions for its valiity). We also note that the superscripts (λ) an ( λ) on the Lagrangian ensities are logically correct because the Lagrange multipliers λ an λ characterize these Lagrangian ensities. Furthermore, we observe that these Lagrange 13

14 multiplier fiels carry the ghost numbers equal to (+1) an (-1), respectively. Finally, it can be explicitly checke that the following are true, namely; s L ( λ) B = µ[b µ C], sa L (λ) B = µ[b µ C], s L (λ) B = µ[b D µ C ε µν ( ν C C) C], s a L ( λ) B = µ[b D µ C +ε µν C ( ν C C)], (41) which emonstrate that the action integrals S = 2 x L ( λ) B an S = 2 x L (λ) B remain invariant uner the (anti-)co-brst symmetry transformations. We woul like to lay emphasisonthefactthatboththelagrangianensitiesl ( λ) B anl(λ) respectboth theco-brst B an anti-co-brst symmetries (cf. Eq. (40)), separately an inepenently. A close look at the transformations (41) an (8) (cf. Sec. 2) emonstrates that the expressions for the charge Q ( λ) = Q an Q (λ) a = Q a (cf. Eq. (8)) remain the same as far as the Lagrangian ensities in (1) an L ( λ) B as well as L(λ) are concerne. However, B we note that the anti-co-brst charge Q ( λ) a (erive from the Lagrangian ensity L( λ) B ) an co-brst charge Q (λ) (erive from the Lagrangian ensity L (λ) ) woul be ifferent from B (8). These conserve charges an their expressions have been erive in our earlier work (see, e.g. [16] for etails). We quote here these expressions explicitly: [ Q ( λ) a = x B Ċ 1 B C + C ] ( 1 C C) [ ] x B Ċ D 0 B C +( 1 C C) C + C ( 1 C C) [ x B Ċ D 0 B C C ] ( 1 C C), ] Q (λ) = x [B C + 1 B C ( 1 C C) C [ x B C D0 B C ( C 1 C) C ] ( 1 C C) C [ x B C D0 B C +( C 1 C) C ]. (42) In the above equivalent expressions, we have utilize the equations of motion (erive from the Lagrangian ensities in Eq. (39)) an we have also roppe the total space erivative terms. To prove the nilpotency [(Q ( λ) a )2 = 0,(Q (λ) )2 = 0] of the above charges, we note that they can be expresse in terms of the (anti-)co-brst transformations as: ( Q ( λ) a = s a x [ i C D 0 C +i C ] ) C, Q (λ) = s ( x [ i C Ċ i D 0 C C ] ). (43) The above expressions for the (anti-)co-brst charges prouce the last entry in the expres- 14

15 sions for the charges Q ( λ) a an Q(λ) in Eq. (42). It can be now trivially checke that: s a Q ( λ) a = i {Q( λ) a,q( λ) (a) } = 0 s2 a = 0, s Q (λ) = i {Q (λ),q(λ) } = 0 s2 Thus, we observe that the nilpotency of the charges Q ( λ) a with the nilpotency of the (anti-)-co-brst symmetries (i.e. s 2 (a) an Q(λ) = 0. (44) is eeply connecte = 0) when we exploit the beauty an strength of the connection between the continuous symmetries an their corresponing generators. We woul like to state that the nilpotency of the charges Q ( λ) = Q (cf. Eqs. (8) an (9)) an Q (λ) a = Q a have alreay been proven in Eq. (9). This happens because of the fact that the expressions for Q (λ) a an Q( λ) are same as given in Eq. (8) for the Lagrangian ensities (1). Thus, we have proven the nilpotency of all the charges erive from the moifie Lagrangian ensities (39) where λ an λ are present. We now focus on the proof of the property of absolute anticommutativity of the charges Q ( λ) a an Q(λ) which are non-trivial (cf. Eq. (42)). In this connection, we woul like to = Q an Q (λ) a = Q a point out that the absolute anticommutativity of the charges Q ( λ) has alreay been proven in our present section itself. We note that the following are true: Q (λ) = s a [ x ( i C C + C 2 (A 0 C) )], Q ( λ) a = s [ x ( i C Ċ C 2 (A 0 C) )]. (45) The above expressions emonstrate that the absolute anticommutativity property of the (anti-)co-brst charges (i.e. {Q (λ),q( λ) a } = 0) is true an this property is primarily connectewiththeoff-shellnilpotency(s 2 (a) = 0)ofthe(anti-)co-BRSTsymmetry transformations (s (a) ) that are present in our 2D non-abelian theory (cf. Eq. (40)). To corroborate the above statements, it is straightforwar to note that: s a Q (λ) = i {Q (λ),q( λ) a } = 0 s2 a = 0, s Q ( λ) a = i {Q( λ) a,q(λ) } = 0 s2 = 0. (46) From the above relationships, it is crystal clear that the absolute anticommutativity (i.e. {Q (λ),q( λ) a } = 0) for the (anti-)co-brst charges is eeply connecte with the nilpotency (s 2 (a) = 0) property of the (anti-)co-brst symmetry transformations (s (a)) for the Lagrangian ensities (39). We wrap up this section with the remark that we have proven the nilpotency an absolute anticommutativity properties of the (anti-)co-brst charges for the Lagrangian ensities (1) as well as (39) where we o not invoke any kins of CFtype restrictions. This observation is novel an rastically ifferent from the proof of the absolute anticommutativity property of the conserve an nilpotent (anti-)brst charges where it is manatory for us to invoke the CF-conition., 15

16 6 Nilpotency an Absolute Anticommutativity of the Fermionic Charges: Superfiel Approach We express here the properties of nilpotency an 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 (a)b have been shown to be connecte with the translational generators ( θ, θ) along (θ, θ)-irections of the (2, 2)-imensional supermanifol through the following mappings: s b, θ θ=0 s ab. (47) θ θ=0 Wecanvery well choose thegrassmannianvariablestobe(θ 1,θ 2 ) anientify thenilpotent symmetries: s b θ1 θ2 =0 an s ab θ2 θ1 =0 because there are other nilpotent (s 2 (a) = 0) symmetries s (a) in our theory, too. The latter nilpotent symmetries coul be ientifie with translational generators as: s θ3 θ4 =0 an s a θ4 θ3 =0 where we shall have another set of a pair of Grassmannian variables (θ 3,θ 4 ). However, for the sake of brevity, we have chosen only (θ, θ) as the Grassmannian variables so that we coul iscuss the (anti-)brst an (anti-)co-brst symmetries, separately an inepenently. The above mappings imply that the nilpotency of the (anti-)brst symmetries (i.e. s 2 (a)b = 0) is intimately connecte with the nilpotency ( θ 2 = 2 θ = 0) of the translational generators ( θ, θ). This observation is utilize in expressing the expressions for the conserve an nilpotent (anti-)brst charges in (33) as follows: Q ab = x θ θ x Q b = x θ θ x [ i F (h) (x,θ, θ) F (h) (x,θ, θ) [ i F (h) (x,θ, θ) F (h) (x,θ, [ B(x) B (h) ] (h) B(x) B 0 (x,θ, θ) θ=0 ] (h) θ) B(x) B 0 (x,θ, θ), θ=0 ] θ=0 0 (x,θ, θ)+i F(h) (x,θ, θ) F (h) (x,θ, θ) [ B(x) B (h) 0 (x,θ, θ)+i F(h) (x,θ, θ) F (h) (x,θ, θ) ] θ=0. (48) The above expressions establish the nilpotency of the (anti-)brst charges Q (a)b because: θ Q ab = 0 2 θ = 0 s ab Q ab = i {Q ab,q ab } = 0, θq b = 0 2 θ = 0 s b Q b = i {Q b,q b } = 0. (49) It shoul be note that we o not invoke any kins 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 (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 quote in (35). It can be checke that we have the following expressions for these charges in the language of 16

17 the AVSA to BRST formalism, namely; Q ab = [ { x i θ F (h) (x,θ, θ) F(h) (x,θ, θ) F (h) (h) (x,θ, θ) (B 0 (x,θ, θ) F (h) (x,θ, θ)) [ { = θ x i F (h) (x,θ, θ) F(h) (x,θ, θ) F (h) (h) (x,θ, θ) (B 0 (x,θ, θ) F (h) (x,θ, θ)) Q b = [ { x i F (h) (x,θ, θ θ) F (h) (x,θ, θ) }] θ=0 }] θ=0 }] θ=0 1 2 F(h) (h) (x,θ, θ) (B 0 (x,θ, θ) F (h) (x,θ, θ)) [ { = θ x i F (h) (x,θ, θ) F (h) (x,θ, θ) 1 2 F(h) (h) (x,θ, θ) (B 0 (x,θ, θ) F (h) (x,θ, θ)) }]. (50) θ=0 It is straightforwar to note that the nilpotency properties of the translational generators ( θ, θ) along the Grassmannian irections imply that:, θq ab = 0 2 θ = 0, θ Q b = 0 2 θ = 0. (51) The above observations lea us to raw the conclusion that the absolute anticommutativity (Q b Q ab +Q ab Q b = 0) of the (anti-)brst charges (cf. Eq. (36)) in the orinary space can be capture in the language of the superfiel approach to BRST formalism. We briefly comment here on the expressions for the (anti-)co-brst charges Q (a) that have been expresse in two ifferent ways in Eq. (33) an Eq. (35). We have establishe earlier that the following mappings are true in the cases of s an s a : s lim θ = 0 θ, s a lim θ = 0 θ. (52) We can very well repeat here the previous footnote written in our manuscript. However, this woul be only an acaemic exercise. The main issue is the fact that we iscuss the (anti-)brst an (anti-)co-brst symmetries, within the framework of AVSA to BRST formalism, separately an inepenently. Thus, when we focus on (θ 1,θ 2 ), we o not bother about (θ 3,θ 4 ) an vice-versa. This is precisely the reason that we have taken, for the sake of brevity, only the (2, 2)-imensional supermanifol for our iscussion 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 expresse in terms of the quantities on the (2, 2)- imensional supermanifol as follows: Q = θ [ { x B(x) B (g) 1 (x,θ, θ x (g) θ)+b(x) B 0 (x,θ, θ) }] θ= 0 [ B(x) B (g) (g) 1 (x,θ, θ)+b(x) B 0 (x,θ, θ) 17 ] θ= 0, (53)

18 where the superscript (g) enotes the superfiels (cf. Eq. (32)) that have been obtaine after the application of (anti-)co-brst invariant restriction in Eq. (29). Similarly, we note that the following is correct, namely; Q a = θ [ { x B(x) B (g) 1 (x,θ, θ x (g) θ) B(x) B 0 (x,θ, θ) }] θ= 0 [ B(x) B (g) (g) 1 (x,θ, θ) B(x) B 0 (x,θ, θ) It is crystal clear, from Eqs. (53) an (54), that the following are true: θ Q = 0 2 θ = 0, θ Q a = 0 2 θ ] θ= 0. (54) = 0. (55) The above relationships, in the orinary 2D space, correspon to the following explicit expressions in the language of anticommutators: s Q = i {Q,Q } = 0 Q 2 = 0 s 2 = 0, s a Q a = i {Q a,q a } = 0 Q 2 a = 0 s2 a = 0. (56) Thus, we have capture the nilpotency property of the (anti-)co-brst charges in the language of the quantities that are efine on the (2, 2)-imensional supermanifol. In fact, the nilpotency (Q 2 (a) = 0) of the (anti-)co-brst charges is eeply connecte with the nilpotency ( θ 2 = 0, 2 θ = 0) of the translational generators ( θ, θ) along the Grassmannian irections (θ, θ) of the (2, 2)-imensional supermanifol. Now we well a bit on the absolute anticommutativity property of the (anti-)co-brst charges Q (a) that have been expresse in Eq. (35). Taking the inputs from Eqs. (52), (32) an (26), we have the following Q a = [ x ( i F (h) (x,θ, θ) F (h) (x,θ, θ θ) ) 1 2 F(h) (x,θ, θ) (B (g) 0 (x,θ, θ) F (h) (x,θ, θ) )] θ=0 [ θ x ( i F (h) (x,θ, θ) F (h) (x,θ, θ) ) 1 2 F(h) (x,θ, θ) (B (g) 0 (x,θ, θ) F (h) (x,θ, θ) )] θ=0 Q = [ x ( i θ F (h) (x,θ, θ) F(h) (x,θ, θ) ) F (h) (x,θ, θ) (B (g) 0 (x,θ, θ) F (h) (x,θ, θ) )] θ=0 [ θ x x ( i F (h) (x,θ, θ) F(h) (x,θ, θ) ) F (h) (x,θ, θ) (B (g) 0 (x,θ, θ) F (h) (x,θ, θ) )] θ=0. (57) Thus, the expressions for the (anti-)co-brst charges (cf. Eq. (57)) imply θ Q = 0 2 θ = 0 s a Q = i {Q,Q a } = 0, θ Q a = 0 2 θ = 0 s Q a = i {Q a,q } = 0. (58) 18

19 The above expressions capture the absolute anticommutativity property of the (anti-)co- BRST charge (i.e. {Q,Q a } = 0) in the language of AVSA to BRST formalism. We observe, onceagain,itisthenilpotency( θ 2 = 2 θ = 0)ofthetranslationalgenerators( θ, θ) that plays a ecisive 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 woul like to comment briefly on the nilpotency an absolute anticommutativity properties of the (anti-)co-brst charges (Q (λ),q( λ) a ) that have been erive from the Lagrangian ensities (39) an liste in (42) in ifferent forms. We woul like to lay emphasis on the fact that the Lagrangian ensities (39) are very special in the sense that these Lagrangian ensities respect proper (anti-)co-brst symmetry transformations (liste in Eq. (40)) separately an inepenently (cf. Eq. (41)) where we o not invoke any kins of CF-type restrictions from outsie. Thus, as far as symmetry consierations are concerne, these Lagrangian ensities 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 checke that the expressions in (43) are: Q ( λ) a = [ x i θ F (h) (x,θ, θ) F (h) (x,θ, θ) + F (h) (g) (x,θ, θ) (B 0 (x,θ, θ) F (h) (x,θ, θ)) ] θ = 0 + i F (h) (x,θ, θ) F (h) (x,θ, θ) [ θ x i F (h) (x,θ, θ) F (h) (x,θ, θ) Q (λ) + F (h) (g) (x,θ, θ) (B 0 (x,θ, θ) F (h) (x,θ, θ)) ] θ = 0 + i F (h) (x,θ, θ) F (h) (x,θ, θ), = [ x i θ F (h) (x,θ, θ) F (h) (x,θ, θ), F(h) (x,θ, θ) F (h) (x,θ, θ) + (B (g) 0 (x,θ, θ) F (h) (x,θ, θ)) F (h) (x,θ, θ) ] θ = 0 [ θ x i F (h) (x,θ, θ) F (h) (x,θ, θ) F(h) (x,θ, θ) F (h) (x,θ, θ) + (B (g) 0 (x,θ, θ) F (h) (x,θ, θ)) F (h) (x,θ, θ) ] θ, (59) = 0 where the superfiels with superscripts (h) an (g) have been explaine in Sec. 4. It is 19

20 clear, from the above expressions, that we have the following: θ Q ( λ) a = 0 θ 2 = 0 s a Q ( λ) a θ Q (λ) s Q ( λ) = i{q ( λ) a,q( λ) a } = 0, = 0 2 θ = 0 = i{q (λ),q(λ) } = 0. (60) The above relations prove the nilpotency of Q (λ) an Q ( λ) a which is also connecte with the nilpotency of the translational generators ( θ, θ) along the Grassmannian irections (θ, θ) of the (2, 2)-imensional supermanifol on which our 2D orinary theory is consiere. To be more precise, the nilpotency of the above (anti-)co-brst charges (which have been erive from the Lagrangian ensities (39)) becomes very transparent when concentrating on the thir an sixth lines in (60). In particular, the anticommutator of the conserve charges with themselves being zero immeiately implies the nilpotency property (of these conserve charges). Let us now concentrate on the forms of the(anti-)co-brst charges that have been written in Eq. (45). As is evient from Eq. (46), the absolute anticommutativity property of the (anti-)co-brst charges is primarily hien in Eq. (45) an is eeply connecte with the nilpotency property of the (anti-)co-brst symmetry transformations (s (a) ). Thus, we express the forms of the (anti-)co-brst charges (45) in the language of AVSA to BRST formalism as follows Q ( λ) a = [ x i F (h) (x,θ, θ θ) F (h) (x,θ, θ) 1 2 F(h) (g) (x,θ, θ) (B 0 (x,θ, θ) F (h) (x,θ, θ)) ] θ = 0 [ θ x i F (h) (x,θ, θ) F (h) (x,θ, θ) Q (λ) 1 2 F(h) (g) (x,θ, θ) (B 0 (x,θ, θ) F (h) (x,θ, θ)) ] θ, = 0 = [ x i θ F (h) (x,θ, θ) F(h) (x,θ, θ) F (h) (g) (x,θ, θ) (B 0 (x,θ, θ) F (h) (x,θ, θ)) [ θ x i F (h) (x,θ, θ) F(h) (x,θ, θ) ] θ = F (h) (x,θ, (g) θ) (B 0 (x,θ, θ) F (h) (x,θ, θ)) ], (61) θ = 0 where the superfiels with superscripts (h) an (g) have alreay been explaine in Sec. 4. It is straightforwar to note, from the above equation, that: θ Q (λ) = 0 2 θ = 0 s a Q (λ) = i {Q (λ),q( λ) a } = 0, θ Q ( λ) a = 0 2 θ = 0 s Q ( λ) a = i {Q( λ) 20 a,q(λ) } = 0. (62)

21 We en this section with the remark that the absolute anticommutativity property of the (anti-)co-brst charges is eeply connecte with the nilpotency property ( 2 θ = 2 θ = 0) of the translational generators ( θ, θ) along the Grassmannian irections (θ, θ) of the (2, 2)-imensional supermanifol on which our 2D orinary non-abelian theory is generalize. 7 Conclusions We have exploite the theoretical strength of the AVSA to BRST formalism to express the properties of the nilpotency an absolute anticommutativity of the fermionic conserve charges (i.e. (anti-)brst an (anti-)co-brst charges) of our self-interacting 2D non- Abelian theory (without any interaction with matter fiels). We have not achieve this goal in our earlier works [9-12] on the AVSA to BRST formalism. Thus, the results in our present investigation are achieve for the first time. It is straightforwar to express the nilpotency property of the fermionic (i.e. conserve (anti-)brst an (anti-)co-brst) charges in the language of the AVSA to BRST formalism. However, the property of absolute anticommutativity is capture, within the framework of AVSA to BRST formalism, by applying specific mathematical trick where the CF-conition plays a ecisive role. We woul like to lay emphasis on the contents of Sec. 5 where we have been able to exploit the virtues of symmetry principles to express the (anti-)brst an (anti-)co-brst charges in various exact-forms. These theoretical expressions have been exploite, in turn, to capture the nilpotency an absolute anticommutativity properties in the language of AVSA to BRST formalism in Sec. 6. We observe that the CF-conition (B+ B+(C C) = 0) enables us in expressing the BRST charge as an anti-brst exact form an anti-brst charge as a BRST exact form. We woul like to lay emphasis on the fact that the contents of Secs. 5 an 6 are intertwine in an elegant manner. Though it appears, from our statements in this paragraph, that the contents of Sec. 5 have influence our results in Sec. 6. However, we woul like to stress that, many a times, our unerstanings of the contents of Sec. 6 have influence our results in Sec. 5. Thus, to be precise, the key results of our present eneavor are influence by our knowlege of both the above sections which are inter-relate. 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 an absolute anticommutativity of the (anti-)brst an (anti-)co- BRST charges in the language of symmetry properties (cf. Sec. 5). In particular, we have shown that it is the nilpotency of the (anti-)brst an (anti-)co-brst symmetry transformations that has playe a ecisive role in the proof of the above properties in the orinary 2D space of our non-abelian 1-form gauge theory. In fact, the results of Sec. 5 have been translate into the language of AVSA to BRST formalism in Sec. 6. The proof of the nilpotency an absolute anticommutativity properties in the language of AVSA to BRST formalism for the fermionic (anti-)brst an (anti-)co-brst charges is a novel result because, in our earlier works on AVSA to BRST formalism [9-12], we have not achieve this goal. In our very recent works [30-32], we have capture the property of the absolute anticommutativity of nilpotent charges within the framework of (anti-)chiral superfiel approach to BRST formalism. However, we have not one so within the framework of AVSA to BRST formalism where the full expansions of the superfiels are taken 21