arxiv:hep-th/ v1 1 Mar 1999

Transcription

1 SMUHEP/99- The Indispensability of Ghost Fields in the Light-Cone Gauge Quantization of Gauge Fields arxiv:hep-th/99318v1 1 Mar 1999 Yuji Nakawaki and Gary McCartor Division of Physics and Mathematics, Faculty of Engineering, Setsunan University, Osaka Department of Physics, Southern Methodist University, Dallas TX 7575 Abstract We continue McCartor and Robertson s recent demonstration of the indispensability of ghost fields in the light-cone gauge quantization of gauge fields. It is shown that the ghost fields are indispensable in deriving well-defined antiderivatives and in regularizing the most singular component of gauge field propagator. To this end it is sufficient to confine ourselves to noninteracting abelian fields. Furthermore to circumvent dealing with constrained systems, we construct the temporal gauge canonical formulation of the free electromagnetic field in auxiliary coordinates x µ = (x,x +,x 1,x ) x = x cosθ x 3 sinθ, x + = x sinθ + x 3 cosθ and x plays the role of time. In so doing we can quantize the fields canonically without any constraints, unambiguously introduce static ghost fields as residual gauge degrees of freedom and construct the light-cone gauge solution in the light-cone representation by simply taking the lightcone limit (θ π ). As a by product we find that, with a suitable choice of vacuum the Mandelstam-Leibbrandt form of the propagator can be derived in the θ = case (the temporal gauge formulation in the equal-time representation). 1 typeset using PTPTEX.sty <ver..8>

2 1. Introduction Recently the search for nonperturbative solutions of QCD has led to an extensive explorations of light-front field theory(lfft), in which the infinite-momentum limit is incorporated by the change of variables 1) x + l = x +x 3, x l = x x 3 so that one is able to have vacuum state composed only of particles with nonnegative longitudinal momentum and also to have relativistic bound-state equations of Schrödinger-type. For a good overview of LFFT see ref.) A fundamental problem is to specify the antiderivatives which arise in relating constrained fields to the true degrees of freedom of the system. Quantization has traditionally been carried out in parallel with the axial gauge formulation of QED in the ordinary spacetime coordinates. Thus x + l and A a = Aa Aa 3 = have been chosen respectively to be the evolution parameter and the gauge fixing condition and the Gauss law constraint has been solved by using the operator ( l ) 1 to express Hamiltonian in terms of the physical degrees of freedom. 3) Unfortunately, the quantity (( l ) 1 ), which is needed for that construction, turns out to be not well defined. ) In fact if one defines ( l ) 1 by ( l ) 1 f(x l ) = 1 dy l ǫ(x l y l )f(y l ), (1.1) then (( l ) 1 ) is divergent. 5) Thus one subtracts divergent terms by hand to define ( l ) by ( ) l f(x l ) = 1 dy l x l y l f(y l ). (1.) Dirac s canonical quantization procedure can not resolve this difficulty because one has to make use of the same operator ( l ) 1 to define inverse of the constraints matrix. 6) Furthermore, if (1 1) is used to define the inverse derivative, the spurious singularity at n k = of the gauge field propagator Dµν(k) ab = iδ ab k +iǫ ( g µν + n µk ν +n ν k µ ) (1.3) n k is necessarily defined as the principal value(pv); but evaluating the singularity as the PV generates extra contributions so that light-cone gauge calculations do not agree with those performed in covariant gauges. 7) To overcome the latter difficulty the Mandelstam- Leibbrandt(ML) prescription has been proposed so as not to generate extra contributions and give results consistent with Feynman propagators. 8) Bassetto et al derived the ML prescription in the light-cone gauge using a canonical operator formalism in the ordinary spacetime coordinates and found that ghost fields associated with Lagrange multiplier fields are essential to the derivation. 9)

3 Since there exists an operator solution which has the ML form of the propagator, one expects that a consistent operator formulation of LFFT can also be constructed by introducing the ghost fields as residual gauge degrees of freedom. However, since the residual gauge functions in the light-cone gauge formulation are ones depending on x + l,x1 and x, one cannot expect to calculate the dynamical operators by integrating densities over the three dimensional hyperplanes x + l =constant. Recently these problems were studied by one of the authors of the present paper(mccartor) and Robertson in the light-cone formulation of QED. 1) They found that the ghost fields can be introduced in such a way that the translational generator P+ l consists of physical degrees of freedom integrated over the hyperplane x + l =constant and ghost degrees of freedom integrated over the hyperplane x l =constant. They alsofoundthattheghost fieldshave tobeinitialized alongahyperplane x l =constant, while physical fields evolve from the usual hyperplane x + l = constant. The same problems were considered by Morara and Soldati 11), who constructed the light-cone temporal gauge formulation, all fields evolve from a single initial value surface and the ML form of the propagator is realized. In this paper we further investigate how the ghost fields fulfill roles as regulator fields in the light-cone gauge formulation of gauge theories. To avoid inessential complications and to circumvent dealing with constrained systems, we confine ourselves to noninteracting abelian fields the free electromagnetic fields and construct the canonical operator solution of them in the gauge A = A cosθ + x 3 sinθ = and in the auxiliary coordinates x µ = (x,x +,x 1,x ) x = x cosθ x 3 sinθ, x + = x sinθ+x 3 cosθ. (1.) The same framework was also used by Hornbostel to analyze two-dimensional models. 1) In doing so we can choose x as the evolution parameter in the interval θ < π and construct the temporal gauge formulation, canonical quantization conditions are to be imposed without any constraints. Furthermore we can take x + to be the evolution parameter in π the interval < θ π and thus construct the axial gauge formulation. Consequently we can expect that taking the light-cone limit θ π will enable us to find light-cone gauge solutions and to compare the temporal light-front limit (θ π ) with the axial light-front limit(θ π +). In sect. the temporal gauge canonical operator solution is constructed in the auxiliary coordinates and it is shown that static ghost fields are present as residual gauge degrees of freedom. We also encounter the problem that canonical commutation relations can not distinguish the PV and ML prescriptions 13) but that the ML prescription can always be obtained if we employ an appropriate representation of the ghost fields. As a consequence 3

4 we find that the ML prescription can always be implemented even in the θ = case, namely in the temporal gauge formulation in the ordinary space-time coordinates. We also point out that the axial gauge formulation is not straightforward to construct, at least by these procedures. In sect.3 we show that the free electromagnetic fields given as the temporal light-cone limit are identical with the ones given by McCartor and Robertson and by Morara and Soldati and equivalent to those given by Bassetto et al in the ordinary space-time coordinates. We also show in detail that in the light-cone gauge formulation the ghost fields are indispensable to well-defined antiderivatives and that linear divergences are eliminated in what is otherwise the most singular component of x + l - ordered propagator. Sect. is devoted to concluding remarks.. Temporal Gauge Formulation in the Auxiliary Coordinates We begin by fixing the metric of the auxiliary coordinates x µ = (x,x +,x 1,x ) x and x + are defined by x = x cosθ x 3 sinθ, x + = x sinθ+x 3 cosθ. (.1) Inverting these, we find that x and x 3 are given by x = x cosθ+x + sinθ, x 3 = x sinθ +x + cosθ (.) so that (x ) (x 3 ) is expressed in terms of x and x + as (x ) (x 3 ) = x (x cosθ+x + sinθ)+x + (x sinθ x + cosθ). (.3) Rewriting this in the form x x +x + x + requires that x and x + are defined respectively by x = x cosθ+x + sinθ, x + = x sinθ x + cosθ. (.) It follows from this that g = cosθ, g + = g + = sinθ, g ++ = cosθ. (.5) Upper components of metric tensor are obtained by inverting ( ) g = cosθ, g + = g + = sinθ, g ++ = cosθ. (.6) Substituting ( 1) into ( ) enables us to express x and x + in terms of x and x 3 as follows x = x cosθ+x 3 sinθ, x + = x sinθ x 3 cosθ. (.7)

5 Now we notice from ( 5) and ( 6) that if we keep θ in the interval θ < π, we can employ x as an evolution parameter, as in the interval π < θ π we can employ x+ as an evolution parameter. Thus we expect that fixing θ to be π will allow us to have either x or x + as evolution parameters..1. Temporal Gauge Quantization To construct the temporal gauge formulation in the auxiliary coordinates, we choose A = A cosθ A 3 sinθ = as the gauge fixing condition. Accordingly we consider the Lagrangian F µν = µ A ν ν A µ with µ = ( L = 1 F µνf µν B(n A) (.8) x,, x +, x 1 x ), n µ = (n,n +,n 1,n ) = (1,,,) and B is a Lagrange multiplier field. From ( 8) we can derive the field equations and the gauge fixing condition The field equation of B, µ F µν = A ν ν ( µ A µ ) = n ν B (.9) A =. (.1) B = (.11) is obtained by multiplying ( 9) by ν. Lowering the indices of ( 9) and observing that n µ = (cosθ,sinθ,,) and A = enable us to derive the field equation of A as ( µ A µ )+cosθb =. (.1) Then, differentiating this by gives rise to the following equation for µ A µ ( µ A µ ) =. (.13) Consequently, upon multiplying ( 9) by we obtain the following equation for A µ ( A µ ) =. (.1) From ( 8) we can also obtain the canonical conjugate momenta π =, π + = F +, π i = F i, π B =. (.15) It should be noticed that we have three pairs of canonical variables, in contrast with one pair in the light-cone temporal gauge formulation. The fields B, A + and A i (i = 1,) are expressed in terms of canonical variables as follows B = + π + + i=1 i π i, A + = π +, A i = πi sinθ F +i. (.16) cosθ 5

6 Thus we can impose the following equal-time canonical quantization conditions [A r (x), A s (y)] =, [A r (x), π s (y)] = iδ rs δ (3) (x + y + ), [π r (x), π s (y)] = (.17) r,s = +,1,, δ (3) (x + y + ) δ(x 1 y 1 )δ(x y )δ(x + y + ) and in all cases x = y. Toobtain-dimensionalcommutationrelationsofA µ weexpressa µ inanintegralform. 1) This is done most easily by making use of the commutator function of a free massless field D(x) = i d 3 k + (e ik x e ik x ) (.18) (π) 3 k and a commutator function E(x) satisfying the equation and the initial conditions E(x) = x δ (3) (x + ) D s (x), E(x) = D(x) (.19) E(x) x = =, E(x) x = =, E(x) x = =, E(x) x = = δ (3) (x + ). (.) Note that D(x) satisfies a free massless D Alember s equation, which imposes the following on-shell condition on four momentum k µ = k = n k +sinθk + k k 1 k n k +, (n = cosθ). (.1) We solve this in such a way that k is expressed in terms of k 1, k, k + as follows k = k +n k + k +sinθk + (.) k = k1 +k, k = k+ +n k. (.3) Also note that d 3 k + denotes dk 1 dk dk + and the integration region of k + is (, ). We find that the function E(x) is given by E(x) = 1 D(x) 1 +n + D s (x) sinθ + + ( +n +) D s (x) (.) 1 sinθ + +, +n (.5) Now we can express A µ in the following integral form A µ (x) = d 3 z + [ z D(x z)a µ(z) D(x z) A µ (z)+ z E(x z) A µ(z) E(x z) A µ (z)] (.6) 6

7 d 3 z + denotes dz 1 dz dz +. It can easily be shown that the integral form satisfies the field equation ( A µ) = and is independent of z so that it satisfies the initial conditions at z = x. Furthermore, we can utilize the latter property to calculate its -dimensional commutation relations using only equal-time canonical commutation relations. It turns out that [A µ (x), A ν (y)] = i{ g µν D(x y)+(n µ ν +n ν µ ) E(x y) n µ ν E(x y)}. (.7) From ( 1), B is expressed as B = ( µ A µ ) cosθ so the commutation relations of B are obtained from ( 7) as follows (.8) [B(x), A ν (y)] = i ν δ (3) (x + y + ), [B(x), B(y)] =. (.9).. Constituent fields in the Temporal Gauge Formulation To obtain constituent fields in the temporal gauge formulation, we solve the field equations( 9). Wemultiply ( 9)withν = i (i = 1,)by i andsumover i = 1,. Consequently we obtain so that ( 9) is rewritten as µ A µ = i A i (.3) i=1 (A µ µ i A i ) = n µ B. (.31) i=1 Because B satisfies B =, any solution of ( 31) is described as A µ µ n µ i A i = a µ B (.3) i=1 +n + a µ is a homogeneous solution. As a condition that A µ in ( 3) satisfies ( 3), we obtain µ a µ =. (.33) Furthermore multiplying ( 3) with µ = i (i = 1,) by i and summing over i = 1, yields another consistency condition i a i =. (.3) i=1 To obtain i=1 i A i, we impose the gauge fixing condition on ( 3) with µ = and integrate it with respect to x. It should be noted here that we can introduce a static field, 7

8 which we denote C, as an integration constant. For later convenience we introduce it in the following way 1 i=1 i A i = 1 a n x B + +n + On substituting ( 35) into ( 3) we have 1 +n + (C n sinθ + B). (.35) +n + A µ = a µ µ a +Γ µ (.36) n µ µ Γ µ = B (C n x B n sinθ + B). (.37) +n + +n + +n + Now that we have obtained the constituent fields a µ, B and C, we proceed to derive the commutation relations they satisfy. It is straightforward to accomplish if we express them in terms of the canonical variables as follows a r = A r r n r ( i A i )+ B, (r = +,1,) (.38) i=1 +n + B = + π + + i π i, (.39) i=1 a i = π i i ( j π j ), (i = 1,) (.) j=1 a + = n π + + ( i π i n + )+ i=1 +n + + B, (.1) C = n + π + n + A + i A i +n x B n n + i=1 + B. +n + (.) Wefindthata r, a r,b,c arefundamental operators, satisfying thefollowing commutation relations [a r (x), a s (y)] x =y = [ a r (x), a s (y)] x =y =, (r,s = +,1,) (.3) [a + (x), a + (y)] x =y = i + +n δ (3) (x + y + ), (.) [a i (x), a j (y)] x =y = i(δ ij i j )δ (3) (x + y + ), (i,j = 1,) (.5) [B(x),B(y)] = [C(x),C(y)] =, (.6) [B(x),C(y)] = [C(x),B(y)] = i( +n + )δ(3) (x + y + ). (.7) Any other commutators among a r, a r, B or C are zero. 8

9 .3. Expression of the Constituent fields and Implementation of the ML prescription Now we can express the constituent fields in terms of creation and annihilaton operators. First of all we notice that the free massless field a + satisfies the commutation relation ( ) with the operator + +n, which in effect multiplies the integrand of the Fourier expanded free massless fields by (k ). Thus we express a + in the form a + (x) = 1 d 3 k + k {a 1 (k + )e ik x +a (π) 3 k k 1(k + )e ik x }. (.8) Here the factor 1 is included for later convenience and k + denotes the three-component vector(k +, k 1, k ). Theexpressionofa isobtainedbysolvingtheconstraint + a + + a = and hence we have a (x) = 1 d 3 k + k + {a 1 (k + )e ik x +a (π) 3 k k 1(k + )e ik x }. (.9) Similarly, because a i satisfies the constraint i=1 i a i = and the commutation relation ( 5), we have a i (x) = 1 d 3 k + (π) 3 k ǫ() i (k){a (k + )e ik x +a (k + )e ik x } (.5) ǫ () i (k) is a physical polarization vector given by ǫ () µ (k) = (,, k k, k 1 k ). (.51) The operators a λ (k + ) and a λ (k +) (λ = 1,) are normalized so as to satisfy the usual commutation relations [a λ (k + ), a λ (q + )] =, [a λ (k + ), a λ (q +)] = δ λλ δ (3) (k + q + ). (.5) They are nothing but annihilation and creation operators of physical photons, as we see from the fact that, with the help of ( 51) and another physical polarization vector ǫ (1) µ (k) = (, k k, k+ k 1 k k, k+ k k k ), (.53) we can express a µ µ a in the following compact form a µ (x) µ a (x) = 1 (π) 3 d 3 k + k λ=1 ǫ (λ) µ (k){a λ(k + )e ik x +h.c.}. (.5) 9

10 Note that the polarization vectors satisfy λ=1 k µ ǫ (λ) µ (k) =, n µ ǫ (λ) µ (k) =, (λ = 1,) (.55) ǫ (λ) µ (k)ǫ(λ) ν (k) = g µν + n µk ν +n ν k µ k n k µk ν. (.56) k Let us next determine expressions for B and C. We expand B in terms of conjugate zero-norm creation and annihilation operators b(k + ), b (k + ). In so doing we can realize Gauss s law in physical space specified below. Similarly, we expand C in terms of conjugate zero-norm creation and annihilation operators c(k + ), c (k + ). It seems at first sight that there arises no problem in expressing B and C in terms of the zero-norm operators, because one can employ the following naive expressions for the static fields B(x) = 1 d 3 k + (π) k 3 + (k +n k+){b(k + )e ik x +b (k + )e ik x } x =, (.57) i C(x) = d 3 k + k + {c(k + )e ik x c (k + )e ik x } x (π) 3 = (.58) [b(k + ), c (q + )] = [c(k + ), b (q + )] = δ (3) (k + q + ), (.59) any other commutators being zero. However, we encounter the problem pointed out by Haller 13), namely the problem that the canonical commutation relations can not distinguish the PV and ML prescriptions. In fact if we take the k + -integration region to be the whole interval (, ), then we are obliged to have the PV form of propagator. Judging from the fact that the ML form of propagator has to be employed in the light-cone limit and from indications that the PV form of propagator does not lead to the correct behavior of the Wilson loop in perturbative calculations, 15) but the ML form of propagator does, 16) we conclude that the correct form of temporal gauge free theory from which to start perturbative calculations should perhaps have the ML prescription in the temporal gauge free propagator. So far extensions of the ML prescription outside the light-cone gauge formulation have been done by limiting the k + -integration region by hand to be (, ). 17) We solve this problem by introducing an inequivalent Fock space. We can rewrite B and C in such a way that k + -integrations are carried over the interval(, ) as in the following B(x) = 1 d 3 k + θ(k + )(k (π) 3 +n k+ ){B(k +)e ik x +B (k + )e ik x } x =, (.6) k+ C(x) = i (π) 3 d 3 k + θ(k + ) k + {C(k + )e ik x C (k + )e ik x } x = (.61) 1

11 B(k + ) = b(k +)+b ( k + ), B (k + ) = b (k + )+b( k + ), (.6) C(k + ) = c(k +) c ( k + ), C (k + ) = c (k + ) c( k + ). (.63) Now we see that B(k + ) and C(k + ) are nothing but canonical transformations, which are generated as follows Λ = π B(k + ) = e Λ b(k + )e Λ, B (k + ) = e Λ b (k + )e Λ, (.6) C(k + ) = e Λ c(k + )e Λ, C (k + ) = e Λ c (k + )e Λ (.65) d 3 k + θ(k + ){b(k + )c( k + ) b( k + )c(k + ) b (k + )c ( k + )+b ( k + )c (k + )}. Thus, if we define the physical vacuum state Ω > by > is the bare vacuum state satisfying then it is easy to show that Thus physical space V P is defined by (.66) Ω >= e Λ > (.67) b(k + ) >= c(k + ) >=, (.68) B(k + ) Ω >= C(k + ) Ω >=. (.69) V P = { phys > B(k + ) phys >= }. (.7) In this way we can always obtain the ML prescription in the physical space. To be complete we note that the x -ordered propagator D µν(x y) =< Ω {θ(x y )A µ (x)a ν (y)+θ(y x )A ν (y)a µ (x)} Ω > (.71) results in the ML form of propagator as follows Dµν (x y) = 1 d kd (π) µν (k)e ik (x y) (.7) D µν(k) = i k +iǫ { g µν + n µk ν +n ν k µ k +iǫsgn(k + ) n k µ k ν (k +iǫsgn(k + )) }. (.73) 11

12 It is known that for interacting theories the ML form of propagator has to be employed in the light-cone limit(θ π ). Therefore it is interesting to investigate whether it is also true of the θ = case, that is to say, the temporal gauge formulation in the ordinary space-time coordinates. Translation generators P µ = d 3 x + Tµ (x) are given in terms of the creation and annihilation operators of the constituent fields as follows P = d 3 k + { λ=1 k a λ (k +)a λ (k + )+n k +n k + k + θ(k + )B (k + )B(k + )}, (.7) P r = d 3 k + k r { a λ (k +)a λ (k + ) θ(k + ) ( B (k + )C(k + )+C (k + )B(k + ) ) }, (.75) λ=1 r = +,1,. We close this section by making two remarks. First, that the Heisenberg equation of C is not satisfied, as is seen from [P,C(x)] = in B(x) (.76) but that this is necessary to assure the Heisenberg equations of A µ [P,A µ (x)] = i A µ (x). (.77) Second, that we have not attempted constructing the axial gauge formulation in the auxiliary coordinates. This is because we have not succeeded in finding any solutions other than( 36). It seems to us that ( 36) is not an appropriate solution in the axial gauge formulation because x 1 is included explicitly and because the inverse Laplace operator +n + singular. becomes 3. Light-Cone Gauge Quantizations in the Light-Front Coordinates In this section we confine ourselves to the θ = π case, namely, to the formulation in the light-front coordinates x µ = (x, x +, x 1, x ) = ( x x 3 x, +x 3, x 1, x ) ) with metric tensors defined by g 11 = g = g 11 = g = 1, g + = g + = g + = g + = 1, (3.1) all other components =. ) To avoid inessential complications, in this section we omit the suffix l denoting quantities in the light-front coordinates and use the same notation as that used in sect.. 1

13 First of all we recall that the Lagrangian ( 8) becomes singular in the light-front coordinates, n µ = (, 1,, ). In fact in the temporal gauge formulation with x being the evolution parameter, it happens that the canonical momenta π i conjugate to A i becomes noninvertible, as we seen from π =, π + = A +, π i = + A i i A +, (i = 1,), π B =. (3.) What is worse, in the axial gauge formulation with x + being the evolution parameter, all momenta become noninvertible as in the following π = A +, π + =, π i = A i, (i = 1,), π B =. (3.3) As to the temporal case, we can circumvent dealing with the constrained system because we can obtain canonically quantized free electromagnetic fields by simply taking the limit θ π of ( 36). As to the axial case, we can not follow the same approach because we have not succeeded in finding an appropriate axial gauge solution in the auxiliary coordinates. Nevertheless, we expect to get the axial light-front limit(θ π +) from the temporal lightfront limit(θ π ). As a matter of fact, known light-cone gauge solutions are equivalent to each other, which is seen below. In the temporal light-front limit n = cosθ becomes zero and the mass-shell condition of the free massless fields is changed into k k + k = so that the range of k +-integration is reduced to (, ) in the Fourier expansions of the free massless fields. Consequently we obtain the following electromagnetic fields described in terms of the constituent fields and a i (x) = B(x) = C(x) = a + (x) = a (x) = A µ = a µ µ a n µ B µ C (3.) 1 d 3 k + k + θ(k + ){a 1 (k + )e ik x +a (π) 3 k+ k 1(k + )e ik x }, (3.5) 1 d 3 k + k θ(k + ){a 1 (k + )e ik x +a (π) 3 k+ k 1(k + )e ik x }, (3.6) 1 d 3 k + θ(k + )ǫ () (π) 3 i (k){a (k + )e ik x +a k+ (k + )e ik x }, (3.7) 1 d 3 k + θ(k + )k (π) 3 k+ {B(k + )e ik x +B (k + )e ik x } x =, (3.8) i (π) 3 d 3 k + θ(k + ) k + {C(k + )e ik x C (k + )e ik x } x =. (3.9) 13

14 We see immediately that (3 ) is identical with one given by McCartor and Robertson and by Morara and Soldati and is equivalent to the one given by Bassetto et al. Actually, the physical annihilation and creation operators a λ (k) and a λ (k) in the ordinary space-time coordinates are identified with those in the light-front coordinates by a λ (k) = k+ k a λ (k + ), a λ (k) = k+ k a λ (k +), (λ = 1,). (3.1) Consequently oura µ µ a canbeidentifiedwitht µ inthelatterbychangingtheintegration variablefromk + into k 3. InadditionourB andc canbeidentified withλandu respectively in the latter if we identify our k + with k 3 in the latter. Let us enumerate the properties of A µ in (3 ). (1) It satisfies the following -dimensional commutation relations and [A µ (x), A ν (y)] = i{ g µν D(x y)+(n µ ν +n ν µ ) E(x y)}, (3.11) D(x) = i d 3 k + θ(k (π) 3 + ){e ik x e ik x } (3.1) k + E(x) = + D(x)+ 1 δ (3) (x + ). (3.13) () It satisfies the following light-cone temporal gauge quantization conditions: [A + (x),a + (y)] x =y = [A +(x),a i (y)] x =y =, (i = 1,) (3.1) [A i (x),a j (y)] x =y = i δ ij( + ) 1 δ (3) (x + y + ), (i,j = 1,) (3.15) [A + (x),π + (y)] x =y = iδ(3) (x + y + ), (3.16) [A i (x),π + (y)] x =y = i i( + ) 1 δ (3) (x + y + ), (i = 1,) (3.17) [π + (x), π + (y)] x =y = i ( +) 1 δ (3) (x + y + ). (3.18) (3) The x -ordered propagator results in the ML form of propagator < Ω {θ(x y )A µ (x)a ν (y)+θ(y x )A ν (y)a µ (x)} Ω > = 1 d i k (π) k +iǫ { g µν + n µk ν +n ν k µ }e ik (x y). (3.19) k +iǫsgn(k + ) () It satisfies the light-cone gauge quantization conditions in the ordinary space time coordinates and the x -ordered propagator results in the ML form of propagator < Ω {θ(x y )A µ (x)a ν (y)+θ(y x )A ν (y)a µ (x)} Ω > = 1 d i k (π) k +iǫ { g n µ k ν +n ν k µ µν + }e ik (x y). (3.) k k 3 +iǫsgn(k 3 ) 1

15 (5) Translational generators can be given by integrating densities of the canonical energymomentum tensor over the 3-dimensional hyperplane x = constant. Let us next investigate whether the properties of the light-cone axial gauge formulation are satisfied by (3 ) or not. First we examine whether or not the light-cone axial gauge quantization conditions are satisfied by carefully evaluating the commutation relations(3 11) at x + = y +. It will suffice to evaluate the commutator function E(x), which is rewritten as E(x) = dk1 dk exp[ i(k (π) 3 k 1 x 1 +k x )]I(x,x + ) (3.1) I(x,x + ) = dk + {cosk + x + cos(k + x + + k k + x )}. (3.) Note that the first and the second terms result from the ghost and physical fields respectively and that they are ill-defined individually. It is shown in Appendix A that I(x,x + ) is given by I(x,x + ) = π {1+ǫ(x )ǫ(x + )} x x + k J 1 ( x + x k ) (3.3) J 1 (x) is the Bessel function of order 1. From (3 3) we obtain I(x,x + ) x + = = π x k, + I(x,x + ) x + = = π x δ(x + )k π 16 x x k. (3.) It follows that [A + (x),a i (y)] x + =y + = i i E(x y) x + =y + = i x y i δ () (x y ), (3.5) [A + (x),a + (y)] x + =y + = i + E(x y) x + =y + = i(x y )δ (3) (x + y + ) i 8 ǫ(x y )(x y ) δ() (x y ). (3.6) Furthermore the commutator[a i (x),a j (y)] x + =y + is evaluated to be [A i (x),a j (y)] x + =y + = iδ ijd(x y) x + =y + = i δ ij( ) 1 δ (3) (x y ). (i,j = 1,) (3.7) We see that these commutation relations agree with those given by Dirac s canonical quantization procedure except the first term of (3 6), which results from the fact that I(x,x + ) has a finite discontinuity at x + =. Next we investigate x + ordered propagator D µν + (x y) = < Ω {θ(x+ y + )A µ (x)a ν (y)+θ(y + x + )A ν (y)a µ (x)} Ω > = 1 d q D (π) µν(q)e + iq (x y). (3.8) 15

16 Note that B and C are zero-norm fields so they have nonvanishing contributions for three cases, namely for µ = +,ν = i;µ = i,ν = + and µ = ν = +. In case that µ = i and ν = j there arises no problem and we have When µ = + and ν = i or µ = i and ν = +, we obtain D + +i (q) = D+ i+ (q) = q i q = D + ij (q) = iδ ij q +iǫ. (3.9) i q +iǫ iq i ( iπ)sgn(q q + )δ(q ) q i q +iǫsgn(q + ). (3.3) i q +iǫ We see that the second term, which is the contribution from the ghost fields, contributes the δ function part of the ML prescribed propagator. In case that µ = ν = +, we obtain D ++(q) + = q i q q +iǫ δ(q ) ik + dk q + ( q + k + +iǫ ik + q + +k + iǫ ). (3.31) As was noticed by Morara and Soldati, 11) the second term diverges linearly. This implies that if the ghost fields really regularize D ++ + (x y), a linear divergence has to appear from the physical contribution so as to be canceled. As a matter of fact we see that if we rewrite the physical contribution as then the second term i q q q i q +iǫ = q + q gives rise to a linear divergence as follows 1 dq e iq cosq x x = dq q q i q +iǫ i, (3.3) q 1 = dq π x (3.33) q when D + ++(x) is restored by inverse Fourier transform. Furthermore by changing the integration variable from k + into q = q k +, we see that it is canceled by the linear divergence due to the ghost fields as follows = i( dq i dk + q q δ(q )( dk + )e iq x i dq ) = i( q dq q dq q dq ) =. (3.3) q To the best of our knowledge this point has been overlooked so far. We verify in Appendix B that linear divergences do not appear from D + ++(x) if we carry out k + -integrations of the 16

17 physical and ghost contributions simultaneously and in advance of Fourier transformation with respect x +. This verifies that the linear divergences arising from the ghost and physical contributions cancel each other. Therefore, although changing the order of integrations prevents us from carrying out the Fourier transformations to obtain a closed form expression for D + ++(q), we are justified in neglecting the linear divergence arising from the ghost contribution as follows D + ++ (q) = q + q = i q +iǫ iq + i q +iǫ q ( iπ)ε(q + )δ(q ) i { 1 (q +iǫ) + 1 (q iǫ) } q + q +iǫε(q + ) i { 1 (q +iǫ) + 1 (q iǫ) }. (3.35) Here the finite contact term is obtained as a result of Fourier transformation of x. The appearance of contact terms implies the existence of Coulomb-like counter terms in the interaction Hamiltonian. We leave the specification of such terms for subsequent studies.. Concluding Remarks In this paper we have analyzed further the problem of the canonical derivation of the propagator in gauge theories, both in the light-cone representation and in the equal-time representation. We have emphasized the indispensability of ghost fields in the light-cone gauge formulation of gauge fields. In particular, we have found that the ghost fields are indispensable if we are to have well-defined antiderivatives and to properly regularize the most singular component of the naive gauge field propagator. We have also shown that the ML form of propagator is obtained in a consistent temporal gauge formulation of gauge fields in the ordinary space-time coordinates if a suitable vacuum is chosen. What we have not completely understood is the discrepancy observed in the commutator [A + (x),a + (y)] x + =y +, in which we find an extra δ(x+ y + )-type singularity. It seems that this discrepancy indicates that the light-cone limits are not the same and that the light-cone axial gauge formulation will require the elimination of such singularities. We have also left completing the Fourier transform of the (formally) most singular component of the gauge field propagator for subsequent studies. Finally we point out that our approach may provide an easier way to construct perturbation theories of interacting gauge fields in the light-cone temporal gauge than that of Morara and Soldati 11), because temporal gauge Lagrangiansare regular in the auxiliary coordinates. We also leave this task for subsequent studies. 17

18 Acknowledgements The work of one of us (GMc) was supported by grants from the U.S. Department of Energy. Appendix A Verification of (3 ) With the help of the addition theorem of the trigonometric cosine function, we can decompose I(x,x + ) as a sum of two well-defined integrals I(x,x + ) = I (1) (x,x + )+I () (x,x + ) I (1) (x,x + ) = dk + sink + x + sin k x k +, (A.1) (A.) I () (x,x + ) = dk + cosk + x + (1 cos k x k + ). (A.3) We see that I (1) (x,x + ) is an odd function of x + and of x and becomes trivially zero at x + = and/or at x =. We also see that in the case that x + > and x >, an explicit expression of I (1) (x,x + ) is known from an integral formula 18) dk sinak sin b k = π b a J 1( ab), (a >,b > ) (A.) J 1 stands for the Bessel function of order 1. Therefore we immediately obtain I (1) (x,x + ) = π ǫ(x )ǫ(x + )k x x + J 1(k x x + ). (A.5) Because of the sign factor ǫ(x + ),I (1) (x,x + ) gives a finite discontinuity at x + =. Next we show that an explicit expression for I () (x,x + ), which is an even function of x and of x +, results from the same formula (A ). In case that x +, integrating by parts and then changing integration variable from k + to k = k k + results in I () (x,x + ) = x x +k dk + sink k+ + x + sin k x = x dk k + x + sink x sin k x + k π = k x x + J 1(k x x + ). (A.6) 18

19 The value at x + = is calculated as follows I () (x,x + ) x + = = = k x dk + (1 cos k x ) = k k + dk 1 cosk x k dk sink x k = π k x, (A.7) which turns out to be the limit of (A 6) as x +. Consequently I () (x,x + ) is known to be a continuous function of x and x +. Substituting (A 5) and (A 6) into (A 1) yields (3 ). Appendix B Disappearance of the linear divergence from D + ++ (x) To demonstrate that D ++ + (q) possesses no linear divergences owing to the ghost fields, we carry out the k + -integration in D ++ + (x) = (π) 3 d 3 k + k + θ(k k + ){θ(x + )(e ik x e ik x x =)+θ( x + )(e ik x e ik x x =)} (B.1) in advance of Fourier integrations yielding D ++ + (q). We can then rewrite D+ ++ (x) in the following form D ++ + (x) = dk1 dk exp[ i(k (π) 3 k 1 x 1 +k x )]{ + J(x,x + ) iǫ(x + ) + I(x,x + )} (B.) J(x,x + ) = dk + {sin(k + x + + k x k + ) sink + x + } (B.3) and I(x,x + ) is the function given in Appendix A. We see that owing to the second term, which comes from the ghost contribution, the integrand of J(x,x + ) behaves like cosk +x + as k +, which verifies that J(x,x + ) is well-defined when x +. It is useful to illustrate how the ghost contribution gives rise to a linear divergence. Applying the distribution procedure we obtain and hence sink + x + = i dx + e iq +x + + ( sink + x + ) = = ǫ(k + )e ik +x + = P 1 x + dx + 1 (x + ) eiq +x+ k + = dx +cosq +x + (x + ) (B.) dx + 1 (x + ) +π q +. (B.5) 19

20 We see that the last term diverges linearly. Furthermore we notice that showing that J(x,x + ) does not possess any terms tending to 1 x + as x + verifies the disappearance of linear divergences from D + ++(x). Note that I(x,x + ) has no such terms, as is seen from (3 5). We can find an explicit expression for J(x,x + ) by making use of the µ 1 limits of the following integral formulas 19) dkk µ 1 sin(ak + b k ) = π ( b a dkk µ 1 sin(ak b k ) = ( b a )µ sin µπ K µ( ab), (B.6) )µ {cos µπ J µ( ab) sin µπ N µ( ab)} (B.7) a>,b>, Reµ <1 and K µ,j µ and N µ are Bessel functions. We are justified in using the limits to calculate J(x,x + ), because J(x,x + ) is decomposed as a difference of the two integrations and because the difference is well-defined so that it is independent of the regularizations. In the limit we have dk sin(ak b k ) = b a K 1( ab), (B.8) dk sin(ak + b k ) = π b a N 1( ab). Furthermore, taking the b + limit of (B 8) and (B 9) yields dk sinak = 1 a (B.9) (B.1) which agrees with (B ). It follows from (B 8) (B 1) that J(x,x + ) = ǫ(x+ )+ǫ(x ) k x x + { πn 1(k x x + ) 1 + ǫ(x+ ) ǫ(x ) k x x + {K 1(k x x + ) 1 k k x x + } x x + }. (B.11) This shows that the leading term for small x + is 1 x log x + so that no linear divergences arise in the Fourier transform of + J(x,x + ). References 1) K. Bardakci and M.B. Halpern, Phys. Rev. 176 (1968), ) Theory of Hadrons and Light-Front QCD ( World Scientific, Singapore, 1995).

21 3) J.B. Kogut and D.E. Soper, Phys. Rev. D1 (197), 91. R.A. Neville and F. Rohrlich, Phys. Rev. D3 ( 1971), 169. ) N. Nakanishi, Phys. Lett. 131B (1983), 381. N. Nakanishi, Quantum Electrodynamics,ed.T. Kinoshita (World Scientific, Singapore, 199),p.36. 5) J. Schwinger, Phys. Rev. 13 (1963),. 6) P.A.M. Dirac, Lectures on Quantum Mechanics,Belfer Graduate School of Science- Yeshiva University (Academic Press, New York, 196). A. Hanson, T. Regge, and C. Teitelboim, Constrained Hamiltonian Systems (Accad.Naz.deiLincei, Rome, 1976). 7) D.M. Capper, J.J.Dulwich, and M.J. Litvak, Nucl. Phys. 1B (198), 63. 8) S. Mandelstam, Nucl. Phys. B13 (1983), 19. G. Leibbrandt, Phys. Rev. D9 (198), ) A. Bassetto, M. Dalbosco, I. Lazziera and R. Soldati, Phys. Rev. D31 (1985), 1. A. Bassetto, G. Nardelli, and R. Soldati, Yang-Mills Theories in Algebraic Non- Covariant Gauges (World Scientific, Singapore, 1991). 1) G. McCartor and D.G. Robertson, Z.Phys.C6 (199), 39; C68 (1995), ) M. Morara and R. Soldati, Phys. Rev. D58 (1998), ) K. Hornbostel, Phys. Rev. D5 (199), ) K. Haller, Phys. Rev. D (199), 95. 1) B. Lautrup, Mat.Fys.Medd.Dan.Vid.Selsk.35(1967),No.11. N. Nakanishi, Prog. Theor. Phys. Suppl. No.51(197),1. 15) S. Caraccilo, G. Curei, and P. Menotti, Phys. Lett. 113B (198), 311..(not ;) 16) H. Hüffel, P.V. Landshoff, and J.C. Taylor, Phys. Lett. 17B (1989), 17. period.(not ;) 17) I. Lazzizzera, Phys. Lett. 1B (1988), 188; Nuovo Cim. 1A (1989), P.V.Landshoff and P.van Nieuwenhuizen, Phys. Rev. D5 (199), 157..(not ;) 18) Tables of Integral Transformations(McGraw-Hill, New York, 195), vol 1, 83(6). 19) Tables of Integral Transformations(McGraw-Hill, New York, 195), vol 1, 319(16) and 319(17). 1