Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Supersymmetry. Theory, Experiment, and Cosmology

.pdf
Скачиваний:
79
Добавлен:
01.05.2014
Размер:
12.6 Mб
Скачать

Electroweak precision tests 399

one must decide on a single definition. We will choose here (A.178): in other words, we define sin2 θW , and note s2W , the function 1 − MW2 /MZ2 , to all orders of perturbation theory. When one uses this definition, then (A.180) reads

M 2 s2 =

 

A

 

(A.183)

 

 

 

1

 

W W

δr

 

 

 

 

and (A.181)

ρ ≡ GNC = 1 + δρ, (A.184)

GCC q2=0

where δr and δρ account for radiative corrections.

It is easy to obtain first order expressions for these quantities. quantities with a superscript 0, we may write for example (A.180) as

MW0 2

=

 

πα0

 

.

 

G0

sin2

θ0

2

 

µ

 

W

We then replace bared quantities by renormalized ones:

α0 = α

1

δα

 

 

,

α

 

Gµ0 = Gµ 1

δGµ

 

, . . .

Gµ

 

Denoting bare

(A.185)

(A.186)

Then (A.185) reads, in terms of renormalized quantities, and to first order,

 

2

=

 

πα

 

 

1

 

δα

+

 

 

δGµ

+

δ sin2 θW

+

 

δMW2

 

(A.187)

MW

 

Gµ sin2 θW

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

α

Gµ

sin2 θW

MW2

2

 

 

and, since we have defined sin2 θ

W

through (A.178),

 

 

 

 

 

 

 

 

 

 

 

 

 

 

δ sin

2

 

 

 

 

 

 

 

 

 

δMW2

 

 

MW2

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

θW

 

 

=

 

 

 

 

+

 

 

δMZ .

 

 

 

 

 

(A.188)

 

 

 

 

 

 

 

 

MZ2

MZ4

 

 

 

 

 

Hence

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

cW2 δMZ2

 

+ 1

cW2

δMW2

 

 

 

 

δr =

δα

 

δGµ

 

 

 

 

 

 

 

 

 

+

 

 

 

 

 

+

 

 

 

 

 

 

 

 

 

 

 

 

(A.189)

 

 

α

 

 

Gµ

 

 

sW2

MZ2

sW2

 

 

MW2

 

with cW2 = 1 − sW2 . Similarly, from (A.184),

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

δρ =

δGNC

 

δGµ

 

 

 

 

 

 

 

 

(A.190)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

GNC

Gµ

 

 

 

 

 

 

 

 

where we have used ρ = 1 at zeroth order (GCC ≡ Gµ).

µ(1 − γ5)µ] [¯νµγµ(1 − γ5)νe] .

400 A review of the Standard Model and of various notions of quantum field theory

One may distinguish three types of radiative corrections in the Standard Model:

(i)α and Gµ are measured at low energy and must be renormalized up to the scale

at which present measurements are performed (typically MZ ). For example, summing the large (ln MZ /me)n contributions into a running coupling α(MZ ), one obtains from the boundary value (A.172) at a scale me

α1(MZ ) = 127.934 ± 0.027,

(A.191)

where the error quoted is mainly due to the uncertainty on the low energy hadronic contribution to vacuum polarization.

On the other hand, Gµ does not receive large ln (MZ /mµ) corrections because of

anonrenormalization theorem12.

(ii)Large corrections due to the top or the Higgs may appear through vacuum polarization diagrams. These are traditionally called oblique corrections. There is

awell-defined procedure to take them into account.

One may introduce in general the two point-function:

µ q q ν

Πµν q2 = −igµν A + F q2 + Gq4 + · · · + O (qµqν ) .

(A.192)

Since this is usually contracted with external fermionic currents, the terms O (qµqν ) give contributions of the order of the light fermion masses, which we neglect (see however below). If we denote by M the mass of the heavy field (Z, top or Higgs), then dimensional analysis tells us that A M 2, F M 0 and G M 2 and thus the term in q4 is negligible for q2 M 2.

We thus have to consider

ΠµνW W q2

 

= igµν

 

AW W + q2FW W

,

ΠµνZZ

q2

= igµν

AZZ + q2FZZ ,

 

γZ

 

2

 

 

2

 

 

Πµνγγ

q2

 

= igµν

0 + q2Fγγ ,

 

Πµν

q

 

 

= −igµν

0 + q

FγZ ,

(A.193)

where Aγγ = AγZ = 0 because the electromagnetic current is conserved: qµΠγγµν = 0 = qµΠγZµν for q2 = 0.

12Through Fierz reordering, one may write the e ective current–current interaction responsible for muon decay as

Gµ

Le =

2

The lepton-changing (e → µ) vector and axial currents that appear satisfy a nonrenormalization theorem that allows only finite corrections and hence forbid any dependence in the e ective cut-o MZ .

Electroweak precision tests 401

+

µ

 

+

+

+

+

+

e

+

e+

+

e

 

e

e

µ

e

e

 

e

 

 

 

 

 

 

γ

 

γ

 

 

Z

 

 

γ

+

 

ρ

 

+

 

 

+

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

σ

 

 

 

 

 

 

 

 

 

 

 

 

γ

 

Z

 

 

γ

e

ν

 

e

e

ν

e

e

e

e

e

Fig. A.8

Now, if we consider the diagrams of Fig. A.8, only the tree-level and γγ propagator contribute to the pole in q2. Thus the pole part of the amplitude reads

 

i

 

 

i

e2 − δe2 (1 − Fγγ )

M|pole =

 

gµν e02

(1

− Fγγ ) =

 

gµν

qi2

q2

≡ −

 

gµν e2

,

 

 

 

(A.194)

q2

 

 

 

where we have introduced, as in (A.186), the bare e0 and renormalized e couplings. Thus, to first order, δe2/e2 = −Fγγ .

We obtain, with similar analyses for Gµ and MZ ,

 

 

 

 

δα

= −Fγγ ,

 

 

 

(A.195)

 

 

 

 

 

 

 

 

 

 

α

 

 

 

 

 

δGµ

=

AW W

,

 

(A.196)

 

 

Gµ

M 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

W

 

 

 

 

 

δMZ2

=

AZZ

− FZZ .

(A.197)

 

MZ2

MZ2

 

 

Thus, three out of six of the independent quantities that we have introduced in (A.193) are used to renormalize the variables α, Gµ and MZ . We are left with three variables which fully describe the oblique corrections [6, 307].

One prefers to work in the original SU (2) × U (1) basis (A3µ, Bµ) for the gauge fields. One then introduces13:

1 =

A33 AW W

,

(A.200)

M 2

 

 

 

 

W

 

 

13Alternatively, in the language of [307, 308], one introduces the three variables S, T and U which,

to lowest order, are related to the variables of [6] by

 

 

 

1

= α T,

 

 

 

2

=

 

α

 

U,

(A.198)

 

 

 

4sW2

3

=

 

α

S.

(A.199)

 

 

 

 

4s2

 

 

 

 

 

 

 

 

 

W

 

 

 

402 A review of the Standard Model and of various notions of quantum field theory

2 = FW W − F33,

(A.201)

c

3 = sW F3B .

W

Using (A.196) and its neutral current equivalent (δGNC /GNC from (A.190)

AZZ AW W

δρ = MZ2 MW2 = 1,

(A.202)

= AZZ /MZ2 ), we obtain

(A.203)

where we have used (A.285). Hence 1 represents the departure of the ρ parameter from the value 1. Similarly (see Exercise 4),

δr =

c2

1 1

c2

2 + 2 3.

(A.204)

W

W

sW2

sW2

It is rather easy to guess the order of magnitude of the dimensionless parameters i. At one loop, which is the first order at which they are nonvanishing, the corresponding diagrams involve two gauge couplings, and thus are of order GF MW2 . Take first the

2

 

×

U (1) which confirms

example of 3

. Clearly F3B = 0 requires the breaking of SU (2)

 

that 3 MW . Moreover, the presence of F3B requires to factor q out (as in (A.192)): we are left with a logarithmic dependence on the high scales, typically ln (mt/MZ ) or ln (mH /MZ ). The case is somewhat di erent with 1. The same argument as just given tells us that A33 − AW W GF MW2 m2 where dimensional analysis tells us that we are still missing a squared mass factor m2 which turns out to be the top mass-squared. Hence 1 GF m2t .

A complete calculation gives:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3GF mt2

 

 

 

 

3GF MW2

 

2

 

 

 

mH

 

 

 

 

1

=

 

8π2

 

 

 

 

 

4π2

 

 

 

tan θW ln

 

 

+ · · ·

(A.205)

 

 

 

 

MZ

 

 

 

2

2

 

 

 

 

 

GF MW2

ln

mt

 

 

 

 

 

 

 

 

 

 

 

 

2

=

2π2

 

 

 

 

 

+

· · ·

 

 

 

 

 

 

 

 

(A.206)

 

 

MZ

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

GF MW2

 

ln

 

mH

 

 

 

 

GF MW2

ln

mt

 

 

 

 

3

=

 

12π2

 

 

 

 

6π2

 

 

 

+ · · ·

(A.207)

 

 

 

MZ

 

MZ

 

 

 

2

 

 

2

Hence, 1

 

2, 3 and, for example, δr

c2

/sW2

δρ.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

W

 

 

 

2

 

 

 

 

 

We also note that there is no term of order G

F mH . The absence of such terms may

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

be attributed to the symmetries of the theory in the limit of large Higgs mass. In this limit, the Higgs sector has the structure of a nonlinear sigma-model coupled to gauge fields. Indeed, setting for a moment the gauge fields to zero, one may write the scalar Lagrangian as (We write φ+ ≡ φ2 + 1, φ0 ≡ h − iφ3 and M ≡ h + aφa)

L =

1

Tr µM µM − V (M, M ),

(A.208)

4

V (M, M ) =

λ

Tr M M − v2

2

,

 

 

 

 

 

4

 

 

Dilatations and renormalization group 403

where M ≡ h + iτ · ξ. This Lagrangian has an invariance SU (2)L × SU (2)R: M → ULM UR, where UL, UR are 2 × 2 unitary matrices (to understand the meaning of the L, R subscripts, see Equation (7.9) of Chapter 7). When we restore the gauge fields, there remains a SU (2)R invariance in the limit θW 0 (g → 0). When mH → ∞, the model becomes nonlinear with the constraint Tr M M = v2. The SU (2)R symmetry still constrains the structure of the counterterms and forbids terms of the form GF m2H (mH is the physical cut-o ).

This result is known as the screening theorem [351]. The sensitivity of low energy physics in the Higgs mass is only logarithmic. But tests at the LEP collider have achieved such a precision that they now allow us to put limits on the Higgs mass within the Standard Model.

(iii) In the case of processes involving the third generation of quarks, one has a possible

¯ large dependence in mt through vertex corrections (e.g. Z bb).

A.5 Dilatations and renormalization group

Scale invariance and its violations as described by the renormalization group approach play an important rˆole in the study of supersymmetry. We present the basic notions in this section. We also review the notion of e ective potential which is used in the main text to discuss quantum corrections.

A.5.1 Dilatations and conformal transformations

A dilatation or scaling transformation is a spacetime transformation of the form

 

 

x → x = e−αx.

(A.209)

It acts linearly on the fields:

 

 

 

 

 

Φ(x)

Φ (x ) = eαdΦ(x),

(A.210)

 

 

 

 

which we may write by keeping spacetime fixed

 

Φ(x)

Φ (x) = eαdΦ(eαx).

(A.211)

 

 

 

 

The number d is characteristic of the field Φ and is called its scaling dimension. Infinitesimally,

δΦ(x) = α (d + xµµ) Φ(x).

(A.212)

At the classical level, the scaling dimension coincides with the canonical dimension: d = 1 for the scalar fields, 32 for spin 12 or 32 fermions.

We may consider as an example the following action involving a scalar field φ(x) and a Dirac spinor field Ψ(x):

 

 

 

 

 

 

 

 

 

 

 

 

d4xL1(x),

 

 

 

S = S0 + S1 =

d4xL0(x) +

 

 

(A.213)

 

1

 

 

µ

 

i

¯

µ

 

¯

λ0

4

 

 

L0

=

2

 

 

φ∂µφ +

2

Ψγ

 

µΨ + λY

φΨΨ

4!

φ

,

(A.214)

L1

=

1

m02φ2.

 

 

 

 

 

 

 

 

(A.215)

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

404 A review of the Standard Model and of various notions of quantum field theory

Under the dilatation transformation (A.212), we have

 

 

 

 

 

 

 

δL0 = α (4 + xµµ) L0.

 

 

 

(A.216)

and thus, by integration by parts,

 

 

 

 

 

 

 

 

 

 

 

 

δS0 = α

d4x ∂µ (xµL0) .

 

 

 

(A.217)

Thus S0 is invariant by dilatation. On the other hand,

 

 

 

 

1

 

= d4x (−m02)φ (1 + xµµ) φ = d4x (−m02) 1 +

1

φ2

 

 

δS1

 

 

xµµ

α

2

 

 

 

 

1

 

 

 

 

 

 

 

 

 

= d4x (−m02) 1

 

µxµ

φ2 = d4x m02φ2.

 

 

 

 

 

 

 

2

 

 

 

 

Hence

δS = α

 

 

 

 

 

 

 

 

 

 

 

 

d4x

with ∆ = m02φ2.

 

 

 

(A.218)

It follows that the dilatation current, or scaling current, Dµ is not conserved: from (A.10) we obtain

µDµ = ∆.

(A.219)

Using (A.8), one obtains from (A.209) and (A.210) the general explicit form for the dilatation current

D

 

=

xρ

g

µρ

δL

 

Φ +

δL

dΦ(x)

 

 

 

δ (µΦ(x))

 

µ

 

 

L

δ (µΦ(x)) ρ

 

 

 

 

= xρTρµ +

 

 

δL

dΦ(x),

 

 

 

 

 

δ (µΦ(x))

 

 

 

 

 

 

 

 

 

 

 

 

 

 

where Tµν is the canonical energy–momentum tensor:

δL

Tµν = δ (µΦ(x)) ν Φ − gµν L.

(A.220)

(A.221)

It is, however, possible to define [64], without a ecting the construction of the Lorentz generators Pµ and Mµν , a symmetric energy–momentum tensor Θµν such that

Dµ = xρΘρµ.

(A.222)

Explicitly, in our example (A.213) above (see Exercise 7),

Θµν = Tµν 61 (µν − gµν ρρ) φ2.

(A.223)

However, the construction of Θµν is only possible under some conditions which are easily identified in the limit ∆ 0. Indeed, in this case, the conservation of the

Dilatations and renormalization group 405

dilatation current (A.222) is expressed by the condition of tracelessness for the new energy–momentum tensor:

µDµ = Θµµ = 0.

(A.224)

It then follows that the following four (λ = 0, 1, 2, 3) currents are conserved:

Kλµ 2xλxν Θνµ − x2 Θλµ.

(A.225)

These are actually the four currents associated with the four generators of conformal transformations Kλ ≡ d4xKλ0. The corresponding transformations are obtained by combining the four translations xµ → xµ − aµ with the inversion xµ → −xµ/x2:

xµ → x µ = e−α(x) xµ + cµx2 , eα(x) 1 + 2c · x + c2x2.

(A.226)

We note that x µ/x 2 = xµ/x2 + cµ. By construction, an invariant line element transforms as

gµν dxµdxν (gµν dxµdxν ) = e2α(x)gµν dxµdxν .

(A.227)

The possibility of defining a tensor Θµν is associated with the presence of conformal invariance in the limit ∆ 0. One may note here the close link between conformal and dilatation invariance. Thus, any Lorentz invariant theory which is also invariant under conformal transformations has dilatation invariance. This can be seen from the general relation

 

µKλµ = 2xλµDµ.

(A.228)

This can also be obtained from the algebra. Indeed, defining the charges

 

D =

d3x D0, Kµ =

d3xKµ0,

(A.229)

we have the following algebra

 

 

 

[D, Mρσ ] = 0 , [Kµ, Mρσ ] = i (ηµρKσ − ηµσ Kρ) ,

 

[Pµ, D] = iPµ , [Kµ, D] = −iKµ,

 

(A.230)

[Kµ, Kν ] = 0 , [Pµ, Kν ] = 2i (ηµν D − Mµν ) ,

 

which complements the Poincar´e algebra (given in (2.10) of Chapter 2) to form the algebra of the conformal group. According to the last relation, invariance under Pµ, Mµν , and Kµ implies dilatation invariance.

We end this section with a few words on the conformal group in D dimensions. As we just saw in (A.227) for the case D = 4, the conformal group is the subgroup of coordinate transformations or reparametrizations such that the metric transforms as14

gµν (x) → gµν (x) = e2α(x)gµν (x).

(A.231)

This group obviously includes the Poincar´e group since it leaves the metric invariant.

14This transformation preserves the angle between two vectors aµ and bµ: gµν aµbν/ gµν aµaν gρσ bρbσ .

406 A review of the Standard Model and of various notions of quantum field theory

Writing infinitesimally Appendix D, µξν + ν ξµ and it follows

x µ = xµ

ξµ(x), this becomes,

following

(D.3) of

 

 

µν

yields µξ

µ

= 4α,

= 2αgµν . Contraction with g

 

 

µξν + ν ξµ = 21 gµν ρξρ.

 

 

 

 

(A.232)

A vector ξµ satisfying this equation is called a conformal Killing vector.

We now restrict ourselves to flat spacetime. One obtains from this equation that, for D > 2, ξµ is at most quadratic in x (see Exercise 8). In increasing order in x, one finds:

translations ξµ = aµ;

rotations ξµ = ωµν xν ;

dilatations ξµ = αxµ;

special conformal transformations ξµ = cµx2 2xµc · x.

The corresponding algebra has dimension D+ 12 D(D−1)+1+D = 12 (D+1)(D+2) and is locally isomorphic to SO(2, D). Conformal invariance imposes severe constraints on the N -point functions of a quantum theory. In particular, it determines completely, up to a constant, the two and three point functions [187]. The special case D = 2 is considered in Section 10.1 of Chapter 10. We only note here that it is very specific since in D = 2, the conformal group is infinitely dimensional.

A.5.2 The dilaton

It is possible to modify the Lagrangian in order to break dilatation symmetry spontaneously rather than explicitly, as with a mass term. One must make the Lagrangian invariant: only the fundamental state breaks the invariance. According to Goldstone’s theorem, a massless boson appears in the spectrum. This Goldstone boson associated with dilatations is called dilaton. We denote it by σ(x).

In order to construct an invariant Lagrangian describing the interactions of the dilaton with other fields, one may use a method which is inspired from the construction of chiral Lagrangians describing the pion interactions (the pion is the Goldstone boson associated with chiral symmetry breaking).

We consider a scalar field Φ(x) which we write:

Φ(x) = f eσ(x)/f .

(A.233)

The field σ(x) corresponds to fluctuations of Φ(x) around its vacuum value f , which determines the scale of spontaneous breaking of dilatation symmetry. Since under dilatations, the scalar field Φ(x) transforms as (A.211), the field σ(x) transforms as:

σ(x)

σ (x) = σ (eαx) + αf,

(A.234)

 

 

 

or infinitesimally

 

 

 

δσ(x) = α (f + xµµσ) .

(A.235)

We note that the symmetry is realized nonlinearly: as we have seen in Section A.2.1, the constant term is a sign that σ(x) is a Goldstone boson.

 

 

 

Dilatations and renormalization group 407

 

One may use factors eσ(x)/f to make dilatation-breaking terms invariant. Thus

m2

φ2 is replaced by m2φ2e2σ/f since δ

 

φ2e2σ/f = (4 + xµ)

φ2e2σ/f

. One also

0

0

 

µ

 

 

introduces a kinetic term for σ(x):

 

 

Lkin(σ) = 21 µΦµΦ = 21 e2σ/f µσ∂µσ.

 

(A.236)

Then the action corresponding to the Lagrangian

 

 

 

L = L0 + 21 e2σ/f µσ∂µσ − 21 m02φ2e2σ/f ,

 

(A.237)

with L0, given in (A.213), is dilatation invariant. Under these conditions, the dilatation current is conserved:

µDµ = 0.

(A.238)

A.5.3 E ective potential

We first recall how the e ective action is introduced. We consider for simplicity the theory of a scalar field in interaction. One defines the functional of the current J

Z [J] = Ω

 

d4xJ(x)φ(x)

 

,

(A.239)

T ei

 

 

 

 

 

 

 

where |Ω is the vacuum of the interacting theory, φ(x) the scalar field (in Heisenberg representation) and the symbol T denotes as usual the chronological product. Z [J] is the generating functional of Green’s functions, in the sense that a general Green’s function is given by

g(x1, . . . , xn) |T φ(x1) · · · φ(xn)| Ω = (−i)n

 

δnZ [J]

 

 

δJ(x1)

· · ·

δJ(xn)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

The functional W [J] = ln Z [J] is the

generating functional

of

Green’s functions:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

δnW [J]

 

 

 

 

 

gc(x1, . . . , xn) = (−i)n

δJ(x1)

· · ·

δJ(xn)

J=0 .

 

 

 

 

 

 

 

 

 

 

 

 

 

One then defines

 

 

δW

 

 

 

 

 

 

 

 

 

 

φ(x) ≡ −i

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

δJ(x)

 

 

 

 

 

 

 

.(A.240)

J=0

the connected

(A.241)

(A.242)

φ(x) is itself a functional of J(x) but its value at J = 0 gives the value of the field φ(x) in the ground state (vacuum):

 

δW

 

 

 

 

 

 

 

 

 

 

 

 

−i

= φ(x) J=0 = gc(x) = Ω|φ(x)||connected .

(A.243)

δJ(x)

 

 

 

 

 

 

 

 

 

 

 

 

 

One is then looking for a functional Γ

 

such that

 

φ

 

 

 

 

 

 

 

 

δΓ

 

 

 

 

 

 

 

 

 

 

 

φ

 

 

 

 

 

 

J(x) =

 

 

(x)

.

(A.244)

 

 

 

 

 

δφ

408 A review of the Standard Model and of various notions of quantum field theory

Γφ is obtained by a Legendre transformation:

 

 

 

 

 

 

 

 

Γ φ

+ iW [J] =

d4(y)J(y),

(A.245)

as can be verified explicitly by functionally di erentiating this relation with respect to φ(x).

The functional Γ φ is called the e ective action. Two of its properties will be of

here:

 

 

 

 

 

 

 

 

special interest to us

 

 

 

 

 

 

 

 

(i) The analog of the relation (A.243) for Γ is written

 

 

 

δΓ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(x)

 

 

(x)=

 

 

 

= 0.

(A.246)

 

δφ

 

 

φ

φ

 

 

 

 

 

 

 

 

 

|

|

 

 

In other words, the extrema of the

e ective action allow us to determine the

values of the fields in the fundamental state of the interacting theory (the vacuum |Ω ). This turns out to be useful when studying the spontaneous breaking of a symmetry. If this aspect alone is of interest to us, one may restrict one’s attention to the nonderivative terms in the e ective action which define the e ec-

tive potential. More precisely, on may write Γ

φ

 

as a series with an increasing

number of derivatives of

 

:

 

 

 

 

 

 

 

 

 

 

 

 

φ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

Γ

φ = d4x −Ve

 

φ

+

2

µφ∂µφ Z

 

φ

+ · · ·

.

(A.247)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(ii)The e ective action is also the generating functional of proper Green’s functions (i.e. one-particle irreducible and truncated Green’s functions). In momen-

tum space,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

δnΓ

 

 

 

 

 

 

 

Γ(n)(p1

, . . . , pn) =

φ

 

 

(A.248)

 

 

 

· · ·

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

δφ(p1)

δφ(p

n

)

 

 

 

 

 

 

yields proper Green’s functions. This allows us to compute the e ective action from truncated Green’s functions. In particular, the e ective potential corresponds to vanishing momentum on external legs:

 

 

 

 

 

 

 

 

 

 

−Ve φ(x)

=

1

 

φ(x)n Γ(n)(p1 = 0, . . . , pn = 0).

(A.249)

 

n!

 

 

 

 

 

n

 

 

 

 

The e ective action is usually computed in powers of h¯, which corresponds to an expansion in the number L of loops. Let us illustrate, in the example of a theory in λφ4, how one determines the e ective potential. We consider the theory of a real massless scalar field with action:

L =

1

 

µ

φ∂µφ −

λ

4

+

1

µ

φ∂µφ +

1

 

2 2

+

1

4

 

(A.250)

 

 

 

φ

 

 

Z∂

 

 

δm

φ

 

δλ φ

,

2

 

4!

 

2

 

2

4!

where we have included counterterms in the second line.