arxiv:hep-th/ v2 6 Mar 2000

Transcription

1 Consistent Batalin Fradkin quantization of Infinitely Reducible First Class Constraints Stefano Bellucci and Anton Galajinsky INFN Laboratori Nazionali di Frascati, C.P. 3, Frascati, Italia arxiv:hep-th/990990v 6 Mar 000 Abstract We reconsider the problem of BRST quantization of a mechanics with infinitely reducible first class constraints. Following an earlier recipe [Phys. Lett. B38 05 (996)], the original phase space is extended by purely auxiliary variables, the constraint set in the enlarged space being first stage of reducibility. The BRST charge involving only a finite number of ghost variables is explicitly constructed. PACS: Gw,.60.J Keywords: infinitely reducible constraints, BRST quantization. bellucci@lnf.infn.it agalajin@lnf.infn.it

2 The problem of infinitely reducible first class constraints originated from the superstring theory where a fully satisfactory covariant quantization seems to be an unsolved problem yet. Taking a simpler mechanics analogue in four dimensions these look like p = 0, (p θ σ n p n ) α = 0, (σ n p θp n ) α = 0, () where (p n, p θα, p θ α ) are momenta conjugate to the variables parametrizing a conventional R 4 4 superspace (x n, θ α, θ α ) and σ n α α are the Pauli matrices. Owing to the null vector p n entering the problem, only half of the fermionic constraints is linearly independent. In particular, the identity are just enough to suppress dynamics in the sector [4]) p χα = 0, (χσ n Λ n ) α = 0, (4) p χ α = 0, (σ n χλ n ) α = 0, (5) p Λn = 0, Λ = 0, Λp = 0. (6) Beautifully enough, in the extended phase space the reducibility of the original constraints () can be compensated by that coming from the sector of additional variables to put the fermionic constraints in the irreducible form Φ α (p θ σ n p n + p χ σ n Λ n ) α = 0, (7) (p θ σ n p n ) α Z αα + Z α p 0, () where Z αα = ( σ n p n ) αα, Z β = p θ β, holds. On the constraint surface not all of the functions Z αα prove to be independent Z αα Z α β 0, Z α β = (σn p n ) α β. (3) Apparently, this process can be continued, the system at hand being infinite stage of reducibility []. It is worth mentioning that, although the correct counting of degrees of freedom can be achieved in the course of BRST quantization by making use of Euler s regularization [], the expression for the BRST charge involves an infinite ghost tower [3] and, hence, looks formal. A recipe how to supplement infinitely reducible first class constraints up to a constraint system of finite stage of reducibility has been proposed recently [4]. It suffices to extend the original phase space by purely auxiliary variables (Λ n, p Λm ),(χ α, p χα ), ( χ α, p χ α ), with Λ being a real boson and (χ, χ) a pair of complex conjugate fermions. These are required to satisfy reducible constraints like those in Eq. () (one can check that the number and the class of the constraints Φ α (p n σ n p θ + Λ n σ n p χ ) α = 0, (8) Ψ α (χσ n Λ n + p χ σ n p n ) α = 0, (9) Ψ α (Λ n σ n χ + p n σ n p χ ) α = 0, (0) while in the bosonic sector one has p = 0, () p Λm p Λm (p Λ Λ)p m (p Λ p)λ m = 0, () p Λ p = 0, Λ = 0, p Λ Λ = 0, Λp = 0. (3) The equivalence to the initial constraint set seems to be more transparent if one makes use of the identity p χ α = Λp p p θ α Λp Λ χ α Φ Λp α ( σ m p m ) α Ψ Λp α ( σ m Λ m ) αα, (4) and its complex conjugate. In the new basis the constraints (7),(8),(), () are first class, whereas Eqs. (9),(0) and (3) involve second class ones. In order to explicitly decouple p n Λ = 0 from the second class fermionic constraints it suffices to redefine them like p n Λ = 0 pn Λ χσn σ m p χ p m p χ σ m σ n χp m = 0. As the Dirac bracket associated with

3 the second class constraints is introduced, this seems to be inessential here. Residual reducibility proves to fall in the bosonic sector. Due to the identities (in what follows the symbol denotes an equality up to a linear combination of second class constraints) p Λ Λ 0, p Λ p 0, (5) there are only two linearly independent components entering Eq. (), the system in the extended phase space being first stage of reducibility. It is the purpose of the present Brief Report to explicitly construct the BRST charge associated with the constraint set (7) (3), thus giving an efficient way to cure the infinite ghost tower problem intrinsic to the original system (). According to the general recipe [] the nilpotency equation to determine the BRST charge should be solved under the Dirac bracket associated to the second class constraints. Evaluated in specific coordinate sectors this reads (only the brackets to be used below are explicitly given here) {χ α, p χβ } = δα β Λp(σ nm) β α Λ n p m, {χ α, χ β } = p (σ nm ) αβ Λ n p m, {p χα, p χβ } = Λ (σ nm ) αβ Λ n p m ; (6) {Λ n, p Λm } = δ n m + p Λ n Λ m + Λ p n p m Λp(pn Λ m + Λ n p m ), {p Λn, p Λm } = p (Λ n p Λm Λ m p Λn ) + pp Λ(p n Λ m p m Λ n ) + pλ(p Λnp m p Λm p n ) i (χ χ )ǫ nmkl Λ k p l, {Λ n, Λ m } = 0; (7) {θ α, p θβ } = δ α β, {θ α, θ β } = 0, {p θα, p θβ } = 0; {p n, p m } = 0, (8) 3 plus complex conjugate expressions for the pairs ( χ, p χ ),( θ, p θ). In the cross sectors the only non vanishing brackets are (in what follows we will not need the explicit form of the brackets involving x n variable, these are omitted here) {p Λn, χ α } = p (Λ n χ α + (χσ n σ k Λ k ) α ) + p n(χσ k Λ k σ m p m ) α Λp(χσ n σ k p k ) α, (9) {p Λn, p χα } = Λ (p n χ α + (χσ n σ k p k ) α ) + Λ n(χσ k p k σ m Λ m ) α Λp(χσ n σ k Λ k ) α, (0) plus complex conjugates. Given the Dirac bracket, the algebra of the first class constraints is easy to evaluate { p Λn, p Λm } U nmk p Λk + U nm p, { p Λn, Φ α } U nα β Φ β + U nα p, { p Λn, Φ α } U n α β Φ β + U n α p, () with all other brackets vanishing. The structure functions entering Eq. () are given by U nm k = ((Λ np p n )δ m k (Λ m p p m )δ n k ), U nm = i (p χχ p χ χ)ǫ nmkl Λ k p l, U nα β = (σ n σ k p k ) α β + Λ np δ α β + (Λ np p n )(Λ k σ k σ l p l ) α β, U nα = (σ np θ) α Λ n(p k σ k p θ) α + (Λ np p n )(Λ k σ k p θ) α, () and U n α β = (U nα β ), U n α = (U nα ). Worth noting also is the orthogonality of the structure functions obtained to the vectors p n, Λ n which holds on the second class constraints surface. Having evaluated the structure functions, we are now in a position to construct the

4 BRST charge. Associated with the first class constraints (7),(8),(),() are the primary ghosts (minimal sector) (C α, P α ), (C α, P α ), (C, P),(C n, P n ). These have the standard properties ǫ(c A ) = ǫ( P A ) = ǫ A +, gh(c A ) = gh( P A ) =. (3) To compensate the overcounting in the sector (C n, P n ) (only two components entering Eq. () are linearly independent) one further introduces the secondary ghosts [] (C, P ), (C, P ), these obeying ǫ(c, ) = ǫ( P, ) = 0, gh(c, ) = gh( P, ) =. (4) The nilpotency equation on the BRST charge {Ω min, Ω min } 0, (5) should then be solved under the boundary condition Ω min = Φ α C α + Φ α C α + p Λn C n + p C + P n Λ n C + P n p n C +..., (6) which, through (5), automatically generates both the algebra () and the identities (5). Calculating the contribution of the boundary terms into the equation (5) {Ω min, Ω min } P m {Λ m, p Λn }C C n (U nα β Φ β + U nα p )C α C n (U n α β Φ β + U n α p )C α C n (U nmk p Λk + U nm p )C m C n +..., (7) one can partially clarify the structure of the terms lacking in Eq. (6). In particular, extending the ansatz (6) by the three new contributions P k ŨnmC k m C n + P α U α nβ C β C n + P α U n β α C βc n, (8) 4 with Ũ k nm = U nm k pk (Λ n p m Λ m p n ), Ũ k nmλ m {Λk, p Λn }, Ũk nmp m 0, (9) one can get rid of the first term (which is a manifestation of reducibility of the constrains) and those involving p Λ, Φ, Φ {Ω min, Ω min } U nm p C m C n U nα p C α C n U n α p C α C n P α U nγ α U mβ γ C m C n C β P α U α n γ U m β γ C m C n C β (30) U n α βu m β In order to verify Eq. (30) a number of Jacobi identities associated to the constraint algebra () should be used. These are omitted here. It is instructive then to give the explicit form of the terms quadratic in the structure functions which enter Eq. (30) (U βu m α n β γ γ is obtained by complex conjugation) U mα β U nβ γ U nα β U mβ γ = {(σ nm ) α β + (Λ np m Λ m p n )(Λ l σ l σ k γ p k ) α + Λ m(σ n σ k γ p k ) α Λ n(σ m σ k γ p k ) α (Λ mp p m )(σ n σ k γ Λ k ) α + (Λ np p n )(σ m σ k γ Λ k ) α + (Λ np m Λ m p n )δ γ α }p Π γ mnα p. (3) Being factors of p these suggest a further amendment PU nα C α C n + PU n α C α C n + PU nm C m C n P P α Π α nmβ C m C n C β P P α Π nm β α C m C n C β. (3) After tedious calculations with the extensive use of Jacobi identities one can verify that

5 the complete BRST charge Ω min = Φ α C α + Φ α C α + p Λn C n + p C + P n Λ n C + P n p n C + P k ŨnmC k m C n + P α U α nβ C β C n + P α U n β α C βc n + PU nα C α C n + PU n α C α C n + PU nm C m C n P P α Π α nmβ C m C n C β P P α Π nm β α C m C n C β, (33) 5 is nilpotent. Beautifully enough, only a finite number of ghost generations proved to be needed in the extended phase space. Finally, it is worth mentioning that a formal consideration of the present paper can be directly applied to specific models. In particular, the superparticle due to Siegel [5], after a proper Hamiltonian treatment, leads precisely to Eq. () we started with. The latter theory has been previously considered in the alternative harmonic superspace approach [6]. This makes use of Lorentz harmonics [6] in order to extract linearly independent components from the fermionic constraints () in a covariant way. Having obtained a system of rank two, our result here is in perfect agreement with that of Ref. [6]. The present formulation, however, has the advantage that all the variables involved obey the standard spin statistics relations. Furthermore, the scheme outlined in this article proves to admit a Lagrangian formulation [4],[7], the latter seems to be problematic in the approach [6]. Another interesting approach to be mentioned is that by Diaz and Zanelli [8] who improved an earlier (noncovariant) quantization proposal by Kallosh [9] (see also related work [0]). The infinite proliferation of ghosts has been truncated there by imposing appropriate conditions on the ghosts variables, the latter involving specific (covariant) projectors. In this respect, the possibility to truncate the infinite ghost tower at the second step following the approach by Diaz and Zanelli seems to be an interesting further point to confirm our technique. This and other questions related to possible applications to superparticle, superstring will be considered in a forthcoming publication [7]. References [] I.A. Batalin and E.S. Fradkin, Phys. Lett. B, 57, (983). [] R. Kallosh, W. Troost, and A. Van Proeyen, Phys. Lett. B,, (988). [3] F. Eßler, M. Hatsuda, E. Laenen, W. Siegel, J.P. Yamron, T. Kimura, and A. Miković, Nucl. Phys. B 364, 67, (99). [4] A.A. Deriglazov and A.V. Galajinsky, Phys. Lett. B 38, 05, (996). [5] W. Siegel, Class. Quant. Grav., L 95, (985). [6] E.R. Nissimov and S.J. Pacheva, Phys. Lett. B 89, 57, (987). [7] S. Bellucci and A. Galajinsky, hep th/ [8] A.H. Diaz and J. Zanelli, Phys. Lett. B 0, 347, (988). [9] R. Kallosh, Phys. Lett. B 95, 369, (987). [0] S. Bellucci, Mod. Phys. Lett. A 5, 53, (990).