arxiv:hep-th/ v2 11 May 1998

Transcription

1 SOGANG HEP 223/97, HD THEP Quantization of spontaneously broken gauge theory based on the BFT BFV Formalism Yong-Wan Kim and Young-Jai Park arxiv:hep-th/ v2 11 May 1998 Department of Physics and Basic Science Research Institute Sogang University, C.P.O.Box 1142, Seoul , Korea and Institut für Theoretische Physik Universität Heidelberg Philosophenweg 16, D Heidelberg, Germany Abstract We quantize the spontaneously broken abelian U(1) Higgs model by using the improved BFT and BFV formalisms. We have constructed the BFT physical fields, and obtain the first class observables including the Hamiltonian in terms of these fields. We have also explicitly shown that there are exact form invariances between the second class and first class quantities. Then, according to the BFV formalism, we have derived the corresponding Lagrangian having U(1) gauge symmetry. We also discuss at the classical level how one easily gets the first class Lagrangian from the symmetry-broken second class Lagrangian. PACS: Ef, Ex, q Typeset using REVTEX and 1

2 I. INTRODUCTION Many of the fundamental theories of modern physics can be considered as descriptions of dynamical systems subjected to constraints. The foundations for Hamiltonian quantization of these constrained systems have been established by Dirac [1]. By requiring the strong implementation of second class constraints, however, this method implies Dirac brackets, whose non-canonical structure may pose serious problems on operator level. This makes it desirable to embed the second class theory into a first class one in which the commutator relations remain canonical. An example is provided by the Higgs model with spontaneous symmetry breakdown [2] whose quantization is usually carried out in the so called unitary gauge. As is well known, in this gauge the model is a purely second class system characterized by two sets of the second class constraints [3,4]. The required strong implementation of these constraints leads to non-polynomial field dependent Dirac brackets. As mentioned above, one can circumvent the problems associated with this non-polynomial dependence by turning this system into a first class one with a usual Poisson bracket structure in an extended phase space and implementing the first class constraints on the physical states. A systematic procedure for achieving this has been given by Batalin and Fradkin (BF) [5] and explicitly carried out for the above Higgs model [4]. However, it is already proved that the construction of the first class Hamiltonian in the BF framework is non-trivial even in the abelian case because of the field dependence on the constraint algebra. In this case the only weakly involutive first class Hamiltonian is obtained after the fifth iteration, and thus it does not appear particularly to be suited for treating non-abelian cases. A more systematic and transparent approach for this iterative procedure, called Batalin Fradkin Tyutin (BFT) formalism when combined with the BF one, has been developed by Batalin and Tyutin [6]. This procedure has been applied to several interesting models [7,8], where the iterative process is terminated after two steps. In general, it has been, however, still difficult to apply this BFT formalism to the nonabelian case [9]. On the other hand, we have recently improved the BFT formalism by introducing the novel concept of the BFT physical fields constructed in the extended phase space [10] in order to construct the strongly involutive obsevables including the Hamiltonian. This modified version of the BFT method 2

3 has been successively applied for only finding the first class Hamiltonian of several nontrivial nonabelian models [11 13]. In particular, the origin of the second class constraints of the Higgs model is different from that of the usual Yang-Mills theory [11,12], which is due to the existence of the explicitly symmetry broken mass term. In this paper we shall revisit the spontaneously broken abelian U(1) Higgs model by following the constructive procedure based on the improved BFT version [10]. In section 2, we convert the second class constraints into a first class ones, and construct in section 3 the BFT physical fields in the extended phase space corresponding to the original fields in the usual phase space, following the improved BFT formalism. We then systematically obtain all observables containing the first class Hamiltonian as functionals of the BFT physical fields showing the form invariances between the second class and first class quantities. In section 4, through the standard path integral quantization established by Batalin, Fradkin and Vilkovsky (BFV) [15,16], we derive the gauge invariant Lagrangian. In section 5, we discuss at the classical level how one can easily get this Lagrangian from the original second class one by simply replacing the original fields with the BFT ones through the hidden relation. We summarize in section 6. II. BFT CONSTRUCTION OF FIRST CLASS CONSTRAINTS Consider the abelian U(1) Higgs model in the unitary gauge [3,4], L u = 1 4 F µνf µν g2 (ρ + v) 2 A µ A µ µρ µ ρ + V (ρ), (1) where the subscript u stands for the unitary gauge, the Higgs potential is V (ρ) = 1 2 µ2 (ρ+ v) 2 λ 4 (ρ+v)4, and the field strength tensor F µν = µ A ν ν A µ. The momenta canonically conjugate to A 0, A i and ρ are given by π 0 = 0, π i = F i0, and π ρ = ρ, respectively. We have thus one primary constraint Ω 1 = π 0 0. (2) The canonical Hamiltonian density associated with the Lagrangian (1) is given by H c = 1 2 π2 i π2 ρ F ijf ij 1 2 g2 (ρ + v) 2 ( (A 0 ) 2 (A i ) 2) A 0 i π i ( iρ) 2 V (ρ). (3) 3

4 Persistency in time of Ω 1 leads to one further (secondary) constraint Ω 2 = i π i + g 2 (ρ + v) 2 A 0 0. (4) Then, the constraints Ω i in Eqs. (2) and (4) consist of a second class system because we have the nonvanishing Poisson brackets ij (x, y) {Ω i (x), Ω j (y)} = g 2 (ρ + v) 2 ǫ ij δ 3 (x y), (5) where ǫ 12 = ǫ 12 = 1. We now convert this second class system defined by the commutation relations (5) to a first class one at the expense of introducing additional degrees of freedom. According to the BFT method [6], we first introduce two auxiliary fields Φ i corresponding to Ω i with the Poisson brackets {Φ i (x), Φ j (y)} = ω ij (x, y), (6) where we are free to make a choice ω ij (x, y) = ǫ ij δ 3 (x y). (7) The first class constraints Ω i are then constructed as a power series in the auxiliary fields: where Ω (n) i Ω i = n=0 Ω (n) i ; Ω (0) i = Ω i, (8) are homogeneous polynomials in the auxiliary fields Φ j of degree n, to be determined by the requirement that the first class constraints Ω i be strongly involutive: { Ωi (x), Ω j (y) } = 0. (9) Since Ω (1) i are linear in the auxiliary fields, we could make the ansatz Ω (1) i = d 3 yx ij (x, y)φ j (y). (10) Then, substituting (10) into (9) leads to the following relation d 3 zd 3 z X ik (x, z)ω kl (z, z )X jl (z, y) = ij (x, y). (11) 4

5 For the choice of (7), Eq. (11) has a solution g 2 (ρ + v) 2 0 X ij (x, y) = δ 3 (x y). (12) 0 1 Substituting (12) into (10) as well as (8), and iterating this procedure one finds the strongly involutive first class constraints to be given by Ω 1 = Ω 1 + g 2 (ρ + v) 2 Φ 1, Ω 2 = Ω 2 + Φ 2. (13) This completes the construction of the first class constraints in the extended phase space. III. CONSTRUCTION OF FIRST CLASS OBSERVABLES The construction of the first class Hamiltonian H can be done along similar lines as in the case of the constraints (see the Appendix A). However, we shall follow here a somewhat different path [10] by using the novel property that any functional K( F) of the first class fields F = (õ, π µ, ρ, π ρ ) corresponding to the original fields F = (A µ, π µ, ρ, π ρ ) will also be first class. i.e., K(F; Φ) = K( F). (14) This leads us to the identification H c = H c ( F). To do this, we should first construct first class physical fields F in the extended phase space, which are obtained as a power series in the auxiliary fields Φ j by requiring them to be strongly involutive: { Ω i, F} = 0. Expressions of the strongly involutive F are given by à µ = (A g 2 (ρ + v) 2π θ, A i + i θ), (15) π µ = (π 0 + g 2 (ρ + v) 2 θ, π i ), (16) ρ = ρ, (17) π ρ = π ρ + 2g 2 (ρ + v)a 0 θ. (18) 5

6 Here, for the later convenience, we have identified the auxiliary fields Φ i as a canonically conjugate pair (θ, π θ ) by choosing Φ i = (θ, π θ ), which satisfy the symplectic structure (2.6) with the choice of Eq. (2.7). In order to understand the meaning of these BFT fields, let us now consider the Poisson brackets between the BFT fields in the expended phase space. From the relations of Eqs. (15 18), one can easily calculate the Poisson brackets of the abelian Higgs model as follows {Ã0 (x), Ãi (y)} = 1 g 2 ( ρ + v) 2 i xδ 3 (x y), {Ã0 (x), π ρ (y)} = 2Ã0 ( ρ + v) δ3 (x y), {Ãi (x), π j (y)} = δ i jδ 3 (x y), { ρ(x), π ρ (y)} = δ 3 (x y). (19) Note that these Poisson brackets in the extended phase space have the form invariance as compared with the Dirac brackets in the original phase space, and moreover, if we take the limit of Φ i = (θ, π θ ) 0, the brackets (19) are nothing but the usual Dirac brackets of the abelian Higgs model [3]. On the other hand, we observe that the first class constraints (13) can be written in terms of the BFT physical fields F as Ω 1 = π 0, Ω 2 = i π i + g 2 ( ρ + v) 2 Ã 0, (20) and these constraints also have the form invariance with the second class constraints Ω i in Eqs. (2) and (4). Correspondingly, we take the first class Hamiltonian density H c to be given by the second class one (3), expressed in terms of the physical fields: H c = 1 2 π2 i π2 ρ F ij F ij 1 2 g2 ( ρ + v) 2 ( (Ã0 ) 2 (Ãi ) 2) Ã0 i π i ( i ρ) 2 V ( ρ), (21) and, by construction, Hc = d 3 x H c is automatically strongly involutive { Ω i, H c } = 0. (22) 6

7 It seems approriate to comment on our strongly involutive Hamiltonian (21) derived by using the improved BFT formalism. Making use of (15 18) and (21), we may rewrite H c in the form where H is given by H c = H c + H π θ g 2 (ρ + v) 2 Ω 2, (23) H = 2g 2 (ρ + v)θa 0 ( πρ + g 2 (ρ + v)θa 0 ) g 2 (ρ + v) 2 i θ(a i iθ) + π 2 θ 2g 2 (ρ + v) 2. If we construct our strongly involutive Hamiltonian along similar BFT lines as in the case of the constraints, we obtain this Hamiltonian (23) after only second iterations (see the Appendix A), while the weakly involutive Hamiltonian in ref. [4] derived by using the BF formalism is obtained after the fifth iteration in spite of the abelian case and has rather complicated additional terms given in Eq. (2.29) of ref. [4]. Any Hamiltonian weakly equivalent to (21), however, describes the same physics since the observables of the first class formulation must be first class themselves, and thus these two Hamiltonians are equivalent to each other. Therefore, we can add to H c any terms freely proportional to the first class constraints. In particular, if we choose the simplest Hamiltonian density among infinite equivalent ones: H c = H c + H, (24) then this naturally generates the Gauss law constraint Ω 2 { Ω 1, H } = Ω 2, { Ω 2, H } = 0, (25) and it will be proved to be useful through the following discussion as well as the next section. If we consider this Hamiltonian (24), the form-invariant Hamilton s equations of motion for the physical BFT fields are found to be read à 0 = i à i + π 0 = Ω 2, 2 v)ãi i ρ 2 ( ρ + ( ρ + v) π ρã0, 7

8 à i = π i + i à 0, π i = j Fij g 2 ( ρ + v) 2 à i, ρ = π ρ, π ρ = g 2 ( ρ + v) ( (Ã0 ) 2 + (Ãi ) 2) + i 2 ρ + V ( ρ), (26) where V ( ρ) = V ( ρ). But, if one try to derive the equations of motion from the strongly ρ involutive Hamiltonian (21), one can only obtain the weak relations since as an example the Hamilton s equation of motion for Ãi is reduced to be ( ) à i = π i + i à 0 x i 1 g 2 ( ρ + v) Ω 2 2. As a result, these relations (26) together with Eqs. (20) and (25) confirm the form invariances between the second class quantities in the original phase space and the corresponding first class ones in the extended phase space. IV. CORRESPONDING FIRST CLASS LAGRANGIAN In order to interpret the results presented at the previous sections from the Lagrangian point of view, let us apply the BFV quantization scheme [15,16] to the first class system described by Eqs. (20) and (24). We first introduce ghosts C i, antighosts P i and new auxiliary fields q i with their canonically conjugate momenta P i, C i and p i such that [C i, P j ] = [P i, C j ] = [q i, p j ] = iδj i δ3 (x y), (27) where the subscript i, j = 1, 2, due to having the two constraints in Eq. (20), and from now on we will use the commutators instead of the Poisson brackets. The nilpotent BRST charge Q and the ferminonic gauge fixing function Ψ are then given by Q = d 3 x ( ) C i Ωi + P i p i, Ψ = d 3 x ( C i χ i + P i q i), (28) where χ i are gauge fixing functions satisfying the condition det{χ i, Ω j } 0 [16,17]. The total unitarizing Hamiltonian is then given by 8

9 H T = H m + 1 [Ψ, Q]. (29) i Since we have the involutive relations (25), the minimal Hamiltonian H m is nothing but H m = H c + d 3 xp 2 C 1. (30) The corresponding quantum theory is now defined by the extended phase space functional integral Z I = Dµ I e is I ; ( S I = d 3 x π µ A µ + π ρ ρ + π θ θ + pi q i + C i P i + P i Ċ i ) H T ; Dµ I = DA µ Dπ µ DρDπ ρ DθDπ θ Dq i Dp i DC i DP i DP i DC i. (31) According to the BFV formalism [15,16], Z I is independent of the choice of the gauge fixing functions χ i. By choosing the proper χ i, which do not include the ghosts, antighosts, and auxiliary fields and their conjugate momenta, and taking the limit of β 0 after rescaling the field variables as χ i χ i /β, p i βp i, and C i βc i, one can integrate out all the ghost, antighosts and auxiliary variables in the partition function. As a result, one obtains Z II = Dµ II δ( Ω i )δ(χ j )det[χ, Ω]e is II, (32) where S II is the action in the extended phase space i,j S II = d 4 x ( π µ Ȧ µ + π ρ ρ + π θ θ H c ), (33) and Dµ II is the measure containing all the fields and their conjugate momenta except for the ghosts, antighosts and auxiliary fields in the measure Dµ I. Note that this form of the partition function S II coinsides with the Faddeev-Popov formula [18]. Now, let us perform the momentum integrations to obtain the configuration partition function. In general, if we choose the Faddeev-Popov type gauges in which the gauge fixing conditions χ i only depend on the configuration space variables, one can easily carry out the momentum integrations in the partition function (32). The π 0 integration is trivially performed by exploiting the delta function δ( Ω 1 ), and after exponentiating the remaining delta function δ( Ω 2 ) in terms of a Fourier variable ξ as 9

10 δ( Ω 2 ) = Dξ exp( i d 4 xξ Ω 2 ) and transforming A 0 A 0 + ξ, the integration over the momenta π θ, π ρ and π i leads to Z = DA µ DρDθDξ δ(χ i )det[χ, Ω]det(g(ρ + v))e is GI, (34) i where S GI = ( d 4 x 1 4 F µνf µν + 1 ) 2 [ µ + ig(a µ + µ θ)](ρ + v)[ µ ig(a µ + µ θ)](ρ + v) + V (ρ), and the ξ field in the measure is an artifact which would be removed if we take the gauge fixing function χ i explicitly. This action S GI is now gauge invariant under the transformation (35) A µ A µ + µ Λ, θ θ Λ, ρ ρ. (36) This completes our ananlysis on the BFV quantization scheme. It only remains to establish the equivalence between the above gauge invariant action and the well-known U(1) Higgs model. By defining the complex scalar field φ(x) as φ(x) = 1 2 (ρ(x) + v)e igθ(x) (37) with the BFT field θ playing the role of the Goldstone boson, and replacing the Jacobian factor DθDρ det (g(ρ + v)) in the measure part with DφDφ, we can easily rewrite the partition function (34) with the action (35) as follows Z F = DA µ Dφ Dφ δ(χ i )det{χ, Ω}e is F ; i S F = d 4 x ( 1 ) 4 F µνf µν + (D µ φ) (D µ φ) + µ 2 φ φ λ(φ φ) 2, (38) where D µ = µ iga µ is the covariant derivative. As a result, we have arrived at the well-known U(1) Higgs model, which describes the interaction of the abelian gauge fields A µ with the complex scalar fields φ, through the BFT BFV construction. V. BFT LAGRANGIAN FORMULATION Let us now consider in this section the similar economical method to simply obtain the first class Lagrangian (35) at the classical level. It consists in gauging the Lagrangian (1) 10

11 by making the substitution A µ õ and ρ ρ. The spatial components Ãi among the vector potential components contain only the fields of the configuration space as in Eq. (15), and already take the usual form of the gauge transformation, i.e., à i A i + i θ. However, since the time component Ã0 contains the term of the momentum field π θ as in Eq. (15), we should first replace this term with some ordinary field before carrying out the above substitution. In order to incorporate the Ã0 field at this stage, we use a relation, which has not been recognized up to now. This hidden relation is turned out to be crucial [19] to show the strong involution as like in Ãi when we analyze the non-abelian models [11 13] in which the non-abelian extension of à 0 only provides the weak equivalence with the one obtained in the gauged Lagrangian, up to the first class constraints. From the useful property (14) and the definition of π i, we observe the following relation: π i = i à 0 0 à i ) 1 = i (A 0 + g 2 (ρ + v) 2π θ 0 (A i + i θ). (39) On the other hand, another form of π i is already given in Eq. (16) as follows π i = π i = i A 0 0 A i. (40) Comparing this with Eq. (39), we see that the following hidden relation should be maintained for the consistency all the times 0 θ = 1 g 2 (ρ + v) 2π θ, (41) which make it possible to directly replace the second term of à 0 with 0 θ. As a consequence of this hidden relation, we can now rewrite the Ã0 as the usual form of the gauge transformation as follows à 0 = A θ. (42) Note that the Hamilton s equations (26) can be also used to confirm the relation (41). Therefore, gauging the original Lagrangian (1), i.e., making the substitution à µ A µ + µ θ, ρ ρ, (43) we have directly arrived at the same first class Lagrangian (35) at the classical level, 11

12 L(õ, ρ) = L(A µ, θ, ρ) = L GI, (44) which is already obtained through the standard path integral procedure in the previous section. VI. SUMMARY In this paper, we have quantized the spontaneously broken abelian U(1) Higgs model, which is a phenomenologically interesting and simple toy model, through the BFT BFV quantization procedure. First, according to the improved version [10] of the BFT formalism, we have constructed the BFT physical fields, and proved that the Poisson brackets between these BFT fields naturally contain the structure of the Dirac brackets [3] in the original phase space for the abelian U(1) Higgs model as like in Eq. (19), while maintaining the form invariance in the extended phase space. Second, we have shown that the strongly involutive first class Hamiltonian (21) is directly obtained by replacing the second class fields with the first class BFT ones. Third, after directly obtaining the above Hamiltonian and by choosing the simplest involutive Hamiltonian H c among equivalent infinite ones, we have shown that this H c in Eq. (24) naturally generates the Gauss law constraint, and also gives the strong Hamilton s equations of motion (26). Moreover, we have also shown that there are the exact form invariances between the second class and first class quantities in Eqs. (20, 21) and (26), which give us the deep physical meaning of the BFT fields when we embed a second class system into first class by using the BFT construction. Fourth, we have carried out the BFV quantization procedure in order to interpret the results of the Hamiltonian embedding of the abelian U(1) Higgs model from the Lagrangian point of view, and constructed the gauge invariant Lagrangian corresponding to the first class Hamiltonian. Fifth, by using the novel hidden relation, we have newly shown that one can directly obtain the first class Lagrangian from the second class one by just replacing the original fields with the BFT ones at the classical level, similar to the case of the Hamiltonian. In 12

13 particular, this kind of the BFT Lagrangian construction will be powerful for the analysis of the non-abelian cases, where the non-abelian extension of the Ã0 remains to be weakly involutive to the usual gauge transformation. Note that for the massive Yang-Mills case of Ref. [11], since the authors did not derive the compact form of first class fields, they could not obtain the exact form of the first class Hamiltonian. As a result, the first class Lagrangian corresponding to this Hamiltonian also could not be directly derived through the standard path integral quantization. In fact, the physical first class fields consist of the sum of an infinite power series of the auxiliary fields, up to now one can not carry out the standard path integral procedure. In conclusion, we have shown that the improved version [10] of the BFT formalism is more economical than the previous BFT versions [7 9] including the BF one [4] by explicitly analyzing the abelian U(1) Higgs model. We hope that this powerful BFT formalism with the hidden relation, which we first used here, will improve the transparency of the analysis in the nonabelian cases which are realistic and phenomenological models related to the spontaneously broken symmetry. APPENDIX In this appendix, we derive the first class Hamiltonian (21) in the extended phase space corresponding to the second class one (3) by using the usual BFT approach [6,7]. The first class Hamiltonian H c corresponding to H c is given by the infinite series, H c = n=0 satisfying the initial condition, H c (F; 0) = of H c is given by H (n) c = 1 n H (n) c ; H (n) c (Φ i ) n, (45) H (0) c = H c. The general solution for the involution d 3 xd 3 yd 3 z Φ i (x)ω ij (x, y)x jk (y, z)g (n 1) k (z) (n 1), (46) where the generating functions G (n) k are given by G (0) i = {Ω (0) i, H c }, G (n) i = {Ω (0) i, H c (n) } F + {Ω (1) i, H c (n 1) } F (n 1), (47) 13

14 where the subscipt F represents that the Poisson brackets are calculated among the original fields. Here, ω ij and X ij are the inverse matrices of ω ij and X ij, respectively. Explicit calculations yield G (0) 1 = Ω 2, G (0) ( 2 = i x g 2 (ρ + v) 2 A i) + 2g 2 A 0 ρπ ρ, (48) which are substituted in (46) to obtain H c (1), [ H c (1) = d 3 x g 2 (ρ + v) 2 i θa i + 2g 2 (ρ + v)θa 0 π ρ ] π θ g 2 (ρ + v) 2Ω 2. (49) This is inserted back in Eq. (47) in order to deduce G (1) i as follows G (1) 1 = π θ, G (1) 2 = g 2 (ρ + v) 2 i i θ + 2g 2 i θ(ρ + v) i ρ + 4g 4 (ρ + v) 2 θ(a 0 ) 2. (50) Then, we obtain H c (2) by substituting G (1) i in Eq. (46) [ H c (2) = d 3 x 1 2 g2 (ρ + v) 2 i θ i θ + 2g 4 (ρ + v) 2 θ 2 (A 0 ) 2 π 2 ] θ. (51) 2g 2 (ρ + v) 2 Finally, since G (n) i = 0 (n 2), (52) due to the proper choice (7), we obtain exactly the same Hamiltonian H c in (23) as follows H c = H c + H c (1) + H c (2) = d 3 x H c. (53) ACKNOWLEDGMENT We would like to thank M. I. Park and K. D. Rothe for helpful disscusions, and the Institut für Theoretische Physik for their warm hospitality. The present study was partly supported by the Korea Research Foundation for (1996) overseas fellowship (Y. W. Kim), the KOSEF DFG Exchange Program (Y. J. Park), and the Basic Science Researh Institute Program, Ministry of Education, 1997, Project No. BSRI

15 REFERENCES [1] P. A. M. Dirac, Can. J. Math. 2, 129 (1950); Lectures on Quantum Mechanics (Yeshiva University, New York 1964). [2] E. S. Abers and B. W. Lee, Phys. Rep. C9, 1 (1973). [3] H. O. Girotti and H. J. Rothe, Nuovo Cim, 75A, 62 (1983). [4] R. Banerjee, H. J. Rothe and K. D. Rothe, Nucl. Phys. B426, 129 (1994). [5] I. A. Batalin and E. S. Fradkin, Phys. Lett. B180, 157 (1986); Nucl. Phys. B279, 514 (1987). [6] I. A. Batalin and I. V. Tyutin, Int. J. Mod. Phys. A6, 3255 (1991). [7] R. Banerjee, Phys. Rev. D48, R5467 (1993); W. T. Kim and Y. J. Park, Phys. Lett. B336, 376 (1994); Y. W. Kim, Y. J. Park, K. Y. Kim and Y. Kim, Phys. Rev. D51, 2943 (1995); R. J. Banerjee, H. J. Rothe and K. D. Rothe, Phys. Rev. D55, 1 (1997). [8] R. Amorim and A. Das, Mod. Phys. Lett. A9, 3543 (1994); R. Amorim, Z. Phys. C67, 695 (1995). [9] N. Banerjee, R. Banerjee and S. Ghosh, Ann. Phys. (NY) 241, 237 (1995). [10] W. T. Kim, Y. W. Kim, M. I. Park, Y. J. Park and S. J. Yoon, J. Phys. G: Nucl. Part. 23, 325 (1997); Y. W. Kim, M. I. Park, Y. J. Park, and S. J. Yoon, Int. J. Mod. Phys. A12, 4217 (1997). [11] R. Banerjee and J. Barcelos-Neto, Nucl. Phys. B499, 453 (1997). [12] M. I. Park and Y. J. Park, Non-Abelian Proca model based on the improved BFT formalism, SOGANG HEP 212/97 (hep th/ ). [13] Y. W. Kim and K.D. Rothe, BFT Hamiltonian Embedding of non-abelian self-dual model, HD THEP (hep th/ ). [14] K. D. Rothe and H. O. Girotti, Int. J. Mod. Phys. A4, 3041 (1989). [15] E. S. Fradkin and G. A. Vilkovisky, Phys. Lett. B55, 224 (1975); I. A. Batalin and G. 15

16 A. Vilkovsky, Phys. Lett. 69B, 309 (1977); E. S. Fradkin and T. E. Fradkina, Phys. Lett. 72B, 343 (1978). [16] M. Henneaux, Phys. Rep. C126, 1 (1985); M. Henneaux and C. Teitelboim, Quantization of Gauge systems (Princeton University Press, Princeton, New Jersey, 1992). [17] L. D. Faddeev and S. L. Shatashivili, Phys. Lett. B167, (1986) 225; O. Babelon, F. A. Schaposnik and C. M. Viallet, Phys. Lett. B177, 385 (1986); K. Harada and I. Tsutsui, Phys. Lett. B183, 311 (1987). [18] L. D. Faddeev and V. N. Popov, Phys. Lett. B27, (1967) 29; L. D. Faddeev and A. Slavnov, Gauge fields: Introduction to quantum theory (Benjamin/Cummings, Reading, MA, 1983). [19] Y. W. Kim and Y. J. Park, In preparation. 16