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

Supersymmetry. Theory, Experiment, and Cosmology

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

The chiral superfield 439

Indeed, the Lagrangian (C.46) provides the supersymmetric generalization of a generic nonlinear sigma model. We now show that supersymmetry provides a very nice geometrical description. Let us first rewrite the complete component form of (C.46):

S =

1

 

 

 

d4x D2D¯ 2K 0

 

 

 

 

 

 

 

 

 

 

 

 

16

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4

 

µ

 

 

 

i

 

 

µ ¯

i

 

µ

¯

=

 

d

x Ki¯(φ, φ )

φiµφj

2

ψiσµ

ψj +

2

 

ψiσµψj + FiFj

 

1

 

 

 

 

µ

 

 

 

 

 

 

 

 

 

21 Ki¯k(φ, φ ) ψiψkFj

 

iσµψ¯j µφk

 

 

 

 

 

 

1

 

 

 

 

+ iσ ψ¯j µφ

 

 

 

 

 

 

 

 

2

K

¯(φ, φ ) ψ¯j ψ¯kFi

 

 

 

 

 

 

 

 

 

 

 

i¯k

 

 

 

 

k

 

 

 

 

 

 

¯ ¯

+ K ¯(φ, φ ) (ψiψk) ψj ψl ,

4 i¯kl

where we have used the notation

Ki¯ =

2K

, Ki¯k¯

=

 

2K

, · · ·

ΦiΦj

ΦiΦjΦk

(C.50)

(C.51)

All these seemingly complicated terms have a beautiful geometric interpretation which we now present. Indeed, one may note that the transformation

K, Φ) → K, Φ) + F (Φ) + F¯),

(C.52)

¯

where F (Φ) is an analytic function of the Φ fields (F (Φ ) is the complex conjugate in order that the total expression remains real), is an invariance of the action (C.46):

 

d4xd2θd2

 

 

 

d4y

d2θ

d2θ¯ F (Φ(y, θ)) = 0.

(C.53)

θ¯ F

Φ(x, θ, θ¯) =

An invariance such as (C.52) is known as a K¨ahler invariance and K, Φ) is called a K¨ahler potential. Let us note that it is a transformation on functions of fields and it may not be realized as a transformation on the fields themselves2.

i ¯¯

The space parametrized by the complex scalar fields φ φi, φ φj is a complex

manifold. The kinetic term (C.47) may be rewritten

 

 

 

S =

d4x gi¯ µφiµφ¯¯ + · · ·

 

(C.54)

where

∂K

 

 

 

 

 

 

 

 

gi¯ = g¯i

 

(φ, φ ), gij

= 0,

g¯ı¯ = 0

(C.55)

ΦiΦj

2although it does in some well-known cases (see Exercise 9).

440 Superfields

is interpreted as a metric on the complex manifold. It is said that the metric derives from the K¨ahler potential K and a complex manifold with such a metric is called a K¨ahler manifold3.

K¨ahler manifolds have very specific properties; for example, the only nonzero components of the Christo el symbol (see Section D.1 of Appendix D) are

Γi

¯

 

g ¯,

 

= gil

j

 

jk

 

kl

 

Γ¯ı ¯

= g¯ıl∂ g¯ ,

(C.56)

¯k

 

¯

kl

 

where gi¯ is the inverse metric (gi¯g¯k = δki ) and i ≡ ∂/∂Φi, ¯ ≡ ∂/∂Φj . We have used

the fact that, since the metric derives from a K¨ahler potential,

j

g

¯ = K

¯ =

k

g

¯.

Similarly, the Ricci tensor is simply

 

kl

jkl

 

jl

 

 

 

 

 

 

 

 

 

 

Ri¯ = −∂i¯ log [det g] .

Finally, the action (C.50) may be written as:

 

 

 

 

 

 

i

 

i

S =

d4x gi¯ µφiµφ¯¯

 

ψiσµDµψ¯¯ +

 

Dµψiσµψ¯¯ + FˆiF¯ˆ¯

2

2

+

1

Ri¯ıj¯

ψiψj ψ¯¯ıψ¯¯ ,

 

 

 

 

 

 

 

4

 

 

 

where we have defined the K¨ahler covariant derivatives:

 

µψαi

µδi + Γiklµφk

ψαl ,

 

D

 

ψ¯¯α˙

δl¯

+ Γ¯¯¯

µ

φ¯k¯

ψ¯¯˙

,

Dµ

 

µ ¯l

kl

 

 

(C.57)

(C.58)

(C.59)

which expresses the fact that the fermion fields transform as contravariant vectors under a reparametrization of the K¨ahler manifold (see Exercise 8); the Riemann tensor

¯

Ri¯ıj¯ = j ¯gi¯ı − g ¯Γkij Γk¯ı¯, kk

and we have redefined the auxiliary fields

 

 

ˆ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

¯

 

 

¯

 

 

 

¯

¯

 

¯

 

 

i

 

 

i

 

1

i

i

j

 

 

¯

 

¯

1

¯

 

¯

 

 

F

 

= F

 

2

Γ jk

ψ

ψ

,

F

 

= F

 

2

Γ kl¯¯ψ

 

ψ

 

in

order that the solution

 

of

the

corresponding

equation

of motion is

ˆ

i

¯

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

F

ˆ¯

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= 0 = F .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

The action (C.58) is invariant under the supersymmetry transformations:

 

 

 

 

 

 

φi

=

 

 

 

 

η ψi

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

δ

S

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

 

 

 

 

ˆi

 

 

 

µ

α˙

Dµφ

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

δS ψα = 2 ηα F

− i 2σαα˙ η¯

 

 

 

 

 

 

 

 

 

 

ˆi

 

 

 

 

i

σ

µ

η¯

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

δS F

= i 2 Dµψ

 

 

 

 

 

 

 

 

 

 

 

 

(C.60)

(C.61)

simply

(C.62)

3For a mathematical introduction to K¨ahler manifolds, see Section 5.3 of the book by [196].

The vector superfield 441

which are basically (C.29) up to the replacement of standard derivatives with K¨ahler covariant ones and a redefinition of the auxiliary fields. This shows that the structure of superspace may be accommodated with the K¨ahler invariance: this leads to the notion of K¨ahler superspace where K¨ahler invariance is built in the superspace geometry [38, 39].

The presence of nonrenormalizable terms in (C.50) or (C.58) makes it necessary to consider nonlinear sigma models in the context of supergravity (if we consider that the underlying physics responsible for such nonrenormalizable terms appears at a scale close to the Planck scale).

C.3 The vector superfield

Let us identify the superfield which describes the vector supermultiplet (Aµ(x), λ(x), D(x)) introduced in Chapter 3. Since Aµ(x) is a real field, we must impose a reality condition on the general superfield F , whose decomposition was written in (C.18) (so that its vector component is real). From now on, we will denote it by V :

V (x, θ, θ¯) = V (x, θ, θ¯).

(C.63)

We will then write the field decomposition in a slightly di erent way (and justify it immediately):

¯

 

 

 

 

 

 

 

¯

i

2

[M (x) + iN (x)]

 

V (x, θ, θ) = C(x) + iθχ(x) − iθχ¯(x) +

2

θ

 

 

i

¯2

 

 

 

 

 

 

 

µ ¯

 

 

2

 

θ

[M (x) − iN (x)] + θσ

 

θAµ(x)

 

+θ2

θ¯α˙

λ¯α˙ (x) +

1

 

σµµχ(x))α˙

(C.64)

 

 

 

 

2

+θ¯2

θα λα(x)

1

 

(σµµχ¯(x))α

 

 

 

 

 

2

 

 

1

2

¯2

D(x) +

1

C(x) .

2

θ

θ

2

A vector field is associated with a gauge transformation: Aµ(x) → Aµ(x) + µα(x) in the abelian case. In order to write it in a supersymmetric way, let us introduce a chiral superfield

 

 

Λ(y, θ) = a(y) +

 

θψ(y) + θ2F (y)

 

 

 

(C.65)

 

 

2

 

 

 

and recall (C.27) and (C.36):

 

 

 

 

 

 

 

 

 

 

 

 

 

¯

 

¯

 

 

 

 

 

 

 

 

 

 

 

 

¯ ¯

¯2

 

 

 

 

 

 

 

 

 

 

 

 

Λ(x, θ, θ)

 

Λ(x, θ, θ) = [a(x)

− a (x)] + 2 θψ(x) − θψ(x)

 

 

 

 

 

 

µ

¯

 

 

 

 

 

 

 

2

 

F (x)

 

 

−iθσ

θ ∂µ [a(x) + a (x)] + θ

F (x) − θ

 

 

 

i

θ2 θσ¯¯µµψ(x) +

i

θ¯2 θσµµψ¯(x)

 

 

 

 

 

 

 

2

2

 

 

1

θ2θ¯2 [a(x) − a (x)] .

 

 

 

 

 

 

 

 

 

 

 

 

 

4

 

 

 

 

442 Superfields

Note therefore that the transformation

V

V + i

Λ)

(C.66)

 

 

corresponds to a gauge transformation with parameter α(x) ≡ −g(a(x) + a (x)) for the vector component (cf. (A.31) of Appendix Appendix A). The complete gauge transformation reads

C(x) → C(x) + i[a(x) − a (x)]

χ(x) → χ(x) + 2ψ(x)

M (x) + iN (x) → M (x) + iN (x) + 2F (x)

1

Aµ(x) → Aµ(x) g µα(x)

λ(x) → λ(x)

D(x) → D(x).

We see that, through a choice of the parameters i[a(x) − a (x)], ψα(x) and F (x), we may set the components C(x), χα(x), M (x) and N (x) to zero. This is the socalled Wess–Zumino gauge, which is obviously not consistent with supersymmetry transformations. The gauge invariant degrees of freedom on the other hand are: the gauge field strength Fµν = µAν − ∂ν Aµ, the gaugino field λ(x), and the auxiliary field D(x). They turn out to be the component fields of the chiral superfield:

1

¯

¯ α˙

DαV.

 

(C.67)

Wα = 4

Dα˙ D

 

It is obvious that Wα is chiral4

 

 

 

 

 

 

˙

 

 

 

 

 

 

¯ β

Wα = 0

 

 

 

D

 

 

 

and gauge invariant since:

 

 

 

 

 

 

D¯α˙ D¯ α˙ DαΛ) = D¯α˙ D¯ α˙ DαΛ = −D¯ α˙ {D¯α˙ , Dα}Λ

µ

¯ α˙

 

µ

¯ α˙

Λ = 0

= 2i σαα˙ D

µΛ = 2i σαα˙

µD

where we used the fact that Λ is chiral and Λantichiral. We note that Wα satisfies the condition

α

¯

¯

α˙

.

(C.68)

D

Wα = Dα˙

W

 

In fact, W α can be defined as the chiral superfield which satisfies this constraint. It is reminiscent of a similar property in nonsupersymmetric gauge theories: Fµν can be defined from the gauge potential as µAν − ∂ν Aµ or as a generic antisymmetric tensor field which satisfies the Bianchi identity µνρσν Fρσ = 0 (see Exercise 6).

4

 

 

 

 

 

 

 

¯

 

Since the covariant derivatives Dα˙

 

˙

˙

¯

˙

 

¯

α˙

 

 

β ¯

= 0.

values 1 or 2:

D

 

Dα˙

D

 

˙

anticommute between themselves and α˙ , β can only take two

The vector superfield 443

One can check that

Wα = λα(y) − δαβ

D(y) +

i

(σµσ¯ν )αβ Fµν (y) θβ + 2σααµ ˙

µλ¯α˙ (y).

(C.69)

2

Note that one may avoid altogether to work in the Wess–Zumino gauge and take

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

¯α˙

, D and Fµν .

(C.69) as defining the gauge invariant degrees of freedom λα, λ

One infers the supersymmetry transformations from (C.29)

 

 

F

 

= ησ

 

¯

¯σ¯

 

∂ λ

(µ

 

ν)

 

δS

 

µν

 

 

 

ν

 

µλiηµ

νν µ β

 

 

 

δS λα = −ηαD −

 

(σ

σ¯ )α ηβ Fµν

 

 

(C.70)

2

 

 

δS D = iησ

µ

 

 

¯

 

 

µ

µλ.

 

 

 

 

 

µλ + ¯σ¯

 

 

 

 

 

 

A supersymmetric action must involve a term F µν Fµν and therefore be quadratic in W α. An obvious candidate is

 

1

 

d4y d2θ W αWα + h.c

 

 

 

 

 

S =

 

 

 

 

(C.71)

 

4

 

 

 

which reads in terms of component fields after some partial integration

 

 

1

 

1

 

 

 

S =

d4x −

 

F µν Fµν + iλσµµλ¯ +

 

D2

.

(C.72)

4

2

Thus one recovers the Lagrangian described in Chapter 3.

One may construct the supersymmetry current associated with this system (as we saw in Section 3.1.5 of Chapter 3, this should not be confused with the Noether current associated with the transformation (C.70)):

 

 

ρσ

 

 

˙

 

 

jµα

= F

(σρσσµ)

¯β

,

 

 

˙ λ

 

 

 

 

 

 

αβ

 

 

 

¯µα˙

= −F ρσ σρσσ¯µ)αβ˙

λβ .

(C.73)

If we want to couple this to matter described by a chiral supermultiplet φ, we must implement a gauge transformation at the superfield level. Since Λ in (C.65) is a chiral superfield and its scalar component gives the gauge parameter (α(x) = 2gRe a(x)), an obvious candidate is

Φ Φ = e2igqΛ Φ

which preserves the chirality of the superfield.

Then a term such as ΦΦ is not gauge invariant and must be replaced by since

Φe2gqV Φ Φe2igqΛe2gq[V +iΛ)] e2igqΛ Φ = Φe2gqV

Hence the action (see (C.39)) is replaced by

Φe2gqV Φ

Φ.

S = d4x d2θ d2θ¯ Φe2gqV Φ

(C.74)

444 Superfields

which reads in terms of component fields

 

&

 

 

 

 

 

 

S =

d4x Dµφ Dµφ + iψσµDµψ¯ + F F

 

 

 

+ gq Dφ φ +

 

λψφ +

 

λψφ¯ ¯

'

(C.75)

 

2

2

where Dµφ ≡ ∂µφ − igqAµφ and Dµψ ≡ ∂µψ − igqAµψ are the covariant derivatives. Returning to R-symmetry, we see that V being real does not transform. Thus since

θ = e−iαθ, θ¯ = eθ¯ and Dα ∂/∂θα, D¯α˙ ∂/∂θ¯α˙ , Wα has R-charge +1:

 

RWα(y, θ) = eWα(y, e−iα θ)

(C.76)

and W αWα has R-charge + 2: the action (C.71) is invariant under R-symmetry.

At the component field level, let us note that the gaugino λα being the lowest

component has R-charge + 1 as well:

 

R λα(x) = eλα(x).

(C.77)

The action (C.74) is obviously R-symmetric at the superfield level. One checks that as well, at the component field level, a term such as λψϕ has R-charge 1+(r −1)−r = 0.

For the case of nonabelian gauge symmetry, we refer the reader to the references below (see for example [362]) and only sketch the results. The vector superfield has a matrix structure V = V ata, where ta are the generators of the gauge group. The gauge transformation (C.66) takes the form

e−V = eiΛe−V e−iΛ

 

where, similarly, Λ Λata.

 

 

5

The supersymmetric field strength Wα is now written

 

Wα =

1

D¯α˙ D¯ α˙ egV Dαe−gV .

 

 

 

4

 

It transforms as

(C.78)

(C.79)

 

 

 

 

 

Wα = eigΛWαe−igΛ.

 

 

 

 

 

 

(C.80)

We have

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

1

 

i

 

i

 

1

 

 

 

 

d4xd2θ WWαa =

 

d4x −

 

F aµν Fµνa

 

F aµν F˜µνa

+

 

 

λaσµDµλ¯a +

 

 

DaDa

4g2

8

8

2

4

where

 

 

 

 

 

 

 

 

 

 

 

 

 

(C.81)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Fµνa

= 21 µνρσF aρσ,

 

 

 

 

 

 

(C.82)

5Note that in the limit of abelian symmetry, Wα = −gWα. We have restored the gauge coupling in the nonabelian case because of the self-couplings of the gauge sector.

 

The linear superfield 445

and6

 

Dµλa = µλa + gCabcAµb λc,

(C.83)

g being the gauge coupling.

Finally, the coupling of the chiral field to the vector field is given as in (C.74) by

 

d4xd4θ Φe2gV Φ =

d4x Dµφi Dµφi + iσµDµψ¯i + F iFi

 

(C.84)

 

+ g φi Dati

φj +

 

φ

λ

ti

ψj +

 

λ¯

 

ψ¯ ti

φj ' ,

 

2

2

 

where

 

 

aj

 

 

i

a

aj

 

 

 

 

a

i aj

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Dµφi = µφi − igAµa tiaj φj

 

 

 

 

 

 

 

 

 

Dµψi = µψi − igAµa tiaj ψj .

 

 

 

 

 

 

 

(C.85)

C.4

The linear superfield

 

 

 

 

 

 

 

 

 

 

 

 

 

We conclude this appendix by introducing another example of a superfield, which describes the supermultiplet associated with an antisymmetric tensor field bµν (known as a Kalb-Ramond field [244]). Such a field is present in string theory where it plays a central rˆole in cancelling anomalies (see Section 10.4.2 of Chapter 10).

The linear superfield is a real superfield L which satisfies the covariant constraints:

 

 

 

 

 

 

 

 

2

L = 0,

¯

2

L = 0.

 

 

 

 

 

 

 

 

(C.86)

 

 

 

 

 

 

D

 

D

 

 

 

 

 

 

 

 

Its nonvanishing components are therefore:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

L|0 = (x),

 

 

 

 

 

 

 

 

 

 

 

 

 

 

D

 

= Λ

 

(x) ,

¯

α˙

L

¯

α˙

,

 

 

 

 

 

 

(C.87)

 

 

 

 

 

 

D

 

= Λ

 

 

 

 

 

 

 

 

 

 

 

αL|0

 

 

¯

 

 

α

 

 

1

 

 

0

λµνρ

hµνρ.

 

 

 

 

 

 

 

 

 

 

Dα, Dα˙ L 0 =

3 σλαα˙

 

 

 

 

 

 

In the last equation,hµνρ is the field strength

of the antisymmetric tensor

 

 

 

 

 

hµνρ = µbνρ + ν bρµ + ρbµν ,

 

 

 

 

(C.88)

invariant under the gauge transformation δbµν = µΛν − ∂ν Λµ.

 

 

 

 

The action simply reads

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

L =

d4θL2 =

 

1

 

 

D2D¯ 2 + D¯ 2D2 L2 0

 

 

 

 

(C.89)

 

 

 

 

 

 

 

32

 

 

 

 

 

1

 

µνρ

 

 

1

 

µ

 

 

 

i

 

α

µ

¯α˙

 

i

 

α

µ

¯α˙

 

=

 

h

 

hµνρ +

 

 

 

µ

 

Λ

 

 

σαα˙

µΛ

 

+

 

 

µΛ

 

σαα˙

Λ

.

12

 

2

 

 

2

 

 

 

2

 

We note that none of the fields of the linear multiplet are auxiliary fields.

6The Cabc are the structure functions: ta, tb = iCabctc.

446 Superfields

We show in equation (10.120) of Chapter 10 that an antisymmetric tensor field is Hodge dual to a pseudoscalar field. This equivalence extends to the full supermultiplets and a linear superfield is dual to a chiral supermultiplet. Indeed, consider the following Lagrangian:

L = − d4θ &X2 +

 

X(S + S)' ,

(C.90)

2

where X is a real superfield, S is chiral (and thus Santichiral).

We may vary the action with respect to S, or better since S is a constrained (chiral)

¯

2

Σ with Σ unconstrained

7

and minimize with

superfield, we may write it as S = D

 

 

¯

respect to Σ. Similarly for S. This gives D2X = D2X = 0 which shows that X is a linear superfield L. Thus the action (C.90) coincides with (C.89).

Alternatively, one may minimize with respect to X, which gives the superfield

equation of motion

 

 

 

 

 

X =

 

1

(S + S).

(C.91)

 

 

 

 

− √2

 

Then (C.90) is equivalent to the action

 

L = d4θSS.

(C.92)

Thus (C.89) and (C.92) describe two theories equivalent on-shell (we have used equations of motion).

Further reading

J. Wess and J. Bagger, Supersymmetry and Supergravity, Princeton series in physics.

J.-P. Derendinger, Lecture notes on globally supersymmetric theories in four and two dimensions, preprint ETH-YH/90-21.

Exercises

Exercise 1 Show that

 

αβ

=

 

αβ

 

θθ = 4, εα˙ β˙

 

 

¯¯

ε

 

∂θβ

∂θα

, ε

∂θα ∂θβ

∂θ¯α˙

 

∂θ¯

˙

θθ = 4.

 

 

 

 

 

 

 

 

 

 

 

 

 

β

 

Exercise 2 Derive from (C.29) and (C.39) the supersymmetry transformations and Lagrangian for a chiral superfield in four-component notation, i.e. (3.10) and (3.19) in

 

 

 

 

 

ψα

and =

ηα

Chapter 3: define φ = (A + iB) /2, F = (F1 + iF2) /2, Ψ =

ψ¯α˙

η¯α˙ .

7One may show that any chiral superfield may be written in this way. The unconstrained superfield Σ is known as a prepotential.

Exercise 3 Show that, in the Wess–Zumino gauge

¯

¯

 

2

¯¯

¯2

θλ(y)

V (y, θ, θ) = θσθAµ(y) + θ

 

θλ(y) + θ

and prove (C.69).

 

 

 

 

 

Hints: Use (σµσ¯ν

+ σν σ¯µ)

β = 2ηµν δβ .

 

 

 

α

 

 

α

 

 

Exercise 4

Exercises 447

1

2

¯2

(D(y) − i∂

µ

Aµ(y))

2

θ

θ

 

(a)Using (C.69), show that (C.71) is written in terms of the component fields as (C.72).

(b)Prove similarly (C.75).

(c)Show that the four-component spinor versions of (C.72), (C.70), and (C.75) are given by the equations (3.38), (3.40), and (3.43) of Chapter 3.

Hints:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(a) Use Tr(σµν σρσ) =

1

(ηµρηνσ

ηµσηνρ + i µνρσ) where (σµν )

β

=

1

(σµσ¯

ν

σ

ν

σ¯

µ

β

 

 

2

 

 

 

 

 

α

 

4

 

 

 

 

)α

as defined in (B.24) of Appendix B.

 

 

 

 

 

 

(b) Compute

ΦV Φ

2

¯2

 

and ΦV 2Φ

2

¯2 in the Wess–Zumino gauge. Obviously

ΦV nΦ vanishes

θ

θ

 

 

 

3.

 

 

θ

θ

 

 

 

 

 

 

for n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Exercise 5 Prove, using (C.19), that the components of the full vector supermultiplet transform under supersymmetry as:

δS C = i(ηχ − η¯χ¯)

δS χα = ηα(M + iN ) − i (σµη¯)α (Aµ − i∂µC),

 

 

 

¯

 

 

 

 

 

δS Aµ = (λσµη¯ + ησµλ) + η∂µχ + η∂¯ µχ,¯

 

 

 

¯

 

 

µ

µχ¯

µ

η¯),

(C.93)

δS M = i(ηλ − η¯λ)

− i(ησ

− ∂µχσ

 

¯

 

 

µ

 

µ

η¯),

 

δS N = (ηλ + η¯λ) + (ησ

µχ¯ + µχσ

 

δS λα = −ηαD −

i

(σµσ¯ν )αβ ηβ Fµν

 

 

2

 

 

µ

¯

 

 

µ

µλ).

 

 

 

δS D = i(ησ

µλ + η¯σ¯

 

 

 

 

Exercise 6 Express the constraint (C.68) in terms of the component fields using the decomposition (C.69).

Exercise 7

2¯ 2

(a)Express D D Ki, Φj ) in terms of derivatives of K with respect to Φi and/or

Φjand covariant derivatives of Φi or Φj.

 

 

 

 

 

 

 

 

in terms of the component fields.

(b) Express DαD¯α˙ Φi0

, DαD¯ 2Φi0, and D2D¯ 2Φi0

(c) Use (C.28) and the

previous results

to prove (C.50).

 

 

 

 

Hint: (b)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= 4i2 µ

ψ¯iσ¯µ α

, D2D¯ 2

Φi

= 16 φi .

DαD¯α˙ Φi0 = 2ααµ ˙ µφi , DαD¯ 2Φi0

0

 

 

 

 

 

 

 

 

 

 

448 Superfields

Exercise 8 We discuss in this exercise the reparametrization invariance of the K¨ahler manifold associated with a supersymmetric nonlinear sigma model.

¯ ¯ ¯

Let us redefine the scalar fields according to φ = φ(φ ), φ = φ(φ ). The kinetic term (C.54) is invariant if the K¨ahler metric transforms as:

 

 

 

∂φ

i

 

¯¯

 

 

g

= g

 

 

 

∂φ

.

(C.94)

i¯∂φ m ∂φ¯ n¯

mn¯

 

 

 

(a)How does the inverse metric gi¯ transform? Show that the Christo el symbol (C.56) transforms as:

 

∂φ i

Γlmn

∂φm ∂φn

2φl

.

 

Γ ijk =

 

 

 

 

+

 

(C.95)

∂φl

∂φ j

∂φ k

∂φ j ∂φ k

(b)Show that in order that the kinetic term for the fermion fields in (C.58) be invariant, one must impose

 

∂φ

i

 

 

¯¯ı

 

ψi = ψ j

 

, ψ¯¯ı = ψ¯ ¯

∂φ

 

(C.96)

 

 

∂φ¯ ¯

∂φ j

 

 

 

 

 

 

i

 

¯¯ı

 

i.e. as contravariant vectors, and similarly Dµψ

, Dµψ .

 

(c)Using (a) show explicitly that, if ψi transforms as (C.96), then Dµψi, as defined in (C.59), transforms as a contravariant vector.

(d)Show that:

 

 

¯

¯

ψαj .

[Dµ, Dν ] ψαi = −gi¯Rj¯kk¯ µφkν φ¯k

− ∂ν φkµφ¯k

where the Riemann tensor R

¯

is defined in (C.60).

 

 

j¯kk

 

 

 

Exercise 9 Consider a chiral superfield S with a K¨ahler potential K = ln Show that the transformation:

S → aS − ib icS + d

(C.97)

S + S.

(C.98)

with ad − bc = 1 amounts to a K¨ahler transformation (C.52). Such a chiral superfield appears in string theory: its scalar component is the string dilaton whose vacuum expectation value provides the gauge coupling g ( S = 1/g2). Thus, the ‘S-duality’ transformation (C.98) with the choice a = d = 0 and b = −c = 1 corresponds to a strong/weak coupling duality (see Chapter 10).

Hints: F (S) = ln (icS + d).