arxiv:hep-th/ v2 11 Sep 1996

Transcription

1 Gauge Independence of the Lagrangian Path Integral in a Higher-Order Formalism arxiv:hep-th/ v2 Sep 996 I.A. Batalin I.E. Tamm Theory Division P.N. Lebedev Physics Institute Russian Academy of Sciences 53 Leniniski Prospect Moscow 7924 Russia K. Bering Institute of Theoretical Physics Uppsala University P.O. Box 803 S Uppsala Sweden and P.H. Damgaard The Niels Bohr Institute Blegdamsvej 7 Dk-200 Copenhagen Denmark August, 208 Abstract We propose a Lagrangian path integral based on gauge symmetries generated by a symmetric higher-order -operator, and demonstrate that this path integral is independent of the chosen gauge-fixing function. No explicit change of variables in the functional integral is required to show this. NBI-HE UUITP-20/96 hep-th/

2 . Introduction. The usual field-antifield formalism for gauge theories [] is based on a Grassmannodd nilpotent operator, which is assumed to be of 2nd order. In covariant form [2], = 2 ( )ǫ A ρ(γ) Aρ(Γ)E AB (Γ) B. () Here ρ(γ) coincides with the measure density in the functional integral, and the non-degenerate E AB satisfies the following symmetry condition: E AB = ( ) (ǫ A+)(ǫ B +) E BA. (2) The -operator is the basic building block of the whole Lagrangian quantization program in the field-antifield formalism. From it derives the Master Equations as well as the antibracket, which in turn provides an anticanonical framework on the space of fields and antifields. The -operator also generates a global symmetry which is useful for proving independence of the chosen gauge-fixing surface on the field-antifield supermanifold. In view of this, it is natural to ask if an analogous Lagrangian quantization prescription can be established with the help of a -operator of arbitrary (perhaps even infinite) order. Investigations along these lines were initiated by a study of possible quantum deformations of the field-antifield formalism [3]. More recently, such considerations have been prompted by the observed analogies between the -operator and a certain quantized Hamiltonian BRST operator Ω [4] in the ghost momentum representation [5], as well as by a study of the associated algebraic structure [6]. The relevant mathematical foundations date back to work of Koszul [7]. 2. Gauge Independence. Let there be given a functional measure dµ dγdλρ(γ). While Γ represents the usual set of fields and antifields, the λ s can be seen either as implementing the gauge (or hypergauge) fixing condition [8], or as the ghost fields for which the antifields are usual antighosts [9]. We assume that the general odd -operator satisfies two properties: It is nilpotent, and it is symmetric, Here the transposed operator T is defined by dµ F G = ( ) ǫ F 2 = 0, (3) T =. (4) ( ) dµ T F G. (5) It is conventional to assume in addition that () = 0, but this assumption can easily be discarded [7, 6], and in fact we do not need it here. Consider the two Master Equations e ī h W = 0, e ī h X = 0, (6) and the path integral [8, 0] Z X dµ e ī h [W+X]. (7) We wish to establish that Z X = Z X for an arbitrary deformation X X that preserves the master equation for X. We consider here -operators and solutions X belonging to the class for which the following represents a maximal deformation [8, 0]: e ī h X = e [,Ψ] e ī h X, (8)

3 i.e. for an infinitesimal transformation, δe ī h X = [,Ψ]e ī h X. (9) Proof: We will use 3 ingredients: ) The Master Equation for W, 2) The Master Equation for X, and 3) The symmetry of. Then, Z X Z X = = dµ e ī h W [,Ψ]e ī h X dµ [( e ī W) h Ψe ī h X +e ī h W Ψ e ī X] h = 0. (0) 3. BRST Symmetry. We can also understand gauge independence of the path integral from the existence of a nilpotent BRST symmetry. We can define two BRST transformations, one associated with W, and one associated with X [5, 6]. They are: σ W F = ( h i )e ī h W [,F]e ī h W σ X F = ( h i )e ī h X [,F]e ī h X. () The Master Equations for W and X are preserved under transformations W W + σ W Ψ and X X + σ X Ψ. Thus another way of phrasing the gauge independence of the path integral is Z X = Z X+δX with δx σ X Ψ. This is precisely the content of eqs. (9) and (0). The operators () are the natural generalizations of the so-called quantum BRST operator for the case of the conventional 2nd order -operator []. If we define BRST invariant operators G by σ W G = 0, (2) we observe that expectation values of such operators do not depend on X: G X+δX G X = Z dµ Ge ī h [W+X] e ī h X [,Ψ]e ī h X ( = ( ) ǫ G Z dµ Ge ī W) h Ψe ī h X ( = ( ) ǫ G Z dµ [,G]e ī W) h Ψe ī h X = ( ) ǫ G Z dµ e ī h W ( īσ h WG)Ψe ī h X Similarly we can show that σ W F = 0 for any F: = 0. (3) σ W F = Z dµ e ī h [W+X] σ W F = Z dµ e ī h [W+X] ( h i )e ī h W [,F]e ī h W = Z ( h ) dµ [( e ī X) h Fe ī h W ( ) ǫ F e ī h X F e ī W] h i = 0. (4) We can also consider their difference [0], or in fact any linear combination. When both Master Equations are satisfied, we can remove the commutator, but the present form is convenient.

4 The formalism is symmetric under exchanges of W and X. The choice of boundary conditions stipulates which part will play the rôle of action (here taken to be W), and which part will play the rôle of gauge fixing (here taken to be X). 4. Generalizations. We note that the requirement of symmetry of, eq. (4), can be relaxed if we instead impose two conjugate Master Equations on W and X: Under arbitrary infinitesimal deformations e ī h W = 0, T e ī h X = 0. (5) δe ī h X = [ T,Ψ]e ī h X, (6) one finds again Z X = Z X. Similarly the BRST operator σ X of eq. () will have replaced by T. The rest of the conclusions then remain unaltered. 5. Quantum Deformations of. Up to this point we have made no further assumptions about beyond those stated in eq. (3-4), and indirectly in eq. (8). Gauge independence of the proposed path integral (0) holds in all generality. We shall end by some comments specific to -operators obtained by quantum deformations of the classical 2nd order -operator () [3]. Quantum corrections are expected to arise when operator-ordering in the Hamiltonian formalism is properly taken into account. The most general quantum deformation of the 2nd order can be written in terms of its homogeneous components as n = n+2 m=0 = ( h i )n n n=0 n,m, n,m = Am...A n,m (Γ) A... Am. (7) in an ordering with all (left) derivatives standing to the right. ( h i )n n,m is the contribution to of order n in h and differential order m. So the classical part is 0 = 0,2 + 0, + 0,0. (8) Each new order of h gives rise to one extra order of differentiation. The Master Equation has an expansion in terms of higher antibrackets Φ k [5, 6]: 0 = ( h i )2 e ī h W e ī h W = ( h i )2 = = k=0 n+2 n=0 k=0 k=2 ( h i )l + k! Φk ( ī h W,..., ī h W) ( h i )n+2 k k! Φk n (W,...,W) k! Φk k 2 (W,...,W)+ h i l=2 k=0 The original -operator () is of this form, with 0,0 = 0. k= k! Φk k (W,...,W) k! Φk k+l 2 (W,...,W). (9)

5 Here we have introduced the generalized antibracket [7] Φ k (A,...,A k ) = [ [,A ],,A k ], (20) in terms of k nested commutators. Assuming a semiclassical expansion of W, W = n=0 h n W n, one sees that the classical master equation Φ 2 0 (W 0,W 0 ) = 0 (2) will be replaced, in general, by a (possibly infinite ) sum, k=2 A similar analysis for the operator σ W yields σ W F = k= The classical transformation k! Φk+ k (W,...,W,F)+ will therefore in general be replaced by k= k! Φk k 2 (W 0,...,W 0 ) = 0. (22) ( h i )l l= k=0 k! Φk+ k+l (W,...,W,F). (23) σ cl W(F) = Φ 2 0 (W 0,F) (24) k! Φk+ k (W 0,...,W 0,F) (25) Conversely, if one assumes that quantum deformations of must be of such a form as to preserve the original classical Master Equation (22), then this places restrictions on the expansion (7). The condition is that n must be a differential operator of order n+ for n. Or, equivivalently, n,n+2 = 0 for n. Acknowledgement: The work of I.A.B. has been partially supported by a Human Capital and Mobility Program of the European Community under projects INTAS , , and by grant No from the Russian Foundation for Basic Researchers. The work of K.B. and P.H.D. has been partially supported by NorFA grants No O and O, respectively. I.A.B. would like to thank the Niels Bohr Institute and Prof. A. Niemi at Uppsala University for the warm hospitality extended to him during visits there. References [] I.A. Batalin and G.A. Vilkovisky, Phys. Lett. 02B (98) 27; Phys. Rev. D28 (983) 2567 [E: D30 (984) 508]; Nucl. Phys. B234 (984) 06. [2] O.M. Khudaverdian, J. Math. Phys. 32 (99) 934. O.M. Khudaverdian and A. Nersessian, Mod. Phys. Lett. A8 (993) A. Schwarz, Commun. Math. Phys. 55 (993) 249; ibid. 58 (993) 373. I.A. Batalin and I.V. Tyutin, Int. J. Mod. Phys. A8 (993) H. Hata and B. Zwiebach, Ann. Phys. (N.Y.) 229 (994) 77. J. Alfaro and P.H. Damgaard, Phys. Lett. 334 (994) 369; Nucl. Phys. B455 (995) 409. All sums over the order of the bracket k truncate at order N if the -operator is of order N.

6 [3] I.A. Batalin and I.V. Tyutin, Int. J. Mod. Phys. A9 (994) 57. [4] I.A. Batalin and E.S. Fradkin, Phys. Lett. 28B (983) 303. [5] J. Alfaro and P.H. Damgaard, Phys. Lett. B369 (996) 289. [6] K. Bering, P.H. Damgaard and J. Alfaro, hep-th/ [7] J.-L. Koszul, Astérisque, hors serie (985) 257. F. Akman, q-alg/ [8] I.A. Batalin and I.V. Tyutin, Mod. Phys. Lett. A8 (993) 3673; ibid. A9 (994) 707. [9] J. Alfaro and P.H. Damgaard, Nucl. Phys. B404 (993) 75. [0] I.A. Batalin, R. Marnelius and A.M. Semikhatov, Nucl. Phys. B446 (995) 249, I.A. Batalin and R. Marnelius, Nucl. Phys.B465 (996) 52. [] M. Henneaux, Nucl. Phys. B (Proc. Suppl.) 8A (990) 47.