text:
# References

hep-th/0212240

SNB/December/2002

GAUGE TRANSFORMATIONS, BRST COHOMOLOGY
AND WIGNER’S LITTLE GROUP

R.P.Malik *** E-mail address: malik@boson.bose.res.in

S. N. Bose National Centre for Basic Sciences,

Block-JD, Sector-III, Salt Lake, Calcutta-700 098, India

Abstract: We discuss the (dual-)gauge transformations and BRST cohomology for the two $`(1+1)`$-dimensional (2D) free Abelian one-form and four ($`3+1)`$-dimensional (4D) free Abelian 2-form gauge theories by exploiting the (co-)BRST symmetries (and their corresponding generators) for the Lagrangian densities of these theories. For the 4D free 2-form gauge theory, we show that the changes on the antisymmetric polarization tensor $`e^{\mu \nu }(k)`$ due to (i) the (dual-)gauge transformations corresponding to the internal symmetry group, and (ii) the translation subgroup $`T(2)`$ of the Wigner’s little group, are connected with each-other for the specific relationships among the parameters of these transformation groups. In the language of BRST cohomology defined w.r.t. the conserved and nilpotent (co-)BRST charges, the (dual-)gauge transformed states turn out to be the sum of the original state and the (co-)BRST exact states. We comment on (i) the quasi-topological nature of the 4D free 2-form gauge theory from the degrees of freedom count on $`e^{\mu \nu }(k)`$, and (ii) the Wigner’s little group and the BRST cohomology for the 2D one-form gauge theory vis-à-vis our analysis for the 4D 2-form gauge theory.

PACS numbers: 11 15-q; 02 40-k; 11 30-j

Keywords: (Dual-)gauge transformations; (co-)BRST symmetries; BRST cohomology;

Hodge decomposition theorem; Wigner’s little group

1 Introduction

It is a fairly well-established fact that the local gauge invariant theories govern the three (out of four) fundamental interactions of nature. In particular, the one-form (non-)Abelian gauge theories (which are at the heart of the standard model) have been verified and tested experimentally with stunning degree of precision. A couple of key features of these gauge theories are (i) the existence of the first-class constraints (in the language of Dirac’s classification scheme ) on them that turn out to generate the local gauge transformations, and (ii) the interaction between gauge fields and matter fields is always dictated by the requirement of local gauge invariance, because of which, the gauge fields of the theory couple to the Noether conserved current (constructed by the matter fields). The latter are derived due to the presence of the continuous global gauge symmetry in the theory. For some of the free as well as interacting gauge theories, however, there exists a discrete symmetry transformation (for the Lagrangian density of these gauge theories) that corresponds to a certain specific kind of “duality” in the theory. This duality is found to be responsible for the existence of (i) a local dual-gauge symmetry transformation in the theory, and (ii) the analogue of the Hodge duality $``$ operation of differential geometry defined on a compact spacetime manifold without a boundary (see, e.g., \[3-7\]). Such (non-)interacting duality invariant gauge theories are found to provide a set of tractable field theoretical models for the Hodge theory. In this context, we can mention many interesting (gauge invariant) field theoretical models such as: (i) the free $`(1+1)`$-dimensional (2D) Abelian gauge theory \[8-10\], (ii) the interacting 2D Abelian gauge theory where there is an interaction between the $`U(1)`$ gauge field and the Dirac fields , (iii) the self-interacting 2D non-Abelian gauge theory where there is no interaction between matter fields and the non-Abelian gauge field , and (iv) the free Abelian 2-from gauge theory in $`(3+1)`$-dimensions (4D) .

For the covariant canonical quantization of any gauge theory (endowed with the first-class constraints), the Becchi-Rouet-Stora-Tyutin (BRST) formalism is one of the most elegant methods where the unitarity and “quantum” gauge (i.e. the BRST) invariance are respected together at any arbitrary order of perturbation theory. In this formalism, the usual local “classical” gauge transformations of the original gauge theory are traded with the “quantum” gauge transformations which are popularly known as the BRST transformations. One of the key features of these transformations is the nilpotency property. In fact, these symmetry transformations are generated by a conserved ($`\dot{Q}_b=0`$) and nilpotent ($`Q_b^2=0`$) BRST charge $`Q_b`$. As it turns out, the first-class constraints of the original gauge theory are found to be encoded in the physicality condition $`Q_b|phy>=0`$ in a subtle way. In fact, the condition $`Q_b|phy>=0`$ implies that the physical states ($`|phy>`$) belong to the subspace of the total quantum Hilbert space of states (QHSS) that are annihilated by the BRST charge (or equivalently by the operator form of the first-class constraints of the original gauge theory). The nilpotency of the BRST charge and the physicality condition allow one to define the BRST cohomology where two quantum states ($`|phy>^{}`$ and $`|phy>`$) are said to belong to the same cohomology class w.r.t. the BRST charge $`Q_b`$ if they differ by a BRST exact state (i.e. $`|phy>^{}=|phy>+Q_b|\mathrm{\Omega }>`$ for an arbitrary state $`|\mathrm{\Omega }>`$ in the quantum Hilbert space). The BRST charge $`Q_b`$ turns out to be the analogue of the exterior derivative $`d`$ (with $`d^2=0`$) of differential geometry. Because of the presence of the duality, however, it is found that a local dual-gauge transformation also exists for these gauge theories. The latter transformation too can be traded with a nilpotent dual(co-)BRST symmetry transformations which are generated by a conserved $`(\dot{Q}_d=0)`$ and nilpotent ($`Q_d^2=0`$) co-BRST charge $`Q_d`$. Analogous to the cohomology w.r.t. $`Q_b`$, a co-cohomology can be defined w.r.t. the co-BRST charge $`Q_d`$. This charge turns out to correspond to the co-exterior derivative $`\delta =\pm d`$ (with $`\delta ^2=0`$) of the differential geometry. As argued earlier, the discrete symmetry transformation of the theory (corresponding to the so-called “duality”) turns out to be the analogue of the $``$ operation of the differential geometry (cf. (3.5) below). In particular, the discrete symmetry transformations on the ghost fields are exploited to define the anti-BRST and anti-co-BRST symmetries that are generated by the conserved and nilpotent ($`Q_{ab}^2=Q_{ad}^2=0`$) anti-BRST ($`Q_{ab}`$) and anti-co-BRST ($`Q_{ad})`$ charges. Furthermore, the anti-commutator of the above nilpotent symmetries generates a bosonic symmetry transformation. The generator of this bosonic symmetry transformation $`Q_w`$ turns out to be the analogue of the Laplacian operator $`\mathrm{\Delta }`$ (i.e $`\mathrm{\Delta }=(d+\delta )^2=\{d,\delta \}`$) of the differential geometry. Thus, all the de Rham cohomological operators $`(d,\delta ,\mathrm{\Delta })`$ find their analogues in the language of some local, covariant and continuous symmetry transformations (and their generators) for the Lagrangian density of such a duality invariant gauge theory. Yet another symmetry in the theory is the ghost scale symmetry in which the (anti-)ghost fields transform by a scale transformation and the rest of the physical fields do not transform at all. This continuous symmetry transformation is generated by a conserved ghost charge $`Q_g`$. Thus, we have six local and conserved charges in the theory.

Having defined, described and discussed about the above conserved charges, now the stage is set for the statement of the celebrated Hodge decomposition theorem (HDT) in the QHSS. In fact, any arbitrary state $`|\psi >_n`$ with the ghost number $`n`$ (i.e. $`iQ_g|\psi >_n=n|\psi >_n`$) in the QHSS can be expressed as the sum of a harmonic state $`|\omega >_n`$ (with $`Q_w|\omega >_n=0,Q_b|\omega >_n=0,Q_d|\omega >_n=0`$), a BRST exact state $`Q_b|\varphi >_{n1}`$ and a BRST co-exact state $`Q_d|\theta >_{n+1}`$ as In the language of differential geometry defined on a compact manifold without a boundary, the HDT states that any arbitrary form $`f_n`$ of degree $`n`$ can be decomposed into a harmonic form $`h_n`$ (with $`\mathrm{\Delta }h_n=0,dh_n=0,\delta h_n=0`$), an exact form $`de_{n1}`$ and a co-exact form $`\delta c_{n+1}`$ as: $`f_n=h_n+de_{n1}+\delta c_{n+1}`$ where $`(d,\delta ,\mathrm{\Delta })`$ form the de Rham cohomological set of operators on the manifold.

$$\begin{array}{ccc}|\psi >_n=|\omega >_n+Q_b|\varphi >_{n1}+Q_d|\theta >_{n+1}|\omega >_n+Q_{ad}|\varphi >_{n1}+Q_{ab}|\theta >_{n+1}.\hfill & & \end{array}$$
$`(1.1)`$
Thus, it is crystal clear that there exists a two-to-one mapping between the conserved charges and the cohomological operators as: $`(Q_b,Q_{ad})d,(Q_d,Q_{ab})\delta ,\{Q_b,Q_d\}=\{Q_{ab},Q_{ad}\}=Q_w\mathrm{\Delta }`$. All the above stated mathematical issues have been addressed and shown to be connected with the symmetry properties of the Lagrangian densities (and their corresponding generators) for the field theoretical models of the gauge theories, we have stated earlier \[8-14\]. In a recent paper , the above cohomological properties and the quasi-topological nature of the 4D free Abelian 2-form gauge theory have been discussed by exploiting the (anti-)BRST and (anti-)co-BRST symmetries, their corresponding generators, their ensuing algebraic structure and the HDT in the QHSS.

A quite different but very interesting aspect of the above discussion is connected with the geometrical interpretations \[16-21\] for all the conserved charges ($`Q_{(a)b},Q_{(a)d},Q_w`$) and their two-to-one mappings with the cohomological operators $`(d,\delta ,\mathrm{\Delta })`$ in the framework of superfield formulation \[22-26\]. In fact, it has been demonstrated in our earlier works on the superfield formulation of the 2D (non-)Abelian gauge theories \[16-21\] that the conserved and nilpotent (anti-)BRST and (anti-)co-BRST charges correspond to the translational generators along the Grassmannian directions of the four $`(2+2)`$-dimensional supermanifold. In our formulation, it is interesting to state that (in spite of their common connection with the translational generators along the Grassmannian directions), one can make a clear distinction between $`Q_{(a)b}`$ and $`Q_{(a)d}`$ because of their radically different operations (and the corresponding ensuing effects) on the fermionic superfields which correspond to the anti-commuting (anti-)ghost fields of the theory (see, e.g.,  for details). It has also been demonstrated that the 2D free Abelian and self-interacting non-Abelian gauge theories belong to a new class of topological field theories (TFTs) in flat spacetime (see, e.g., ) which capture together some of the key features of Witten and Schwarz type of TFTs \[27-29\]. It is gratifying to state that for these 2D TFTs, besides providing the geometrical origin for the conserved (and nilpotent) charges, the geometrical interpretation for the Lagrangian density and symmetric energy-momentum tensor has also been provided \[19-21\] in the language of translations of some local (but composite) superfields along the Grassmannian directions of the $`(2+2)`$-dimensional supermanifold. Mathematically, the above Lagrangian density and energy momentum tensor turn out to be the total derivatives w.r.t. the Grassmannian variables of the $`(2+2)`$-dimensional supermanifold.

As pointed out earlier, in general, it is the first-class constraints of the gauge theories that turn out to generate the “classical” local gauge transformations for the singular Lagrangian density of the theory. In the BRST formulation, these local symmetries of the gauge theory are traded with the nilpotent “quantum” gauge (i.e. BRST) symmetries. In a set of seminal papers \[30-32\] Weinberg first and later Han et al. \[33-35\] demonstrated the role of the translational subgroup $`T(2)`$ of the Wigner’s little group in generating the local $`U(1)`$ gauge transformation for the massless (one-form) gauge field of the Maxwell theory. To be more precise, $`T(2)`$ (which is an Abelian invariant subgroup of the Wigner’s little group) keeps the momentum $`k_\mu `$ of the light-like (massless) gauge particle invariant but it transforms the polarization vector $`e_\mu (k)`$ of the Maxwell one-form field in exactly the same manner as the $`U(1)`$ gauge transformation generated by the first-class constraints of the Maxwell theory. Thus, as far as the $`U(1)`$ gauge transformation for the one-form Maxwell field is concerned, there is an interesting complication between the translational symmetries associated with the $`T(2)`$ subgroup of the Wigner’s (spacetime) little group and the internal symmetries related to the first-class constraints of the gauge theory.

The purpose of the present paper is to demonstrate that, for the $`(3+1)`$-dimensional (4D) free Abelian 2-form gauge theory (endowed with the (dual-)gauge transformations), the translation subgroup $`T(2)`$ of the Wigner’s little group generates both the gauge  as well as the dual-gauge transformations on the anti-symmetric polarization tensor $`e^{\mu \nu }(k)`$ of the 2-form gauge field $`B_{\mu \nu }(x)`$ for the specific choices of the (dual-)gauge transformation parameters in terms of the parameters of the $`T(2)`$ subgroup (cf. (5.12), (5.16), (5.23), (5.24) below). This result is also discussed in the framework of BRST formalism. In our expositions: (i) the HDT in the QHSS, (ii) the BRST cohomology, and (iii) the (co-)BRST symmetries play very decisive roles. For instance, first of all, the physical state ($`|phy>`$) (as well as the physical vacuum) of the theory is chosen to be the harmonic state of the Hodge decomposed state of any arbitrary state in the QHSS. This immediately implies that $`Q_{b(ad)}|phy>=0,Q_{d(ab)}|phy>=0,Q_w|phy>=0`$. As a consequence of the above requirements, we obtain certain specific type of restrictions on the single particle quantum state (SPQS) of the 2-form gauge field $`B_{\mu \nu }(x)`$. These constraints, in turn, provide very informative relationships between the anti-symmetric polarization tensor $`e^{\mu \nu }(k)`$ and the momentum 4-vector $`k^\mu `$ which are found to be responsible for the first step of reduction of the number of degrees of freedom associated with $`e^{\mu \nu }(k)`$ in 4D. At the next step, it is the nilpotent (co-)BRST (or (dual-)gauge) symmetry transformations that dictate the reduction process of the degrees of freedom of $`e^{\mu \nu }(k)`$. At this stage, (i) we demonstrate the connection between the $`T(2)`$ subgroup of the Wigner’s little group and the (dual-)gauge (or (co-)BRST) symmetry transformation group when they operate on the doubly reduced polarization tensor $`e^{\mu \nu }(k)`$, and (ii) we comment on the quasi-topological nature  of the 4D 2-form Abelian gauge theory in the framework of an extended BRST formalism. Ultimately, in the language of the BRST cohomology w.r.t. the (co-)BRST charges, the (dual-)gauge (or (co-)BRST) transformed states (which are connected with the transformation generated by $`T(2)`$ subgroup of the Wigner’s little group on the polarization tensor $`e^{\mu \nu }(k)`$) turn out to be the sum of the original SPQS plus a BRST (co-)exact state. For the 2D free Abelian one-form gauge theory, it is not possible to apply the key concepts of the Wigner’s little group and its connection to the (dual-)gauge transformations. This is because of the fact that one can gauge away both the components of the 2D polarization vector by the choice of the (dual-)gauge parameters of the (dual-)gauge transformations. Thus, nothing remains in the theory and this theory becomes topological in nature \[8-10,19\]. This fact is reflected in the matrix representation of the Wigner’s little group which becomes identity (trivial) for the free Abelian one-form gauge theory in 2D. As a consequence, neither momentum nor polarization vectors transform under the Wigner’s little group defined for the 2D Abelian one-form gauge theory. However, in the language of constraints, BRST cohomology and HDT, one can capture mathematically as well as physically the key points of the (dual-)gauge transformations in an elegant way (see, e.g., section 3 below).

The material of our work is organized as follows. In section 2, we define, discuss and distinguish between the gauge and dual-gauge symmetry transformations for the gauge-fixed version of the Lagrangian densities of the 2D free Abelian one-form and 4D free Abelian 2-form gauge theories. Section 3 is devoted to the discussion of (co-)BRST symmetries. We obtain the normal mode expansion for the basic fields of both the theories and discuss about the BRST cohomology and physicality condition in section 4. The central of our present paper is section 5 where we establish the connection between $`T(2)`$ subgroup of the Wigner’s little group and the (dual-)gauge transformations. Furthermore, we express this connection in the language of BRST cohomology and comment on the quasi-topological nature  of the 4D 2-form gauge theory. Finally, in section 6, we make some concluding remarks and point out a few future directions.

2 (Dual-)gauge transformations: Lagrangian formulation

Let us begin with the gauge-fixed Lagrangian density $`_0^{(1)}`$ for a two $`(1+1)`$-dimensional free Abelian gauge theory in the Feynman gauge  We adopt here the conventions and notations such that the two dimensional flat Minkowski metric $`\eta _{\mu \nu }=`$ diag $`(+1,1)`$ and the totally anti-symmetric Levi-Civita tensor $`\epsilon _{\mu \nu }=\epsilon ^{\mu \nu },\epsilon _{01}=+1=\epsilon ^{10},(A)=_0A_0_1A_1,E=\epsilon ^{\mu \nu }_\mu A_\nu =_0A_1_1A_0=F_{01},\mathrm{}=\eta ^{\mu \nu }_\mu _\nu =(_0)^2(_1)^2`$. Here the Greek indices $`\mu ,\nu ,\kappa \mathrm{}.=0,1`$ stand for the spacetime directions on the 2D manifold. (see, e.g., \[37-40\])

$$\begin{array}{ccc}_0^{(1)}=\frac{1}{4}F^{\mu \nu }F_{\mu \nu }\frac{1}{2}(A)^2\frac{1}{2}E^2\frac{1}{2}(A)^2,\hfill & & \end{array}$$
$`(2.1)`$
where $`F_{\mu \nu }=_\mu A_\nu _\nu A_\mu `$ is the anti-symmetric second-rank curvature tensor (with $`F_{01}=E`$ = electric field) defined through the 2-form $`F=dA=\frac{1}{2}(dx^\mu dx^\nu )(F_{\mu \nu })`$. As is evident, this 2-form is derived by the application of the exterior derivative $`d=dx^\mu _\mu `$ (with $`d^2=0`$) on the connection one-form $`A=dx^\mu A_\mu `$ (where $`A_\mu `$ is the vector potential) and the gauge-fixing term $`(A)=(dA)`$ is defined through the application of the dual-exterior derivative $`\delta =d`$ (with $`\delta ^2=0`$) on the one-form $`A`$. Here, for the 2D theory, the curvature tensor $`F_{\mu \nu }`$ has no magnetic component and the $``$ operation is the Hodge duality operation on 2D spacetime manifold. The application of the Laplacian operator $`\mathrm{\Delta }=(d+\delta )^2=d\delta +\delta d`$ on the one-form $`A`$ leads to $`\mathrm{\Delta }A=dx^\mu \mathrm{}A_\mu `$. In fact, the equation of motion ($`\mathrm{}A_\mu =0`$), emerging from the above gauge-fixed Lagrangian density, is captured by the Laplacian operator in the sense that it (i.e. $`\mathrm{}A_\mu =0`$) can be derived from the requirement of the validity of the Laplace equation $`\mathrm{\Delta }A=0`$. Together the set of geometrical operators $`(d,\delta ,\mathrm{\Delta })`$ define the de Rham cohomological properties of the differential forms on a compact manifold without a boundary and obey the algebra: $`d^2=\delta ^2=0,\mathrm{\Delta }=(d+\delta )^2=\{d,\delta \},[\mathrm{\Delta },d]=[\mathrm{\Delta },\delta ]=0`$.

It is straightforward to check that the above Lagrangian density, under the following local $`U(1)`$ gauge and dual-gauge transformations

$$\begin{array}{ccc}A_\mu (x)\hfill & & A_\mu ^{(g)}(x)=A_\mu (x)+_\mu \alpha (x),\hfill \\ A_\mu (x)\hfill & & A_\mu ^{(dg)}(x)=A_\mu (x)\epsilon _{\mu \nu }^\nu \mathrm{\Sigma }(x),\hfill \end{array}$$
$`(2.2)`$
remains invariant if the local infinitesimal transformation parameters $`\alpha (x)`$ and $`\mathrm{\Sigma }(x)`$ are restricted to obey $`\mathrm{}\alpha (x)=\mathrm{}\mathrm{\Sigma }(x)=0`$. At this stage, some of the key and relevant points are (i) under the gauge and dual-gauge transformations, it is the kinetic energy term (more precisely the electric field $`E`$ itself) and the gauge-fixing term (more accurately $`(A)`$ itself) remain invariant (i.e. $`EE^{(g)}=E,(A)(A)^{(dg)}=(A))`$, respectively. (ii) Exactly identical restrictions (i.e. $`\mathrm{}\alpha =\mathrm{}\mathrm{\Sigma }=0`$) on the transformation parameters emerge for the invariance of the gauge-fixing term under the gauge transformation (i.e. $`(A)(A)^{(g)}=(A)`$ for $`\mathrm{}\alpha =0`$) and the invariance of the curvature term (i.e. the electric field) under the dual-gauge transformation (i.e. $`EE^{(dg)}=E`$ for $`\mathrm{}\mathrm{\Sigma }=0`$). (iii) The latter transformation in (2.2) are christened as the dual gauge transformation because $`(A)`$ and $`E`$ are ‘Hodge dual’ to each-other from the point of view of their derivation by the application of cohomological operators $`\delta `$ and $`d`$ on the connection one-form $`A`$. (iv) It is interesting to note that, under a couple of independent discrete symmetry transformations

$$\begin{array}{ccc}_\mu \pm i\epsilon _{\mu \nu }^\nu ,A_\mu (x)A_\mu (x),\hfill & & \end{array}$$
$`(2.3a)`$
$$\begin{array}{ccc}A_\mu (x)i\epsilon _{\mu \nu }A^\nu (x),_\mu _\mu ,\hfill & & \end{array}$$
$`(2.3b)`$
the Lagrangian density (2.1) remains invariant because the kinetic energy and the gauge-fixing terms exchange with each-other. Mathematically, this statement can be succinctly expressed as

$$\begin{array}{ccc}(A)\pm iE,E\pm i(A),_0^{(1)}_0^{(1)}.\hfill & & \end{array}$$
$`(2.4)`$
A proper generalization of equations (2.3) will turn out to be the analogue of the $``$ operation of differential geometry as we shall see later in the framework of BRST formalism.

Equipped with our understanding of the 2D free Abelian gauge theory which sets the backdrop, let us dwell a bit on the 4D free Abelian 2-form gauge theory described by the gauge-fixed Lagrangian density in the Feynman gauge §§§ We follow here the conventions and notations in such a way that the flat 4D Minkowski spacetime manifold is endowed with the flat metric $`\eta _{\mu \nu }=`$ diag $`(+1,1,1,1)`$ and the totally antisymmetric Levi-Civita tensor obeys $`\epsilon _{\mu \nu \kappa \sigma }\epsilon ^{\mu \nu \kappa \sigma }=4!,\epsilon _{\mu \nu \kappa \sigma }\epsilon ^{\mu \nu \kappa \eta }=3!\delta _\sigma ^\eta ,etc.,\epsilon _{0123}=+1=\epsilon ^{0123},\epsilon _{0ijk}=\epsilon _{ijk}`$. Here the Greek indices $`\mu ,\nu ,\kappa \mathrm{}..=0,1,2,3`$ correspond to the spacetime directions on the 4D manifold and the Latin indices $`i,j,k,\mathrm{}..=1,2,3`$ stand only for the space directions of the same manifold. (see, e.g., )

$$\begin{array}{ccc}_0^{(2)}=\frac{1}{12}H^{\mu \nu \kappa }H_{\mu \nu \kappa }+\frac{1}{2}(_\mu B^{\mu \nu })(^\kappa B_{\kappa \nu }),\hfill & & \end{array}$$
$`(2.5)`$
where the totally anti-symmetric curvature tensor $`H_{\mu \nu \kappa }=_\mu B_{\nu \kappa }+_\nu B_{\kappa \mu }+_\kappa B_{\mu \nu }`$ is derived from the 3-form $`H=dB=\frac{1}{3!}(dx^\mu dx^\nu dx^\kappa )(H_{\mu \nu \kappa })`$ by application of the exterior derivative $`d`$ on the connection 2-form $`B=\frac{1}{2}(dx^\mu dx^\nu )(B_{\mu \nu })`$. The application of the dual exterior derivative $`\delta =d`$ on the 2-form $`B`$ leads to the definition of the one-form gauge-fixing term $`(^\kappa B_{\kappa \mu })(dx^\mu )=\delta B`$. The action of the Laplacian operator $`\mathrm{\Delta }`$ on the 2-form basic field $`B`$ yields $`\mathrm{\Delta }B=\frac{1}{2}(dx^\mu dx^\nu )(\mathrm{}B_{\mu \nu })`$ where $`\mathrm{}=\eta ^{\mu \nu }_\mu _\nu =(_0)^2(_i)^2`$. Thus, the equation of motion $`\mathrm{}B_{\mu \nu }=0`$ for the above gauge-fixed Lagrangian density is contained in the requirement that the Laplace equation $`\mathrm{\Delta }B=0`$ is satisfied. The above Lagrangian density remains invariant under the following gauge and dual-gauge transformations

$$\begin{array}{ccc}B_{\mu \nu }\hfill & & B_{\mu \nu }^{(g)}=B_{\mu \nu }+(_\mu \alpha _\nu _\nu \alpha _\mu ),\hfill \\ B_{\mu \nu }\hfill & & B_{\mu \nu }^{(dg)}=B_{\mu \nu }+\epsilon _{\mu \nu \kappa \xi }^\kappa \mathrm{\Sigma }^\xi ,\hfill \end{array}$$
$`(2.6)`$
if the local infinitesimal parameters of the above transformations are restricted to satisfy $`\mathrm{}\alpha _\mu _\mu (\alpha )=0,\mathrm{}\mathrm{\Sigma }_\mu _\mu (\mathrm{\Sigma })=0.`$ Some of the salient features, at this juncture, are (i) it is the curvature term $`H_{\mu \nu \kappa }`$ (derived from $`H=dB`$) and the gauge-fixing term $`^\mu B_{\mu \nu }`$ (derived from $`\delta B=^\kappa B_{\kappa \mu }dx^\mu `$) that are found to remain invariant under the gauge- and dual-gauge transformations, respectively. (ii) The restrictions ($`\mathrm{}\alpha _\mu _\mu (\alpha )=0,\mathrm{}\mathrm{\Sigma }_\mu _\mu (\mathrm{\Sigma })=0`$) on the local infinitesimal transformation parameters $`\alpha _\mu (x)`$ and $`\mathrm{\Sigma }_\mu (x)`$ are identical for both the above transformations. (iii) The above restrictions on the transformation parameters $`\alpha _\mu `$ and $`\mathrm{\Sigma }_\mu `$ emerge when we demand (a) the invariance of the gauge-fixing term under the gauge transformation (i.e. $`(_\mu B^{\mu \nu })(_\mu B^{\mu \nu })^{(g)}=(_\mu B^{\mu \nu })`$), and (b) the invariance of the kinetic energy term under the dual-gauge transformation (i.e. $`H_{\mu \nu \kappa }H^{\mu \nu \kappa }(H_{\mu \nu \kappa }H^{\mu \nu \kappa })^{(dg)}=H_{\mu \nu \kappa }H^{\mu \nu \kappa }`$). To be more elaborate on this latter point, let us consider the explicit infinitesimal version ($`\delta _D`$) of the dual-gauge transformation (2.6) applied to the variation of the Lagrangian density

$$\begin{array}{ccc}\delta _D_0^{(2)}=\frac{1}{6}H^{\mu \nu \kappa }\delta _D(H_{\mu \nu \kappa })=\frac{1}{2}H^{\mu \nu \kappa }\epsilon _{\nu \kappa \sigma \xi }_\mu ^\sigma \mathrm{\Sigma }^\xi ,\hfill & & \end{array}$$
$`(2.7)`$
where $`\delta _DB_{\mu \nu }=\epsilon _{\mu \nu \kappa \zeta }^\kappa \mathrm{\Sigma }^\zeta ,\delta _D(_\mu B^{\mu \nu })=0`$. Ultimately, the expansion of the above term in explicit components, implies the following

$$\begin{array}{ccc}& & \frac{1}{2}H^{\mu \nu \kappa }\epsilon _{\nu \kappa \sigma \xi }_\mu ^\sigma \mathrm{\Sigma }^\xi =H^{\mu \nu \kappa }\epsilon _{\mu \nu \kappa \xi }\left[\mathrm{}\mathrm{\Sigma }^\xi ^\xi (\mathrm{\Sigma })\right],\hfill \\ & & \delta _D_0^{(2)}=0\mathrm{}\mathrm{\Sigma }_\mu _\mu (\mathrm{\Sigma })=0.\hfill \end{array}$$
$`(2.8)`$
It is easy to obtain the above condition by choosing $`H_{\mu \nu \kappa }=\epsilon _{\mu \nu \kappa \xi }V^\xi `$ and showing that

$$\begin{array}{ccc}& & \delta _D_0^{(2)}=0V^\mu \left[\mathrm{}\mathrm{\Sigma }_\mu _\mu (\mathrm{\Sigma })\right]=0,\hfill \\ & & (\frac{1}{12}H^{\mu \nu \kappa }H_{\mu \nu \kappa })(\frac{1}{12}H^{\mu \nu \kappa }H_{\mu \nu \kappa })^{(dg)}=(\frac{1}{12}H^{\mu \nu \kappa }H_{\mu \nu \kappa }).\hfill \end{array}$$
$`(2.9)`$
Thus, the condition (2.8) emerges very naturally for the non-zero axial-vector $`V_\mu `$. (iv) The above gauge-fixed Lagrangian density remains invariant (i.e. $`_0^{(2)}_0^{(2)}`$) under the following discrete symmetry transformation

$$\begin{array}{ccc}B_{\mu \nu }\frac{i}{2}\epsilon _{\mu \nu \kappa \xi }B^{\kappa \xi },\hfill & & \end{array}$$
$`(2.10)`$
because the kinetic energy and gauge-fixing terms of the above Lagrangian density exchange with each-other (i.e. $`\frac{1}{12}H^{\mu \nu \kappa }H_{\mu \nu \kappa }\frac{1}{2}(_\mu B^{\mu \nu })(^\kappa B_{\kappa \nu })`$) under (2.10).

The gauge-fixed Lagrangian density (2.5) can be generalized by introducing a massless ($`\mathrm{}\varphi _1=0`$) scalar field $`\varphi _1`$ in the gauge-fixing term, as

$$\begin{array}{ccc}_1^{(2)}=\frac{1}{12}H^{\mu \nu \kappa }H_{\mu \nu \kappa }+\frac{1}{2}(_\mu B^{\mu \nu }^\nu \varphi _1)(^\kappa B_{\kappa \nu }_\nu \varphi _1).\hfill & & \end{array}$$
$`(2.11)`$
It is interesting to note that (i) the equation of motion ($`\mathrm{}B_{\mu \nu }=0`$) for the 2-form gauge field $`B_{\mu \nu }`$ remains intact in spite of the presence of the massless scalar field $`\varphi _1`$. (ii) The scalar field $`\varphi _1`$ does not transform under the (dual-)gauge transformations discussed above. (iii) The Euler-Lagrange equation of motion for $`\varphi _1`$ field is $`\mathrm{}\varphi _1=0`$. (iv) The kinetic energy term of the Lagrangian density (2.14) can be generalized to include another massless ($`\mathrm{}\varphi _2=0`$) scalar field $`\varphi _2`$, as given below

$$\begin{array}{ccc}_2^{(2)}\hfill & =& \frac{1}{2}(_\mu B^{\mu \nu }^\nu \varphi _1)(^\kappa B_{\kappa \nu }_\nu \varphi _1)\hfill \\ & & \frac{1}{2}(\frac{1}{2}\epsilon _{\mu \nu \kappa \zeta }^\nu B^{\kappa \zeta }_\mu \varphi _2)(\frac{1}{2}\epsilon ^{\mu \sigma \eta \xi }_\sigma B_{\eta \xi }^\mu \varphi _2).\hfill \end{array}$$
$`(2.12)`$
The above Lagrangian density (2.12) leads to the following equations of motion

$$\begin{array}{ccc}\mathrm{}B_{\mu \nu }=0,\mathrm{}\varphi _1=0,\mathrm{}\varphi _2=0.\hfill & & \end{array}$$
$`(2.13)`$
Under the following generalization of the discrete symmetry transformations (2.10)

$$\begin{array}{ccc}B_{\mu \nu }\frac{i}{2}\epsilon _{\mu \nu \kappa \xi }B^{\kappa \xi },\varphi _1\pm i\varphi _2,\varphi _2i\varphi _1,\hfill & & \end{array}$$
$`(2.14)`$
the Lagrangian density (2.12) remains invariant (i.e. $`_2^{(2)}_2^{(2)}`$).

3 (Co-)BRST symmetries: on-shell nilpotent versions

The (dual-)gauge transformations for the gauge-fixed Lagrangian densities of the 2D one-form and 4D 2-form gauge theories can be traded with the (co-)BRST symmetries which turn out to be (the off-shell as well as on-shell) nilpotent of order two. The BRST invariant version of the Lagrangian density (2.1) is (see, e.g., \[8-10\])

$$\begin{array}{ccc}_b^{(1)}=\frac{1}{4}F^{\mu \nu }F_{\mu \nu }\frac{1}{2}(A)^2i_\mu \overline{C}^\mu C\frac{1}{2}E^2\frac{1}{2}(A)^2i_\mu \overline{C}^\mu C,\hfill & & \end{array}$$
$`(3.1)`$
where the (anti-)ghost fields $`(\overline{C})C`$ are anti-commuting ($`\overline{C}C+C\overline{C}=0,C^2=\overline{C}^2=0`$) in nature. It is straightforward to check that (3.1) remains invariant under the following on-shell ($`\mathrm{}C=\mathrm{}\overline{C}=0`$) nilpotent ($`s_{ab}^2=s_b^2=0`$) (anti-)BRST $`s_{(a)b}`$ transformations  We follow here the notations and conventions adopted by Weinberg . In fact, in its totality, the (anti-)BRST transformations $`\delta _{(A)B}`$ (with $`\delta _{(A)B}^2=0`$) are product ($`\delta _{(A)B}=\chi s_{(a)b}`$) of an anti-commuting (i.e. $`\chi C+C\chi =0,\chi \overline{C}+\overline{C}\chi =0,`$ etc.) spacetime independent parameter $`\chi `$ and $`s_{(a)b}`$ with $`s_{(a)b}^2=0`$. on the basic fields of the theory (with $`s_{ab}s_b+s_bs_{ab}=0`$)

$$\begin{array}{ccc}& & s_bA_\mu =_\mu C,s_bC=0,s_b\overline{C}=i(A),\hfill \\ & & s_{ab}A_\mu =_\mu \overline{C},s_{ab}\overline{C}=0,s_{ab}C=+i(A).\hfill \end{array}$$
$`(3.2)`$
The salient points, at this stage, are (i) the Lagrangian density transforms to a total derivative under (3.2). (ii) There are no restrictions on the (anti-)ghost fields $`(\overline{C})C`$. (iii) The gauge transformation parameter $`\alpha `$ of (2.2) has been replaced by an anti-commuting number $`\chi `$ and the ghost field $`C`$. (iv) The restriction $`\mathrm{}\alpha =0`$ on the local infinitesimal parameter $`\alpha `$ of the gauge transformation (2.2) is not required here because the equation of motion $`\mathrm{}C=0`$ takes care of it. (v) There are two nilpotent ($`s_{(a)b}^2=0`$) (anti-)BRST transformations (3.2) corresponding to a single gauge transformation in (2.2).

It is interesting to note that the dual-gauge transformation of the gauge field $`A_\mu (x)`$ (cf. (2.2)) can be generalized to the dual(co-)BRST symmetry transformation by the replacement $`\mathrm{\Sigma }(x)=\chi \overline{C}(x)`$. The ensuing on-shell ($`\mathrm{}C=\mathrm{}\overline{C}=0`$) nilpotent $`s_{(a)d}^2=0`$ (anti-)co-BRST transformations ($`s_{(a)d}`$) (with $`s_{ad}s_d+s_ds_{ad}=0`$)

$$\begin{array}{ccc}& & s_dA_\mu =\epsilon _{\mu \nu }^\nu \overline{C}(x),s_d\overline{C}=0,s_dC=iE,\hfill \\ & & s_{ad}A_\mu =\epsilon _{\mu \nu }^\nu C,s_{ad}C=0,s_{ad}\overline{C}=+iE,\hfill \end{array}$$
$`(3.3)`$
leave the Lagrangian density (3.1) invariant up to a total derivative. The (anti-)ghost fields $`(\overline{C})C`$ are restricted in no way for the consideration of the co-BRST symmetry transformations unlike the local transformation parameter $`\mathrm{\Sigma }(x)`$ of the dual-gauge transformation. It is obvious that a couple of on-shell ($`\mathrm{}C=\mathrm{}\overline{C}=0`$) nilpotent ($`s_{(a)d}^2=0`$) (anti-)co-BRST symmetry transformations emerge from a single dual-gauge transformation of (2.2). Furthermore, the Lagrangian density (3.1) remains invariant under the following two independent discrete transformations

$$\begin{array}{ccc}_\mu \pm i\epsilon _{\mu \nu }^\nu ,A_\mu (x)A_\mu (x),C(x)\pm i\overline{C}(x),\overline{C}(x)\pm iC(x),\hfill & & \end{array}$$
$`(3.4a)`$
$$\begin{array}{ccc}A_\mu (x)i\epsilon _{\mu \nu }A^\nu (x),_\mu _\mu ,C(x)\pm i\overline{C}(x),\overline{C}(x)\pm iC(x),\hfill & & \end{array}$$
$`(3.4b)`$
which are nothing but the generalization of transformations (2.3) to include the transformations on the (anti-)ghost fields. Now the stage is set to provide the meaning for the Hodge duality $``$ operation of differential geometry in the language of BRST type symmetries. It can be checked clearly that, for any generic field $`\mathrm{\Phi }=A_\mu ,C,\overline{C}`$ of the theory, the following relationship (see, e.g., )

$$\begin{array}{ccc}s_{(a)d}\mathrm{\Phi }=\pm s_{(a)b}\mathrm{\Phi },\hfill & & \end{array}$$
$`(3.5)`$
is valid. Here the Hodge duality $``$ operation in the above equation corresponds to the discrete symmetry transformations (3.4). The $`(+)`$ signs in the above equation are dictated by the similar signs that appear when two successive Hodge duality $``$ operations are applied on the generic field $`\mathrm{\Phi }=A_\mu ,C,\overline{C}`$ as expressed below

$$\begin{array}{ccc}()\mathrm{\Phi }=\pm \mathrm{\Phi }.\hfill & & \end{array}$$
$`(3.6)`$
It will be noted that the signs on the r.h.s. of the above equation, in general, may differ for the discrete transformations in (3.4a) and (3.4b) (see, e.g., ). It is obvious that the relationship in (3.5) is reminiscent of the connection between the (dual-)exterior derivatives $`(\delta )d`$ which are related to each-other (i.e. $`\delta =\pm d`$). In the realm of differential geometry, the $`(+)`$ signs are dictated by the dimensionality of the manifold on which $`d,\delta `$ and the Hodge duality $``$ operation are defined (see, e.g., ).

The off-shell nilpotent (anti-)BRST invariant version of the Lagrangian density (2.11) for the 4D free 2-form Abelian gauge theory that includes bosonic (anti-)ghost fields $`(\overline{\beta })\beta `$ (with $`\beta ^20,\overline{\beta }^20`$) as well as the fermionic vector (anti-)ghost fields $`(\overline{C}_\mu )C_\mu `$ (with $`C_\mu C_\nu +C_\nu C_\mu =0,C_\mu \overline{C}_\nu +\overline{C}_\nu C_\mu =0,\overline{C}_\mu \overline{C}_\nu +\overline{C}_\nu \overline{C}_\mu =0,(C_\mu )^2=0,(\overline{C}_\mu )^2=0`$ etc.) is

$$\begin{array}{ccc}_{b1}^{(2)}\hfill & =& \frac{1}{12}H^{\mu \nu \kappa }H_{\mu \nu \kappa }+B^\mu (^\kappa B_{\kappa \mu }_\mu \varphi _1)\frac{1}{2}B^\mu B_\mu _\mu \overline{\beta }^\mu \beta \hfill \\ & +& (_\mu \overline{C}_\nu _\nu \overline{C}_\mu )(^\mu C^\nu )+\rho (C+\lambda )+(\overline{C}+\rho )\lambda ,\hfill \end{array}$$
$`(3.7)`$
where $`B_\mu `$ is the bosonic auxiliary field and $`(\rho )\lambda `$ are the fermionic ($`\rho ^2=\lambda ^2=0,\rho \lambda +\lambda \rho =0`$) scalar (anti-)ghost auxiliary fields. In fact, one can linearize the quadratic kinetic energy term ($`\frac{1}{12}H^{\mu \nu \kappa }H_{\mu \nu \kappa }`$) by introducing a couple of bosonic auxiliary fields $`_\mu `$ and $`\varphi _2`$ as

$$\begin{array}{ccc}_{b2}^{(2)}\hfill & =& \frac{1}{2}^\mu _\mu ^\mu (\frac{1}{2}\epsilon _{\mu \nu \kappa \zeta }^\nu B^{\kappa \zeta }_\mu \varphi _2)+B^\mu (^\kappa B_{\kappa \mu }_\mu \varphi _1)\frac{1}{2}B^\mu B_\mu \hfill \\ & & _\mu \overline{\beta }^\mu \beta +(_\mu \overline{C}_\nu _\nu \overline{C}_\mu )(^\mu C^\nu )+\rho (C+\lambda )+(\overline{C}+\rho )\lambda .\hfill \end{array}$$
$`(3.8)`$
The above Lagrangian density respects both the off-shell nilpotent ($`s_{(D)B}^2=0`$) (co-)BRST ($`s_{(D)B}`$) symmetry transformations as listed below

$$\begin{array}{ccc}s_BB_{\mu \nu }\hfill & =& (_\mu C_\nu _\nu C_\mu ),s_BC_\mu =_\mu \beta ,s_B\overline{C}_\mu =B_\mu ,\hfill \\ s_B\varphi _1\hfill & =& \lambda ,s_B\overline{\beta }=\rho ,s_B(\beta ,_\mu ,\lambda ,\rho ,B_\mu ,\varphi _2,H_{\mu \nu \kappa })=0,\hfill \end{array}$$
$`(3.9)`$
$$\begin{array}{ccc}s_DB_{\mu \nu }\hfill & =& \epsilon _{\mu \nu \kappa \zeta }^\kappa \overline{C}^\zeta ,s_D\overline{C}_\mu =_\mu \overline{\beta },s_DC_\mu =_\mu ,s_D\beta =\lambda ,\hfill \\ s_D\varphi _2\hfill & =& \rho ,s_D(\overline{\beta },_\mu ,\lambda ,\rho ,B_\mu ,\varphi _1,^\mu B_{\mu \kappa })=0.\hfill \end{array}$$
$`(3.10)`$
It is interesting to point out that the off-shell nilpotent BRST symmetries (3.9) are also respected by the Lagrangian density (3.7). If we substitute the following equations of motion emerging from the Lagrangian density (3.8)

$$\begin{array}{ccc}B_\mu \hfill & =& (^\nu B_{\nu \mu }_\mu \varphi _1),\rho =\frac{1}{2}(\overline{C}),\hfill \\ _\mu \hfill & =& (\frac{1}{2}\epsilon _{\mu \nu \kappa \zeta }^\nu B^{\kappa \zeta }_\mu \varphi _2),\lambda =\frac{1}{2}(C),\hfill \end{array}$$
$`(3.11)`$
into (3.8) itself, we obtain the following Lagrangian density

$$\begin{array}{ccc}_{b3}^{(2)}\hfill & =& \frac{1}{2}(^\kappa B_{\kappa \mu }_\mu \varphi _1)(_\nu B^{\nu \mu }^\mu \varphi _1)\hfill \\ & & \frac{1}{2}(\frac{1}{2}\epsilon _{\mu \nu \kappa \zeta }^\nu B^{\kappa \zeta }_\mu \varphi _2)(\frac{1}{2}\epsilon ^{\mu \xi \sigma \eta }_\xi B_{\sigma \eta }^\mu \varphi _2)\hfill \\ & & _\mu \overline{\beta }^\mu \beta +(_\mu \overline{C}_\nu _\nu \overline{C}_\mu )(^\mu C^\nu )\frac{1}{2}(\overline{C})(C),\hfill \end{array}$$
$`(3.12)`$
which turns out to respect the on-shell ($`\mathrm{}B_{\mu \nu }=\mathrm{}\varphi _1=\mathrm{}\varphi _2=\mathrm{}\beta =\mathrm{}\overline{\beta }=0,\mathrm{}C_\mu =\frac{3}{2}_\mu (C),\mathrm{}\overline{C}_\mu =\frac{3}{2}_\mu (\overline{C})`$) nilpotent ($`\stackrel{~}{s}_{(d)b}^2=0`$) version of the (co-)BRST symmetry transformations as expressed below

$$\begin{array}{ccc}\stackrel{~}{s}_bB_{\mu \nu }\hfill & =& (_\mu C_\nu _\nu C_\mu ),\stackrel{~}{s}_bC_\mu =_\mu \beta ,\stackrel{~}{s}_b\overline{C}_\mu =(^\nu B_{\nu \mu }_\mu \varphi _1),\hfill \\ \stackrel{~}{s}_b\varphi _1\hfill & =& +\frac{1}{2}(C),\stackrel{~}{s}_b\overline{\beta }=\frac{1}{2}(\overline{C}),\stackrel{~}{s}_b(\beta ,\varphi _2,H_{\mu \nu \kappa })=0,\hfill \end{array}$$
$`(3.13)`$
$$\begin{array}{ccc}\stackrel{~}{s}_dB_{\mu \nu }\hfill & =& \epsilon _{\mu \nu \kappa \zeta }^\kappa \overline{C}^\zeta ,\stackrel{~}{s}_d\overline{C}_\mu =_\mu \overline{\beta },\stackrel{~}{s}_dC_\mu =(\frac{1}{2}\epsilon _{\mu \nu \kappa \sigma }^\nu B^{\kappa \sigma }_\mu \varphi _2),\hfill \\ \stackrel{~}{s}_d\varphi _2\hfill & =& +\frac{1}{2}(\overline{C}),\stackrel{~}{s}_d\beta =\frac{1}{2}(C),\stackrel{~}{s}_d(\overline{\beta },\varphi _1,^\mu B_{\mu \kappa })=0.\hfill \end{array}$$
$`(3.14)`$
There are specific pertinent points in order here. First, it will be noted that the Lagrangian density (3.12) is the generalized version of (2.12) which respects both the on-shell nilpotent (co-)BRST symmetries. Second, the generalization of the discrete symmetry transformations (2.14) for the Lagrangian density (3.8) (that respects the off-shell nilpotent (co-)BRST symmetry transformations (3.9) and (3.10)) is as follows

$$\begin{array}{ccc}B_{\mu \nu }\hfill & & \frac{i}{2}\epsilon _{\mu \nu \kappa \xi }B^{\kappa \xi },\varphi _1\pm i\varphi _2,\varphi _2i\varphi _1,\hfill \\ B_\mu \hfill & & \pm i_\mu ,_\mu iB_\mu ,\beta i\overline{\beta },\overline{\beta }\pm i\beta ,\hfill \\ C_\mu \hfill & & \pm i\overline{C}_\mu ,\overline{C}_\mu \pm iC_\mu ,\rho \pm i\lambda ,\lambda \pm i\rho .\hfill \end{array}$$
$`(3.15)`$
The on-shell version of the above discrete symmetry transformations for the Lagrangian density (3.12) can be obtained from the substitution of the equations of motion (3.11) for the auxiliary fields into (3.15). Third, the on-shell as well as off-shell version of the anti-BRST and anti-co-BRST transformations can be obtained from (3.9), (3.10), (3.13) and (3.14) by exploiting the discrete transformations (3.15) for the bosonic as well as fermionic (anti-)ghost fields. Finally, all the symmetry transformations of the theory can be generically expressed in terms of the symmetry generators $`Q_r`$ as (see, e.g., )

$$\begin{array}{ccc}s_r\mathrm{\Phi }=i[\mathrm{\Phi },Q_r]_\pm ,r=b,ab,d,ad,g,w,\hfill & & \end{array}$$
$`(3.16)`$
where the subscripts $`(+)`$ on the brackets correspond to (anti-)commutators for the generic field $`\mathrm{\Phi }`$ being (fermionic)bosonic in nature and $`g,w`$ correspond to the existence of a ghost symmetry and a bosonic symmetry. The above generic expression is valid for the 2D as well as 4D theories for the off-shell as well as on-shell nilpotent version of the (anti-) BRST and (anti-)co-BRST symmetries together with other symmetries of the theories .

4 BRST cohomology: physical state condition

Here we shall recall some of the key and pertinent points of earlier work (see, e.g., ) on the Hodge decomposition theorem for the 2D free Abelian gauge theory. To this end in mind, we first express the normal mode expansion for the basic fields ($`A_\mu ,C,\overline{C})`$ of the Lagrangian density (3.1) in the (momentum) phase space as (see, e.g.,)

$$\begin{array}{ccc}A_\mu (x)\hfill & =& \frac{dk}{(2\pi )^{1/2}(2k^0)^{1/2}}\left[a_\mu ^{}(k)e^{ikx}+a_\mu (k)e^{ikx}\right],\hfill \\ C(x)\hfill & =& \frac{dk}{(2\pi )^{1/2}(2k^0)^{1/2}}\left[c^{}(k)e^{ikx}+c(k)e^{ikx}\right],\hfill \\ \overline{C}(x)\hfill & =& \frac{dk}{(2\pi )^{1/2}(2k^0)^{1/2}}\left[\overline{c}^{}(k)e^{ikx}+\overline{c}(k)e^{ikx}\right],\hfill \end{array}$$
$`(4.1)`$
which corresponds to the equations of motion $`\mathrm{}A_\mu =\mathrm{}C=\mathrm{}\overline{C}=0`$ obeyed by the basic fields of the theory. Here $`k_\mu `$ are the 2D momenta with their components $`k_\mu =(k_0,k=k_1)`$ and $`k^2=k_0^2k^2=0`$ for the consistency with the above equations of motion. All the dagger operators are the creation operators and the non-dagger operators correspond to the annihilation operators for the basic quanta of the fields. The on-shell nilpotent version of the (co-)BRST symmetries (3.3) and (3.2) can be expressed, due to (3.16), as

$$\begin{array}{ccc}& & [Q_d,a_\mu ^{}(k)]=\epsilon _{\mu \nu }k^\nu \overline{c}^{}(k),[Q_d,a_\mu (k)]=\epsilon _{\mu \nu }k^\nu \overline{c}(k),\hfill \\ & & \{Q_d,c^{}(k)\}=i\epsilon ^{\mu \nu }k_\mu a_\nu ^{},\{Q_d,c(k)\}=+i\epsilon ^{\mu \nu }k_\mu a_\nu ,\hfill \\ & & \{Q_d,\overline{c}^{}(k)\}=0,\{Q_d,\overline{c}(k)\}=0,\hfill \end{array}$$
$`(4.2)`$
$$\begin{array}{ccc}& & [Q_b,a_\mu ^{}(k)]=k_\mu c^{}(k),[Q_b,a_\mu (k)]=k_\mu c(k),\hfill \\ & & \{Q_b,c^{}(k)\}=0,\{Q_b,c(k)\}=0,\hfill \\ & & \{Q_b,\overline{c}^{}(k)\}=ik^\mu a_\mu ^{}(k),\{Q_b,\overline{c}(k)\}=ik^\mu a_\mu (k).\hfill \end{array}$$
$`(4.3)`$
Similar kinds of (anti-)commutation relations can be obtained with the anti-BRST and anti-co-BRST generators but we do not require them for our present analyses and discussions. For aesthetic reasons, we can define the most symmetric physical vacuum ($`|vac>`$) of the present theory as

$$\begin{array}{ccc}& & Q_{(a)b}|vac>=0,Q_{(a)d}|vac>=0,Q_w|vac>=0,\hfill \\ & & a_\mu (k)|vac>=0,c(k)|vac>=0,\overline{c}(k)|vac>=0.\hfill \end{array}$$
$`(4.4)`$
In the above, it is clear that the physical vacuum is (anti-)BRST and (anti-)co-BRST invariant which imply the invariance w.r.t. $`Q_w`$ as well. It is lucid now that a single photon state with polarization $`e_\mu (k)`$ and momenta $`k_\mu `$ can be created from the physical vacuum by the application of a creation operator $`a_\mu ^{}(k)`$ as

$$\begin{array}{ccc}e^\mu a_\mu ^{}(k)|vac>|e,vac>,k^\mu a_\mu ^{}(k)|vac>|k,vac>=i\{Q_b\overline{c}^{}(k)\}|vac>,\hfill & & \end{array}$$
$`(4.5)`$
where the latter state $`|k,vac>`$ with momenta $`k_\mu `$ has been expressed by exploiting the anti-commutator $`\{Q_b,\overline{c}^{}(k)\}=ik^\mu a_\mu ^{}(k)`$ from (4.3). Exploiting the $`U(1)`$ gauge transformation on the polarization vector $`e_\mu (k)e_\mu ^{}(k)=e_\mu (k)+iAk_\mu `$, where $`A`$ is a complex number, it is straightforward to check that

$$\begin{array}{ccc}|e+iAk,vac>=|e,vac>+Q_b(A\overline{c}^{}(k))|vac>,Q_b|vac>=0.\hfill & & \end{array}$$
$`(4.6)`$
Thus, we conclude that a gauge transformed state for an original single photon state (i.e. $`e^\mu (k)a_\mu ^{}(k)|vac>`$ with the polarization vector $`e_\mu (k)`$) is equal to the sum of the original state $`|e,vac>`$ plus a BRST exact state. In more sophisticated language, the gauge transformed state and the original state belong to the same cohomology class w.r.t. the conserved and nilpotent BRST charge $`Q_b`$. Similarly, the dual gauge transformation on the polarizations vector (i.e. $`e_\mu (k)e_\mu ^{}(k)=e_\mu (k)+iB\epsilon _{\mu \nu }k^\nu e_\mu (k)+iB\stackrel{~}{k}_\mu `$ where $`\stackrel{~}{k}_\mu =\epsilon _{\mu \nu }k^\nu `$ and B is a complex number) will correspond to the following expression

$$\begin{array}{ccc}|e+iB\stackrel{~}{k},vac>=|e,vac>+Q_d(Bc^{}(k))|vac>,Q_d|vac>=0,\hfill & & \end{array}$$
$`(4.7)`$
where we have used the anti-commutator $`\{Q_d,c^{}(k)\}=i\epsilon ^{\mu \nu }k_\mu a_\nu ^{}`$. The above equation also implies that the dual-gauge transformed state is equal to the sum of the original state and a BRST co-exact state. With the four nilpotent and conserved charges $`Q_{(a)b},Q_{(a)d}`$ and a bosonic conserved charge $`Q_w`$ in the theory, the most symmetric physical state ($`|phy>`$) can be defined as

$$\begin{array}{ccc}Q_{(a)b}|phy>=0,Q_{(a)d}|phy>=0,Q_w|phy>=0.\hfill & & \end{array}$$
$`(4.8)`$
Applying this physicality condition on the single photon state, we obtain the following relationships by exploiting the commutators $`[Q_b,a_\mu ^{}(k)]=k_\mu c^{}(k),[Q_d,a_\mu ^{}(k)]=\epsilon _{\mu \nu }k^\nu \overline{c}^{}(k)`$

$$\begin{array}{ccc}Q_b|e+iAk,vac>\hfill & =& Q_b|e,vac>(ke)c^{}(k)|vac>=0,(Q_b^2=0),\hfill \\ Q_d|e+iB\stackrel{~}{k},vac>\hfill & =& Q_d|e,vac>(\epsilon ^{\mu \nu }e_\mu k_\nu )\overline{c}^{}(k)|vac>=0,(Q_d^2=0),\hfill \end{array}$$
$`(4.9)`$
which imply the transversality (i.e. $`ke=0`$) and an extra condition ($`\epsilon ^{\mu \nu }e_\mu k_\nu =0`$) (that turns out to be useful in the proof for the topological nature of the 2D free Abelian gauge theory ) on the 2D photon because of the fact that $`c^{}(k)|vac>0,\overline{c}^{}(k)|vac>0`$. It is also obvious from the above discussion that for a single photon, not satisfying the above transversality and an extra condition illustrated in (4.9), the single (anti-)ghost state(s) ($`\overline{c}^{}(k)|vac>,c^{}(k)|vac>`$) created by the operators $`\overline{c}^{}(k)`$ and $`c^{}(k)`$ would turn out to be BRST (co-)exact states. This explains the no-(anti-)ghost theorem in the context of the BRST cohomology. Physically, it amounts to the well-known fact (see, e.g., ) that the contributions coming from the longitudinal and scalar degrees of freedom of the photons, at any arbitrary order of the perturbation theory calculations, are cancelled by the presence of (anti-)ghost fields. Ultimately, the physicality criteria $`Q_b|e,vac>=0,Q_d|e,vac>=0,Q_w|e,vac>=0`$ on a single photon state implies the transversality and masslessness of the photon because of the following mutually consistent relationships that emerge from the above condition with conserved and local charges (see, e.g.,  for more detail)

$$\begin{array}{ccc}& & Q_b|e,vac>=0(ke)=0,\hfill \\ & & Q_d|e,vac>=0(\epsilon _{\mu \nu }e^\mu k^\nu )=0,\hfill \\ & & Q_w|e,vac>=0,k^2=0.\hfill \end{array}$$
$`(4.10)`$
A thorough and complete discussion on this result and its implication to the topological nature of the theory (where there are no propagating degrees of freedom for the $`U(1)`$ gauge field $`A_\mu `$) can be found in our earlier works (see, e.g., ). In the language of the Hodge decomposition theorem, it can be seen that the masslessness condition ($`k^2=0`$) coming from $`Q_w|e,vac>=0`$ (which is the analogue of the action of the Laplacian operator on the harmonic state) has the solutions $`ke=0`$ and $`\epsilon _{\mu \nu }e^\mu k^\nu =0`$ that are given by the top two equations (i.e., the analogues of the operation of the (co-)exterior derivatives).

With our understanding of the 2D free Abelian gauge theory as the background, we shall dwell a bit on the BRST cohomology connected with the 4D free Abelian 2-form gauge theory. For this purpose, first, we begin with the definition of the physical state $`|phys>`$ and the physical vacuum ($`|vacm>`$) of the 4D theory as

$$\begin{array}{ccc}Q_{(A)B}|phys>=0,Q_{(A)D}|phys>=0,Q_W|phys>=0,\hfill & & \end{array}$$
$`(4.11)`$
$$\begin{array}{ccc}& & Q_{(A)B}|vacm>=0,Q_{(A)D}|vacm>=0,Q_W|vacm>=0,\hfill \\ & & b_{\mu \nu }(k)|vacm>=0,c_\mu (k)|vacm>=0,\overline{c}_\mu (k)|vacm>=0,\hfill \\ & & \overline{b}(k)|vacm>=0,f_1(k)|vacm>=0,f_2(k)|vacm>=0,b(k)|vacm>=0,\hfill \end{array}$$
$`(4.12))`$
where the on-shell nilpotent (anti-)BRST charges $`Q_{(A)B}`$ and (anti-)co-BRST charges $`Q_{(A)D}`$ are the generators of the corresponding transformations (3.13) and (3.14) for the Lagrangian density (3.12). Here the bosonic charge $`Q_W=\{Q_B,Q_D\}=\{Q_{AB},Q_{AD}\}`$ and the rest of the annihilation operators in the above are from the normal mode expansion of the basic fields of the theory that are present in the Lagrangian density (3.12). These expansions are as follows

$$\begin{array}{ccc}B_{\mu \nu }(x)\hfill & =& \frac{d^3k}{(2\pi )^{3/2}(2k^0)^{3/2}}\left[b_{\mu \nu }^{}(k)e^{ikx}+b_{\mu \nu }(k)e^{ikx}\right],\hfill \\ C_\mu (x)\hfill & =& \frac{d^3k}{(2\pi )^{3/2}(2k^0)^{3/2}}\left[c_\mu ^{}(k)e^{ikx}+c_\mu (k)e^{ikx}\right],\hfill \\ \overline{C}_\mu (x)\hfill & =& \frac{d^3k}{(2\pi )^{3/2}(2k^0)^{3/2}}\left[\overline{c}_\mu ^{}(k)e^{ikx}+\overline{c}_\mu (k)e^{ikx}\right],\hfill \\ \overline{\beta }(x)\hfill & =& \frac{d^3k}{(2\pi )^{3/2}(2k^0)^{3/2}}\left[\overline{b}^{}(k)e^{ikx}+\overline{b}(k)e^{ikx}\right],\hfill \\ \beta (x)\hfill & =& \frac{d^3k}{(2\pi )^{3/2}(2k^0)^{3/2}}\left[b^{}(k)e^{ikx}+b(k)e^{ikx}\right],\hfill \\ \varphi _1(x)\hfill & =& \frac{d^3k}{(2\pi )^{3/2}(2k^0)^{3/2}}\left[f_1^{}(k)e^{ikx}+f_1(k)e^{ikx}\right],\hfill \\ \varphi _2(x)\hfill & =& \frac{d^3k}{(2\pi )^{3/2}(2k^0)^{3/2}}\left[f_2^{}(k)e^{ikx}+f_2(k)e^{ikx}\right],\hfill \end{array}$$
$`(4.13)`$
where the four momenta $`k_\mu `$ have the components $`k_\mu =(k_0,k_i)`$ with $`i=1,2,3`$ and the volume element $`d^3k=dk_1dk_2dk_3`$. All the individual dagger operators are the creation operator for a single quantum (particle) of the corresponding field (and the non-dagger operators are the annihilation operators). Exploiting the general definition of (3.16), we obtain the (anti-)commutators with the BRST charge $`Q_B`$ as

$$\begin{array}{ccc}& & [Q_B,b_{\mu \nu }^{}(k)]=(k_\mu c_\nu ^{}(k)k_\nu c_\mu ^{}(k)),[Q_B,b_{\mu \nu }(k)]=(k_\mu c_\nu (k)k_\nu c_\mu (k)),\hfill \\ & & [Q_B,b^{}(k)]=0,[Q_B,b(k)]=0,\hfill \\ & & \{Q_B,\overline{c}_\mu ^{}(k)\}=+k^\nu b_{\mu \nu }^{}(k)+k_\mu f_1^{}(k),\{Q_B,\overline{c}_\mu (k)\}=k^\nu b_{\mu \nu }(k)k_\mu f_1(k),\hfill \\ & & \{Q_B,c_\mu ^{}(k)\}=k_\mu b^{}(k),\{Q_B,c_\mu (k)\}=+k_\mu b(k),\hfill \\ & & [Q_B,f_2^{}(k)]=0,[Q_B,f_2(k)]=0,\hfill \\ & & [Q_B,f_1^{}(k)]=\frac{1}{2}k^\mu c_\mu ^{}(k),[Q_B,f_1(k)]=\frac{1}{2}k^\mu c_\mu (k),\hfill \\ & & [Q_B,\overline{b}^{}(k)]=\frac{1}{2}k^\mu \overline{c}_\mu ^{}(k),[Q_B,\overline{b}(k)]=+\frac{1}{2}k^\mu \overline{c}_\mu (k),\hfill \end{array}$$
$`(4.14)`$
and the corresponding (anti-)commutators with the co-BRST charge $`Q_D`$ are

$$\begin{array}{ccc}& & [Q_D,b_{\mu \nu }^{}(k)]=\epsilon _{\mu \nu \eta \zeta }k^\eta (\overline{c}^\zeta )^{}(k),[Q_D,b_{\mu \nu }(k)]=\epsilon _{\mu \nu \eta \zeta }k^\eta \overline{c}^\zeta (k),\hfill \\ & & [Q_D,\overline{b}^{}(k)]=0,[Q_D,\overline{b}(k)]=0,\hfill \\ & & \{Q_D,\overline{c}_\mu ^{}(k)\}=k_\mu \overline{b}^{}(k),\{Q_D,\overline{c}_\mu (k)\}=k_\mu \overline{b}(k),\hfill \\ & & \{Q_D,c_\mu ^{}(k)\}=k_\mu f_2^{}(k)\frac{1}{2}\epsilon _{\mu \nu \kappa \sigma }k^\nu (b^{\kappa \sigma })^{}(k),\hfill \\ & & \{Q_B,c_\mu (k)\}=k_\mu f_2(k)+\frac{1}{2}\epsilon _{\mu \nu \kappa \sigma }k^\nu b^{\kappa \sigma }(k),\hfill \\ & & [Q_D,f_1^{}(k)]=0,[Q_D,f_1(k)]=0,\hfill \\ & & [Q_D,f_2^{}(k)]=\frac{1}{2}k^\mu \overline{c}_\mu ^{}(k),[Q_D,f_2(k)]=\frac{1}{2}k^\mu \overline{c}_\mu (k),\hfill \\ & & [Q_D,b^{}(k)]=\frac{1}{2}k^\mu c_\mu ^{}(k),[Q_D,\overline{b}(k)]=+\frac{1}{2}k^\mu c_\mu (k).\hfill \end{array}$$
$`(4.15)`$
A few comments are in order now. First of all, it can be seen that the expansions for the vector anti-commuting (anti-)ghost fields $`(\overline{C}_\mu )C_\mu `$ in (4.13) are not consistent with the equations of motion $`\mathrm{}C_\mu =\frac{3}{2}_\mu (C),\mathrm{}\overline{C}_\mu =\frac{3}{2}_\mu (\overline{C})`$ unless we choose a gauge such that $`(C)=(\overline{C})=0`$ thereby implying $`\mathrm{}C_\mu =\mathrm{}\overline{C}_\mu =0`$. Second, the above choice will imply $`k^2=0,kc^{}=kc=0,k\overline{c}^{}=k\overline{c}=0`$ in the (momentum) phase space. Third, it is evident that the last four commutators of (4.14) and (4.15) will turn out to be zero for the above gauge choice. We shall come to these points in a more detailed fashion in the next section where we will discuss the connection between little group and cohomology.

Let us now concentrate on a single particle quantum state for the 2-form field with polarization tensor $`e_{\mu \nu }(k)=e_{\nu \mu }(k)`$. This can be created from the vacuum state by application of the creation operator $`b_{\mu \nu }^{}(k)`$ as

$$\begin{array}{ccc}e^{\mu \nu }(k)b_{\mu \nu }^{}(k)|vacm>|\stackrel{~}{e},vacm>.\hfill & & \end{array}$$
$`(4.16)`$
The physicality criteria on this single particle quantum state for the 2-form field leads to

$$\begin{array}{ccc}Q_B|\stackrel{~}{e},vacm>=0\hfill & & [Q_B,e^{\mu \nu }(k)b_{\mu \nu }^{}(k)]|vacm>=0,\hfill \\ Q_D|\stackrel{~}{e},vacm>=0\hfill & & [Q_D,e^{\mu \nu }(k)b_{\mu \nu }^{}(k)]|vacm>=0,\hfill \\ Q_W|\stackrel{~}{e},vacm>=0\hfill & & [Q_W,e^{\mu \nu }(k)b_{\mu \nu }^{}(k)]|vacm>=0.\hfill \end{array}$$
$`(4.17)`$
Exploiting the following commutation relations

$$\begin{array}{ccc}& & [Q_B,b_{\mu \nu }^{}(k)]=(k_\mu c_\nu ^{}(k)k_\nu c_\mu ^{}(k)),[Q_D,b_{\mu \nu }^{}(k)]=\epsilon _{\mu \nu \eta \xi }k^\eta (\overline{c}^\xi )^{}(k),\hfill \\ & & [Q_W,b_{\mu \nu }^{}(k)]=\frac{i}{2}[\epsilon _{\mu \nu \zeta \eta }k_\sigma \epsilon _{\mu \nu \zeta \sigma }k_\eta +\epsilon _{\nu \zeta \sigma \eta }k_\mu \epsilon _{\mu \zeta \sigma \eta }k_\nu ]k^\zeta (b^{\sigma \eta })^{}(k),\hfill \end{array}$$
$`(4.18)`$
where the top two equations have been taken from (4.14) and (4.15) and the last commutation relation has been extracted from the following bosonic symmetry transformations $`s_W=\{s_B,s_D\}`$ for the Lagrangian density (3.12)

$$\begin{array}{ccc}& & s_WB_{\mu \nu }=\epsilon _{\mu \nu \eta \zeta }^\eta (_\sigma B^{\sigma \zeta })+\frac{1}{2}\epsilon _{\nu \zeta \sigma \eta }_\mu (^\zeta B^{\sigma \eta })\frac{1}{2}\epsilon _{\mu \zeta \sigma \eta }_\nu (^\zeta B^{\sigma \eta }),\hfill \\ & & s_WC_\mu (x)=\frac{1}{2}_\mu (C),s_W\overline{C}_\mu (x)=+\frac{1}{2}_\mu (\overline{C}),s_W(\varphi _1,\varphi _2,\beta ,\overline{\beta })=0.\hfill \end{array}$$
$`(4.19)`$
These can be recast in terms of the commutation relations between $`Q_W`$ and the creation and annihilation operators for the fields as

$$\begin{array}{ccc}& & [Q_W,b_{\mu \nu }^{}(k)]=\frac{i}{2}[\epsilon _{\mu \nu \zeta \eta }k_\sigma \epsilon _{\mu \nu \zeta \sigma }k_\eta +\epsilon _{\nu \zeta \sigma \eta }k_\mu \epsilon _{\mu \zeta \sigma \eta }k_\nu ]k^\zeta (b^{\sigma \eta })^{}(k),\hfill \\ & & [Q_W,b_{\mu \nu }(k)]=\frac{i}{2}[\epsilon _{\mu \nu \zeta \eta }k_\sigma \epsilon _{\mu \nu \zeta \sigma }k_\eta +\epsilon _{\nu \zeta \sigma \eta }k_\mu \epsilon _{\mu \zeta \sigma \eta }k_\nu ]k^\zeta b^{\sigma \eta }(k),\hfill \\ & & [Q_W,c_\mu ^{}(k)]=\frac{i}{2}k_\mu (k^\nu c_\nu ^{}(k)),[Q_W,c_\mu (k)]=+\frac{i}{2}k_\mu (k^\nu c_\nu (k)),\hfill \\ & & [Q_W,\overline{c}_\mu ^{}(k)]=+\frac{i}{2}k_\mu (k^\nu \overline{c}_\nu ^{}(k)),[Q_W,\overline{c}_\mu (k)]=\frac{i}{2}k_\mu (k^\nu \overline{c}_\nu (k)).\hfill \end{array}$$
$`(4.20)`$
It is evident that the physicality conditions in (4.17) (which are the analogues of (4.10) for the 2D free Abelian theory) lead to the following restrictions

$$\begin{array}{ccc}& & e^{\mu \nu }(k)[k_\mu c_\nu ^{}(k)k_\nu c_\mu ^{}(k)]|vacm>=02[e^{\mu \nu }(k)k_\nu )]c_\mu ^{}(k)|vacm>=0,\hfill \\ & & e^{\mu \nu }(k)[\epsilon _{\mu \nu \eta \zeta }k^\eta (\overline{c}^\zeta )^{}(k)]|vacm>=0[\epsilon _{\mu \nu \eta \zeta }e^{\mu \nu }(k)k^\eta ](\overline{c}^\zeta )^{}(k)|vacm>=0,\hfill \\ & & \frac{i}{2}e^{\mu \nu }(k)[\epsilon _{\mu \nu \zeta \eta }k_\sigma \epsilon _{\mu \nu \zeta \sigma }k_\eta +\epsilon _{\nu \zeta \sigma \eta }k_\mu \epsilon _{\mu \zeta \sigma \eta }k_\nu ]k^\zeta (b^{\sigma \eta })^{}(k)|vacm>=0\hfill \\ & & i[\epsilon _{\mu \nu \zeta \eta }k_\sigma \epsilon _{\mu \zeta \sigma \eta }k_\nu ]e^{\mu \nu }(k)k^\zeta (b^{\sigma \eta })^{}(k)|vacm>=0.\hfill \end{array}$$
$`(4.21)`$
The top equation establishes the transversality condition for the 2-form gauge field because $`k_\mu \epsilon ^{\mu \nu }\epsilon ^{\mu \nu }k_\nu =0`$ shows that the polarization tensor and momenta are orthogonal to one-another. We draw this conclusion because $`c_\mu ^{}(k)|vacm>0`$ and it actually creates a quantum of the ghost field $`C_\mu (x)`$. For the transversality not to be satisfied, the above relation demonstrates the famous no-ghost theorem in the language of the BRST cohomology in the sense that the state $`c_\mu ^{}(k)|vacm>`$ is a BRST exact state and, hence, a cohomologically trivial state. The next condition due to the physicality criteria (w.r.t. the conserved and nilpotent co-BRST charge $`Q_D|phys>=0`$) finally implies the dual-transversality condition: $`\epsilon _{\mu \nu \kappa \zeta }e^{\nu \kappa }(k)k^\zeta =0`$. This relation is, in some sense, an extension of the the second equation of (4.10) (valid for the 2D free Abelian gauge theory) to the 4D free Abelian 2-form gauge theory. This also demonstrates the fact that if $`\epsilon _{\mu \nu \kappa \zeta }e^{\nu \kappa }(k)k^\zeta 0`$, the one-particle vector anti-ghost state $`\overline{c}_\mu ^{}(k)|vacm>`$ is a BRST co-exact state and, therefore, a trivial state as far as the BRST cohomology, HDT and choice of the physical state to be the harmonic state are concerned. This establishes the no-anti-ghost theorem (without resorting to the implementation of the anti-BRST charge ($`Q_{AB}`$) in the physicality criteria which also leads to the same conclusion). The last condition of (4.21), with the help of the transversality condition $`k_\mu e^{\mu \nu }(k)=e^{\mu \nu }(k)k_\nu =0`$, leads to the masslessness (i.e. $`\mathrm{}B_{\mu \nu }(x)=0k^2=k_0^2k_i^2=0`$) condition for the 2-form $`B_{\mu \nu }`$ field when we expand the whole equation in terms of the physical components of $`k^\mu `$ and $`e^{\mu \nu }(k)`$. Thus, ultimately, the criteria in (4.21) physically imply the transversality and masslessness of the free Abelian 2-form gauge field.

5 Wigner’s little group: (dual-)gauge transformations and cohomology

We begin with the most general form of the Wigner’s little group matrix $`\{W_\nu ^\mu (\theta ,u,v)\}`$ for a massless particle moving along the $`z`$-direction of the 4D spacetime manifold as \[30-35\]

$$\begin{array}{ccc}\{W(\theta ,u,v)\}=\left(\begin{array}{cccc}\left(1+\frac{u^2+v^2}{2}\right)& \left(ucos\theta vsin\theta \right)& \left(usin\theta +vcos\theta \right)& \left(\frac{u^2+v^2}{2}\right)\\ u& cos\theta & sin\theta & u\\ v& sin\theta & cos\theta & v\\ \left(\frac{u^2+v^2}{2}\right)& \left(ucos\theta vsin\theta \right)& \left(usin\theta +vcos\theta \right)& \left(1\frac{u^2+v^2}{2}\right)\end{array}\right),\hfill & & \end{array}$$
$`(5.1)`$
where $`\theta `$ is the rotational parameter and $`u,v`$ are the translational parameters defining $`T(2)`$ in the $`xy`$ plane. By definition, this matrix preserves the four momentum $`k^\mu =(\omega ,0,0,\omega )^T`$ of a massless ($`k^2=0`$) particle with energy $`\omega `$ and it can be factorized elegantly as

$$\begin{array}{ccc}(k^\mu )(k^\mu )^{}=W_\nu ^\mu (k^\nu )=(k^\mu ),W(\theta ,u.v)=R(\theta )W(0,u,v).\hfill & & \end{array}$$
$`(5.2)`$
The matrix $`R(\theta )`$ in the above represents the rotation about the z-axis

$$\begin{array}{ccc}R(\theta )=\left(\begin{array}{cccc}1& 0& 0& 0\\ 0& cos\theta & sin\theta & 0\\ 0& sin\theta & cos\theta & 0\\ 0& 0& 0& 1\end{array}\right),\hfill & & \end{array}$$
$`(5.3)`$
and the matrix $`\{W(0,u,v)\}`$ is found to be isomorphic to the two parameter translation group $`T(2)`$ (i.e. $`T(2)W(0,u,v)`$) in the two-dimensional Euclidean plane ($`xy)`$ which is a plane perpendicular to the propagation of the light-like (massless) particle along the z-direction. It is crystal clear that there exists no such kind of plane for the discussion of any arbitrary gauge theory in $`(1+1)`$-dimension (2D) of spacetime.

Now let us concentrate on the gauge transformation (2.6) on the 2-form free Abelian basic gauge field $`B_{\mu \nu }`$ (i.e. $`B_{\mu \nu }B_{\mu \nu }^{(g)}=B_{\mu \nu }+(_\mu \alpha _\nu _\nu \alpha _\mu )`$). This transformation, in the language of the anti-symmetric ($`e_{\mu \nu }(k)=e_{\nu \mu }(k)`$) polarization tensor can be expressed, in its contravariant form, as

$$\begin{array}{ccc}e^{\mu \nu }(k)(e^{\mu \nu })^{(g)}(k)=e^{\mu \nu }(k)+i[k^\mu \alpha ^\nu (k)k^\nu \alpha ^\mu (k)].\hfill & & \end{array}$$
$`(5.4)`$
For the massless ($`k^2=0`$) 2-form $`B_{\mu \nu }(x)`$ field, it can be seen, from the physicality condition (4.21) (with the BRST charge $`Q_B`$) that the momenta and the polarization tensor are orthogonal to one-another: $`k_\mu e^{\mu \nu }(k)=e^{\mu \nu }(k)k_\nu =0`$. This orthogonality condition can also be obtained from the equation of motion for the massless (i.e. $`k^2=0`$) 2-form gauge field $`B_{\mu \nu }(x)`$ when the Lagrangian density contains only the kinetic energy term. One has to put masslessness ($`k^2=0`$) condition, however, by hand in the latter case . This transversality condition reduces the six independent components of the anti-symmetric 4D tensor $`e^{\mu \nu }(k)`$ to three only (cf. (5.7) below). For this to be seen explicitly, we have the following matrix product

$$\begin{array}{ccc}k_\mu e^{\mu \nu }=0(\omega ,0,0,\omega )\left(\begin{array}{cccc}0& e^{01}& e^{02}& e^{03}\\ e^{01}& 0& e^{12}& e^{13}\\ e^{02}& e^{12}& 0& e^{23}\\ e^{03}& e^{13}& e^{23}& 0\end{array}\right)=0,\hfill & & \end{array}$$
$`(5.5)`$
where the covariant version of momentum 4-vector is taken to be $`k_\mu =(\omega ,0,0,\omega )^T`$ for our choice of the contravariant momentum vector $`k^\mu =(\omega ,0,0,\omega )^T`$. The above conditions yield the following relationships among the components of the polarization matrix $`\{e^{\mu \nu }(k)\}`$

$$\begin{array}{ccc}e^{03}=0,e^{01}+e^{13}=0,e^{02}+e^{23}=0.\hfill & & \end{array}$$
$`(5.6)`$
Thus, the above transversality condition (5.5) reduces the polarization tensor to

$$\begin{array}{ccc}\{e^{\mu \nu }(k)\}_{(r)}=\left(\begin{array}{cccc}0& e^{01}& e^{02}& 0\\ e^{01}& 0& e^{12}& e^{01}\\ e^{02}& e^{12}& 0& e^{02}\\ 0& e^{01}& e^{02}& 0\end{array}\right).\hfill & & \end{array}$$
$`(5.7)`$
Yet another reduction of the anti-symmetric tensor $`\{e^{\mu \nu }(k)\}`$ can be achieved by the choice of the infinitesimal gauge parameters $`\alpha `$’s of the transformation (5.4) for our choice of the 4-momenta $`k^\mu =(\omega ,0,0,\omega )^T`$. For instance, it can be checked that, for the following choice of the local gauge parameters

$$\begin{array}{ccc}\alpha ^1(k)=\frac{i}{\omega }e^{01}(k),\alpha ^2(k)=\frac{i}{\omega }e^{02}(k),\hfill & & \end{array}$$
$`(5.8)`$
one can gauge away the components $`e^{01}(k)`$ and $`e^{02}(k)`$ (i.e. $`(e^{01})(k)(e^{01}(k))^{(g)}=0,(e^{02})(k)(e^{02}(k))^{(g)}=0`$). Even through $`e^{03}(k)=0`$ due to (5.6), in the general gauge transformation (5.4) one has to choose $`\alpha ^0(k)=\alpha ^3(k)`$ for the identity (i.e. $`0=0`$) corresponding to the gauge transformation on $`e^{03}(k)`$, to be satisfied. Thus, ultimately, we are left with the anti-symmetric second-rank matrix $`\{e^{\mu \nu }(k)\}`$ with only one degree of freedom as

$$\begin{array}{ccc}\{e^{\mu \nu }(k)\}_{(R)}=e^{12}(k)\left(\begin{array}{cccc}0& 0& 0& 0\\ 0& 0& 1& 0\\ 0& 1& 0& 0\\ 0& 0& 0& 0\end{array}\right).\hfill & & \end{array}$$
$`(5.9)`$
At this juncture, we can exploit the crucial role played by the translation subgroup $`T(2)W(0,u,v)`$ of the Wigner’s little group in generating the gauge transformation for the polarization tensor as follows

$$\begin{array}{ccc}& & e^{\mu \nu }(k)(e^{\mu \nu })^{}(k)=(W)_\sigma ^\mu (e^{\sigma \kappa }(k))(W)_\kappa ^\nu W(0,u,v)e(k)W(0,u,v)^T,\hfill \\ & & e^{\mu \nu }(k)(e^{\mu \nu })^{}(k)=e^{12}(k)\left(\begin{array}{cccc}0& v& u& 0\\ v& 0& 1& v\\ u& 1& 0& u\\ 0& v& u& 0\end{array}\right),\hfill \end{array}$$
$`(5.10)`$
where the matrix product has been denoted by the dot ($``$) product. The above transformation can be re-expressed as

$$\begin{array}{ccc}\{e^{\mu \nu }(k)\}\{(e^{\mu \nu })^{}(k)\}=\{e^{\mu \nu }(k)\}_{(R)}+e^{12}(k)\left(\begin{array}{cccc}0& v& u& 0\\ v& 0& 0& v\\ u& 0& 0& u\\ 0& v& u& 0\end{array}\right),\hfill & & \end{array}$$
$`(5.11)`$
where the untransformed matrix $`\{e^{\mu \nu }(k)\}_{(R)}`$ is given in (5.9). This is obviously a gauge transformation corresponding to (5.4) for the following relationships among the parameters of the gauge symmetry group and the translation $`T(2)`$ subgroup of the Wigner’s little group

$$\begin{array}{ccc}\alpha ^1(k)=\frac{iv}{\omega }e^{12}(k),\alpha ^2(k)=\frac{iu}{\omega }e^{12}(k),\alpha ^3=\alpha ^0.\hfill & & \end{array}$$
$`(5.12)`$
It will be noted that the last condition comes from the consideration of the gauge transformation (5.4) on the component $`e^{03}(k)`$ (or $`e^{30}(k)`$). The other two conditions emerge from the gauge transformations on $`e^{01}(k),e^{02}(k),e^{13}(k),e^{23}(k)\mathrm{}.`$ etc. This establishes the connection between translation subgroup $`T(2)W(0,u,v)`$ of the Wigner’s little group and the gauge transformation defined in (2.6).

Now we dwell a bit on the origin of the dual-gauge transformation ($`B_{\mu \nu }(x)B_{\mu \nu }^{(dg)}(x)=B_{\mu \nu }(x)+\epsilon _{\mu \nu \kappa \xi }^\kappa \mathrm{\Sigma }^\xi (x)`$) defined in (2.6) in the framework of Wigner’s little group. It is clear that this transformation in the momentum space can be expressed, following , in terms of the transformation on the contravariant polarization anti-symmetric tensor $`e^{\mu \nu }(k)`$ as

$$\begin{array}{ccc}(e^{\mu \nu })(k)(e^{\mu \nu })^{(dg)}(k)=(e^{\mu \nu })(k)+i\epsilon ^{\mu \nu \eta \xi }k_\eta \mathrm{\Sigma }_\xi (k).\hfill & & \end{array}$$
$`(5.13)`$
We would like to answer the question: in the framework of the translation subgroup $`T(2)`$ of the Wigner’s little group, where is the existence of the dual-gauge transformation of (2.6) which has been expressed as (5.13)? It is evident that the argument, based on the transversality of the 2-form gauge field emerging from the physicality condition with the BRST charge $`Q_B`$, goes along the same lines till equation (5.7) where we have obtained the reduced polarization tensor $`\{e^{\mu \nu }(k)\}_{(r)}`$. It can be checked, using (5.13) and $`k_\mu =(\omega ,0,0,\omega )^T`$, that for the following choice of the infinitesimal dual-gauge parameters $`\mathrm{\Sigma }`$’s

$$\begin{array}{ccc}\mathrm{\Sigma }_1(k)=\frac{i}{\omega }e^{02}(k),\mathrm{\Sigma }_2(k)=\frac{i}{\omega }e^{01}(k),\hfill & & \end{array}$$
$`(5.14)`$
one can gauge away the components $`e^{01}(k)`$ and $`e^{02}(k)`$ from the matrix $`\{e^{\mu \nu }(k)\}_{(r)}`$ (i.e. $`(e^{01}(k)(e^{01})^{(dg)}(k)=0,e^{02}(k)(e^{02})^{(dg)}(k)=0`$). We note here that there is a kind of “duality” between (5.8) and (5.14) in the sense that

$$\begin{array}{ccc}\alpha ^1(k)\mathrm{\Sigma }_2(k),\alpha ^2(k)\mathrm{\Sigma }_1(k).\hfill & & \end{array}$$
$`(5.15)`$
The relationship in (5.14) finally allows us to obtain the reduced matrix $`\{e^{\mu \nu }(k)\}_{(R)}`$ of (5.9). Having obtained (5.9) by exploiting the dual-gauge transformations (5.13), the rest of the calculations related to the transformation of the polarization tensor $`e^{\mu \nu }(k)`$ by the translation subgroup $`T(2)W(0,u,v)`$ of the Wigner’s little group, are exactly the same as (5.10) and (5.11). It is very interesting to note that (5.11), not only demonstrates the existence of the gauge transformations (5.4) with the choice of parameters $`\alpha `$’s in (5.12), but it also establishes the existence of the dual-gauge transformations of (5.13) with the following relationships among the dual-gauge parameters $`\mathrm{\Sigma }`$’s and the parameters of the translation $`T(2)`$ subgroup of the Wigner’s little group

$$\begin{array}{ccc}\mathrm{\Sigma }_1(k)=\frac{iu}{\omega }e^{12}(k),\mathrm{\Sigma }_2(k)=\frac{iv}{\omega }e^{12}(k),\mathrm{\Sigma }_3(k)=\mathrm{\Sigma }_0(k),\hfill & & \end{array}$$
$`(5.16)`$
where the last relation $`\mathrm{\Sigma }_3(k)=\mathrm{\Sigma }_0(k)`$ emerges from the dual-gauge transformations (5.13) applied to the transformation for the polarization tensor component $`e^{12}(k)`$ (or $`e^{21}(k)`$). The expressions for the infinitesimal dual-gauge parameters $`\mathrm{\Sigma }_1(k)`$ and $`\mathrm{\Sigma }_2(k)`$ in the above equation are derived from the transformation properties of the polarization tensor components $`e^{01}(k),e^{02}(k),e^{13}(k),e^{23}(k)\mathrm{}`$ etc. Moreover, the “duality” kind of transformations of (5.15) are reflected here too if we compare the relationships obtained in (5.12) and (5.16).

Now let us concentrate briefly on the other independent restriction (i.e. $`\epsilon _{\mu \nu \kappa \zeta }e^{\nu \kappa }(k)k^\zeta =0`$) that emerges from the physicality condition with the dual-BRST charge $`Q_D`$ in (4.21). From this relation too, we can show that there is only a single degree of freedom associated with the 4D polarization tensor $`e^{\mu \nu }(k)`$ for the massless 2-form gauge field $`B_{\mu \nu }(x)`$. In contrast to the transversality condition (5.5) that has been used earlier to derive (5.6), it can be checked that for $`\mu =0,1,2,3`$, we obtain the following relationships among some of the six-independent components of the 4D polarization tensor matrix $`\{e^{\mu \nu }(k)\}`$

$$\begin{array}{ccc}e^{12}=0,e^{01}+e^{13}=0,e^{02}+e^{23}=0,\hfill & & \end{array}$$
$`(5.17)`$
from the dual-transversality relationship $`\epsilon _{\mu \nu \kappa \zeta }e^{\nu \kappa }(k)k^\zeta =0`$ where $`k^\mu =(\omega ,0,0,\omega )^T`$. Thus, the reduced form ($`\{e^{\mu \nu }(k)\}_{(red)})`$ of the polarization tensor is

$$\begin{array}{ccc}\{e^{\mu \nu }(k)\}_{(red)}=\left(\begin{array}{cccc}0& e^{01}& e^{02}& e^{03}\\ e^{01}& 0& 0& e^{01}\\ e^{02}& 0& 0& e^{02}\\ e^{03}& e^{01}& e^{02}& 0\end{array}\right).\hfill & & \end{array}$$
$`(5.18)`$
From the above reduced polarization tensor matrix $`\{e^{\mu \nu }(k)\}_{(red)}`$, one can gauge away $`e^{01}(k)`$ and $`e^{02}(k)`$ either (i) by the gauge transformations (5.4) with the choice of and relationship between the gauge parameters $`\alpha `$’s as

$$\begin{array}{ccc}\alpha ^1(k)=\frac{i}{\omega }e^{01}(k),\alpha ^2(k)=\frac{i}{\omega }e^{02}(k),\alpha ^0(k)=\alpha ^3(k),\hfill & & \end{array}$$
$`(5.19)`$
(where the last restriction emerges from the transformation of the component $`e^{03}(k)=e^{30}(k)`$), or (ii) by choosing the dual-gauge parameters $`\mathrm{\Sigma }`$’s in transformations (5.13) as

$$\begin{array}{ccc}\mathrm{\Sigma }_1(k)=\frac{i}{\omega }e^{02}(k),\mathrm{\Sigma }_2(k)=+\frac{i}{\omega }e^{01}(k),\hfill & & \end{array}$$
$`(5.20)`$
which is the analogue of (5.14) (with merely a sign difference). It is clear that $`e^{12}(k)=0`$ due to (5.17). However, as far as the general dual-gauge transformation (5.13) is concerned, for the validity of the identity (i.e. $`0=0`$) corresponding to the transformations (5.13) on $`e^{12}(k)`$, one has to choose $`\mathrm{\Sigma }_3(k)=\mathrm{\Sigma }_0(k)`$. Final reduced version of the polarization tensor (i.e. the analogue of (5.9)) with the restriction $`\epsilon _{\mu \nu \kappa \zeta }e^{\nu \kappa }(k)k^\zeta =0`$ is

$$\begin{array}{ccc}\{e^{\mu \nu }(k)\}_{(Red)}=e^{03}(k)\left(\begin{array}{cccc}0& 0& 0& 1\\ 0& 0& 0& 0\\ 0& 0& 0& 0\\ 1& 0& 0& 0\end{array}\right).\hfill & & \end{array}$$
$`(5.21)`$
Now we can check the action of the translation subgroup $`T(2)W(0,u,v)`$ on the reduced polarization tensor (5.21) in generating the (dual-)gauge transformations. It can be calculated explicitly to see that the analogue of the equation (5.11) is now

$$\begin{array}{ccc}\{e^{\mu \nu }(k)\}\{(e^{\mu \nu })^{}(k)\}=\{e^{\mu \nu }(k)\}_{(Red)}+e^{03}(k)\left(\begin{array}{cccc}0& v& u& 0\\ u& 0& 0& u\\ v& 0& 0& v\\ 0& v& u& 0\end{array}\right),\hfill & & \end{array}$$
$`(5.22)`$
where $`\{e^{\mu \nu }(k)\}_{(Red)}`$ is defined in (5.21). This transformation corresponds to the gauge transformation (5.4) with the following choice of the infinitesimal gauge parameters $`\alpha `$’s

$$\begin{array}{ccc}\alpha ^1(k)=\frac{iu}{\omega }e^{03}(k),\alpha ^2(k)=\frac{iv}{\omega }e^{03}(k),\alpha ^3(k)=\alpha ^0(k),\hfill & & \end{array}$$
$`(5.23)`$
where the last relation emerges from the transformation of the polarization component $`e^{03}(k)`$ (or $`e^{30}(k)`$) and the rest of the relationships emerge from the transformations of the components $`e^{01}(k),e^{02}(k),e^{13}(k)..`$ etc. It is extremely interesting to point out that the transformations (5.22) also contain the dual-gauge transformation of (5.13) for the following choice of the dual-gauge parameters

$$\begin{array}{ccc}\mathrm{\Sigma }_1(k)=\frac{iv}{\omega }e^{03}(k),\mathrm{\Sigma }_2(k)=\frac{iu}{\omega }e^{03}(k).\hfill & & \end{array}$$
$`(5.24)`$
Here the transformation property of the component $`e^{12}(k)`$ under the dual-gauge transformation (5.13) has not been discussed because $`e^{12}(k)=0`$ due to (5.17). However, if one discusses it in the general framework of dual-gauge transformation (5.13), the corresponding identity (i.e. $`0=0`$) will be satisfied iff $`\mathrm{\Sigma }_3=\mathrm{\Sigma }_0`$. It is worth pointing out that (i) here there is no restriction like the last relationship of (5.16), and (ii) the duality of (5.15) do exist here too between (5.23) and (5.24).

At this stage, there are a few comments in order. First, it is unequivocally clear that the conditions (i) $`e^{\mu \nu }(k)k_\nu =k_\mu e^{\mu \nu }(k)=0`$, and (ii) $`\epsilon _{\mu \nu \kappa \zeta }e^{\nu \kappa }(k)k^\zeta =0`$ emerging from the physicality criteria (4.21) with the (co-)BRST charges $`(Q_{(D)B}`$) imply both the gauge and dual-gauge transformations which are primarily incorporated in the transformations generated by the translation $`T(2)`$ subgroup of the Wigner’s little group. Thus, we note that the (dual-)gauge transformations, (co-)BRST transformations and the transformations generated by the translation subgroup $`T(2)`$ of the Wigner’s little group are inter-related. Second, it can be seen from the equations (5.5), (5.6) and (5.9) that the transversality condition and the gauge (or BRST) transformations imply that only $`e^{12}(k)`$ is the single degree of freedom left for the 2-form field $`B_{\mu \nu }(x)`$. On top of it, if we apply the dual-transversality condition independently, we can get rid of $`e^{12}(k)`$ as well (cf. (5.17)). Thus, the 2-form field $`B_{\mu \nu }(k)`$ becomes topological in nature. In fact, it has been shown that the total (co-)BRST invariant theory, described by (3.12), is a quasi-topological theory  because, in addition to the topological field $`B_{\mu \nu }`$, the scalar fields $`\varphi _1,\varphi _2`$ and the ghost fields do exist in the theory. Third, we have not considered here the restrictions emerging from the bosonic conserved charge $`Q_W`$ because it is automatically implied when both the conditions due to (co-)BRST charges ($`Q_{(D)B}`$) are taken into account together in an independent way.

Let us now come back to the discussion about our comments after equation (4.15). Exploiting the (anti-)commutators of (4.14) and (4.15) and invoking the nilpotency ($`Q_{(D)B}^2=0`$) of the (co-)BRST charges ($`Q_{(D)B}`$), it can be checked that the following commutation relations

$$\begin{array}{ccc}& & [Q_B,\{Q_B,\overline{c}_\mu ^{}(k)\}]=0,[Q_B,\{Q_B,\overline{c}_\mu (k)\}]=0,\hfill \\ & & [Q_D,\{Q_D,c_\mu ^{}(k)\}]=0,[Q_D,\{Q_D,c_\mu (k)\}]=0,\hfill \end{array}$$
$`(5.25)`$
are satisfied iff $`k^2=0,k\overline{c}^{}=k\overline{c}=0,kc^{}=kc=0`$. In fact, the masslessness condition $`k^2=0`$ is satisfied because of our choice of the momentum 4-vectors $`k^\mu =(\omega ,0,0,\omega )^T,k_\mu =(\omega ,0,0,\omega )^T`$. However, the latter relations emerge from the condition $`_\mu C^\mu ^\mu C_\mu =(C)=0kc^{}=kc=0`$ and condition $`_\mu \overline{C}^\mu ^\mu \overline{C}_\mu =(\overline{C})=0k\overline{c}^{}=k\overline{c}=0`$. We lay emphasis on the fact that these conditions are met in our whole discussion. In fact, it is clear that, in the BRST formalism, the polarization tensor $`e^{\mu \nu }(k)`$ transforms as

$$\begin{array}{ccc}& & e^{\mu \nu }(k)e^{\mu \nu }(k))^{(db)}=e^{\mu \nu }(k)+i\epsilon ^{\mu \nu \kappa \zeta }_\kappa \overline{C}_\zeta (k),\hfill \\ & & e^{\mu \nu }(k)e^{\mu \nu }(k))^{(b)}=e^{\mu \nu }(k)+i[k^\mu C^\nu (k)k^\nu C^\mu (k)],\hfill \end{array}$$
$`(5.26)`$
which are nothing but the generalizations of the (dual-)gauge transformations to (co-)BRST transformations (5.13) and (5.4) where $`\alpha ^\mu (k)C^\mu (k)`$ and $`\mathrm{\Sigma }^\mu (k)\overline{C}^\mu (k)`$. It is very clear and transparent now that the last relationships of the (dual-)gauge transformations (5.16) and (5.12) are replaced by the vector (anti-)ghost fields of the (co-)BRST transformations as

$$\begin{array}{ccc}\overline{C}_3(k)=\overline{C}_0(k),C^3(k)=C^0(k),\hfill & & \end{array}$$
$`(5.27)`$
which very convincingly satisfy $`kC(k)=k\overline{C}(k)=0`$ implying $`kc^{}=kc=0,k\overline{c}^{}=k\overline{c}=0`$ with our choice of the momentum vectors as $`k^\mu =(\omega ,0,0,\omega )^T,k_\mu =(\omega ,0,0,\omega )^T`$. The above conclusions can be drawn from the (dual-)gauge transformations (5.24) and (5.23) as well. For the proof of $`\overline{C}_3(k)=\overline{C}_0(k)`$, it will be worthwhile to go through the discussions after equation (5.24). Thus, it is obvious that all the crucial comments after (4.15) are justified and there is nothing in the theory that has been imposed from outside.

Now we would like to end this section with a few brief comments about the connection between the (dual-)gauge transformed states (that are also connected with the transformation on the polarization tensor $`e^{\mu \nu }(k)`$ by the translation $`T(2)`$ subgroup of the Wigner’s little group) in the QHSS and the BRST cohomology w.r.t. the conserved and nilpotent (co-)BRST charges. It is evident that a single particle quantum state of the 2-form field (SPQS) with the polarization tensor $`e^{\mu \nu }(k)`$ can be created from the vacuum by the application of the creation operator $`b_{\mu \nu }^{}(k)`$ (i.e. $`e^{\mu \nu }(k)b_{\mu \nu }^{}(k)|vacm>`$) as given by (4.16). Exploiting the (anti-)commutation relations of (4.14), it can be checked that

$$\begin{array}{ccc}& & 2[Q_B,(c^\mu )^{}(k)\overline{c}_\mu ^{}(k)]=2\{Q_B,(c^\mu )^{}(k)\}\overline{c}_\mu ^{}(k)+2(c^\mu )^{}(k)\{Q_B,\overline{c}_\mu ^{}(k)\}\hfill \\ & & 2b^{}(k)[k\overline{c}^{}(k)]+2[kc^{}(k)]f_1^{}(k)2[k^\nu (c^\mu )^{}(k)]b_{\mu \nu }^{}(k).\hfill \end{array}$$
$`(5.28)`$
Applying our observation that $`k\overline{c}^{}=kc^{}=0`$, it is straightforward to see that the above commutator, ultimately, reduces to the following expression (with $`b_{\mu \nu }^{}(k)=b_{\nu \mu }^{}(k)`$)

$$\begin{array}{ccc}2[Q_B,(c^\mu )^{}(k)\overline{c}_\mu ^{}(k)]=+[k^\mu (c^\nu )^{}(k)k^\mu (c^\mu )^{}(k)]b_{\mu \nu }^{}(k).\hfill & & \end{array}$$
$`(5.29)`$
The physical implication of the above equation emerges when it is applied on the physical vacuum state (i.e. $`Q_B|vacm>=0`$) of the theory as given below

$$\begin{array}{ccc}& & [k^\mu (c^\nu )^{}(k)k^\mu (c^\mu )^{}(k)]b_{\mu \nu }^{}(k)|vacm>=2[Q_B,(c^\mu )^{}(k)\overline{c}_\mu ^{}(k)]|vacm>\hfill \\ & & Q_B\left(2[(c^\mu )^{}(k)\overline{c}_\mu ^{}(k)]\right)|vacm>.\hfill \end{array}$$
$`(5.30)`$
It is lucid and clear that the above state is a BRST exact state and, hence, in the language of HDT and BRST cohomology, it is a trivial state. Taking the sum of the equations (4.16) and (5.30) (with a factor of $`i`$), we obtain the following relationship between the gauge (i.e. BRST) transformed SPQS and the original SPQS (4.16)

$$\begin{array}{ccc}& & \left(e^{\mu \nu }(k)+i[k^\mu (c^\nu )^{}(k)k^\mu (c^\mu )^{}(k)]\right)b_{\mu \nu }^{}(k)|vacm>\hfill \\ & & =e^{\mu \nu }(k)b_{\mu \nu }^{}(k)|vacm>+Q_B\left(2i[(c^\mu )^{}(k)\overline{c}_\mu ^{}(k)]\right)|vacm>.\hfill \end{array}$$
$`(5.31)`$
This establishes the fact that a gauge (or BRST) transformed state in the quantum Hilbert space (that is connected with the transformation on the polarization tensor $`e^{\mu \nu }(k)`$ by the translation subgroup $`T(2)`$ of the Wigner’s little group) is the sum of the original SPQS plus a BRST exact state. In more sophisticated language, the gauge (or BRST) transformed SPQS and the original SPQS belong to the same cohomology class w.r.t. the conserved ($`\dot{Q}_B=0`$) and nilpotent ($`Q_B^2=0`$) BRST charge $`Q_B`$. Similarly, it can be checked, exploiting the (anti-)commutators of (4.15), that the dual-gauge (or co-BRST) transformed SPQS and the original SPQS in the quantum Hilbert space of states are related to each-other as

$$\begin{array}{ccc}& & \left(e^{\mu \nu }(k)+i[\epsilon ^{\mu \nu \sigma \zeta }k_\sigma \overline{c}_\zeta ^{}(k)]\right)b_{\mu \nu }^{}(k)|vacm>=e^{\mu \nu }(k)b_{\mu \nu }^{}(k)|vacm>\hfill \\ & & +Q_D\left(2i[(\overline{c}^\mu )^{}(k)c_\mu ^{}(k)]\right)|vacm>,\hfill \end{array}$$
$`(5.32)`$
where we have used the following commutation relationship

$$\begin{array}{ccc}& & 2[Q_D,(\overline{c}^\mu )^{}(k)c_\mu ^{}(k)]=2\{Q_D,(\overline{c}^\mu )^{}(k)\}c_\mu ^{}(k)+2(\overline{c}^\mu )^{}(k)\{Q_D,c_\mu ^{}(k)\}\hfill \\ & & 2\overline{b}^{}(k)[kc^{}(k)]+2[k\overline{c}^{}(k)]f_2^{}(k)+\epsilon _{\mu \nu \kappa \sigma }k^\mu (\overline{c}^\nu )^{}(b^{\kappa \sigma })^{}(k).\hfill \end{array}$$
$`(5.33)`$
This demonstrates that a dual-gauge (or co-BRST) transformed SPQS and the original SPQS belong to the same cohomology class w.r.t. the conserved ($`\dot{Q}_D=0`$) and nilpotent ($`Q_D^2=0`$) co-BRST charge $`Q_D`$. Thus, it is obvious that if we take into account the following three basic ideas: (i) the BRST cohomology w.r.t. (co-)BRST charges (ii) the HDT applied to the states of the quantum Hilbert space, and (iii) the choice of the physical states (as well as the vacuum) to be the harmonic states of the HDT, it can be proven explicitly that the (dual-)gauge (or (co-)BRST) transformed SPQS (that corresponds to the transformations on $`e^{\mu \nu }(k)`$ by the translation subgroup $`T(2)`$ of the Wigner’s little group) and the original SPQS belong to the same cohomology class w.r.t. (co-)BRST charges $`Q_{(D)B}`$.

As commented after the equation (5.3), it is unequivocally clear that the Wigner’s little group for any arbitrary 2D gauge theory is trivial. In fact, the matrix representation for it becomes identity matrix (cf. (5.1)). Thus, the (dual-)gauge transformations, discussed in section 2, for the free 2D Abelian gauge theory can not be described in the framework of Wigner’s little group. However, it can be discussed in the framework of BRST cohomology based on the constraint analysis of the theory. In fact, physically there is nothing in the free 2D Abelian gauge theory because of the fact that both the degrees of freedom of the photon can be gauged away by the (dual-)gauge (or (co-)BRST) transformations. In other words, both the components of the polarization vector $`e_\mu (k)`$ in 2D can be gauged away by the (dual-)gauge (or (co-)BRST) transformations. Thus, the arguments of the translation subgroup $`T(2)`$ of the Wigner’s little group does not work for 2D free Abelian gauge theory.

6 Conclusions

In our present investigation, we have demonstrated an interesting connection between (i) the (dual-)gauge transformations on the polarization tensor $`e^{\mu \nu }(k)=e^{\nu \mu }(k)`$ of the 4D free Abelian 2-form gauge field generated by the first-class constraints of the theory, and (ii) similar transformations generated by the (Abelian invariant) two-parameter translation subgroup $`T(2)`$ of the Wigner’s little group. Both the above transformations are shown to be equivalent for certain specific relationships among the (dual-)gauge parameters of the internal symmetry transformation group and the parameters of the translation subgroup $`T(2)`$ of the Wigner’s little group (which does not transform the momentum vector $`k_\mu `$ of the massless gauge particle). The latter parameters characterize the Euclidean plane $`(xy)`$ which is perpendicular to the $`z`$-direction of the propagation of the massless ($`k^2=0`$) gauge particle. In the framework of the BRST cohomology and HDT applied to the QHSS, it is established in our present endeavour that the (dual-)gauge (or (co-)BRST) transformed states in the QHSS are the sum of the original (untransformed) states plus the (co-)BRST exact states. Thus, it becomes crystal clear that the changes in the original state due to the (dual-)gauge (or (co-)BRST) transformations correspond to the cohomologically trivial states as they satisfy trivially the physicality condition $`Q_B|phys>=0,Q_D|phys>=0,Q_W|phys>=0`$ for our choice of the physical states to be the harmonic states. This happens primarily due to the nilpotency ($`Q_{(D)B}^2=0`$) of the (co-)BRST charges $`(Q_{(D)B}`$) and the definition of the bosonic charge $`Q_W=Q_BQ_D+Q_DQ_B`$ (which turns out to be the analogue of the Laplacian operator). These statements can be proven in terms of the nilpotent and conserved anti-BRST charge $`(Q_{AB})`$ and anti-co-BRST charge $`(Q_{AD})`$ as well.

It is interesting to point out that, in the framework of BRST formalism, the equation of motion $`\mathrm{}B_{\mu \nu }=0`$ for the 2-form gauge field is such that the masslessness condition ($`k^2=0`$) is implied automatically unlike the discussions in  where the massive and massless cases for the above field are considered separately. In fact, in , the Lagrangian density is not gauge-fixed to start with and it contains the kinetic energy term ($`_0=\frac{1}{12}H^{\mu \nu \kappa }H_{\mu \nu \kappa }`$) only. This is why the transversality condition $`k_\mu e^{\mu \nu }(k)=e^{\mu \nu }(k)k_\nu =0`$ emerges from the equation of motion when the masslessness condition ($`k^2=0`$) is imposed from outside by hand. This is not the case in our discussion because it is based on the BRST formalism where the Lagrangian density is gauge-fixed right from the beginning. In fact, for our description in the framework of the BRST formalism, the transversality condition (i.e. $`k_\mu e^{\mu \nu }(k)=e^{\mu \nu }(k)k_\nu =0`$) and the dual-transversality condition (i.e. $`\epsilon _{\mu \nu \sigma \zeta }e^{\nu \sigma }(k)k^\zeta =0`$) emerge from the physicality criteria w.r.t. the conserved and nilpotent (co-)BRST charges (cf. (4.21)). It is extremely gratifying to point out that the transformed polarization matrices (5.11) and (5.22) due to $`T(2)`$ subgroup of the Wigner’s little group contain both the gauge and the dual-gauge transformations (5.4) and (5.13) for the specific choices and inter-relationships among some of the (dual-)gauge transformation parameters. In fact, the latter transformation parameters are chosen in terms of the parameters of the translation $`T(2)`$ subgroup of the Wigner’s little group in a certain specific way (cf. (5.12), (5.16), (5.23), (5.24)) for the validity of our above claim. These statements can be recast and re-expressed in the language of BRST formalism where the (dual-)gauge transformation parameters are replaced by the anti-commuting (anti-)ghost fields. Another interesting feature, connected with the equations of motion for the fermionic vector (anti-)ghost fields (i.e. $`\mathrm{}C_\mu =\frac{3}{2}_\mu (C),\mathrm{}\overline{C}_\mu =\frac{3}{2}_\mu (\overline{C})`$) is the normal mode expansions in (4.13). It will be noted that the expansion in (4.13) can be true iff $`\mathrm{}C_\mu =\mathrm{}\overline{C}_\mu =0`$ which imply that $`(C)=(\overline{C})=0`$. These conditions in the momentum phase space will correspond to $`k^2=0,kC=k\overline{C}=0`$. It is nice to point out that these conditions are met throughout our discussions because of the choice of the 4-momentum vectors $`k^\mu =(\omega ,0,0,\omega )^T,k_\mu =(\omega ,0,0,\omega )^T`$ and the conditions $`\overline{C}_3=\overline{C}_0,C^3=C^0`$ (cf. (5.27)) on the (anti-)ghost fields which emerge due to the equivalence between the (dual-)gauge (or (co-)BRST) transformations on the polarization tensor $`e^{\mu \nu }(k)`$ and such type of transformations generated by the translational subgroup $`T(2)`$ of the Wigner’s little group. Rest of the normal mode expansions in (4.13) are consistent with the equations of motion emerging from the Lagrangian density (3.12) that respects the on-shell nilpotent (co-)BRST symmetries. Thus, the Wigner’s little group plays a very decisive and crucial role in the correctness of the normal mode expansion in (4.13).

For the 2D free Abelian one-form gauge theory, it is clear that the Wigner’s little group becomes trivial and it generates no transformation on the polarization vector $`e_\mu (k)`$. By contrast, in the framework of the BRST cohomology, the (dual-)gauge transformations on $`e_\mu (k)`$ can be discussed elegantly which finally imply that this theory belongs to a new class of topological field theory (see, e.g.,  for details). As far as the degrees of freedom count on $`e^{\mu \nu }(k)`$ for the 2-form gauge theory is concerned, it turns out that all the components of $`e^{\mu \nu }(k)`$ can be gauged away by exploiting the (co-)BRST symmetries together, treating them in an independent way. However, it has been shown  that the total (co-)BRST invariant Lagrangian density (3.12) does not represent an exact topological field theory. Rather, it presents an example of a quasi-topological field theory in the flat 4D spacetime (see, e.g.,  for details) because the additional scalar fields $`\varphi _1,\varphi _2`$ and the ghost fields do exist in the theory besides the topological field $`B_{\mu \nu }`$. It would be nice to generalize our present work to the discussion of the higher rank anti-symmetric tensor fields in 4D and more than 4D of spacetime following the method adopted in . Another direction that could be pursued is the discussion of the (dual-)gauge (or (co-)BRST) type symmetries for the case of the linearized gravity theory which has been recently studied in the framework of the Wigner’s little group . These are some of the issues that are under investigation and our results would be reported elsewhere in our future publications .

Note Added in the Proof: After our paper was accepted for publication, we came to know about a paper: H. Hata, T. Kugo and N. Ohta Nucl. Phys. 178, 527 (1981) where BRST analysis has been performed, albeit in a different context, for the 2-form gauge field.