Self-Dual Chiral Boson: Augmented Superfield Approach

We exploit the standard tools and techniques of the augmented version of Bonora-Tonin (BT) superfield formalism to derive the off-shell nilpotent and absolutely anticommuting (anti-)BRST and (anti-)co-BRST symmetry transformations for the Becchi-Rouet-Stora-Tyutin (BRST) invariant Lagrangian density of a self-dual bosonic system. In the derivation of the full set of the above transformations, we invoke the (dual-)horizontality conditions, (anti-)BRST and (anti-)co-BRST invariant restrictions on the superfields that are defined on the (2, 2)-dimensional supermanifold. The latter is parameterized by the bosonic variable x^\mu\,(\mu = 0,\, 1) and a pair of Grassmanian variables \theta and \bar\theta (with \theta^2 = \bar\theta^2 = 0 and \theta\bar\theta + \bar\theta\theta = 0). The dynamics of this system is such that, instead of the full (2, 2) dimensional superspace coordinates (x^\mu, \theta, \bar\theta), we require only the specific (1, 2)-dimensional super-subspace variables (t, \theta, \bar\theta) for its description. This is a novel observation in the context of superfield approach to BRST formalism. The application of the dual-horizontality condition, in the derivation of a set of proper (anti-)co-BRST symmetries, is also one of the new ingredients of our present endeavor where we have exploited the augmented version of superfield formalism which is geometrically very intuitive.


Introduction
The model of a self-dual chiral boson is a widely studied subject (see, e.g. [1][2][3][4][5][6][7][8]) because it finds its use in the description of models of superstrings, quantum Hall effect, W-gravities and some of the two dimensional statistical systems. In a recent paper [9], this model has also been shown to be a field theoretical example for the Hodge theory because this two (1 + 1)-dimensional (2D) system provides physical realizations of the de Rham cohomological operators of differential geometry in the language of its symmetry properties (and corresponding conserved charges). The purpose of our present investigation is to apply the augmented version of BT-superfield formalism [10][11][12][13][14][15] to derive its proper nilpotent (anti-)BRST and (anti-)co-BRST symmetry transformations (which together lead to the derivation of a unique bosonic symmetry transformation [9]). These symmetries collectively lead to the physically conceivable realizations of the cohomological operators.
The above superfield approach to BRST formalism is one of the geometrically intuitive methods to shed light on the abstract mathematical properties associated with the proper (anti-)BRST symmetries in the language of geometrical objects on the supermanifold. Usually, within the framework of this superfield approach, a given D-dimensional ordinary gauge theory is generalized onto a (D, 2)-dimensional supermanifold where the superfields are defined corresponding to the ordinary dynamical fields of a given ordinary gauge theory. It is the (D, 2)-dimensional superspace coordinates * Z M = (x µ , θ,θ) that characterize the (D, 2)-dimensional supermanifold. The gauge-invariant restrictions on the superfields lead to the derivation of (anti-)BRST symmetry transformations. On the other hand, the translational generators (∂ θ , ∂θ), along the Grassmanian directions (θ,θ), provide the geometrical basis for the (anti-)BRST symmetries and corresponding charges.
One of the decisive features of our present investigation is the key observation that, it is the super-subspace coordinates that are good enough to define the super exterior derivative and the supergauge connection in the description of the 2D self-dual chiral bosonic system within the framework of superfield formalism. In other words, even though we require (2, 2)dimensional supermanifold to define the superfields (corresponding to the 2D ordinary fields of the self-dual chiral boson), the (dual-)horizontality conditions require (1, 2)-dimensional super-subspace variables for their description (see, e.g. Sec. 3 and Sec. 6). This peculiarity arises because of the fact that only one component of the "gauge" field (i.e. λ = λ 0 + λ 1 ) is the dynamical as well as propagating field and its orthogonal counterpart (λ 0 − λ 1 ) remains inert. This is a novel observation in the superfield approach to a given gauge theory (when the latter is discussed within the framework of BRST formalism). Stated explicitly, we note that our superfields, corresponding to the 2D ordinary fields of the chiral boson model, would be the function of (2, 2)-dimensional superspace variables Z M = (x µ , θ,θ). However, the super exterior derivatived and the super 1-form connectionÃ (1) (that play important roles in restrictions on the appropriate superfields) would be defined in terms of the (1, 2)-dimensional super-subspace variables (t, θ,θ) (cf. (19)

below).
It is the above cited novel feature that has propelled us to pursue our present investigation within the framework of our augmented version of BT-superfield formalism so that we could derive the (anti-)BRST and (anti-)co-BRST symmetry transformations of this theory as well as provide the geometrical interpretations for them. One of the key signatures of a gauge theory is the existence of (anti-)BRST invariant Curci-Ferrari (CF) type restrictions [16] when this gauge theory is discussed within the framework of the superfield approach to BRST formalism. For our 2D self-dual chiral bosonic system, we find that the CF-type conditions are trivial and they are found to be (anti-)BRST as well as (anti-)co-BRST invariant, respectively (in the context of (anti-)BRST and (anti-)co-BRST symmetries). Ultimately, in our present endeavor, we obtain the proper (i.e. nilpotent and absolutely anticommuting) (anti-)BRST and (anti-)co-BRST symmetries for the 2D system under consideration and provide the geometrical basis for the symmetries and conserved charges. It is gratifying to state that we have checked that our proposal for the Hodge duality operation on the (1, 2)-dimensional super-subspace differentials (and their wedge products) turns out to be correct and it leads to the derivation of proper (anti-)co-BRST symmetries and (anti-)co-BRST invariant CF-type condition. The latter is a decisive feature of the BRST approach to a gauge theory.
As a background to our further discussions, we state a few facts about the 2D self-dual chiral bosonic model. To start with, the covariant version of the self-dual chiral bosonic system is non-gauge invariant but, after the inclusion of the Wess-Zumino term, it becomes a gauge invariant theory (see, e.g. Sec. 2). In other words, the inclusion of the Wess-Zumino term converts the second-class constraints of the original theory into their counterpart firstclass constraints (thereby rendering the theory to be gauge-invariant). To corroborate the above statements, let us begin with the Lorentz covariant version of Lagrangian density (see e.g. [17]) of the self-dual chiral boson in two (1 + 1)-dimensions of spacetime † where the scalar field φ obeys the self duality condition (i.e.φ = φ ′ ) due to the following Euler Lagrange (EL) equation of motion The other covariant form of the EL equation of motion: implies the masslessness condition φ = 0 and self-duality conditionλ = λ ′ where λ = λ 0 + λ 1 . Thus, it is clear that there are two self-dual fields (i.e.φ = φ ′ ,λ = λ ′ ) in our theory at the classical level. The non-Lorentz covariant form of a single chiral boson was written in [5] which was made Lorentz covariant form in a couple of very interesting papers [18,19]. It can be checked that, in the component form (with η µν =diag (+1, −1) = η µν ), we can have the following expression for this starting Lagrangian density (1), namely; † We adopt here the convention and notations such that the 2D flat Minkowski spacetime is endowed with a flat metric with signatures (+1, -1) and the 2D Levi-Civita tensor is chosen to satisfy: ε µν ε µν = −2 !, ε µν ε µλ = − δ λ µ with ε 01 = +1 = −ε 01 . The overdot and prime on the fields, throughout the whole body of our text, always correspond to the partial derivatives w.r.t. time and space variables, respectively. which is normally used for the description of the self-dual chiral boson ‡ . We re-emphasize that it is the combination λ = λ 0 + λ 1 that participates in the description of the self-dual chiral boson but its orthogonal counterpart (λ 0 − λ 1 ) does not appear in the Lagrangian density. In our further discussions, we shall focus only on (λ = λ 0 + λ 1 ) as the propagating "gauge" field (see, e.g. [17] for details) and shall completely ignore the non-propagating (λ 0 − λ 1 ) component (see, Sec. 3 below) of the gauge-field.
Our present investigation is essential on the following counts. First, the self-dual chiral boson is an interesting model which is required in many physical systems of importance. Thus, anything novel about this model is interesting in itself. We observe some novelties in the application of the augmented version of superfield approach to BRST formalism for this system. As it turns out, we need only (1, 2)-dimensional super-subspace variables for its characterization. Second, it was challenging for us to apply the theoretical arsenal of augmented version of superfield formalism to this system where only one component (λ = λ 0 + λ 1 ) of the gauge field couples with the matter field and its orthogonal component remains in the background. In our earlier applications of superfield formalism (see, e.g. [12][13][14][15]) to (non-)Abelian gauge theories, we have never come across the peculiarity of the 2D chiral bosonic system under consideration. Finally, it was very important for us to apply and check the sanctity of Hodge duality operation on the (2, 2)-dimensional supermanifold in the determination of (anti-)co-BRST symmetries that are present in the theory. As it turns out for our present theory, we need only (1, 2)-dimensional super-subspace variables (t, θ,θ) for its description (and the Hodge duality is applied on these coordinates only). We have accomplished all the above goals in our present endeavor.
The contents of our present endeavor are organized as follows. In Sec. 2, we discuss the bare essentials of the (anti-)BRST symmetry transformations (and corresponding conserved charges) for the self-dual chiral boson in the Lagrangian formulation. Our Sec. 3 is devoted to the derivation of the above (anti-)BRST transformations using the augmented version of BT-superfield formalism. In Sec. 4, we deal with the proof of the (anti-)BRST invariance of the super Lagrangian density and capture the nilpotency and absolute anticommutativity properties of the (anti-)BRST charges within the framework of our superfield approach. Our Sec. 5 contains a brief synopsis of the (anti-)co-BRST symmetries (and corresponding charges) of our present theory. We derive these symmetries in our Sec. 6 using superfield formalism. Our Sec. 7 deals with the (anti-)co-BRST invariance of the Lagrangian density and nilpotency of the (anti-)co-BRST charges within the framework of our superfield approach. Finally, we make some concluding remarks and point out a few future directions for further investigations in Sec. 8.
In our Appendix A, we discuss the key differences between the nilpotent (anti-)BRST and (anti-)co-BRST symmetries and our Appendices B and C are devoted to the explicit computations of (i) the dual-horizontality condition, and (ii) the auxiliary variable B. ‡ At this stage, this theory is non-gauge invariant. However, after the inclusion of the Wess-Zumino term, it becomes gauge invariant (see, e.g. Sec. 2 below).

Preliminary: Nilpotent (Anti-)BRST Symmetries in Lagrangian Formulation
Let us begin with the (2D) second-order Lagrangian density (L b ) for the description of a single self-dual chiral boson within the framework of BRST formalism. This effective Lagrangian density of the 2D chiral boson (with the inclusion of the Wess-Zumino term) is as follows (see, e.g. [20], [9] for details) whereφ = ∂φ/∂t,v = ∂v/∂t,Ċ = ∂C/∂t,λ = ∂λ/∂t, etc, are the generalized "velocities" with respect to the evolution parameter t, B is the Nakanashi-Lautrup auxiliary field, the fermionic (C 2 =C 2 = 0, CC +C C = 0) (anti-)ghost fields (C)C are required for the validity of unitarity in our theory and the notations φ ′ = (∂φ/∂x), v ′ = (∂v/∂x) stand for the single space derivative on the 2D chiral boson field φ and Wess-Zumino (WZ) field v, respectively. We further note that: is the gauge-fixing term for the gauge field λ(x) where B = − (λ −v −φ). The above Lagrangian density is the (anti-)BRST invariant generalization of (4) and it respects the following off-shell nilpotent and infinitesimal (anti-)BRST symmetry transformations (s (a)b ): In fact, it can be explicitly checked that the (anti-)BRST invariant Lagrangian density (5) transforms, under s (a)b , to the total time derivatives as Thus, the action integral S = dx dt L b remains invariant under the above (anti-)BRST transformations. Further, it is straightforward to note that the above (anti-)BRST symmetry transformations (6) are off-shell nilpotent (s 2 b = s 2 ab = 0) and absolutely anticommutating in nature (s b s ab + s ab s b = 0) without any use of the Euler-Lagrange (EL) equations of motion:Ḃ which emerge from the Lagrangian density (5). The off-shoot of the above equations is the observation thatB + 2B = 0 because (−2B) =φ −v +v ′ −φ ′ which is equal toB (as is evident from the first entry of the above equations: We shall see, later on, that this relation is something like the Curci-Ferrari type restriction [16] because it plays an important role in proving the anticommutativity property. By exploiting the standard tricks and techniques of Noether's theorem, it can be checked that the conserved (Q (a)b = 0), nilpotent (Q 2 (a)b = 0) and absolutely anticommutating (Q b Q ab + Q ab Q b = 0) (anti-)BRST charges § : are the generators of the (anti-)BRST symmetry transformations (6). Using this property, it is straightforward to prove the following relationships: which demonstrate the nilpotency and absolute anticommutativity property of the conserved (anti-)BRST charges Q (a)b . In the proof of the conservation of the charges Q (a)b , one has to exploit the off-shoot of the equation of motion (8) which shows thatB + 2B = 0. In the forthcoming two subsequent sections, we shall capture these properties within the framework of our augmented version of BT-superfield approach. We wrap up this section with the remark that there exists the global infinitesimal ghostscale symmetry transformations ¶ : s g C = C, s gC = −C, s g Ψ = 0, (Ψ = φ, v, λ) in the theory which are generated by the Noether conserved ghost charge Q g = −i dx (CĊ + CĊ) . It is elementary to check that the ghost charge Q g satisfies the following algebra with the nilpotent and conserved (anti-)BRST charges: The above algebra, together with the algebra quoted in (10), obeys the standard BRST algebra amongst the nilpotent (anti-)BRST charges Q (a)b and the ghost charge Q g , namely; § Our expressions for the off-shell nilpotent (anti-)BRST charges match with [20] but we differ slightly from the corresponding expressions quoted in [9] at the conceptual level.
¶ To be precise, the fields of our present theory transform as: Ψ → e 0 Ω Ψ, C → e 1Ω C,C → e −1ΩC where Ω is a global scale infinitesimal transformation parameter and the generic field Ψ = φ, v, λ. The numerals in the exponents denote the ghost number of the fields. We set Ω = 1 to obtain the simpler form of the infinitesimal version of these transformations as: s g C = C, s gC = −C, s g Ψ = 0 and the algebra which establishes that the ghost number of the BRST charge is (+1) and that of the anti-BRST charge is (−1) and the (anti-)BRST charges are nilpotent of order two. We further note that one can derive the on-shell nilpotent (anti-)BRST symmetry transformations from (6) by replacing B = − (λ − v − φ). These symmetry transformations are: For the sake of brevity, we have adopted the same notations for the off-shell as well as on-shell (anti-)BRST symmetry transformations. We further observe that: The r.h.s of the above transformations are zero on the on-shell where the equations of motion:C + 2C = 0,C + 2 C = 0 are valid. Similarly, we point out that the absolute anticommutativity property of (13) is satisfied if and only if the equations (8) are taken into account. The above on-shell nilpotent symmetry transformations are true symmetry transformations for the following Lagrangian density (without presence of the Nakanishi-Lautrup field B): because we have the following transformations: The above observations demonstrate that the action integral S = d 2 x L (0) b remains invariant under the on-shell nilpotent symmetry transformations (13). The expressions for the on-shell nilpotent conserved charges Q (a)b can be derived from (9) by the replacements: The stage is now set to discuss about the original theory (1) at the quantum level. In this connection, we note that our original theory (1) has been modified due to presence of the WZ field v. Within the framework of BRST formalism, the physical state |phys > of the theory is defined as Q (a)b |phys > = 0 at the quantum level. Using expressions for Q (a)b from (9), it is clear that B |phys > = 0,Ḃ |phys > = 0 due to the fact that the (anti-)ghost fields are decoupled from the rest of the theory and they themselves do not produce any physically meaningful constraints on the theory. From the EL equations of motion (8), it is clear that the above , it is evident that, ultimately, we have the conditions on the physical state as: (φ −φ ′ ) |phys > = 0 and d dt (φ −φ ′ ) |phys > = 0 which imply the self-duality condition and its time-evolution invariance . Thus, at the quantum level, in The WZ field v is introduced by hand (i.e. φ −→ φ − v, λ −→ λ +v) to convert the Lagrangian density (4) into (5) (modulo the gauge-fixing and FP ghost terms). The redefinition of φ gets rid of WZ field v from our theory at the quantum level. reality, there exists only a single self-dual chiral boson φ and the duality conditionλ = λ ′ does not appear at the quantum level in any physically meaningful limit.
We shall concentrate on the Lagrangian density (15) for our further discussions on the (anti-)dual-BRST symmetry transformations (Sec. 5).

(Anti-)BRST Symmetries: Superfield Formalism
To derive the (anti-)BRST symmetry transformations (6) within the framework of the augmented superfield formalism, first of all, we generalize the basic variables of the 2D theory onto the (2, 2)-dimensional supermanifold as follows: where Z M = (x µ , θ,θ) is the superspace coordinate that parameterizes the above (2, 2)dimensional superfield where, out of the spacetime bosonic pair (x, t), t is the bosonic (evolution) parameter of the theory and the set (θ,θ) is a pair of Grassmanian variables (with θ 2 =θ 2 = 0 and θθ +θθ = 0). The gauge variable of the 2D effective theory is ) which couples with the chiral bosonic field φ(x) and its orthogonal counterpart (λ 0 (x) − λ 1 (x)) remains inert in our whole discussion. Thus, we define the appropriate 1-form gauge connection as where we have ignored the dx − component because of our preceding discussions and have identified dx + component with the differential dt that corresponds to the evolution parameter of our theory. The exterior derivative d = dt ∂ t (with d 2 = 0) has been taken in our theory because of our above arguments. It is evident that d A (1) = 0 due to (dt ∧ dt) = 0. These 1-forms of geometrical interest can be generalized onto our chosen (2, 2)-dimensional supermanifold as: where ∂ M = ∂/∂Z M ≡ (∂ t , ∂ θ , ∂θ) corresponds to the set of super-subspace partial derivatives corresponding to the (1, 2)-dimensional super-subspace coordinates (t, θ,θ) and is the vector supermultiplet of superfields defined on the (2, 2)-dimensional supermanifold that is parametrized by (x + , x − , θ,θ) = (t, x, θ,θ) in explicit components of the spacetime variables (t, x) and Grassmannian variables (θ,θ). We re-emphasize that, the dynamics of our problem is such that we require only the superspace coordinates (t, θ,θ). This is precisely the reason that we have the above kind of generalizations (19) which are confined to (1, 2)-dimensional super-submanifold only.
The superfields (17) can be expanded along the full Grassmanian directions (i.e., 1, θ,θ, θθ) of the full (2, 2)-dimensional supermanifold as: where the secondary variables (R,R, s,s, f 1 ,f 1 , f 2 ,f 2 ) on the r.h.s are fermionic and (S, are the bosonic secondary fields, respectively. It is obvious that we have the basic fields of the effective theory as (λ, φ, v, C,C) which are the limiting cases when we put θ =θ = 0. We shall derive the secondary fields in terms of the basic fields (as well as auxiliary fields) of the effective 2D theory by exploiting some physically motivated restrictions. First of all, let us exploit the horizontality condition (HC) which requires that where the explicit form of the l.h.s (i.e.dÃ (1) ) is Setting the coefficients of the differentials equal to zero, we get the following relationships amongst the secondary fields and basic (as well as auxiliary) fields of our present theory, namely; where we have used the expansions from (20). It is essential to point out that when we put the coefficients of (dθ ∧ dθ) equal to zero, we obtain the Curci-Ferrari type of restriction B 1 + B 2 = 0 which is trivial for our simple theory. If we choose B 2 = B andB 1 = −B, we obtain the following explicit expansions for the superfields (20), namely; where the superscript (h) stands for the expansion of the superfields after the application of HC. A close look at (24) establishes that we have already derived the following: The requirement of nilpotency, in the above, implies that s b B = 0 and s ab B = 0.
To obtain the off-shell nilpotent and absolutely anticommuting (anti-)BRST symmetry transformations for φ(t) and v(t) variables, we have to exploit the key ideas of the augmented version of BT-superfield formalism [12][13][14][15] where we demand that all the (anti-)BRST invariant quantities should remain independent of the "soul" coordinates (i.e., θ andθ ) when they are generalized onto the supermanifold. Thus, we invoke the following (anti-)BRST invariant restrictions on the (super)fields, namely; which have been taken due to our observations that We note that the (anti-)BRST invariant restrictions (26) and HC are intertwined together because the expansion forλ (h) (x, θ,θ) has to be taken from (24) which has been derived after the application of the HC (i.e.dÃ (1) = dA (1) = 0) in our theory. Explicit substitution of (20) and (24) into (26) leads to the following relationships: Thus, we have already obtained the expressions for the secondary fields in terms of the basic fields and auxiliary field (B). Finally, we have the following expansions: where the superscript (b) stands for the expansions of the supervariables after the application of the nilpotent (anti-)BRST invariant restrictions. A close look at the above expansions yield the following (anti-)BRST symmetry transformations for the fields φ(t) and v(t): We draw the conclusion that we have already derived the full set of off-shell nilpotent and absolutely anticommuting (anti-)BRST symmetry transformations for the chiral bosonic system within the framework of the superfield approach to BRST formalism (cf. (25),(29)). We would like to close this section with the remark that there is a mapping between (anti-)BRST symmetry transformations and the translational generators along the Grassmanian directions of the full (2, 2)-dimensional supermanifold as can be seen from the following relationships: where Ω (h,b) (x, θ,θ) is the generic superfield (obtained after the application of the HC and (anti-)BRST invariant restrictions) and ω(x) is the generic field of the effective 2D system. It is evident that the nilpotency and absolute anticommutativity properties of the (anti-)BRST transformations s (a)b are intimately connected with such kinds of properties associated with the Grassmanian translational generators ∂ θ and ∂θ (i.e. ∂ θ 2 = ∂θ 2 = 0, ∂ θ ∂θ + ∂θ ∂ θ = 0).

(Anti-)BRST Invariance, Nilpotency and Anticommutativity: Superfield Approach
In this section, we provide the geometrical basis for the existence of the nilpotency and absolute anticommutativity properties of the (anti-)BRST charges and the (anti-)BRST invariance of the Lagrangian density (5) (and the corresponding action) within the framework of the superfield formalism. Let us begin with the (anti-)BRST invariance of the action integral S = dx dt L b that has been illustrated in equation (7). Having obtained the expressions in (24) and (28), it can be readily seen that the Lagrangian density (5) can be generalized onto the (2, 2)-dimensional supermanifold in the following manner: where it is elementary to check that, we have: Now, it is straightforward to observe that which matches with the equation (7) obtained in Sec. 2. It is worthwhile to mention that, in the above computation, we have first calculated all the θ andθ dependent terms separately and, then, have taken the derivatives with respect toθ and θ.
In view of the mapping (30), it is self-evident that we have obtained the following: Geometrically, we have the following interpretation. The BRST and anti-BRST invariance of the Lagrangian density in the ordinary space can be explained by the shift transformations of the super Lagrangian density along theθ and θ directions of the supermanifold, respectively, such that the outcome is a total spacetime derivative in the ordinary space.
In other words, the physical (anti-)BRST invariance can be mathematically stated as the observation that the operation of the derivative w.r.t. Grassmanian variables (i.e. ∂θ and ∂ θ ) on the super Lagrangian density (31) produces the total time derivatives in the ordinary space. Now we dwell on the proof of the nilpotency and anticommutativity of the (anti-)BRST charges within the framework of superfield formulation. First of all, it can be clearly checked that the (anti-)BRST charges can be expressed in terms of the expansions (24) and (28) in the following two equivalent forms In view of the mappings (30), the above equation (35) can be translated into the ordinary space in terms of the (anti-)BRST symmetry transformations as: It is now elementary to prove that ∂ θ Q ab = 0, ∂θ Q b = 0 and s ab Q ab = 0, s b Q b = 0 (cf. In view of expansions in (24) and (28), there are other ways to express the (anti-)BRST charges. These are explicitly written as follows: which can be translated into the ordinary space in terms of symmetries s (a)b as follows: The above expressions prove the nilpotency and absolute anticommutativity in a very simple manner. This is due to the fact that ∂ θ 2 = ∂θ 2 = 0, ∂ θ ∂θ + ∂θ ∂ θ = 0. For instance, it can be seen that Q b = dx s ab (− iĊ C) implies that s ab Q b = 0 due to the nilpotency of s ab . However, if we exploit the definition of the generator s ab Q b = − i {Q b , Q ab }, we observe that the nilpotency of s ab (i.e. s 2 ab = 0) is also connected with the absolute anticommutativity of the (anti-)BRST charges (i.e. {Q b , Q ab } = 0). Similar explanations can be provided for all the other expressions for the (anti-)BRST charges which are listed in (38).
We close this section with the remarks that the nilpotency and absolute anticommutativity of the (anti-)BRST symmetry transformations (s 2 (a)b = 0, s b s ab + s ab s b = 0) as well as the (anti-)BRST charges (Q 2 (a)b = 0, Q b Q ab + Q ab Q b = 0) owe their origin to the key properties (∂ θ 2 = ∂θ 2 = 0, ∂ θ ∂θ + ∂θ ∂ θ = 0) of the translational generators (∂ θ , ∂θ) along the Grassmanian directions (θ,θ) of the supermanifold on which our theory is considered. Furthermore, we note that the nilpotency and anticommutativity properties are intertwined together in a beautiful fashion within the framework of the augmented version of BT-superfield formalism where one property depends on the other and vicè-versa.

(Anti-)dual BRST Symmetries: A Brief Synopsis
Ihe (anti-)BRST invariant Lagrangian density (15) respects another set of off-shell nilpotent (s 2 (a)d = 0) and absolutely anticommutating (s d s ad + s ad s d = 0) symmetry transformations (s (a)d ). These transformations are called as the (anti-)dual BRST [or (anti-)co-BRST] symmetry transformations because the gauge fixing term * * (λ − v − φ) remains invariant * * It can be checked that the 1D co-exterior derivative δ = + * d * (where d = dt ∂ t ) operating on the 1-form connection A (1) = dt λ(x) producesλ(x) (because δ A (1) = + * d * A (1) =λ(x) is a 0-form). One can add/subtract other 0-forms (φ, v) fields to it as has been done in (λ − φ − v). under it. These transformations are listed as: where s (a)d are the (anti-)dual BRST symmetry transformations. One can explicitly check that the Lagrangian density (15) transforms to the total time derivatives as: The above observations demonstrate that the action integral S = dx dt L b remains invariant under the transformations s (a)d for the physically meaningful fields that vanish off at infinity. According to Noether's theorem, the above continuous symmetry transformations lead to the derivation of the conserved charges as These charges are found to be nilpotent of order two (i.e. Q 2 (a)d = 0) and they are also absolutely anticommutating (Q d Q ad + Q ad Q d = 0) in nature where the off-shoot (φ −v + v ′ −φ ′ ) + 2 (v + φ −λ) = 0 of the EL equations of motion is used † † . This can be verified from s d Q ad = −i {Q ad , Q d } = 0 and s ad Q d = −i {Q d , Q ad } = 0 by computing the l.h.s. of these relations by exploiting (39) and (41). We have discussed about this issue in our Appendix A where we have differentiated between the (anti-)BRST and (anti-)co-BRST symmetries of our present system and have pointed out some novel features.
With the ghost charge Q g = − i dx CĊ +CĊ , the off-shell nilpotent and absolutely anticommutating (anti-)co-BRST charges obey the following algebra: (42) † † The above charges (41) can be also expressed as: which demonstrates that the ghost numbers of the (anti-)co-BRST charges are +1 and −1 respectively. Finally, we note that the conserved (anti-)co-BRST charges are the generators of continuous symmetry transformations listed in (39). In the forthcoming two sections, we shall derive the (anti-)co-BRST symmetry transformations and prove the invariance of the Lagrangian density in the language of superfield formalism (which captures the nilpotency as well as anticommutativity in a simple and straightforward manner).

(Anti-)co-BRST Symmetries: Superfield Approach
To derive the (anti-)co-BRST symmetries (39), we shall exploit the key ingredients of the augmented version of superfield approach to BRST formalism [12][13][14][15] where we shall demand that all the (anti-)co-BRST invariant quantities should remain independent of the "soul" coordinates θ andθ when the former are generalized onto the (2, 2)-dimensional supermanifold. We observe that s (a)d [φ − v] = 0. Thus, we demand that (cf. (20)): which immediately implies that We further note that s (a)d [λ − φ − v] = 0. This is due to the fact that the gauge-fixing term remains invariant under the (anti-)co-BRST symmetry transformations. Thus, we require the following restrictions on the (super)fields (cf. (20)): Taking the inputs from (44), we obtain the following relationships: Furthermore, the relations (44) also imply the following relationships: which is true because of the fact that Thus, the equality in (47) is due to our basic ideology of the augmented version of superfield formalism [12][13][14][15]. Now, we are at a stage where we can exploit the mathematical potential of the (super) co-exterior derivatives in the application of the dual-horizontality condition because we observe that s (a)d [λ − 2 φ] = 0 and/or s (a)d [λ − 2 v] = 0. However, we have also seen that in ordinary 1D space, we have δA (1) = * d * [dt λ(t)] =λ(t). Thus, we demand the following restriction under the dual-horizontality condition: In our Appendix B, we have explicitly computed the l.h.s and r.h.s whereδ = ⋆d ⋆, d = dt ∂ t + d θ ∂ θ + dθ ∂θ and ⋆ is the Hodge duality operation on the (1, 2)-dimensional super-submanifold (of the general (2, 2)-dimensional supermanifold) under consideration. Ultimately, our computations yield the following: where we have taken the expansions from (20). The above values lead to the determination of the modified form of the superfields F (x, θ,θ) andF (x, θ,θ) as where the superscript (r) stands for the reduced form of the superfields. The above reduced expansions would be used in our further discussions. Finally, we have also the following equality (see, Appendix B for details): which, ultimately, leads to the following relationships: and the relations written in our earlier equations (46). The above choice, due to the dualhorizontality condition, leads to the following: ≡C(x) + θ (s adC (x)) +θ (s dC (x)) + θθ (s d s adC (x)).
In explicit terms, we have already obtained the transformation properties of (anti-)ghost fields (C)C under the (anti-)dual-BRST transformations as: where s (a)d B = 0 has been obtained due to the requirement of the absolute nilpotency property (i.e. s (a)d 2 = 0). We are free to choose B in terms of the basic fields so that the nilpotency and the absolute anticommutativity properties could be respected together. In this connection, it is worthwhile to point out that: In this choice, we have been guided by the fact that field B should not explictly depend on the gauge field λ(t). This implies that we ‡ ‡ In our Appendix C, we provide a precise proof of this choice by using the basic ingredients of augmented superfield formalism where the (anti-)co-BRST invariant quantities are required to be independent of the Grassmannian variables when they are generalized onto an appropriate supermanifold. have the following: where the superscript (dh) on the superfields denotes the expansions obtained after the application of the dual-HC. In other words, we have derived the following (anti-)co-BRST transformations for the (anti-)ghost fields of our theory, namely; where the nilpotency s 2 (a)d = 0 and the absolute anticommutativity property (s d s ad + s ad s d ) C = 0 and (s d s ad + s ad s d )C = 0 are satisfied.
Finally, we note from the symmetry of the Lagrangian density (15) This observation leads to the requirement of the following equality: Using the expansions in (20), (56) and (47), we obtain the following: Now the comparison with (46) yields the following relationships between the secondary fields and other basic fields, namely; The above relationships demonstrate that we have obtained all the secondary fields of the expansion in (20) in terms of the basic fields of the 2D ordinary theory. Collected together, these relationships are as follows: The substitution of these values in expansion (20) yields the following explicit expansions: where the superscripts (as) and (dh) denote the expansions that have been obtained after the applications of the augmented superfield formalism and the dual-horizontality condition, respectively. A close look at the expansions (62) shows that we have already obtained the (anti-)co-BRST symmetries (39) for all the relevant fields of the theory. We wrap up this section with the remark that we have also the analogue of mapping (30) between the (anti-)co-BRST symmetry transformations s (a)d and the translational generators along the Grassmanian directions (θ,θ) of the (2, 2)-dimensional supermanifold. This is succinctly expressed in the mathematical form as follows: where the superscripts (dh, as) on the generic superfield Σ (dh,as) (x, θ,θ) denote the expansions (for these fields) that have been obtained after the application of the dual-horizontality and the augmented version of the superfield restrictions and σ(x) denotes the ordinary generic 2D field of the theory. It is obvious now that the nilpotency and the absolute anticommutativity of the (anti-)co-BRST symmetry transformations are encoded in such relations (i.e. ∂ θ 2 = ∂θ 2 = 0, ∂ θ ∂θ + ∂θ ∂ θ = 0) associated with the translational generators (∂ θ , ∂θ) along the Grassmanian directions (θ,θ) of the (2, 2)-dimensional supermanifold. b is the Lagrangian density (15) which respects the (anti-)co-BRST symmetries (as well as the on-shell nilpotent (anti-)BRST symmetries).
Taking the inputs from (62), it is straightforward to note that the Lagrangian density (15) can be generalized onto the (2, 2)-dimensional supermanifold in terms of the superfields obtained after application of the dual-horizontality condition and (anti-)co-BRST invariant restrictions as (cf. (62)): First of all, it is important to note that we have taken: due to our observations in the super-expansions (62). Further, we observe that the Lagrangian density (15) has been generalized, in a straightforward manner, onto our chosen (2, 2)-dimensional supermanifold just by replacing the ordinary 2D fields by their counterpart superfields that have been obtained after the application of the dual-horizontality condition and the (anti-)co-BRST invariant restrictions on the supermanifold. Now, we are in a position to capture the (anti-)co-BRST invariance (40) in terms of the geometrical quantities that are defined on the (2, 2)-dimensional supermanifold. In other words, we have the following observations: which, in the ordinary 2D space, shows the (anti-)co-BRST invariance of the Lagrangian density (15). This is a consequence of the mapping we have obtained in (63). Geometrically, one can provide an interpretation for the super-Lagrangian densityL as the sum of composite superfields, derived after the application of the dual-horizontality condition and (anti-)co-BRST invariant restrictions, such that its translations along θ orθ directions of the (2, 2)-dimensional supermanifold leads to a total time derivative in the ordinary space. As a consequence, the action integral (S = d 2 xL At this juncture, we concentrate on the geometrical interpretation of the nilpotency and the absolute anticommutativity of the (anti-)co-BRST charges Q (a)d in the language of the superfield approach to BRST formalism. It can be checked that the (anti-)co-BRST charges can be written, in terms of the superfields (62), in two different ways as: The above expressions can be translated into our ordinary 2D space in terms of the nilpotent (anti-)co-BRST symmetry transformations s (a)d (in view of the mapping (63)) as follows: which show the nilpotency of (anti-)co-BRST charges due to s 2 (a)d = 0. In the language of superfield formalism, it is evident that ∂θ Q d = 0 and ∂ θ Q ad = 0 because of the nilpotency associated with ∂ 2 θ = 0, ∂ 2 θ = 0. In other words, we have to the definition of the generators that imply Q 2 (a)d = 0. We, ultimately, draw the conclusion that the nilpotency of the conserved (anti-)co-BRST charges is geometrically connected with the nilpotency property (∂ 2 θ = 0, ∂ 2 θ = 0) of the translational generators along (θ,θ)-directions of our chosen (2, 2)-dimensional supermanifold.
We are at a stage where we shall now provide the geometrical origin of the absolute anticommutativity properties of the transformations s (a)d (i.e. s d s ad + s ad s d = 0) and nilpotent (anti-)co-BRST charges Q (a)d (i.e. Q d Q ad + Q ad Q d = 0). Towards this goal in mind, we observe that the following is true: The above expressions, in the language of the symmetry generators, imply that s d Q ad = −i {Q ad , Q d } = 0 and s ad Q d = −i {Q d , Q ad } = 0 due to the off-shell nilpotency of (s 2 (a)d = 0) of the (anti-)co-BRST transformations. Thus, we note that the anticommutativity of the charges (i.e. Q d Q ad + Q ad Q d = 0) is primarily connected with the nilpotency of the (anti-)co-BRST symmetry transformations. Due to the mapping (63), it is obvious that we can express the above charges as: which immediately lead to the observation that ∂θ Q ad = 0 and ∂ θ Q d = 0. Thus, we note that the absolute anticommutativity of the fermionic (anti-)co-BRST charges (i.e. {Q d , Q ad } = 0) is connected with the nilpotency (i.e. ∂ 2 θ = 0, ∂ 2 θ = 0) associated with the translational generators (∂ θ , ∂θ) along the Grassmanian directions of the (2, 2)-dimensional supermanifold.
There are other ways, too, for the (anti-)co-BRST symmetry to be expressed in terms of the geometrical quantities on the (2, 2)-dimensional super-manifold. These are as follows: Due to the mapping (63), it is evident that we can express the above expansions in the ordinary 2D space of our BRST invariant gauge theory as: By exploiting the nilpotency s 2 (a)d = 0 and anticommutativity (s d s ad + s ad s d = 0) of the (anti-)co-BRST symmetry transformations s a(d) , it is clear that we can prove the nilpotency and the absolute anticommutativity of the (anti-)co-BRST charges Q a(d) by exploiting the following definitions of the symmetry generators: If we look at the above charges in terms of superfields and the translational generators (∂ θ , ∂θ) (cf.(71)), it becomes crystal clear that the nilpotency and absolute anticommutativity of the (anti-)co-BRST charges (and corresponding transformations) are very intimately connected with such kind of properties associated with the translational generators ∂ θ and ∂θ. In other words, the properties (∂ 2 θ = 0, ∂ 2 θ = 0, ∂ θ ∂θ + ∂θ ∂ θ = 0) are intertwined with the algebraic structures of the (anti-)co-BRST symmetry operators s a(d) and the corresponding conserved and nilpotent charges Q a(d) .

Conclusions
The central results of our present endeavor are the precise derivations of the proper (i.e. nilpotent and absolutely anticommuting) (anti-)BRST and (anti-)co-BRST transformations for the 2D effective Lagrangian density (cf. (15)) of a chiral bosonic system at the quantum level. We have provided the geometrical basis for the above nilpotent symmetries in the language of the nilpotent (i.e. ∂ 2 θ = 0, ∂ 2 θ = 0) translational generators (∂ θ , ∂θ) along the Grassmanian directions (θ,θ) of our chosen (2, 2)-dimensional supermanifold (parameterized by Z M = (x µ , θ,θ)) on which our present 2D ordinary field theory has been generalized (within the framework of our augmented version of BT-superfield formalism which is geometrically quite intuitive).
The dynamics of our present 2D theory is such that, only a single component (cf. (4), (18)) of the 2D gauge field couples with the self-dual chiral bosonic field and its orthogonal component remains inert and does not participate in the dynamics of our present theory in any significant manner. This is a novel feature of a gauge theory, which, we have never come across in our earlier discussions on the p-form (p = 1, 2, 3) gauge theories [21][22][23][24][25] within the framework of superfield and BRST formalisms. We have been able to capture this novel feature in the augmented version of our superfield approach to BRST formalism and shown that the super-subspace variables (t, θ,θ), parameterizing the (1, 2)-dimensional supersubmanifold, are good enough to capture the whole dynamics of the theory (despite the fact that the 2D ordinary theory is considered on the full (2, 2)-dimensional supermanifold parameterized by the superspace variables Z M ≡ (x µ , θ,θ)).
The other novel feature of our present theory is the observation that the off-shell as well as on-shell nilpotent (anti-)BRST symmetries exist for the theory but only the offshell and absolutely anticommuting (anti-)co-BRST symmetries are found to exist for the Lagrangian density (15) (which primarily respects only the on-shell nilpotent (anti-)BRST symmetry transformations). It turns out that the off-shell nilpotent (anti-)co-BRST symmetry transformations (39) are absolutely anticommutating, too. However, the corresponding (anti-)co-BRST charges Q (a)d are found to be absolutely anticommutating only when the off-shoot (cf. (75)) of the EL equations of motion (76) (emerging from the Lagrangian density (15)) is utilized for its proof (see Appendix B for details).
It was a challenging task for us to check the sanctity for our proposal for the Hodge duality (⋆) operation on a (1, 2)-dimensional super-submanifold (of the full (2, 2)-dimensional supermanifold on which our effective 2D theory has been generalized). We have accomplished this goal (in our Sec. 6) where we have exploited the Hodge-duality operation in the dual-horizontality condition (cf. (79) Appendix B) defined on the (1, 2)-dimensional super-submanifold and derived the analogue of the Curci-Ferrari restrictions (cf. (52)). This exercise has enabled us to derive the correct off-shell nilpotent (anti-)co-BRST symmetry transformations of our theory. The idea of the dual-horizontality condition is a new ingredient in the realm of superfield approach to BRST formalism (which we have appropriately applied in the context of our present 2D theory).
We plan to apply the theoretical potential and power of the augmented version of our superfield formalism to supersymmetric gauge theories of phenomenological interest and establish a connection between the BRST type symmetries and supersymmetries. In particular, we wish to apply this method to obtain the precise (anti-)BRST symmetry transformations for the supersymmetric gauge theories. We have already obtained the supersymmetrization of the HC for a SUSY system of spinning relativistic particle and have obtained its proper (anti-)BRST symmetries and CF-type condition [26]. This direction of investigation is one of the open problems for us for our future endeavors.
of India, New Delhi, for financial support through RFSMS scheme under which the present investigation has been carried out. Fruitful comments by S. Krishna on some important issues of our present paper are thankfully acknowledged. We thank the reviewer for his enlightening comments.
Appendix A: On the (anti-)BRST and (anti-)co-BRST symmetry transformations One of the key observations of our present investigation is the fact that the Lagrangian density (5) and (15) respect off-shell and on-shell nilpotent (anti-)BRST symmetries as quoted in equations (6) and (13), respectively. On the other hand, the Lagrangian density (15) respects the off-shell nilpotent (anti-)co-BRST symmetry transformations and there is no on-shell version of it. One of the characteristic and decisive features of this (anti-)co-BRST symmetry transformations is the requirement that the gauge-fixing term (λ − φ − v), which basically owes its origin to the co-exterior derivative (δ = + * d * ), remains invariant under the above infinitesimal, off-shell and absolutely anticommutating symmetry transformations.
The interesting properties, that are very important for us, are the nilpotency and anticommutativity. It is straightforward to note that, for the (anti-)BRST symmetry transformations, the above sacrosanct properties are satisfied for the off-shell as well as on-shell cases. This statement can be readily corroborated by the equations (10) where the l.h.s. of these relations can be computed by taking the help of (6) and (9) for the off-shell nilpotent (anti-)BRST symmetries. Similar exercise could be also performed for the on-shell nilpotent version. This, however, is not the case with the (anti-)co-BRST symmetries and their corresponding charges. In particular, in the case of the latter, it can be checked explicitly that the absolute anticommutativity of the (anti-)co-BRST charges.
can be true if and only if the following equation: is satisfied which emerges from the appropriate combination of the following equations of motion that are derived from (15); namely; We would like to state, in passing, that the relation of type (75) is the analogue of the celebrated Curci-Ferrari conditions for this system which turns out to be an (anti-)co-BRST invariant quantity. In other words, we have s (a)d (φ −v +v ′ −φ ′ ) − 2 (λ − v − φ) = 0.
We close this Appendix with the remark that, within the framework of superfield approach to BRST formalism, too, there is a key difference between the nilpotent (anti-)BRST and (anti-)co-BRST symmetries. In the former case, we have ∂ θF = 0 and ∂θ F = 0 when we set the coefficients of (dθ ∧dθ) and (dθ ∧dθ) equal to zero in the HC (i.e.dÃ (1) = d A (1) ) which leads to the relationships (23). On the other hand, for the case of the latter, we obtain the conditions ∂ θ F = 0 and ∂θF = 0 which lead to the relations (49). The CF-type restrictions that emerge from this (dual-)horizontality conditions are (cf. (23),(52)): which enable us to obtain the absolute anticommutativity of the nilpotent (anti-)co-BRST and (anti-)BRST symmetry transformations, respectively.
It is now obvious that the equality (78) can be expanded as follows: This is the explicit expression that has been taken in the main body of our text where we have computed the (anti-)dual BRST symmetry transformations for the (anti-)ghost fields of our theory in a correct fashion (cf. (53)). λ(x, θ,θ)F (dh) (x, θ,θ) = λ(x)C(x), λ(x, θ,θ) F (dh) (x, θ,θ) = λ(x) C(x), which lead to the following relationships: