superfield perturbation theory and renormalization
Post on 14-Aug-2016
212 Views
Preview:
TRANSCRIPT
IL NUOVO CIMENTO VOL. 25A, N. 4 21 Febbraio 1975
Superfield Perturbation Theory and Renormalization (*)C).
R. DELBOURGO
Physics Department, lmperial College - ~ondon
(rieevuto il 14 Agosto 1974)
S u m m a r y . - - The perturbation theory graphs and divergences in super- symmetric Lagrangian models are studied by using superfield techniques. In super ~3-theory very little effort is needed to arrive at the single infinite (wave function) renormalization counter-term, while in ~4-theory the method indicates the counter-Lagrangians needed at the one-loop level and possibly beyond.
1. - P r e l i m i n a r i e s .
I n the i r analysis of the supersymmet r i c ¢a-model , W~ss and ZUMINO (1) discovered the r emarkab l e fact t h a t jus t a wave funct ion fac tor sufficed to renormal ize the theo ry a t the one-loop level, a conclusion which was l a te r conf i rmed to all orders b y IzxoPouL0s and ZUMINO (~) b y using the W a r d iden- t i t ies app rop r i a t e to supergroup t ransformat ions . However elegant thei r work , i t still involved considerable labour s imply because their descript ion br ings in large numbers of componen t fields which have to be tediously wr i t t en out
eve ry t ime. The powerful technique of superfields, invented b y SALA3~ and
STRATHDEE (a), which combines all the componen t fields into a single en t i t y
#(x, 0), avoids these cumbersome features, makes short work of super t rans-
(*) To speed up publication, the author of this paper has agreed to not receive the proofs for correction. (**) After completing this work we received a preprint by Dr. D. M. CAI'PE~ which essentially covers the same ground, though his emphasis is on momentum space and restricted mainly to ~a-theory. We thank him for sending us an advance copy of his paper. (1) J. WEss and B. ZUMINO: Phys. Left., 49 B, 52 (1974). (2) J. ILIOPOULOS and B. ZuMINO: N~tcl. Phys., 76B, 301 (1974). (a) A. SALAM and J. STRATHDEE: ~Vuel. Phys., 76 A, 477 (1974). See also S. FERRARA, J. W~ss and B. ZUMINO: CERN preprint TH 1863.
646
SUPERFIELD PERTURBATION TH:EORY AND R~NORMALIZATION 6 ~ 7
format ions , and provides new insights into supergroups. This paper is devoted to a r e -examina t ion of ¢3- theory in the f r amework of superfields, and to
corresponding first look a t ¢4-theory. I n the following we shall borrow heavi ly f rom the recent art icle b y SALAM
and STRATHDEE (4)~ par t i cu la r ly f rom thei r Append ix C where the F e y n m a n
rules for superfields are spelt out. S ta r t ing f rom the free Lagrang ian of a
scalar superfield
{1) ~e o = lV~(~+~_) -- l m V 0 ( ~ + ~_),
t hey obtain the free p ropaga tors
A j:+(xO, x ' O') --~ - - i < T[~+(xO)~v ±(x ' O~) ]> =
- - ~ m ( O - - O ' ) ( O - - O ' ) ± e x p [ ½ i O ~ O ' ] A ~ ( x - - x ' ) ,
(2) A . A x O , x ' O') = - i < T[~v ±(xO)qJ~=(x' O') ]> =
---- exp [l i 0~0 ' -+- ¼ (0 - - 0 ' )~75(0 - - O') ] A ~ ( x - - x ' ) .
Here %@0) refer to complex superfields of par t icular ehiral i ty
(3) ~±(xO) = exp [ =F ~ 0~ 75 0] [A± + 0 ~ + 1 (00±)F±]
with ~± = 1 (1 =[= iys) ~, etc. and V 0 = ~2/~0~ ~ . Of course one m a y easily pass
f rom (2) to the m o m e n t u m - s p a c e expressions
A±±(pO, pO') = -- i m(0 - - 0')(0 - - 0')± exp [10(r.p) O']/(p 2 - m ~ ) , (4)
A.~:(pO, pO') = exp [10(r.p)0' =k ¼ (0 -- 0') i(7.p)rs(O -- O')]/(p 2-:ms) .
The formulae (3) convenient ly summar ize the propaga tors of all the field com- ponents
A± = w~lo-o, V± = ~±/e01 .=o , F ~ = ~Vo~±lo:o,
and one easily deduces (~) t h a t
( T ( A ± F ± ) ) = - - im l (p2 - - m ~) ,
<T(~± ~±)) = ½- ira(1 ::t: i75)1(P 2 - m ~ ) ,
(5) < T ( A ± A T ) > - - i / ( p ~ - u 2 ) ,
<T(~v± vTT)> = ~ i (1 =k i 7 , ) (? ' p ) / (p 2 - m ~ ) ,
<T(F:~ FT)> = ip2 / (p z - m°-) ,
all other propaga tors vanishing.
(4) A. SALAM and J. STRATItDEE: Trieste prcprint 1C/74/42.
6 4 8 R. DELBOURGO
We shall be s tudying theories which are given in the first place b y the interact ion Lagrangian
(6) . ~ - - Vo[v(9+) + v(~_) ] - v o v ( ¢ ) ,
where V(q~) m a y even be a nonpolynomial funct ion of its argument . Then in N- th - o r de r per turba t ion theory the amputa t ed n-point Green's funct ion (m, lines a t tached to ver tex x~O~) is given by the Hori expression
(7)
before we act with the Laplacian V 0 (see Fig. 1).
m 2 rnl
I r%
\ ~ . / /
Fig. 1. - A general supergraph in 2g-th order.
The 0-differentiation can ei ther be applied to the external or internal lines. Thus if all outside legs are A-lines, then the associated Green's funct ion is
V0, ... V0. S~ ...... (x101, ..., x~,O~).
However if all outside legs are pure /~-lines, the diagram is described b y S itself. For in termedia te eases, such as external v-lines, one 0-derivative is t aken internal ly and another external ly. In any case, since ~/~0 ~ has the dimensions of mass, we conclude tha t the most singular diagrams are the
ex te rna l A-line graphs when V 0 is operat ing at each ver tex. One impor tan t point before we part icularize to q}3 and ¢~ theories; namely,
we need not concern ourselves with tadpole graphs. These vanish identically for 0 ---- 0' f rom (2), which can be in terpre ted as cancellation among field com- ponen t loops. Therefore in (7), i and j real ly do refer to different points.
2. - One-loop graphs in ¢3-theory.
Let us specialize now to
(8) v(qs) ~ ' = , g [~+ + ~ ! ] ,
S U P E R F I E L D P E R T U R B A T I O I N T t l E O R Y A N D R E N O R M A L I Z A T I O N ~
where g is a dimensionless coupling constant . Because V 0 annihi lates combina- t ions like 6~750 or ~7~0 we can effectively replace our propaga tors (2) b y the simpler expressions
(9)
in all subsequent computa t ions . To show how simple are the calculations~
consider the basic one-loop graphs, the self-energies 2;. According to Fig. 2 we can read (*) these off:
00) g A+~
i z ± ~ : = g~ ~ , ± = o .
Fig. 2. - Sclf-energics of ~ba-thcory in second order.
I n t e rms of tile componen t fields, the only nonvanish ing pieces are obta ined as
The significant point is t h a t the derivatives appear externally in (10), so the g raph has jus t the usual logar i thmic divergence of ~3-theory ( implying
t h a t the quadrat ic infinities f rom individual field contr ibut ions cancel among themselves) . This infini ty can be r emoved b y a supersymmet r i c counter - te rm
~ ( z - 1)v$(~+w_),
which corresponds to wave funct ion renormal izat ion.
± ¥
_ z
+ m
Fig. 3. - Vertex parts of On-theory in second order.
(*) To understand how formulae (9) follow from (8) note that the argument of A c undergoes the complex displacement ¼i07u(1 =L i75)0' and also that (00~)2 = 0 according to (A.2).
42 - I I Nuovo Cimento A.
650 R. DV~LBOURGO
With the ver tex corrections of Fig. 3 we use the lemma (A.6) proved in the Appendix tha t
[ ( 0 , - 0 ~ ) ( o l - o ~ ) ± ] [ ( 0 ~ - 0 , ) ( o , - o ~ ) ~ ] .. . [(0.-01)(o.-ol)2]= o
to prove t ha t F++~ = 0, while
(11) F ~ = ig 3 A~v(12) Av~(23) A±v(13) =
= ½ ig 3 m[exp [i01~0~T] A~2"exp [-- li03~01+] AI~" (02 -- 03)(02 -- 0a)÷ A~3 ] .
I f one picks out the nonzero-component contr ibut ions
- - " 3 A ~ F ~ A ~ ~mg 23 l[Al~A13],
one again notices the feature tha t all derivetives latch on to the external legs; thus the graph is perfect ly finite and the proper ver tex requires no renormaliza- t ion to order g~.
For o ther one-loop diagrams it is not ve ry difficult to demonst ra te finite- ness by means of dimensional analysis and power counting: i) we need only worry about the most v i rulent diagrams, viz. those with external A-lines; ii) graphs with a surplus of ± compared to ~= vertices necessarily involve a chiral i ty-preserving propagator A++ and contr ibute factors of mass which serve to cut down the degree of singulari ty; iii) thus the worst graphs have equal numbers of + and -- vertices which occur in a l ternat ing fashion, i.e. I"+_+ . . . . . . Evalua t ing the even n-point funct ion F~+~_a+..A - a t zero ex- te rna l momentum, to pick out the possible divergence, we get
FA÷~_...a - = iV0,V0, ...
... vo.fd4k ( k ~ - m~)-" exp [02(?'k)(01- 03)+ + ... + O,(?.k)(O~ -- 0,_1)+] =
-- iV0 V0, . . .Vo._, fd 'k (k~)i"(k ~ -- m~) -"" (01-- 03)(0~ -- 03)... (0,_~-- 01)(0,_1-- 01) = 0
b y (A.6). Hence the graph is bound to contain factors of external momentum, guaranteed to render the resul t finite.
3. - Higher-loop graphs in ~8-theory.
Le t us look at some two-loop graphs contr ibut ing to the self-energy before we make the necessary generalization. Figure 4a) gives zero by simple dimen-
SUPERFIELD PERTURBATION TIIEORY AND RENORMALIZATION 651
sion,d count ing: one encounters products of the t ype (OOmA) 5 with a surplus of 0 - - a f t e r ac t ing with V 4 the surviving 0 2 t e rms mean a zero answer as 0 -+ 0. Figure 4b) contr ibut ion (lis~tppears for ~ different reason:
g4 m2(O, _ 0 ~ ) ( 0 1 - - 0 2 ) [ /~12" (02 - - 03)(02 - - 03)-[- A 23"
• e x p [i02 CO,_ I/I.,4 .exp [i0, ~04-]A 14 .exp [i03 ~ 04_] A3,
leads to
j 2 , / Z ~ ~ "(t4x.,d4x4g4m274[A342~4.J24A~2.JL31 0.
+ +
+ +
+ + a) b)
+ ~ + t~~[[~ +
c) a)
Fig'. 4. L'f i- s~df-('n('rgv, in q~3-theory to second order.
Figure 4c) wmishes again by 0 counting, and d iagram 4d) gives zero for the same reason as d iagram 4b), viz. the der ivat ives migra te to an internal point where they in tegra te out to zero. Thus to order g4 we have obta ined Za+A+ = 0. On the other hand, for Z~_a+, a l though it is t rue t ha t Fig. 5a) and b) give zero, the remain ing Fig. 5c), d) and e) are nonvanishing; thus Fig. 5e) reduces to
g4 m.~f l~J l~ 4 F~j ,,i~ 3 J14 :I~4 J d 4 x 2 ( b x 4 ,
+
a)
Fig. 5. - Z~+ self-energy in ¢'~-theory 1~) second order.
b)
+ + - + -- +
d) e)
6 ~ R. DELBOURGO
which is finite, Fig. 5d) simplifies to
g'm~f A ~, ~[(A~8 As, A 1,) d*xz dtxs,
which is finite once the second-order renormalization of A ~ has been accom- plished, and finally Fig. 5e) reduces to
g' ~*lf A 1, ~(A*~, z]3, A u) d'x8 d ' x s ,
which represents a logarithmic infinity, again connected with wave function renormalization.
The g4 analysis above suggests tha t 2:,~a~ = 0, and tha t the most singular parts (logarithmic) of 2:,~,~ are associated with ehirality-changing self-energy insertions in internal lines. The following general argument substantiates these s ta tements : supergroup invariance of the vacuum (4) entails tha t
i A (zO, z' 0') = <T[O(zO) q~(x' 0 ' ) ] > =
= ( T [ q S ( x - - x ' + ½ i ~ 7 0 ' , 0 - - 0 ' ) q ~ ( 0 ) ] ) = e x p [ l i O ~ O ' ] J ( x - - x ' ; 0 - - 0 ' ) •
By the same token, the self-energies must always be expressible as
(12) iZ(xO, x'O') = exp [½i0~0'] ~-(x - x ' ; 0 - 0 ' ) .
Then if one picks out 0 with particular chiralities
iz~±(x0, ~'0') = exp [ i0~0±] ~ ( ~ - x'; 0 - 0'~) -~ £ ( ~ - ~'; 0 ~ - 0',)
and
(13) i-~.~(xO, x'O') ~ exp [i~:~0'~=] £=~:~(x- x' ; 0 - 0').
I f one expands ~ in powers of (0 -- 0') 2 previous experience shows tha t at least two powers of m are involved, and, since [m(0--0 ')(0--0 ')±] ~= 0, we deduce tha t Z~,~ = 0. On the contrary, for 27,.~ these mass factors do not always arise and all we can say is tha t 2 : ~ . is finite, or at worst diverges logarithm- ically.
Likewise for the vertex function a supertransformation establishes t ha t
['(x,01, xz02, x803) = exp [½i(~1~108 + ~2~208)] -P(Xl-- xs, xz-- xs; 01-- 08, 02-- 08).
Again Fa~A~(123) = P ~ a ~ ( 1 -- 3 ; 2 -- 3) --> 0 by 0-expansion, symmet ry and
S U P ] ~ R F I E L D P E R T I ~ R B A T I O ~ T H E O R Y A ND R~ENORMALIZATION 6 5 3
the use of l e m m a (A.6). On the other hand
l'~ t_(123) ---- exp [.I, i ( 0 , ~ + 02~32)0a_] ~___(1 -- 3; 2 -- 3)
will ei ther vanish or car ry a fac tor m ( 6 ~ - { 5 , ) ( G - G ) + in the 0-expansion, giving a finite answer once internal self-energT renormal izat ions have been performed. By similar a rguments the reader m a y readi ly infer the finiteness of all higher-point irreducible vertices.
4. - One-loop graphs in (/)*-theory.
Now let us begin afresh with the in teract ion
04) v ( ¢ ) = G( G + ~ t ) / 4 !
though, as we shall soon discover, the theory m u s t be funds, menta l ly modified
b y renormal iza t ion te rms . Before get t ing involved with details, note t h a t G has the dimensions of inverse muss, so the effective coupling cons tant is bound to be G°-m s or G '~ 2 in some sense. For reasons a l ready given, tadpole graphs can be disregarded.
Lagrangian (14) provides the self-energies to order G 2
05)
• ~2 3 w =--'t(, A++ 0 ,
G ~ = ia~ A~,~: = it;, exp [iO0 0'~1A~,
corresponding to the componen t fichl self-energies
(16) X,~.~ iG~,~'A3~, w iG~i~ 1 (1 =7 iys)Aa, , 1 ~ = iG~A s, . ~ ' ~ ± Y $ . ~ - - ¥ : L . ~ , •
The /]3 infinity requires two subtract ions; in the ordinary ~ ' - t heo ry the sub- t rac t ions have the significance of mass and wave funct ion renormal izat ion,
bu t in our case one of t h e m cannot be so in te rpre ted (the one corresponding
to fixing the second p2-der ivat ive of the inverse propagator) . I n fact t he
order-G °- counter -Lagrangian
(17) a~f,, = ~ ( z - ~ )v~(q~+~_) + yv i (~+ . ~_)
with Z.-~I q - ( ~ A " and Y , - , G 2 1 n A °- a l ready (lifters radical ly f rom the orig-
inal free Lagrang ian ~aY.o ill the n u m b e r of der ivat ives associated with the t5 te rm. Before worrying abou t the repercussions of (17) let us pursue the
other one-loop corrections due to (14).
~ R. D E L B O U R G O
The G-ver tex corrections (see Fig. 6) are ei ther zero (*) or logar i thmical ly infinite, as in ord inary 9*-theory. Thus
2 2 iF++++ =- G zJ++ = 0
and (18)
2 i~v++__ = a ~÷_ = a~ e x p [Oi~O'_]/1~ ,
Fig. 6. - Reseattering corrections of ~4-theory in second order.
the der iva t ives again migra t ing to the outside lines. Now we need a new counte r -Lagrangian
(19) ~Lf 1 ---- XV~(~_~_)
wi th X , ~ G 2 1 n A 2 to e l iminate the infinities (18) of the scat ter ing graphs. We r e m a r k t h a t ~ f l is inherent ly different f rom the s ta r t ing in terac t ion .L#l
despi te its mani fes t supe r symmet ry .
\
) /
\
/ Fig. 7. - Selected higher-order graphs of O4-theory.
(*): Which does not imply that X++ vanishes identically. Indeed Fig. 4c) gives a finite correction to the ~ mass terms ~) 2:a+l, + , Z'~+~+.
8 U P E R F I E L D PERTURBATION THEORY AND I~ENORMALIZATION 6 ~
We have inves t iga ted a n u m b e r of mul t i loop corrections provided b y (14) - - f o r example those depicted in Fig. 7 - - a n d have found t h a t in each case
the three counter - te rms (17) and (19) (analogous to the three renormal iza t ions of o rd inary ~4) are enough, per one or two loops.
Unfor tuna te ly , t h a t is fa r f rom being the whole s tory. H a v i n g genera ted new bil inear and quadri l inear Lagrangians , these m u s t now be studied in thei r own right. Indeed the s i tuat ion closely resembles the s ta te of affairs
in g rav i ty theory (5) where R,~R "~ and R ~ counter -Lagrangians are genera ted f rom the original Eins te in Lagrangian R. I n par t icular , the modified free
Lagrang ian 5¢o+ ~ o contains quar t ic der iva t ive t e rms which can lead to d a m p e d propagators , a lbei t wi th a possible ghost problem. Since the interac-
t ions have a t mos t two der iva t ives we cannot ven tu re to say t h a t renormal iza-
bi l i ty is lost. Another po in t to be borne in mind is tha t , wi th der iva t ive inter-
act ions present , we m a y expect 64(0) type t e rms as a consequence of canon- ical quant iza t ion which also t end to cancel off the worst effects of (19). I n fac t the s i tuat ion is so m u r k y a t the present t ime t h a t it is ra ther p rema- tu re to announce (6) categorical ly the demise of super ~b4 as a possible re-
normal izable model. Anyhow, wha tever the eventua l ou tcome of a thorough inves t igat ion of this question, we cer ta in ly feel t h a t the superfield methods of SALA1V[ and STRATHDEE offer the mos t a t t r a c t i ve and economical way of
tackl ing the problems, and we hope t ha t the calculat ions outl ined in this paper will have convinced the reader abou t this.
This work owes a great deal to the enl ightening r emarks of Prof. A. SALAM to whom we ~re mos t grateful for discussions.
APPENDIX
Here we shall list a n u m b e r of useful propert ies of Majorana spinors which m a k e for crucial simplifications in the text .
Le t 0 ~ = ½(1 :J=iys)O. Then
(A.1) 0±(0~0:~) = 0 ,
which is obvious in a two-componen t basis. I n par t icular
(A.2) (00~)" = 0 for n>~2.
(5) D.M. ('~hPm.:R, M. J. I)UFV and 1,. HALI'ERN: IC/73/130 (to appear in Phys. Rev.); S. DESEI~ and P. VAN NIEIJWENI1EUZEN: Phys. Rev. Lett., 32, 245 (1974). (6) W. L.XN(~ and J. WEss: Karlsruhc t)rcprint.
656 R. DELBOURGO
W i t h two di f ferent spinors
(A.3) (O(y.t)) 0'~) (0(r. Q) 0~:) : ½ (00~} (0' 0 : ) P . Q
fol lows b y F i e r z t r a n s f o r m a t i o n . H e n c e f r o m (A.1)
P ' O' (A.4) ( 0 ( ~ . ) 0 , ) (O(~.Q) ~) (0(~.R)0'~) = 0 .
T h u s
(A.5) exp [0(7.P)0'~] : 1 q- O(7.P)O'~ Jr 1p2(00~)(0'0 '~).
I n t he t e x t we m e e t t he fol lowing p r o d u c t of sp inor differences:
H o w in v i ew of (A.1)
F . ( 0 1 , . . . , 0 . ) - - - -2(0101~)(0202:~) . . . (O.On~) ~- (--2)"0102:~0203± ... OnOl* o
A Fie rz reshuff le of t he l as t t e r m reorgan izes t he p r o d u c t as
~ . ( 0 ~ , . . . , 0 . ) = 2 (0~0~) [ (0~0~) .. . (0 .0 .~ ) + ( - 2 ) . - ~ 0 : , ~ ... 0 . 0 ~ ] =
= (0~0x~:)F._~(0~, . . . , 0 . ) .
B y success ive i t e ra t ions
(A.6) ~.(01, ..., 0 . ) = (0~o1+)(0~o~:~) . . . (0._~o._~.)~'~(o._~, o . ) = o ,
since F~(o, o ' )= [ ( 0 - 0 ' ) ( o - o').]~ = o .
• R I A S S U N T O (*)
Per mezzo delle tecniche dei supercampi si studiano i grafici delia teoria perturb~tiva e le divergenze nei modelli l~grangiani supersimmetrici. Nella teoria del supercampo ~a con poco sforzo si perviene al singolo controtermine infinite di rinormalizzazione (delle funzioni d'onda), mentre per la teoria ~b4 il metodo indiea il controlagrangiano necessario al livello di un solo cappio e possibilmente oltre.
(*) T~aduzione a cura della Redazione.
T e o p ~ BO3MyUIelUtlH ~IJ-~! cynepnoaefi n nepenopM~Onl~a.
Pe3mMe (*). - - I/Icnon~,3ya TexmIgy cynepnoneii, Hccne~ytoTCa rpaqbmcri TeopaH BO3My- meam~ H pacxo~HMOCTH B Mo~enax cynepcaMMeTprmHI, ix YlarpaHmnarmB. B Teop~a cynepnona ~a Tpe6yeTc~ He3HaqaTenbHOe ycnnHe ~n~ nonyqerma e~i4rlCTBelt~loro 6ec- KOHeqHoro HepeHopMHpOBOqr~oro Ko~rrp-q~IeHa, Tor~a gaK B ~i~ TeOpHH Hpe~no~(eH-HbLYi MeTO~ TpeSyeT KOHTp-.l-larpaHmaaHOB Ha o~i~o-neTenbHOM yponHe H, BO3MO~KHO, IIOMHMO 3TOFO.
(*) HepeaeOeno pec)aKque~.
top related