arxiv:hep-th/ Feb 2001

Transcription

1 hep-th/ REF. TUW REF. UWThPh Deformed QED via Seiberg-Witten Map arxiv:hep-th/ Feb 2001 A. A. Bichl 1, J. M. Grimstrup 2,L.Popp 3,M.Schweda 4, R. Wulkenhaar 5 1;2;3;4 Institut für Theoretische Physik, Technische Universität Wien Wiedner Hauptstraße 8-10, A-1040 Wien, Austria 5 Institut für Theoretische Physik, Universität Wien Boltzmanngasse 5, A-1090 Wien, Austria Abstract. With the help of the Seiberg-Witten map for photons and fermions we define a -deformed QED at the classical level. Two possibilities of gauge-fixing are discussed. A possible non-abelian extension for a pure -deformed Yang-Mills theory is also presented. 1 Work supported in part by Fonds zur Förderung der Wissenschaftlichen Forschung" (FWF) under contract P14639-TPH. 2 Work supported by The Danish Research Agency. 3 Work supported in part by Fonds zur Förderung der Wissenschaftlichen Forschung" (FWF) under contract P13125-PHY. 5 Marie-Curie Fellow.

2 1 Introduction The Seiberg-Witten map was originally discussed in the context of string theory, where it emerged from a 2D-ff-model regularized in different ways [1]. It was argued by Seiberg and Witten that the ordinary gauge theory should be gauge-equivalent to a noncommutative counterpart. The Seiberg-Witten map may be also introduced with the help of covariant coordinates. In this way the deformed gauge theory emerges as a gauge theory of a certain noncommutative algebra [2], [4] leading to the same results as in ref.[1]. In this note we apply the idea of the Seiberg-Witten map in order to define a -deformed QED at the classical level, including the corresponding Seiberg-Witten map for the infinitesimal local gauge transformation of the fermions. Using the definitions of the star-product [4] and the Seiberg-Witten map for the Abelian gauge field and the fermions we define a -deformed QED in terms of the deformation parameter of a noncommuting flat space-time. This deformation parameter, which is treated as a constant external field with canonical dimension 2, leads to a field theory with infinitely many -dependent interaction vertices. In order to prepare the quantization of this deformed QED (and possible non-abelian extensions) we discuss the gauge-fixing procedure of the photon sector in the Seiberg-Witten framework. It is interesting to note that there are two possibilities of gauge-fixing. The linear one corresponds to the usual gauge-fixing of the undeformed Abelian model, whereas the second possibility is induced by a nonlinear gauge-fixing emerging from the noncommutative structure of the deformed QED. It is important to observe that the -deformed QED is still characterized by an Abelian gauge symmetry. The symmetry of the model is described by a linear BRST-identity. The letter is organized as follows. Section 2 is devoted to a definition of the Seiberg-Witten map for photons and fermions. With these -expansions for the basic field variables of the model and the usual definition of the star-product [4] an Abelian gauge invariant deformed QED action is defined. The gauge-fixing procedure a la BRST [5] will be discussed in section 3. Higher derivative gauge invariant monomials which are allowed due to the presence of are analyzed in section 4. In fact such terms are required if one studies radiative corrections [6]. In a last step we present also a non-abelian extension of the photon sector, the pure - deformed noncommutativeyang-mills (NCYM) theory, involving the discussion of the invariant action, the gauge-fixing procedure and the higher derivative gauge invariant extensions of the action. 2 Deformed QED via Seiberg-Witten Map The starting point is the undeformed» QED with its local gauge invariance μν S inv = ψ μ (ifl μ D μ m) ψ 1 4 F μνf ; (1) where D μ ψ =(@ μ ia μ ) ψ; (2) F μν μ A ν A μ : (3) 1

3 S inv is invariant with respect to infinitesimal gauge transformations: ffi A μ μ ; ffi ψ =i ψ; ffi ψ μ = iψ : μ (4) In order to get a -deformed QED in the sense of Seiberg and Witten [1] one defines ^A μ = A μ + A 0 (A μ ν; ρff )+O( 2 ); ^ψ = ψ + ψ 0 (ψ;a ν ; ρff )+O( 2 ); ^ = + 0 ( ; A ν ; ρff )+O( 2 ); (5) with the corresponding Seiberg-Witten maps given by ^A μ (A ν ^A )+ μ (A ν )= ^A μ (A ν + ffi A ν ) ; (6) ^ψ (ψ;a ν ^ψ(ψ;a )+ ν )= ^ψ (ψ + ffi ψ;a ν + ffi A ν ) : (7) The deformed infinitesimal gauge transformations are defined as usual [7]: ^A μ μ^ +i h^ ; ^Aμi? μ^ +i^? ^Aμ i ^Aμ? ^ ; ^ψ =i^? ^ψ; ^μψ = i ^μ ψ?^ ; (8) where we have used the star-product [4]. Expanding (8) in powers of one gets ^A μ μ^ ff A μ + O( 2 ); ^ψ =i^ ^ψ 1 2 ff ψ + O( 2 ): (9) With (6) (8) one gets the following solutions of (5): A 0 μ = 1 2 ρff A ρ (@ ff A μ + F ffμ ) ; ψ 0 = 1 2 ρff A ff ψ; 0 = 1 2 ρff A ff : (10) In terms of the commutative fields (3) the deformed field strength becomes ^F μν μ ν ^Aμ + ρ A ff A ν + O( 2 ) = F μν + ρff (F μρ F νff A ff F μν )+O( 2 ): (11) The infinitesimal gauge transformation of ^Fμν is calculated with ffi A μ μ (from now onwe omit the symbol O( 2 )) ^F μν = ^Fμν = ff F μν : (12) 2

4 Now we are able to write down = the analogue of (1), leading to the following generalization ^± inv 4 ^F μν? ^F μν with = Using the above expansions in one gets ± inv =» m ψ? ^μ 1 ifl» μ ^Dμ m ^ψ ψ ^μ 1 ifl μ ^Dμ ^ψ 4 ^F μν ^F μν ; (13) ^D μ ^ψ ^ψ i ^Aμ? ^ψ: ρ μ ψ ifl μ» D μ ψ 1 2 ρff (@ μ A ff ψ + A ff ψ) + i (A 2 ρff ρ (@ ff A μ + F ffμ ) ψ + A μ A ff ψ ρ A ff ψ) 1 A 2 ρff ffψ μ i fl μ D μ ψ mψψ μ ρff + 2 mρff ρ A ffψψ μ μν ff 1 4 F μνf μν 1 F μρ F νff F μν F ρfff μν F : (14) Equation (14) contains non-renormalizable vertices of dimension 6. The quantity ρff will be considered as a classical unquantized external field with dimension 2. The -deformed action (14) is invariant with respect to (4). 3 Gauge-Fixing a la BRST In order to quantize the system (14) we need a gauge-fixing term which allows of the calculation of the photon propagator. This can be done in a twofold manner: Corresponding to the usual BRST-quantization procedure one replaces the infinitesimal gauge parameters and ^ by Faddeev-Popov ghost fields c and ^c leading to the following BRST-transformations for the Abelian structure Corresponding to the noncommutative structure of (9) one gets Nilpotency of (15) and (16) implies sa μ μ c; sψ =icψ: (15) ^s ^A μ μ^c ρ c@ ff A μ ; ^s ^ψ =i^c ^ψ 1 2 ρ c@ ff ψ: (16) sc =0; (17) ^s^c = 1 2 ρ c@ ff c: (18) 3

5 Clearly, due to (10) one has also Introducing now two BRST-doublets ^μc =μc and ^B = B with ^c = c 1 2 ρff A ff c: (19) ^s^μc = sμc = ^B = B; ^s ^B = sb =0; (20) one has two possibilities to construct Faddeev-Popov actions: B2 ± (i) = s μc@ μ A μ + ff 2 μcb = μ A μ μc@ 2 c + ff ; (21) 2 and ^± (ii) = An expansion in of ^± (ii) ± (ii) = ^B ^s ^μc@ μ ^Aμ + ff 2 ^μc = leads to μ ^Aμ μc@ μ^s ^A μ + ff 2 B2 : (22) μ A μ μc@ 2 ff2 c + ff B2 1 [B@ 2 ρff μ (A ρ (@ ff A μ + F ffμ )) + μc@ 2 (@ ρ ca ff ) 2μc@ μ (@ ρ c@ ff A μ )] : (23) The case described by (21) is the usual μ A μ = 0 gauge, whereas the Faddeev-Popov action of (23) corresponds to a highly nonlinear gauge. However, one has to stress that both cases lead to the same photon propagator ha μ A ν i (0) = 1 g k 2 μν (1 ff) k μk ν +iffl k 2 : (24) In terms of (15), (17) and (20) the symmetry content of (21) and (23) may be expressed by a linearized Slavnov-Taylor identity with S ± (0) = "@μ c ffi±(0) ffia μ # + B ffi±(0) =0; (25) ffiμc ± (0) =± inv + ( ± (i) ± (ii) : (26) Formula (25) implies the following transversality condition for the 2-point 1PI vertex x μ ffi 2 ± (0) ffia μ (x) ffia ν (y) =0; (27) 4

6 meaning that the vacuum polarization" of the photon is transverse in momentum space p μ Π μν (p; p) =0: (28) In a companion paper [6] we have studied perturbatively this transversality condition. However, at this stage one has to state that the total action (26) is not the whole story. Because of the deformation parameter μν (which is treated as a constant external field) one can construct further gauge invariant quantities. Such additional terms in the BRST-invariant total action are in fact needed for the one-loop renormalization [6] procedure. 4 Higher Derivative Gauge Invariant Terms in the Action The presence of a constant external field allows in principle to add infinitely" many gauge invariant terms to the Lagrangian. Due to this fact one can construct the following bilinear BRST-invariant action in the photon sector 1 ± Max = h:d: with ρ 12 F 2 F ~ μν μ F ~ ρ F ν 1 ρ 4 F ~ 2 F μν F μν (@ 2 ) 2 F μν ff + 1 ~@ μ ν F μν 2 + F 2 2 ~ μν (@ 2 ) 2 F ~ μν + higher derivative terms ; (29) ~@ μ = μ ν ; ~@ μ = μ ρ ρ ff ; Alternatively, (29) may be rewritten as ± Max = ρ 12 F h:d: 2 F ~ μν μ F ρ F ~ ν 1 4 F ~ 2 F μν 2 = ν μ ; μ ν ~F μν = μρ F ν ; ρ ~F = F ~ μ : (30) μ ρ 1 2 Aμh ~@ 2 (@ 2 ) 2 g μν +(@ μ ν ν )(@ 2 ) 2 +(@ 2 ) 3 ρ μ ρνi A ν F μν (@ 2 ) 2 F μν ) 2 + higher derivative terms ff : (31) 1 Note that R ( 1 2 F 2 ~ F μν ) and R ( 1 F ρ ~ F ν ρ ~@A is gauge invariant. ) are of topological nature. Observe also that 5

7 In a similar way one can construct with Dμ ~ = ν D μ ν (D μ μ ia μ ) also higher derivative terms for the Dirac theory ± Dir = nm ψ D μ ~ h:d: D +(D D) ~ 2 + D 2 D ~ 2 + ::: ψ + μ ψfl μ id μ D ~ D +(D ~ D) 2 + D 2 ~ D 2 + ::: ψ + μ ψfl μ i ~ Dμ D 2 1+D ~ D +(D ~ D) 2 + D 2 ~ D 2 + ::: ψ + h.d.o : (32) It is interesting to notice that one can construct also four-fermion vertices. For example one has ± Dir (4);h:d: = xn d 4 μψ Dμ ~ ψψ μ Dμ ~ ψ + ψ μ Dμ D ~ D ~ +(D D) ~ 2 + D 2 D ~ 2 + ::: ψψ μ Dμ ~ ψ + h.d.o : (33) However, these terms cannot be obtained from a truly noncommutative action by the Seiberg- Witten map because the corresponding expression would be non-local. Therefore, we expect that contributions of this type, which are possible for individual Feynman graphs, cancel on the level of Green's functions. Equations (29) (33) imply that even at the classical level one has -dependent terms. This entails the following form of the vacuum polarization" of the photon in momentum space representation 2 Π (0) (p; p; ) ß (p 2 ) 2 pμ μν in observing that no terms linear in μν 2 p ν g μν p ~p 2 p pμ p ν g μν p +(p 2 ) 2 ~p μ ~p ν +(p 2 ) gμν ~p 2 + p μ ~p ν + p ν ~p μ + p 2 ρ μ ρν ; occur. Due to (34) p~p =0; p~p = ~p 2 ; (35) it is obvious that (34) fulfills the transversality condition (28), where we have used a notation analogous to (30). In order to be complete the total action is given by ± (0) =± inv + ( ± (i) ± (ii) ) +± Max h:d: +± Dir h:d: +± Dir (4);h:d: : (36) In the limit! 0 one recovers the ordinary QED with a free Faddeev-Popov sector. One has to stress also that equation (29) is required for the renormalization procedure at the one-loop level for the calculation of Π (1) μν (p; p; ) [6]. 5 Non-Abelian Extension: Pure Yang-Mills Case (NCYM) We start with the non-abelian extension of (5) in considering only the gluon sector. corresponding gluon field is now Lie-algebra valued: The A μ (x) =A a μ (x)t a ; (37) 6

8 where the T a are the generators of a U(N) gauge group with [T a ;T b ]=if abc T c ; ft a ;T b g = d abc T c ; Tr T a T b = ffi ab ; T 0 = 1 p N 1: (38) The corresponding non-abelian field strength is defined as usual F μν μ A ν A μ i[a μ ;A ν ] : (39) The infinitesimal gauge transformations are ffi A μ μ +i[ ; A μ ] D μ ; ffi F μν =i[ ; F μν ] : (40) As shown in [1] the Seiberg-Witten map for the non-abelian extension is ^A μ = A μ + A 0 μ = A μ 1 4 ρff fa ρ ;@ ff A μ + F ffμ g + O( 2 ); (41) ^ = + 0 = ρff f@ ρ ; A ff g + O( 2 ): (42) From ^F μν μ ν ^Aμ ih ^Aμ ; ^Aνi? (43) follows with the help of (41) ^F μν = F μν ρff (2 ff μρ ;F νff g fa ρ ;D ff F μν ff F μν g)+o( 2 ): (44) Corresponding to (40) one has ^A μ μ^ +i h^ ; ; ^Aμi? ^F μν =ih^ ; : (45) ^Fμνi? In the sense of Seiberg and Witten (45) implies ^A μ μ^ +i h^ ; ^Aμi 1 2 ρff (@ ff A ρ A ff )+O( 2 ): (46) Inserting (41) and (42) one arrives finally at ^A μ = D μ ρff (f@ ρ ; A ff g + f@ ρ μ A ff g) + i 4 ρff ([f@ ρ ; A ff g ;A μ ] [ ; fa ρ ;@ ff A μ + F ffμ g]) + O( 2 ): (47) 7

9 Now we are ready to construct the gauge invariant non-abelian action. Following [3] one has at the classical level ^± inv = 1 4g 2 Tr ^Fμν? ^F μν = 1 4g 2 Tr ^Fμν ^F μν : (48) Using (44) one gets for (48) ± inv = 1 4g 2 = 1 4g 2 Tr F μν F μν + 1 (2 ff 2 ρff μρ ;F νff g F μν fa ρ ;D ff F μν ff F μν g F μν ) aμν F F aμν ρff cμν + F a F b F cμν 1 μρ νff 2 (D Aa ρ fff μν ) b F cμν 1 Aa ρ fff b F μν 6 Gauge-Fixing for Pure Yang-Mills Theory d abc Similar to the QED case there are again two possibilities of gauge-fixing for the non-abelian generalization. One replaces the infinitesimal gauge parameters by the corresponding ghost fields: The first choice leads to : (49)! c; ^! ^c: (50) sa μ μ c +i[c; A μ ]=D μ c; With the second possibility of (50) one gets from (42) sc =ic 2 = i fc; cg : (51) 2 ^c = c ρff f@ ρ c; A ff g + O( 2 ): (52) Equations (52) and (41) together with (51) allow now to calculate the BRST-variations for ^A μ and ^c: ^s ^A μ = sa μ 1 4 ρff (fsa ρ ;@ ff A μ + F ffμ g + fa ρ ;@ ff sa μ + sf ffμ g) ; ^s^c = sc ρff (f@ ρ sc; A ff g [@ ρ c; sa ff ]) : (53) By explicit calculations one verifies that the equations (53) follow by -expansion from ^s ^Aμ μ^c +ih^c; ; ^Aμi? ^s^c =i^c?^c: (54) 8

10 The above results may be summarized by the Seiberg-Witten map for the BRST-transformation ^A μ (A ν )+^s ^Aμ (A ν )= ^Aμ (A ν + sa ν ) : (55) For practical reasons we choose now the simpler possibility for the gauge-fixing procedure: ± = Tr s(μc@ μ A μ + ff 2 μcb) = Tr μ A μ μc@ μ (@ μ c +i[c; A μ ])+ ff 2 B2 ; where μc and B are the corresponding non-abelian antighost and multiplier field. To be complete one also adds further gauge invariant pieces to the total gauge-fixed action. They are obtained from (29) by replacing the derivatives by the covariant derivatives and the Abelian by the non-abelian field strength. The total BRST-invariant action is thus = 1 4g 2 ± (0) =± inv +± +± h:d: + Tr F μν F μν + 1 (2 ff 2 ρff μρ ;F νff g F μν fa ρ ;D ff F μν ff F μν g F μν ) Tr μ A μ μc@ μ (@ μ c +i[c; A μ ])+ ff2 B2 12 F μν D 2 F ~ μν 1 2 Dμ F μν D ρ ~ F ν ρ (56) 1 4 F μν D DF ~ μν 1 4 F μν D 2 D ~ 2 F μν F μν (D 2 ) 2 F μν 1 D ν F μν 2 + F 2 ~ μν (D 2 ) 2 F ~ μν + higher derivative terms : (57) ~Dμ In order to characterize the BRST-symmetry of this model one has to introduce BRST-invariant external sources ρ μ ;ff allowing to describe the non-linear BRST-transformations consistently. This leads to and to the action ± ext = Tr(ρ μ sa μ + ffsc) (58) ± (0) ;tot =±(0) +± ext : (59) The BRST-symmetry is therefore encoded at the classical level by the non-linear Slavnov-Taylor identity " # S ± (0) ;tot = ffi± (0) d 4 ;tot ffi± (0) ;tot xtr + ffi±(0) ;tot ffi± (0) ;tot ffiρ μ ffia μ ffiff ffic + B ffi±(0) ;tot =0: (60) ffiμc 7 Conclusion and Outlook We have defined a -deformed QED with the help of Seiberg-Witten maps for photon and fermion fields at the classical level. In the same manner we also discussed a -deformed Yang- Mills model. In a next step we focus on the quantization procedure. Some preliminary work has been done in [6], where the quantization of a -deformed Maxwell theory is presented. There, oneloop corrections to the 1PI two-point function for the photon are investigated in the presence of non-renormalizable interaction vertices. 9

11 8 Acknowledgement We would like to thank Harald Grosse, Karl Landsteiner, Stefan Schraml, Raymond Stora, and Julius Wess for enlightening discussions. References [1] N. Seiberg and E. Witten, String theory and noncommutative geometry," JHEP9909 (1999) 032 [hep-th/ ]. [2] J. Madore, S. Schraml, P. Schupp and J. Wess, Gauge theory on noncommutative spaces," Eur. Phys. J. C16 (2000) 161 [hep-th/ ]. [3] B. Jurco, S. Schraml, P. Schupp and J. Wess, Enveloping algebra valued gauge transformations for non-abelian gauge groups on non-commutative spaces," Eur. Phys. J. C17 (2000) 521 [hepth/ ]. [4] T. Filk, Divergencies in a field theory on quantum space," Phys. Lett. B376 (1996) 53. [5] C. Becchi, A. Rouet and R. Stora, Renormalization Of Gauge Theories," Annals Phys. 98 (1976) 287. [6] A. A. Bichl, J. M. Grimstrup, L. Popp, M. Schweda and R. Wulkenhaar, Perturbative Analysis of the Seiberg-Witten Map," hep-th/ [7] M. Hayakawa, Perturbative analysis on infrared and ultraviolet aspects of noncommutative QED on R 4," hep-th/