^{1}

^{*}

^{2}

^{3}

We study the Hamiltonian, path integral and Becchi-Rouet-Stora and Tyutin (BRST) formulations of the restricted gauge theory of
*QCD _{2}* à la Cho et al. under appropriate gauge-fixing conditions.

In this work we consider the restricted gauge theory of quantum chromodynamics (QCD) in one-space one-time dimension (QCD_{2}) à la Cho et al. [

However, in the usual Hamiltonian and path integral quantization [

The paper is organized as follows. In the next section, we briefly recap the basics of the so-called restricted gauge theory of QCD_{2} à la Cho et al. [

In this section, we recap the basics of the restricted gauge theory of QCD_{2} à la Cho et al. [

The non-Abelian gauge theory has rich topological structures manifested by the non-Abelian monopoles, the multiple vacua and the instantons and one needs to take into account these topological characters in the non-Abelian dynamics. Since the decomposition of the non-Abelian connection contains these topological degrees explicitly, it can naturally take care of them in the non-Abelian dynamics.

An important consequence of the decomposition is that it allows one to view QCD as the restricted gauge theory (made of the restricted potential) which is coupled to a gauge-covariant colored vector field (the valence potential). The restricted potential is defined in such a way that it allows a covariantly constant unit isovector n ^ everywhere in space-time, which enables one to define the gauge-independent color direction everywhere in space-time and, at the same time, allows one to define the magnetic potential of the non-Abelian monopoles. Furthermore it has the full SU(2) gauge degrees of freedom, in spite of the fact that it is restricted. Consequently, the restricted QCD made of the restricted potential describes a very interesting dual dynamics of its own, and plays a crucial role in the understanding of QCD.

On the other hand, the restricted QCD is a constrained system, due to the presence of the topological field n ^ which is constrained to have the unit norm. A natural way to accommodate the topological degrees into the theory is to introduce a topological field n ^ of unit norm, and to decompose the connection into the Abelian projection part which leaves n ^ a covariant constant and the remaining part which forms a covariant vector field:

A μ = A μ n ^ − 1 g n ^ × ∂ μ n ^ + X μ = A ^ μ + X μ A μ = n ^ ⋅ A μ n ^ 2 = 1 (1a)

where A μ is the “electric” potential and the Abelian projection A μ is precisely the connection which leaves n ^ invariant under the parallel transport and makes n ^ a covariant constant:

D ^ μ n ^ = ∂ μ n ^ + g A ^ μ × n ^ = 0 (2)

Also, under the infinitesimal gauge-transformation:

δ A μ = 1 g D μ α → , δ A μ = 1 g n ^ ⋅ ∂ μ α → , δ A ^ μ = 1 g D ^ μ α → δ X μ = − α → × X μ , δ n ^ = − α → × n ^ (3)

This shows that A μ by itself describes an S U ( 2 ) connection which enjoys the full S U ( 2 ) gauge degrees of freedom. The restricted potential A μ is defined by the Abelian projection and the connection space (the space of all gauge potentials) forms an affine space. Indeed the affine nature of the connection space guarantees that one can describe an arbitrary potential simply by adding a gauge-covariant piece X μ to the restricted potential.

The above mentioned decomposition is known as the Cho-decomposition or the Cho-Faddeev-Niemi decomposition. It was introduced [_{2} has been studied by many authors and for further details we refer to the work of Refs. [

The restricted potential A μ actually has a dual structure and the field strength made of the restricted potential is decomposed as:

F ^ μ ν = ( F μ ν + H μ ν ) n ^ , F μ ν = ( ∂ μ A ν − ∂ ν A μ ) (4a)

H μ ν = − 1 g n ^ ⋅ ( ∂ μ n ^ × ∂ ν n ^ ) = ( ∂ μ C ˜ ν − ∂ ν C ˜ μ ) (4b)

where C μ is the “magnetic” potential. Further, following the work of Refs. [

∂ μ H ˜ μ ν = 0 , H ˜ μ ν = 1 2 ϵ μ ν ρ σ H ρ σ (5)

which allows one to identify the non-Abelian monopole potential by:

C μ = − 1 g n ^ × ∂ μ n ^ (6)

in terms of which the magnetic field is expressed as

H μ ν = ∂ μ C ν − ∂ ν C μ + g C μ × C ν = − 1 g ∂ μ n ^ × ∂ ν n ^ = H μ ν n ^ (7)

With the above connection (-albeit decomposition) one has:

F μ ν = [ ( F μ ν + H μ ν ) n ^ + D ^ μ X ν − D ^ ν X μ + g X μ × X ν ] n ^ ⋅ X μ = 0 n ^ ⋅ D ^ μ X ν = 0 (8)

and for the Yang-Mills Lagrangian density one has: [

L ˜ = [ − 1 4 F ^ μ ν F ^ μ ν − 1 4 ( D ^ μ X ν − D ^ ν X μ ) 2 − g 2 F ^ μ ν ⋅ ( X μ × X ν ) − g 2 4 ( X μ × X ν ) 2 + λ ( n ^ 2 − 1 ) + λ μ n ^ ⋅ X μ ] (9)

where λ and λ μ are the Lagrange multiplier fields and g μ ν : = g μ ν = d i a g ( + 1 , − 1 ) . The Lagrangian density of the so-called restricted gauge theory made of the Abelian projection without X μ is therefore defined by [

L = [ − 1 4 F ^ μ ν F ^ μ ν + λ ( n ^ 2 − 1 ) ] (10)

The theory defined by the above Lagrangian density has a full S U ( 2 ) gauge invariance and it describes the dual dynamics of QCD with the dynamical degrees of the maximal Abelian subgroup U(1) as the electric component and the topological degrees of SU(2) as the magnetic component. It therefore represents an important model in the QCD theory namely, in QCD_{2} and deserves to be studied more properly. One of the important steps in this direction is to construct the quantum theory corresponding to this classical theory of QCD_{2} by quantizing the theory. This provides motivation for the present studies and in fact, necessitates our presents studies. In the next section, we consider the Hamiltonian and path integral formulations of this constrained theory.

We now study the Hamiltonian and path integral quantization of the above restricted gauge theory of QCD_{2} (made of the Abelian projection without X μ ) defined by the Lagrangian density [

L = [ − 1 4 F ^ μ ν F ^ μ ν + λ ( n ^ 2 − 1 ) ] = [ − 1 4 G μ ν G μ ν + λ ( n ^ 2 − 1 ) ] = [ − 1 4 ( F μ ν + H μ ν ) ( F μ ν + H μ ν ) + λ ( n ^ 2 − 1 ) ] = [ − 1 4 F μ ν F μ ν − 1 2 F μ ν H μ ν − 1 4 H μ ν H μ ν + λ ( n ^ 2 − 1 ) ] (11)

In the instant-form (IF) of dynamics, the above Lagrangian density reads:

L = [ 1 2 ( ∂ 0 A 1 − ∂ 1 A 0 ) 2 + 1 g ( ∂ 0 A 1 − ∂ 1 A 0 ) Φ + 1 2 g 2 Φ 2 + λ ( n ^ 2 − 1 ) ] (12a)

Φ = [ ∂ 0 n ^ ⋅ ( n ^ × ∂ 1 n ^ ) ] (12b)

Here Φ is another topological scalar field constructed out of the topological field n ^ (of unit norm) and its space derivative ( ∂ 1 n ^ ) as well as its time derivative ( ∂ 0 n ^ ), as defined above. The canonical momenta obtained for the above theory are:

Π λ = ∂ L ∂ ( ∂ 0 λ ) = 0 , Π 0 = ∂ L ∂ ( ∂ 0 A 0 ) = 0 (13a)

E ( : = Π 1 ) = ∂ L ∂ ( ∂ 0 A 1 ) = ( ∂ 0 A 1 − ∂ 1 A 0 ) + 1 g Φ (13b)

Π ^ n ^ = ∂ L ∂ ( ∂ 0 n ^ ) = − 1 g ( ∂ 0 A 1 − ∂ 1 A 0 ) ( n ^ × ∂ 1 n ^ ) (13c)

Here Π λ , Π 0 , E ( : = Π 1 ) , and Π ^ n ^ are the momenta conjugate canonically to λ , A 0 , A 1 , and n ^ respectively. The above equations however, imply that the theory possesses three primary constraints:

χ 1 = Π λ ≈ 0

Ω 1 = Π 0 ≈ 0

ψ 1 = n ^ ⋅ Π ^ n ^ ≈ 0 (14)

The symbol ≈ here denotes a weak equality in the sense of Dirac [

H c N = [ 1 2 E 2 + E ∂ 1 A 0 − λ ( n ^ 2 − 1 ) ] (15)

After including the primary constraint χ 1 , Ω 1 , and ψ 1 in the canonical Hamiltonian density H c with the help of Lagrange multiplier field u ( x , t ) , v ( x , t ) and w ( x , t ) which is treated as dynamical, the total Hamiltonian density of the theory H T could be written as:

H T N = [ 1 2 E 2 + E ∂ 1 A 0 − λ ( n ^ 2 − 1 ) + χ 1 u + Ω 1 v + ψ 1 w ] (16)

The Hamilton’s equations of motion of the theory that preserve the constraints of the theory in the course of time could be obtained from the total Hamiltonian: H T = ∫ H T d x 1 and are omitted here for the sake of brevity. Demanding the preservation of the primary constraints χ 1 and Ω 1 for all time leads to the secondary Gauss-law constraints χ 2 and Ω 2 respectively:

χ 2 = ( n ^ 2 − 1 ) ≈ 0

Ω 2 = ∂ 1 E ≈ 0 (17)

The preservation of ψ 1 for all times does not lead to any secondary constraint. The preservation of χ 2 and Ω 2 also does not lead to any new constraints. The theory is therefore seen to possess a set of five constraints:

ρ 1 = Ω 1 = Π 0 ≈ 0 ρ 2 = Ω 2 = ∂ 1 E ≈ 0 ρ 3 = χ 1 = Π λ ≈ 0 ρ 4 = χ 2 = ( n ^ 2 − 1 ) ≈ 0 ρ 5 = ψ 1 = n ^ ⋅ Π ^ n ^ ≈ 0 (18)

Matrix R α β of the Poisson brackets of the above constraints ρ i among themselves is clearly singular implying that the set of these constraints ρ i is first-class and that the theory under consideration is GI. In fact, the theory is seen to be invariant under the local vector gauge transformations:

δ A μ = 1 g n ^ ⋅ ∂ μ α → = 1 g ∂ μ α , δ λ = 1 g ∂ 0 α , δ n ^ = n ^ × α → = 0 δ Π 0 = δ E = δ Π λ = δ Π ^ n ^ = δ Π u = δ Π v = δ Π w = 0 (19)

where gauge parameter α ( x , t ) is an arbitrary function of its arguments. The components of the vector gauge current ( J μ ≡ J 0 , J 1 ) are:

J 0 = ∫ d x 0 d x 1 j 0 = ∫ d x 0 d x 1 [ 1 g ∂ 1 α ( ∂ 0 A 1 − ∂ 1 A 0 + 1 g Φ ) ] J 1 = ∫ d x 0 d x 1 j 1 = ∫ d x 0 d x 1 [ − 1 g ∂ 0 α ( ∂ 0 A 1 − ∂ 1 A 0 + 1 g Φ ) ] (20)

The theory is clearly gauge-invariant and could now be quantized under appropriate gauge-fixing conditions (GFC’s), which could e.g. be chosen as (which by no means is an unique choice):

ζ 1 = λ ≈ 0 , ζ 2 = A 1 ≈ 0 , ζ 3 = A 0 ≈ 0 (21)

It may be important to mention here that any set of GFC’s could be chosen here such that the resulting set of constraints of the theory (including the set of GFC’s) becomes a set of second-class constraints so that the matrix of the total set of constraints becomes non-singular and consequently could be inverted.

The total set of constraints of the theory under these GFC’s then becomes:

ξ 1 = ρ 1 = Ω 1 = Π 0 ≈ 0 (22a)

ξ 2 = ρ 2 = Ω 2 = ∂ 1 E ≈ 0 (22b)

ξ 3 = ρ 3 = χ 1 = Π λ ≈ 0 (22c)

ξ 4 = ρ 4 = χ 2 = ( n ^ 2 − 1 ) ≈ 0 (22d)

ξ 5 = ρ 5 = ψ 1 = n ^ ⋅ Π ^ n ^ ≈ 0 (22e)

ξ 6 = ζ 1 = λ ≈ 0 (22f)

ξ 7 = ζ 2 = A 1 ≈ 0 (22g)

ξ 8 = ζ 3 = A 0 ≈ 0 (22h)

The non-vanishing matrix elements of the matrix M α β of the Poisson Brackets’s among these above constraints ξ i are:

M 18 = − M 81 = − δ ( x − y ) (23a)

M 27 = + M 72 = − ∂ 1 δ ( x − y ) (23b)

M 36 = − M 63 = − δ ( x − y ) (23c)

M 45 = − M 54 = + 2 n ^ 2 δ ( x − y ) (23d)

The above matrix M α β is clearly non-singular implying that the constraints ξ i form a set of second-class constraints. The theory could therefore be quantized using the Dirac’s Hamiltonian Formulation as well as using the path integral formulation. The square root of the absolute value of the determinant of this matrix M α β is:

[ ‖ d e t ( M α β ) ‖ ] 1 2 = [ 2 n ^ 2 ( δ ( x − y ) ) 3 ∂ 1 δ ( x − y ) ] (24)

The non-vanishing equal-time Dirac brackets (DB’s) of the theory are [

{ Π n ^ a ( x , t ) , Π n ^ b ( y , t ) } D B = 1 n ^ 2 ( n a Π n ^ b − Π n ^ a n b ) δ ( x − y ) (25a)

{ n a ( x , t ) , Π n ^ b ( y , t ) } D B = 1 n ^ 2 ( n a Π n ^ b − Π n ^ a n b ) δ ( x − y ) (25b)

{ Π n ^ a ( x , t ) , n b ( y , t ) } D B = − 1 n ^ 2 ( n a Π n ^ b − Π n ^ a n b ) δ ( x − y ) (25c)

Here one needs to remember that while making a transition from equal-time Dirac brackets to the equal-time commutation relations using the Dirac quantization rule, one needs to take in to account the problem of operator ordering (which occurs here because the results of the equal-time commutation relations involve the product of the operators). Also, the roman indices a and b here, are the color indices of the gauge theory of QCD_{2}.

Also for the later use, for considering the BRST formulation of the theory we convert the total Hamiltonian density of the theory into the first order Lagrangian density L I O :

L I O = [ Π λ ∂ 0 λ + Π 0 ∂ 0 A 0 + E ∂ 0 A 1 + Π ^ n ^ ⋅ ∂ 0 n ^ + Π u ∂ 0 u + Π v ∂ 0 v + Π w ∂ 0 w − H T ] = [ 1 2 ( ∂ 0 A 1 − ∂ 1 A 0 ) 2 − 1 2 g 2 Φ 2 + λ ( n ^ 2 − 1 ) ] (26)

For considering the path integral formulation, the transition to quantum theory is made again by writing the vacuum to vacuum transition amplitude for the theory, called the generating functional Z [ J k ] of the theory, following again the Senjanovic procedure for a theory possessing a set of second-class constraints [

Z [ J k ] = ∫ [ d μ ] exp [ i ∫ d x 0 d x 1 [ J k Φ k + Π λ ∂ 0 λ + Π 0 ∂ 0 A 0 + E ∂ 0 A 1 + Π ^ n ^ ⋅ ∂ 0 n ^ + Π u ∂ 0 u + Π v ∂ 0 v + Π w ∂ 0 w − H T ] ] (27)

where the phase space variables of the theory are: Φ k ≡ ( λ , A 0 , A 1 , n ^ , u , v , w ) with the corresponding respective canonical conjugate momenta: Π k ≡ ( Π λ , Π 0 , E , Π ^ n ^ , Π u , Π v , Π w ) . The functional measure [ d μ ] of the generating functional Z [ J k ] under this gauge-fixing is obtained as:

[ d μ ] = [ [ 2 n ^ 2 ( δ ( x − y ) ) 3 ∂ 1 δ ( x − y ) ] [ d λ ] [ d A 0 ] [ d A 1 ] [ d n ^ ] [ d u ] [ d v ] [ d w ] [ d Π λ ] [ d Π 0 ] [ d E ] [ d Π ^ n ^ ] [ d p u ] [ d p v ] [ d p w ] δ [ Π 0 ≈ 0 ] δ [ ∂ 1 E ≈ 0 ] δ [ Π λ ≈ 0 ] δ [ ( n ^ 2 − 1 ) ≈ 0 ] δ [ n ^ ⋅ Π ^ n ^ ≈ 0 ] δ [ λ ≈ 0 ] δ [ A 1 ≈ 0 ] δ [ A 0 ≈ 0 ] ] (28)

This completes the Hamiltonian and path integral formulations of the theory. The BRST formulation of the theory is considered in the next section.

In the following, we study the BRST formulation of the theory. For the BRST formulation of the model, we rewrite the theory as a quantum system that possesses the generalized gauge invariance called BRST symmetry. For this, we first enlarge the Hilbert space of our gauge-invariant theory and replace the notion of gauge-transformation, which shifts operators by c-number functions, by a BRST transformation, which mixes operators with Bose and Fermi statistics. We then introduce new anti-commuting variables c and c ¯ (Grassman numbers on the classical level and operators in the quantized theory) and a commuting variable b such that [

δ ^ λ = 1 g ∂ 0 c , δ ^ A 0 = 1 g ∂ 0 c , δ ^ A 1 = 1 g ∂ 1 c , δ ^ u = 1 g ∂ 0 ∂ 0 c (29a)

δ ^ Π ^ n ^ = δ ^ Π 0 = δ ^ E = δ ^ Π λ = δ ^ Π u = δ ^ Π v = δ ^ Π w = 0 (29b)

δ ^ n ^ = δ ^ v = δ ^ w = 0 , δ ^ c = 0 , δ ^ c ¯ = b , δ ^ b = 0 (29c)

with the property δ ^ 2 = 0 . We now define a BRST-invariant function of the dynamical phase space variables of the theory to be a function f such that δ ^ f = 0 . Now the BRST gauge-fixed quantum Lagrangian density L B R S T for the theory could be obtained by adding to the first-order Lagrangian density L I O , a trivial BRST-invariant function (e.g.) as follows:

L B R S T = [ 1 2 ( ∂ 0 A 1 − ∂ 1 A 0 ) 2 − 1 2 g 2 Φ 2 + λ ( n ^ 2 − 1 ) + δ ^ [ c ¯ ( g ∂ 0 A 0 + g ∂ 1 A 0 − g ∂ 0 A 1 + 1 2 b ) ] ] (30)

The last term in the above equation is the extra BRST-invariant gauge-fixing term. After one integration by parts, the above equation could now be written as:

L B R S T : = [ 1 2 ( ∂ 0 A 1 − ∂ 1 A 0 ) 2 − 1 2 g 2 Φ 2 + λ ( n ^ 2 − 1 ) + 1 2 b 2 + g b ( ∂ 0 A 0 − E + 1 g Φ ) + ( ∂ 0 c ¯ ) ( ∂ 0 c ) ] (31)

The last term in the above equation is the BRST-invariant gauge-fixing term. Proceeding classically, the Euler Lagrange equation for b reads:

− b = ( g ∂ 0 A 0 + g ∂ 1 A 0 − g ∂ 0 A 1 ) (32)

which in turn (with the requirement δ ^ b = 0 ) then implies:

∂ 0 ∂ 0 c = 0 (33)

The above equation is also an Euler-Lagrange equation (ELE) obtained by the variation of L B R S T with respect to c ¯ . We define the bosonic momenta in the usual manner:

Π 0 : = ∂ ∂ ( ∂ 0 A 0 ) L B R S T = g b (34)

but for the fermionic momenta with directional derivatives we set

Π c : = L B R S T ∂ → ∂ ( ∂ 0 c ) = ∂ 0 c ¯ ; Π c ¯ : = ∂ ← ∂ ( ∂ 0 c ¯ ) L B R S T = ∂ 0 c (35)

implying that the variable canonically conjugate to c is ( ∂ 0 c ¯ ) and the variable conjugate to c ¯ is ( ∂ 0 c ). For writing the quantum Hamiltonian density from the Lagrangian density in the usual manner we remember that the former has to be Hermitian so that:

H B R S T = [ Π u ∂ 0 u + Π v ∂ 0 v + n ^ ⋅ Π ^ n ^ w + 1 2 E 2 + E ∂ 1 A 0 − λ ( n ^ 2 − 1 ) + 1 2 g 2 b 2 + Π c Π c ¯ − g b ( ∂ 0 A 0 − ∂ 0 A 1 + ∂ 1 A 0 ) ] (36)

We can check the consistency of our definitions of the the fermionic momenta by looking at the Hamilton’s equations for the fermionic variables:

∂ 0 c = ∂ ← ∂ Π c H B R S T ; ∂ 0 c ¯ = H B R S T ∂ → ∂ Π c ¯ (37)

We thus see that

∂ 0 c = ∂ ← ∂ Π c H B R S T = Π c ¯ ; ∂ 0 c ¯ = H B R S T ∂ → ∂ Π c ¯ = Π c (38)

is in agreement with our definitions of the Fermionic momenta. Also, for the operators c , c ¯ , ∂ 0 c and ∂ 0 c ¯ , one needs to satisfy the anti-commutation relations of ∂ 0 c with c ¯ or of ∂ 0 c ¯ with c, but not of c, with c ¯ . In general, c and c ¯ are independent canonical variables and one assumes that [

{ Π c , Π c ¯ } = { c ¯ , c } = 0 ; ∂ 0 { c ¯ , c } = 0 ; { ∂ 0 c ¯ , c } = ( − 1 ) { ∂ 0 c , c ¯ } (39)

where { , } means an anti-commutator. We thus see that the anti-commulators in the above equation are non-trivial and need to be fixed. In order to fix these, we demand that c satisfy the Heisenberg equation:

[ c , H B R S T ] = i ∂ 0 c (40)

and using the property c 2 = c ¯ 2 = 0 one obtains

[ c , H B R S T ] = { ∂ 0 c ¯ , c } ∂ 0 c (41)

The last three equations then imply :

{ ∂ 0 c ¯ , c } = ( − 1 ) { ∂ 0 c , c ¯ } = i (42)

Here the minus sign in the above equation is nontrivial and implies the existence of states with negative norm in the space of state vectors of the theory.

The BRST charge operator Q is the generator of the BRST transformations. It is nilpotent and satisfies Q 2 = 0 . It mixes operators which satisfy Bose and Fermi statistics. According to its conventional definition, its commutators with Bose operators and its anti-commutators with Fermi operators for the present theory satisfy:

[ λ , Q ] = ( − c ) , [ A 0 , Q ] = ∂ 0 c , [ A 1 , Q ] = ∂ 1 c (43a)

[ n ^ , Q ] = n ^ ∂ 0 c , [ Π ^ n ^ , Q ] = ( 2 n ^ c − Π ^ n ^ ∂ 0 c ) , (43b)

{ c ¯ , Q } = ( Π 0 + Π λ + n ^ ⋅ Π ^ n ^ ) (43c)

{ ∂ 0 c ¯ , Q } = ( − 1 ) ( ∂ 1 E + n ^ 2 − 1 ) (43d)

All other commutators and anti-commutators of the theory involving Q and the other phase space variables of the theory are seen to vanish. In view of this, the BRST charge operator of the present theory could be written as:

Q = ∫ d x 1 [ i c ( ∂ 1 E + n ^ 2 − 1 ) − i ∂ 0 c ( Π 0 + Π λ + n ^ ⋅ Π ^ n ^ ) ] (44)

This equation implies that the set of states satisfying the conditions:

Π 0 | ψ 〉 = 0 , ∂ 1 E | ψ 〉 = 0 , Π λ | ψ 〉 = 0 , ( n ^ 2 − 1 ) | ψ 〉 = 0 , ( n ^ ⋅ Π ^ n ^ ) | ψ 〉 = 0 (45)

belong to the dynamically stable subspace of states | ψ 〉 satisfying Q | ψ 〉 = 0 , i.e., it belongs to the set of BRST-invariant states.

In order to understand the condition needed for recovering the physical states of the theory we rewrite the operators c and c ¯ in terms of fermionic annihilation and creation operators. For this purpose we consider Euler-Lagrange equation for the variable c derived earlier. The solution of this equation gives (for the instant-form time x 0 ≡ t ) the Heisenberg operators c ( t ) and correspondingly c ¯ ( t ) in terms of the fermionic annihilation and creation operators as:

c ( t ) = G ( t ) + F ( t ) , c ¯ ( t ) = G † ( t ) + F † ( t ) (46)

which at the instant-form time t = 0 imply

c ≡ c ( 0 ) = F , c ¯ ( t ) ≡ c ¯ ( 0 ) = F † (47a)

∂ 0 c ( t ) ≡ ∂ 0 c ( 0 ) = G , ∂ 0 c ¯ ( t ) ≡ ∂ 0 c ¯ ( 0 ) = G † (47b)

By imposing the conditions (obtained earlier):

c 2 = c ¯ 2 = { c ¯ , c } = { ∂ 0 c ¯ , ∂ 0 c } = 0 (48a)

{ ∂ 0 c ¯ , c } = ( − 1 ) { ∂ 0 c , c ¯ } = i (48b)

we then obtain

F 2 = ( F † ) 2 = { F † , F } = { G † , G } = 0 , { G † , F } = ( − 1 ) { G , F † } = i (49)

Now let | 0 〉 denote the fermionic vacuum for which

G | 0 〉 = F | 0 〉 = 0 (50)

Defining | 0 〉 to have norm one, the last three equations imply

〈 0 | F G † | 0 〉 = i , 〈 0 | G F † | 0 〉 = − i (51)

so that

G † | 0 〉 ≠ 0 , F † | 0 〉 ≠ 0 (52)

The theory is thus seen to possess negative norm states in the fermionic sector. The existence of these negative norm states as free states of the fermionic part of H B R S T is however, irrelevant to the existence of physical states in the orthogonal subspace of the Hilbert space. In terms of annihilation and creation operators H B R S T is:

H B R S T = [ Π u ∂ 0 u + Π v ∂ 0 v + n ^ ⋅ Π ^ n ^ w + 1 2 E 2 + E ∂ 1 A 0 − λ ( n ^ 2 − 1 ) + 1 2 ( Π 0 ) 2 − Π 0 ( ∂ 0 A 0 − ∂ 0 A 1 + ∂ 1 A 0 ) + G † G ] (53)

and the BRST charge operator of the present theory could be written as:

Q = ∫ d x 1 [ i F ( ∂ 1 E + n ^ 2 − 1 ) − i G ( Π 0 + Π λ + n ^ ⋅ Π ^ n ^ ) ] (54)

Now because Q | ψ 〉 = 0 , the set of states annihiliated by Q contains not only the set for which the constraints of the theory hold but also additional states for which

F | ψ 〉 = G | ψ 〉 = 0

Π 0 | ψ 〉 ≠ 0, ∂ 1 E | ψ 〉 ≠ 0, Π λ | ψ 〉 ≠ 0, ( n ^ 2 − 1 ) | ψ 〉 ≠ 0, ( n ^ ⋅ Π ^ n ^ ) | ψ 〉 ≠ 0 (55)

Now because Q | ψ 〉 = 0 , the set of states annihilated by Q contains not only the set for which the constraints of the theory hold but also additional states for which the constraints of the theory do not hold. However in our considerations, the Hamiltonian is also invariant under the anti-BRST transformations given by:

δ ^ ¯ λ = − 1 g ∂ 0 c ¯ , δ ^ ¯ A 0 = − 1 g ∂ 0 c ¯ , δ ^ ¯ A 1 = − 1 g ∂ 1 c ¯ , δ ^ ¯ u = − 1 g ∂ 0 ∂ 0 c ¯ (56a)

δ ^ ¯ Π ^ n ^ = δ ^ ¯ Π 0 = δ ^ ¯ E = δ ^ ¯ Π λ = δ ^ ¯ Π u = δ ^ ¯ Π v = δ ^ ¯ Π w = 0 (56b)

δ ^ ¯ n ^ = δ ^ ¯ v = δ ^ ¯ w = 0 , δ ^ ¯ c ¯ = 0 , δ ^ ¯ c = − b , δ ^ ¯ b = 0 (56c)

with the generator or anti-BRST charge:

Q ¯ = ∫ d x 1 [ − i c ¯ ( ∂ 1 E + n ^ 2 − 1 ) + i ∂ 0 c ¯ ( Π 0 + Π λ + n ^ ⋅ Π ^ n ^ ) ] (57)

or

Q ¯ = ∫ d x 1 [ − i F † ( ∂ 1 E + n ^ 2 − 1 ) + i G † ( Π 0 + Π λ + n ^ ⋅ Π ^ n ^ ) ] (58)

We also have

∂ 0 Q = [ Q , H B R S T ] = 0 , ∂ 0 Q ¯ = [ Q ¯ , H B R S T ] = 0 (59)

with

H B R S T = ∫ d x 1 H B R S T (60)

and we further impose the dual condition that both Q and Q ¯ annihilate physical states, implying that:

Q | ψ 〉 = 0 and Q ¯ | ψ 〉 = 0 (61)

The states for which the constraints of the theory hold, satisfy both of these conditions and are in fact, the only states satisfying both of these conditions, since with

G † G = ( − 1 ) G G † (62)

there are no states of this operator with G † | ψ 〉 = 0 and F † | ψ 〉 = 0 , and hence no free eigenstates of the fermionic part of H B R S T that are annihilated by each of G, G † , F, and F † . Thus the only states satisfying Q | ψ 〉 = 0 and Q ¯ | ψ 〉 = 0 are those that satisfy the constraints of the theory.

Now because Q | ψ 〉 = 0 , the set of states annihilated by Q contains not only the set of states for which the constraints of the theory hold but also additional states for which the constraints of the theory do not hold. This situation is, however, easily avoided by additionally imposing on the theory, the dual condition: Q | ψ 〉 = 0 and Q ¯ | ψ 〉 = 0 . By imposing both of these conditions on the theory simultaneously, one finds that the states for which the constraints of the theory hold are the only states satisfying both of these conditions. This is traced to the conditions on the fermionic variables c and c ¯ which constrain the solutions such that one cannot have simultaneously c, ∂ 0 c and c ¯ , ∂ 0 c ¯ , applied to | ψ 〉 giving zero. Thus the only states satisfying Q | ψ 〉 = 0 and Q ¯ | ψ 〉 = 0 are those that satisfy the constraints of the theory and they belong to the set of BRST-invariant as well as to the set of anti-BRST-invariant states.

Alternatively, one can understand the above point in terms of fermionic annihiliation and creation operators as follows. The condition Q | ψ 〉 = 0 implies the that the set of states annihilated by Q contains not only the states for which the constraints of the theory hold but also additional states for which the constraints do not hold. However, Q ¯ | ψ 〉 = 0 guarantees that the set of states annihilated by Q ¯ contains only the states for which the constraints hold, simply because G † | ψ 〉 ≠ 0 and F † | ψ 〉 ≠ 0 . Thus in this alternative way also, we see that the states satisfying Q | ψ 〉 = Q ¯ | ψ 〉 = 0 are only those states which satisfy the constraints of the theory and we also see that these states belong to the set of BRST-invariant states as well as to the set of anti-BRST invariant states. This completes the BRST formulation of the theory.

In the present work, we have considered the restricted gauge theory of quantum chromodynamics (QCD) in one-space one-time dimension (QCD_{2}) à la Cho et al. [

The restricted gauge theory of QCD_{2} à la Cho et al. [

The authors UK and DSK thank James Vary for his warm hospitality at the Department of Physics and Astronomy, Iowa State University, Ames, Iowa, where a part of this work was carried out. This work was supported in part by the US Department of Energy under Grant No. DE-FG02-87ER40371.

The authors declare no conflicts of interest regarding the publication of this paper.

Kulshreshtha, U., Kulshreshtha, D.S. and Vary, J.P. (2018) Hamiltonian, Path Integral and BRST Formulations of the Restricted Gauge Theory of QCD_{2}. Journal of Modern Physics, 9, 2355-2369. https://doi.org/10.4236/jmp.2018.914150