Generalized BFT Formalism of Electroweak Theory in the Unitary Gauge Yong-Wan Kim, Young-Jai Park and Sean J. Yoon Department of Physics, Sogang University, C.P.O.Box 42, Seoul 00-6, Korea (January 7, 208) arxiv:hep-th/98038v2 Sep 999 Abstract We systematically embed the SU(2) U() Higgs model in the unitary gauge into a fully gauge invariant theory by following the generalized BFT formalism. We also suggest a novel path how to get a first-class Lagrangian directly from the original second-class one using the BFT fields..0.ef,.5.-q,.5.ex Typeset using REVTEX e-mail: ywkim@physics3.sogang.ac.kr e-mail: yjpark@ccs.sogang.ac.kr e-mail: yoonsj@mail.lgcit.com, Permanent address: LG Corporate Institute of Technology, Seoul 37-724, Korea
A phenomenological example of constrained systems [,2] is provided by the SU(2) U() Higgs model with spontaneous symmetry breakdown whose quantization is usually carried out in the so called unitary gauge. The model in this gauge is characterized by both of second- and first-class constraints in the language of Hamiltonian formalism. Since the strong implementation of second-class constraints generally leads to non-polynomial field dependent Dirac brackets which may pose problems, one can circumvent them associated with this non-polynomial dependence by embedding second-class constrained system into first-class one in an extended phase space through the formalism of Batalin et al (BFT) [3]. Now, while preserving the Poisson structure, we can successfully quantize the system implementing first-class constraints on physical states. Recently, we have introduced BFT fields [4] through which the construction of physical observables such as Hamiltonian is much easier than the direct adoption of BFT method. When used BFT fields in second-class constrained system, there is an elegant one-to-one correspondence to first-class constrained system in an extended phase space. Moreover, the use of BFT fields makes it possible to analyze a rather complicated non-abelian constrained system [5,6] conveniently. On the other hand, we have studied the spontaneously broken abelian U() [7] and non-abelian SU(2) [8] Higgs models, which are of fully second-class constraints due to the completely broken symmetry, as toy models. In this paper we analyze the non-abelian SU(2) U() Higgs model in the unitary gauge by following the generalized BFT procedure [3,4]. This real phenomenonlogical model is highly non-trivial contrast to the U() and SU(2) models because there still remains U() em symmetry after spontaneous symmetry breaking. It also needs to embed first-class constraints as well as second-class constraints in this SU(2) U() Higgs model in order to keep the consistency and simplicity of constraint algebra as shown it later. Starting from the second-class Lagrangian, we construct an effectively first-class constrained system. We then show that the results by using BFT fields coincide with those obtained by gauging the second-class Lagrangian and performing a suitable canonical transformation. We also suggest an economic novel path at the classical level to obtain the 2
first-class Lagrangian from the second-class one. Let us consider the non-abelian SU(2) U() Higgs model in the unitary gauge, which describes the bosonic part of the Weinberg-Salam model [9], L u = 4 Fa µνf µνa 4 G µνg µν + 8 ρ2 (g 2 B µ B µ 2gg B µ A µ3 +g 2 A a µa µa )+ 2 µρ µ ρ+v(ρ), () wherev(ρ)isthehiggspotential, V(ρ) = µ2 2 (ρ+v)2 λ 4 (ρ+v)4, withthevacuumexpectation value v, and the g and g denote the U() and SU(2) coupling constants, respectively. The field strength tensors are F a µν = µa a ν νa a µ +gǫabc A b µ Ac ν, (a =,2,3) and G µν = µ B ν ν B µ. The momenta canonically conjugate to A 0a, A ia, B 0, B i, and ρ in the Hamiltonian formalism are given by π a 0 = 0, π a i = F a i0, p 0 = 0, p i = G i0, and π ρ = ρ, respectively. We thus have the primary constraints π a 0 0 and p 0 0. The canonical Hamiltonian density associated with the Lagrangian () is found to be H C = 2 (πa i )2 + 2 (p i) 2 + 2 (π ρ) 2 + 4 Fa ij Fija + 4 G ijg ij + 8 ρ2 (g 2 (B i ) 2 2gg B i A i3 +g 2 (A ia ) 2 ) + 2 ( iρ) 2 V(ρ) 8 ρ2 (g 2 (B 0 ) 2 2gg B 0 A 03 +g 2 (A 0a ) 2 ) A 0a (D i π i ) a B 0 i p i, (2) where (D i π i ) a = i π a i +gǫ abc A ib π c i. Since persistency in time of the primary constraints leads to further constraints, this system is described by the set of eight constraints as ω = p 0, ω 2 = i p i 4 ρ2 gg A 03 + 4 ρ2 g 2 B 0, ω a 3 = πa 0, ω a 4 = (D i π i ) a + 4 ρ2 g 2 A 0a 4 ρ2 gg B 0 δ a3. (3) The corresponding constraints algebra is given by Σ ij = {ω i (x),ω j (y)} 0 4 ρ2 g 2 4 = ρ2 g 2 0 0 4 ρ2 gg δ a3 4 ρ2 gg δ a3 0 U() mixed 0 4 ρ2 gg δ a3 4 ρ2 gg δ a3 0 0 4 ρ2 g 2 δ ab 4 ρ2 g 2 δ ab gǫ ( ) c abc D k π k mixed SU(2) δ 3 (x y). (4) 3
Each block of the matrix represents the U() [7] and SU(2) Higgs models [8] with additional mixed components in the off-diagonal part. But, the matrix (4) is of zero determinant, which means that among the constraints (3) there still exist first-class ones related to the unbroken symmetry. In order to efficiently extract out first-class constraints, let us redefine the constraints (3) as Ω a ωa 3 = πa 0, Ω a 2 ωa 4 = (Di π i ) a + 4 ρ2 g 2 A 0a 4 ρ2 gg B 0 δ a3, (5) T gω +g ω 3 3 = gp 0 +g π 3 0, T 2 gω 2 +g ω 3 4 + 4 ρ 2 g 2[gg (D i π i ) 2 ω 3 gg (D i π i ) ω 2 3] = g i p i +g (D i π i ) 3 + 4 (D i π ρ 2 g 2[gg i ) 2 π0 gg (D i π i ) π0 2 ]. (6) Then, the constraints Ω a and Ω a 2 become second-class as {Ω a i (x),ωb j (y)} = ab ij (x,y) = 0 4 ρ2 g 2 δ ab while the T and T 2 are first-class as 4 ρ2 g 2 δ ab gǫ abc( ) c D k π k {T 2 (x),ω 2 (y)} = 4 ρ 2g (D i π i ) 3 Ω δ3 (x y) 0, {T 2 (x),ω 2 2(y)} = 4 ρ 2g (D i π i ) 3 Ω 2 δ 3 (x y) 0, {T 2 (x),ω 3 2 (y)} = 4 ρ 2g [(D i π i ) Ω +(Di π i ) 2 Ω 2 ]δ3 (x y) 0, δ3 (x y), (7) {T (x),ω a i (y)} = {T i(x),t j (y)} = 0. (8) The SU(2) U() Higgs model in the unitary gauge thus has two first- as well as six secondclass constraints. As is well known, after breaking the SU(2) U() symmetry spontaneously, the SU(2) U() symmetry is broken into the combined symmetry U() em. As a result, the vector fields, W ± µ ( = (A µ ia 2 µ)/ 2 ) and Z µ (= cosθa 3 µ sinθb µ, tanθ = g /g) have acquired masses equal to MW(ρ) 2 = 4 ρ2 g 2 and MZ(ρ) 2 = 4 ρ2 (g 2 +g 2 ), while A µ (= sinθa 3 µ + cosθb µ ) has remained massless. In fact, the first-class constraints (6) describe this residual U() em symmetry, i.e., the existence of the massless gauge fields. 4
We now convert this system of the second- Ω a i and first-class constraints T i into a completely equivalent first-class system at the expense of additional degrees of freedom. It is important to note that we should embed the first-class constraints as well as the second-class constraints. Embedding only the second-class constraints Ω a i in general does not preserve the first-class algebra as it is clear in (8). In order to embed the second-class constraints (5) by following the BFT method [3], we introduce auxiliary fields Φ a and Φ 2a corresponding to Ω a and Ωa 2 of symplectic structure { Φ ia (x),φ jb (y) } = ω ij ab (x,y) = ǫij δ ab δ 3 (x y), (i,j =,2). (9) The effective first-class constraints Ω a i are now constructed as a power series in the auxiliary fields, Ω a i = Ωa i + n= Ω (n)a i, where Ω (n)a i (n =,..., ) are homogeneous polynomials in the auxiliary fields {Φ jb } of degree n. These will be determined by the requirement that the constraints Ω a i be strongly involutive: { Ωa i (x), Ω b j(y) } = 0. (0) Making a general ansatz Ω ()a i (x) = d 3 yx ab ij (x,y)φjb (y), () and substituting () into (0) leads to the condition of d 3 zx ac ik(x,z)ǫ kl X bc jl(y,z) = ab ij(x,y). (2) Then, Eq. (2) has a solution of Xij ab (x,y) = 4 ρ2 g 2 δ ab 0 2 gǫabc (D k π k ) c δ ab δ3 (x y). (3) From the symplectic structure of (9), we may identify the auxiliary fields with canonicallyconjugatedpairs. Wemakethisexplicitbyadoptingthenotation,(Φ a,φ 2a ) (θ a,π a θ). Substituting (3) into () and iterating this procedure one finds the strongly involutive first-class constraints to be given by 5
Ω a = π a 0 + 4 ρ2 g 2 θ a, Ω a 2 = V ab (θ)(d i π i ) b + 4 ρ2 g 2 A 0a 4 ρ2 gg B 0 δ a3 +π a θ. (4) Here, V(θ) = n=0 ( ) n (n+)! (ad θ)n, and (ad θ) ab = gǫ acb θ c, where ad θ = gθ a T a with T c ab = ǫ acb denotes the Lie algebra-valued field θ in the adjoint representation. This completes the construction of the effective first-class constraints corresponding to the second-class ones. The construction of effective first-class Hamiltonian H can be also obtained along similar lines as inthecase of the constraints, i.e., by representing it asapower series intheauxiliary fields and requiring { Ω a i, H} = 0 subject to the condition H[J;θ a = π a θ = 0] = H C, where J denotescollectively thevariables(a µa,π a µ,bµ,p µ,ρ,π ρ )oftheoriginalphasespace. However, we shall follow a novel path [4,5,0] by noting that any functional of first-class fields will also be first-class. We require BFT fields J corresponding to J in the extended phase space to be strongly involutive with the effective first-class constraints Ω a i, i.e., { Ω a i, J} = 0, which leads us to the identification H = H C [ J]. The BFT fields J are now obtained as a power series in the auxiliary fields (θ a,πθ a ), whose iterative solutions lead to the following compact infinite series as à 0a = A 0a + 4 g 2 ρ 2πa θ 4 g 2 ρ 2 ( U ab (θ) V ab (θ) ) (D i π i ) b, à ia = U ab (θ)a ib +V ab (θ) i θ b, ( π µ a = π0 a + ) 4 g2 ρ 2 θ a, U ab (θ)πi b, B µ = B µ, p µ = p µ 4 gg ρ 2 θ 3 δ µ0, ρ = ρ, π ρ = π ρ + 2 g2 ρa 0a θ a 2 gg ρb 0 θ 3, (5) where U(θ) = ( ) n n=0 (ad θ) n = e ad θ. Therefore, we can obtain the first-class Hamilto- n! nian density H C, expressed in terms of the BFT fields as H C = H C [ J] = 2 (πa i) 2 + 2 (p i) 2 + 2 ( π ρ + 2 g2 ρa 0a θ a 2 gg ρb 0 θ 3 ) 2 + 4 (Fa ij) 2 + 4 (G ij) 2 + 8 ρ2 g 2 (B i ) 2 4 ρ2 gg B i( U 3a (θ)a ia +V 3a (θ) i θ a) + 8 ρ2 g 2( U ab (θ)a ib +V ab (θ) i θ b) 2 6
+ 2 ( iρ) 2 V(ρ)+ 2 ρ 2 g 2 ( (D i π i ) a) 2 2 ρ 2 g 2( Ω a 2) 2 B 0 { g T 2 4 ρ 2 g 2 ( g U 2a (θ)(d i π i ) a Ω g U a (θ)(d i π i ) a Ω2 ) }. (6) We moreover observe from these BFT fields that the effective first-class constraints (4) can be written as Ω a = πa 0, Ω a 2 = ( D i π i ) a + 4 ρ2 g 2 Ã 0a 4 ρ2 gg B0 δ a3. (7) Note that comparing with the second-class constraints Ω a i in Eq.(5), we see that the constraints (7) are just the second-class constraints expressed in terms of the BFT variables in the extended phase space, showing that there exists one-to-one mapping between the variables of the reduced and extended phase spaces. As described before, for consistency we should embed the initially first-class constraints T i ineq.(6) aswell intheextended phasespace. MakinguseoftheBFTfields, theseeffective first-class constraints can be easily obtained as T = g p 0 +g π 3 0 = gp 0 +g π 3 0, T 2 = g i p i +g ( D i π i ) 3 + 4 ρ 2 g 2 [ gg ( D i π i ) 2 Ω gg ( D i π i ) Ω2 ] = g i p i +g U 3a (θ)(d i π i ) a + 4 ρ 2 g 2 [ gg U 2a (θ)(d i π i ) a Ω gg U a (θ)(d i π i ) a Ω2 ]. (8) We do not here need to introduce extra auxiliary fields for embedding these first-class constraints. It is only sufficient to use the BFT fields which are constructed from a pair of the auxiliary fields, (θ,π θ ). As results of (8), the general properties of the first-class constraints are preserved as { T i (x), T j (y)} = 0, { Ω a i (x), Ω b j (y)} = 0, { Ω a i(x), T j (y)} = 0. (9) 7
We can moreover easily show that the Poisson brackets of the BFT fields are related with the Dirac brackets of the original fields in the unitary gauged SU(2) U() model. Therefore, making use of the BFT fields, we have shown that the second-class (5), the first-class constraints (6) and the Hamiltonian with their algebraic relations in the reduced phase space can be replaced with their effective first-class quantities with the strongly involutive algebraic relations in the extended phase space, showing their form invariance in the two phase spaces. This in general means that when we quantize the system in the path integral formulation, due to the strongly involutive relations of the first-class quantities the partition functional of model can be expressed in a simple fashion, i.e., there are no terms of U a bc, V a b coupled with ghost variables obtained from the usual relations of {Ω a,ω b } = U ab c Ωc, {Ω a,h} = V a b Ωb. Thus, as a result of the BFT construction, we have systematically obtained the final set of the effective first-class constraints ( Ω a i, T j ) and Hamiltonian H C since U ab c, V a b appear to be zero in Eq.(9). Now, in order to interpret the results of the BFT construction of the effective first-class constraints and Hamiltonian, let the Lagrangian () be gauged by making the substitution A µa µa = U ab (θ)a µb +V ab (θ) µ θ b. We then obtain ˆL = L u +L WZ, (20) where L WZ = 4 ρ2 gg B µ( (U 3a δ 3a )A a µ +V 3a µ θ a) + 8 ρ2 g 2( 2V ab A µa µ θ b +V ab V ac µ θ b µ θ c) (2) plays the role of the Wess-Zumino-Witten (WZW) term like the case of the gauge-invariant formulation of two-dimensional chiral gauge theories [,2]. We then have the momenta π a θ canonically conjugate to θ a as π a θ = 4 ρ2 gg B 0 V 3a + 4 ρ2 g 2 (U bc A 0c +V bc 0 θ c )V ba. The other canonical momenta π a µ, p µ, and π ρ are the same as before. Hence the primary constraints are of the form, ˆΩ a = π a 0 0 and ˆΩ 2 = p 0 0. The canonical Hamiltonian corresponding to (20) reads Ĥ C = 2 (πa i) 2 + 2 (p i) 2 + 2 (π ρ) 2 + 2 ρ 2 g 2(πb θ(v ) ba ) 2 + 4 Fa ijf ija + 4 G ijg ij 8
+ 8 ρ2 g 2 (B i ) 2 4 ρ2 gg B i ( U 3a A ia +V 3a i θ a) + 8 ρ2 g 2( U ab A ib +V ab i θ b) 2 + 2 ( iρ) 2 V(ρ) A 0a( (D i π i ) a +π b θ(v ) bc U ca) B 0 ( ) i p i g g πa θ(v ) a3, (22) where we used the following properties of the Lie algebra-valued functions of U(θ) and V(θ) [8]: U ac (θ)u bc (θ) = U ca (θ)u cb (θ) = δ ab, U ab (θ) = U ba ( θ), U ca (θ)v cb (θ) = V ab ( θ), V ab (θ) = V ba ( θ), (V ) ac (θ)v cb (θ) = δ ab,u ac (θ)v bc (θ) = V ab (θ), (23) Persistency in time of the primary constraints with ĤC implies secondary constraints associated with the Lagrange multipliers A 0a and B 0. We again have the set of eight first-class constraints as ˆΩ a = π a 0 0, ˆΩ 2 = p 0 0, ˆΩ a 3 = (Di π i ) a +π b θ (V ) bc U ca 0, ˆΩ 4 = i p i g g πa θ (V ) a3 0. (24) We can easily check that all the algebra (24) between these constraints strongly vanishes except {ˆΩ a 3, ˆΩ b 3 } = gǫabcˆωc 3 0. It now remains to establish the relation with the BFT results. We first rewrite the momentum π a θ in terms of Â0a as π a θ = 4 ρ2 gg B 0 V 3a (θ)+ 4 ρ2 g 2  0b V ba (θ). Making use of Eqs. (23) and (24), we obtain  0a = 4 ( ) U abˆωb ρ 2 g 2 3 U ab (D i π i ) b + ρ2 4 gg B 0 δ a3. (25) Comparing this with A 0a rewritten by Eqs.(5) and (7), we conclude Â0a Ã0a since Â0a and Ã0a are identical up to additive terms proportional to the constraints. This establishes the equivalence of µa and õa. Furthermore, using the matrix U(θ) and V(θ) we can write the constraints ˆΩ a 3 V ab (θ)ˆω b 3 = V ab (θ)(d i π i ) b + π a θ and ˆΩ 4 g U 3a (θ)ˆω a 3 + gˆω 4 = g U 3a (θ)(d i π i ) a + g i p i. Now, performing the canonical transformation [8] as 9
π0 a π0 a + 4 ρ2 g 2 θ a, πθ a πθ a + 4 ρ2 g 2 A 0a 4 ρ2 gg B 0 δ a3, p 0 p 0 4 ρ2 gg θ 3, π ρ π ρ + 2 ρg2 A 0a θ a 2 ρgg B 0 θ 3, (26) we see that the first-class constraints shown in Eq.(24) map into the effective constraints (4) and (8) in the BFT construction as follows ˆΩ a = πa 0 + 4 ρ2 g 2 θ a = Ω a, V ab (θ)ˆω b 3 = V ab (θ)(d i π i ) b +πθ a + 4 ρ2 g 2 A 0a 4 ρ2 gg B 0 δ a3 = Ω a 2, g ˆΩ3 +gˆω 2 = g π0 3 +gp 0 = T, g U 3a (θ)ˆω a 3 +gˆω 4 = g U 3a (θ)(d i π i ) a +g i p i T 2. (27) We have thus found that the effective constraints Ω a 2 are related with the abelian conversion [2] of the constraints ˆΩ a 3 on which the matrix V(θ) plays a role of converting the non-abelian constraints into the abelian ones. We can finally check the relation between ĤC and H C as given by (22) and (6). Making use of  0a and the canonical transformation (26), the expression (22) for ĤC may be rewritten in the following form in order to compare with H C Ĥ C = 2 (πa i) 2 + 2 (p i) 2 + 2 ( π ρ + 2 g2 ρa 0a θ a 2 gg ρb 0 θ 3 ) 2 + 4 (Fa ij) 2 + 4 (G ij) 2 + 8 ρ2 g 2 (B i ) 2 4 ρ2 gg B i( U 3a A ia +V 3a i θ a) + 8 ρ2 g 2( U ab A ib +V ab i θ b) 2 + 2 ( iρ) 2 V(ρ)+ 2 ρ 2 g 2 ( (D i π i ) a) 2 + 2 ρ 2 g 2(ˆΩ a 3 )2 (A 0a + 4 ρ 2 g 2(Di π i ) a )ˆΩ a 3 B0ˆΩ4. (28) Then, we immediately obtain the equivalence relation ĤC H C [ J] since ĤC is identical with H C [ J] up to additive terms proportional to the constraints. We thus have arrived at a simple interpretation of the results obtained in the generalized BFT formalism. On the other hand, to obtain the corresponding Lagrangian from the first-class Hamiltonian, we should perform momenta integrations in the partition functional with the delta 0
functionals of the effective first-class constraints and proper gauge fixing functions in the measure [7,4]. However, these procedures could not provide a reasonable result in the nonabelian cases [5,0,8] because there exist the infinite series terms in some variables such as à 0a and Ω a 2. In this paper, we thus suggest a novel path at the classical level that one can directly get the first-class Lagrangian from the original second-class one. This approach consists in gauging the Lagrangian (), i.e., by making use of the BFT fields, A µa õa, B µ B µ and ρ ρ. Since the fields B µ and ρ in Eq.(5) do not have any auxiliary fields, the substitution is trivially performed. And the spatial components Ãia of the vector potential contain only the fields of the configuration space, and take the usual form of the gauge transformation, i.e., à ia U ab (θ)a ib + V ab (θ) i θ b. However, since Ã0a contain the term of π a θ as in Eq.(5), we should first replace this with some ordinary fields before carrying out the above substitution. This replacement is possible because we have identical relations between the BFT fields. From the useful novel property [4] of K(J;θ a,π a θ ) = K( J), where K, K are any secondclass and its corresponding effective first-class function, respectively, we in particular observe the following relation for π a i fields: π i a = i à a 0 0Ãa i +gǫabc à b iãc 0 ( = i A a 0 + 4 g 2 ρ 2πa θ 4 ) ( U ab V ab) (D i π g 2 ρ 2 i ) b 0 (U ab A b i +Vab i θ b ) ( +gǫ abc (U bd A d i +V bd i θ d ) A c 0 + 4 g 2 ρ 2πc θ 4 ) g 2 ρ 2 (Uce V ce )(D i π i ) e. (29) Comparing these with the BFT fields of π a i in Eq.(5), i.e., π a i = U ab (θ)π b i = Uab (θ)( i A b 0 0 A b i +gǫbcd A c i Ad 0 ), we see that the following relations should be kept for the consistency π a θ = 4 g2 ρ 2( (U ab (θ) V ab (θ))(d i π i ) b A 0a +U ab (θ)a 0b +V ab (θ) 0 θ b), (30) which make it possible to directly rewrite Ã0a as à 0a = U ab (θ)a 0b +V ab (θ) 0 θ b. (3) This is the form of the gauge transformation of A 0a fields. As a result, gauging the original Lagrangian () as
à µa U ab (θ)a µb +V ab (θ) µ θ b, Bµ B µ, ρ ρ, (32) we have directly arrived at the first-class Lagrangian as L(õa, B µ, ρ) = L(A µa,b µ,θ a,ρ) = ˆL GI. (33) Therefore, using the novel relations between the BFT fields, we can easily obtain the Lagrangian on the space of gauge invariant functionals, and our approach shows that the previous gauging process of the Lagrangian in (20) make sense. ( ) 0 ρ(x)+v = Finally, by defining the complex scalar doublet φ(x) = 2 e igθa (x) τa 2 ) with the auxiliary fields θ a playing the role of the Goldstone bosons, and W(θ) ( 0 ρ(x)+v the Pauli matrices τ a ( i τa 2 = ta ), we can easily rewrite the Lagrangian (33) as ˆL GI = 4 Fa µνf µνa 4 G µνg µν +(D µ φ) (D µ φ)+v(φ φ), (34) where D µ = µ i g 2 B µ i g 2 τa A a µ. We therefore have arrived at the symmetric SU(2) U() Higgs model from the starting symmetry broken Lagrangian () through the BFT construction. This proves that the BFT formalism recovers from the underlying gauge symmetry of the system. The main objective of this paper was to provide a non-trivial Hamiltonian embedding of a second-class theory into a first-class one, following the generalized BFT procedure. As a result, we have constructed the effective first-class constraints corresponding to the initially first-class as well as second-class constraints, and Hamiltonian in particular obtained from the BFT fields. This process has a great advantage in this non-abelian case as compared with the usual BFT approach. We have also observed that the effective first-class constraints and the Poisson brackets of the BFT fields have the form invariance between the original and extended phase spaces, which shows that the BFT fields could be interpreted as the gauge invariant extension of the second-class variables to the extended phase space. On the other hand, we have also established the equivalence between the effective first-class quantities and corresponding ones obtained by gauging the second-class Lagrangian, and observed that the auxiliary fields θ a introduced in the BFT method play the role of the 2
Goldstone bosons. As a result of the novel relations between the BFT fields, we have finally obtained the Lagrangian on the space of gauge invariant functionals, which makes it possible to understand the role of the BFT fields in the configuration space. Finally, we hope that through this generalized BFT formalism the full unbroken symmetry of the universe will be successfully obtained from the real effective theory describing present symmetry broken phase. Acknowledgment Two of the authors (Y. W. Kim and Y. J. Park) would like to thank Prof. K. D. Rothe for his valuable comments and warm hospitality at the Institute für Theoretische Physik. The present study was partly supported by the Basic Science Research Institute Program, the Korea Research Foundation, Project No. 998-05-D00074. 3
REFERENCES [] P. A. M. Dirac, Can. J. Math. 2, 29 (950): Lectures on Quantum Mechanics (Yeshiva University, New York 964). [2] M. Henneaux and C. Teitelboim, Quantization of Gauge Systems (Princeton University, New Jersey 992). [3] I. A. Batalin and E. S. Fradkin, Phys. Lett. B80, 57 (986); Nucl. Phys. B279, 54 (987); I. A. Batalin and I. V. Tyutin, Int. J. Mod. Phys. A6, 3255 (99). [4] W. T. Kim, Y. W. Kim, M. I. Park, Y. J. Park and S. J. Yoon, J. Phys. G: Nucl. Part. 23, 325 (997); Y. W. Kim, M. I. Park, Y. J. Park and S. J. Yoon, Int. J. Mod. Phys. A2, 427 (997). [5] R. Banerjee and J. Barcelos-Neto, Nucl. Phys. B499, 453 (997); M. I. Park and Y. J. Park, Int. J. Mod. Phys. A3, 279 (998). [6] W. Oliveira and J. A. Neto, Nucl. Phys. B533, 6 (998). [7] Y. W. Kim and Y. J. Park, Mod. Phys. Lett. A3, 20 (998). [8] Y. W. Kim, Y. J. Park and K. D. Rothe, J. Phys. G24, 953 (998). [9] S. Weinberg, Phys. Rev. Lett. 9, 264 (967); A. Salam, in Elementary Particle Physics, ed., N. Svartholm (Almgvist and Wiksells, Stockholm, 968), p.367. [0] Y. W. Kim and K. D. Rothe, Nucl. Phys. B5, 50 (998). [] O. Babelon, F. A. Schaposnik and C. M. Viallet, Phys. Lett. B77, 385 (986); K. Harada and I. Tsutsui, Phys. Lett. B83, 3 (987). [2] E. Abdalla, M. C. B. Abdalla and K. D. Rothe, Non-perturbative methods in twodimensional Quantum Field Theory, World Scientific, Singapore, 99. 4