Supersymmetry. Theory, Experiment, and Cosmology
.pdf430 Superfields
In other words, Pµ is the representation of the translation generator Pµ as a di erential operator. For the simplicity of notation, we will denote it simply by Pµ in what follows.
To obtain a similar representation of supersymmetry transformations in terms of di erential operators, we have to introduce Grassmann variables. Let us recall that a Grassmann variable θ is an anticommuting variable
{θ, θ} = 0 θ2 = 0.
A general function F (θ) can be expanded in series
∞
F (θ) = an θn = a0 + a1 θ.
n=0
The derivative is simply
dF
dθ = a1.
One may introduce two Grassmann variables θα, α = 1, 2:
F (θα) = a0 + θ1 a1 + θ2 a2 + θ2θ1 a3 = a0 + θα aα + 12 θθ a3.
where we used the notation introduced in Appendix B (equation (B.6)) since α is to
be interpreted as a spinor index. In fact, we will need two sets θ |
α |
|
¯ |
|||||||||||||
|
, α = 1, 2, and θα˙ , |
|||||||||||||||
α˙ = 1, 2, of Grassmann variables: |
|
|
|
|
|
|
|
|
|
|
||||||
|
|
{θ |
α |
, θ |
β |
} = |
¯ |
¯ |
|
α |
¯ |
|
|
|
|
|
|
|
|
|
{θα˙ |
, θβ˙ } = {θ |
|
, θα˙ } = 0, |
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
¯α˙ |
. One may then multiply the |
||||
corresponding to the supersymmetry charges Qα and Q |
||||||||||||||||
supersymmetry algebra |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
¯ |
|
|
|
µ |
Pµ, |
|
|
|
¯ |
¯ |
} |
(C.7) |
||
|
|
{Qα, Qα˙ } = 2σαα˙ |
{Qα, Qβ } = 0 = {Qα˙ |
, Qβ˙ |
||||||||||||
by θ |
α ¯α˙ |
and sum over α , α˙ to obtain |
|
|
|
|
|
|
|
|
|
|||||
θ |
|
|
|
|
|
|
|
|
|
|||||||
|
|
[θQ, θQ¯ ¯] = 2 |
θσµθ¯ Pµ, |
[θQ, θ Q] = 0 = [θQ,¯ ¯ θ¯ Q¯] |
(C.8) |
thus recovering commutation relations (because the θ’s anticommute with the supersymmetry charges).
Using the standard procedure described above, we now realize the algebra (C.8) through differential operators acting on a “superspace” described by the spacetime
µ |
and the Grassmann variables θ |
α |
¯ |
. An object in this superspace is a |
variable x |
|
, θα˙ |
F ¯ superfield (x, θ, θ).
The chiral superfield 435
We start with one variable θ. We want to define an integration law for a general function f (θ) = a0 + a1θ such that one has the standard property of linearity and one
recovers the rule |
|
df |
|
|
dθ = 0. |
||
|
|
||
Clearly this requires |
dθ |
||
1 · dθ = 0 and, if we want the integral to be nonvanishing, |
|||
|
|
|
|
θdθ = 0. Choosing the overall normalization, we thus set
|
|
dθ = 0 |
|
θ dθ = 1. |
(C.30) |
|||||
Hence |
|
df |
= |
|
|
|
|
|
||
|
|
|
|
|
|
|
||||
|
|
|
|
= a1 |
f (θ) dθ. |
|
(C.31) |
|||
|
|
dθ |
|
|||||||
For two variables θα, α = 1, 2, we define |
|
|
|
|
|
|
||||
|
d2θ ≡ − |
1 |
εαβ |
|
1 |
dθ1 dθ2. |
|
|||
|
dθα |
dθβ = |
|
|
|
|||||
4 |
2 |
|
Hence
d2θ · 1 = 0 |
d2θ θα = 0 |
1
d2θ θθ = |
|
|
dθ1 |
dθ2 2θ2θ1 = 1. |
(C.32) |
|
2 |
||||||
|
|
|
|
It is then straightforward to write a supersymmetric action using a chiral superfield Φ:
S = |
|
|
|
d4y |
d2θ Φ = |
|
1 |
|
|
|
||||||||
|
2 |
2 |
= − 4 |
|
2 |
|||||||||||||
d4yF = |
d4y Φ θ2 |
d4y D2Φ 0 |
(C.33) |
|||||||||||||||
where Φ |
θ2 |
is the θ |
|
component of Φ and D Φ 0 |
is the scalar component |
of D Φ |
||||||||||||
| |
|
α |
|
|
|
αβ |
|
|
|
αβ ∂ |
|
|∂ |
|
|
|
|
|
|
(we have D |
|
DαΦ|0 |
= ε |
|
Dβ DαΦ|0 = ε |
|
|
|
|
Φ|0 = −4F using the results of |
||||||||
|
|
|
∂θβ |
∂θα |
||||||||||||||
Exercise 1). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Indeed since δS F is a total derivative |
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
δS S = |
d4y δS F = 0. |
|
|
|
Hence any F component of a chiral superfield provides a good supersymmetric action. Let us note, as an aside, that, as in (C.31), an integration over a Grassmann variable is equivalent to a di erentiation. In supersymmetric covariant notation, d2θ − 14 D2. We may now use the previous remark in order to derive supersymmetric
Lagrangians. Let us consider a set of n chiral superfields Φi, i = 1, . . . , n. Any product of these (and thus any analytic function W (Φi)) is also a chiral superfield. For example,
√
Φi = φi + 2 θ ψi + θ2 Fi
√
Φi Φj = φi φj + 2 θ (ψi φj + ψj φi) + θ2 (φi Fj + φj Fi − ψiψj )
√
Φi Φj Φk = φi φj φk + 2 θ (ψi φj φk + perm.) + θ2 (Fi φj φk − ψiψj φk + perm.)
436 Superfields
and more generally for a general analytic function W (Φi)
W (Φi)|θ2 = Σi |
∂W |
(φ) Fi − |
1 |
|
∂2W |
(φ) ψiψj . |
(C.34) |
|
|
||||||||
∂Φi |
|
2 |
ij |
∂Φi∂Φj |
We thus recover the terms of a supersymmetric Lagrangian which arise from the superpotential. Let us note that the analyticity of the superpotential is intrinsically connected with the requirement of supersymmetry: a product of Φi and Φ†i fields is not a chiral superfield; thus in this construction we must restrict ourselves to sums of products of Φi’s and thus to analytic functions.
This, however, does not provide us with kinetic terms for the component fields. Let us therefore consider more closely Φ†: Φ† is not chiral since it satisfies
Dα Φ† = 0. |
(C.35) |
This is known as an antichiral superfield. In any case, Φ† is not a function of y and θ
¯
only (it is in fact a function of y and θ) and it is better to revert to the x variable.
Using (C.27) (and (B.64) of Appendix B) |
|
|
|
|
|
|
|
|
|||||||
Φ†(x) = φ (x) + iθσµθ¯ ∂µφ (x) − |
1 |
|
θ2 θ¯2 φ (x) |
|
|||||||||||
|
|
|
|||||||||||||
4 |
|
|
|||||||||||||
√ |
|
¯ |
¯α˙ |
|
i |
¯2 |
|
|
µ |
¯ |
¯2 |
|
|
||
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
||||||||
+ |
2 θα˙ |
ψ |
(x) − |
√ |
|
θ |
θσ |
|
|
∂µψ(x) + θ |
F (x) . |
(C.36) |
|||
2 |
|
|
We may now consider the real superfield F = Φ†Φ. The highest component of such a real superfield (known as a vector superfield) transforms under supersymmetry into a total derivative. This may be guessed since this component has the highest mass dimension and must therefore transform into derivatives of the other fields (of lower
dimensions). Thus F |θ2θ¯2 |
provides us with a good supersymmetric action |
|
|||||||||||||||||||||||||||||||||||||||
S = |
d4x F |
θ2θ¯2 |
= |
d4x d2θd2θ¯ F = |
1 |
|
|
d4x D2D¯ 2F 0 |
(C.37) |
||||||||||||||||||||||||||||||||
16 |
|||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
d |
2 |
θ¯ ( |
d |
2 |
|
|
|
2 |
= 1). Indeed |
|
|
|
|
|
|||||||||||||||||||||
with obvious notation for |
|
|
θ¯ θ¯ |
|
|
|
|
|
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
δS S = −i d4x d2θ d2θ¯ |
|
|
ηQ + η¯Q¯ |
F = 0 |
|
||||||||||||||||||||||||||||||||
¯ |
α˙ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∂ |
|
|
|
|
|
|
∂ |
|
|
|
|
∂ |
|
|
||||
since Qα and Q |
|
involve only derivatives |
|
|
, |
|
|
|
|
|
|
or |
|
|
. Again, integrating over all |
||||||||||||||||||||||||||
|
∂x |
µ |
|
∂θ |
α |
|
|
¯ |
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∂θα˙ |
|
|
||||||
superspace provides an action invariant under superspace translations, i.e. supersym- |
|||||||||||||||||||||||||||||||||||||||||
metry transformations. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
But using (C.27) and (C.36) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
2 |
2 |
= |
− |
1 |
|
φ |
|
φ |
− |
|
1 |
|
|
φ |
|
φ + |
|
1 |
∂µφ ∂ |
|
φ + F F |
|
|||||||||||||||||
|
|
4 |
|
4 |
|
2 |
|
|
|||||||||||||||||||||||||||||||||
F |θ |
θ¯ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
µ |
|
|
|
|||||||||||||||
|
|
|
|
|
+ |
i |
|
|
|
µ |
|
¯ |
− |
|
i |
∂µψσ |
µ ¯ |
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
2 |
ψσ |
|
|
∂µψ |
|
2 |
|
|
|
ψ |
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
= ∂µφ ∂µφ + iψσµ∂µψ¯ + F F + |
|
total derivatives. |
(C.38) |
438 Superfields
Let us note that, because of the Grassmann nature of the θ variable, if θ = e−iαθ,
d2θ |
= e2iαd2θ (cf. (C.32)). Obviously, the kinetic term |
|
d2θ d2 |
¯ |
Φ is R-invariant; |
||||
the |
superpotential term d2θ W (Φ) is invariant if |
|
|
θ Φ† |
|
||||
|
|
|
2iα |
W Φ(y, e− |
iα |
θ) |
|
(C.44) |
|
in which case |
R W (Φ(y, θ)) = e |
|
|
|
|||||
|
|
d2θR W (Φ(y, θ)) = |
d2 |
θ e2iα W Φ(y, e−iαθ) |
|
||||
|
|
= |
d2 |
θ W (Φ(y, θ )) . |
|
(C.45) |
This is the case if W (Φ) is a monomial in Φ and the R-charges add up to 2: for example W (Φ) = λΦ3 with Φ of R-charge r = 23 . This is not the case if W (Φ) is a general polynomial in Φ.
C.2.4 Supersymmetric nonlinear sigma models and K¨ahler invariance
If one considers several chiral superfields Φi, the kinetic term for each of them is provided by Φ†i Φi. But one may try to be more general and consider a generic real function K of the Φi and Φ†i [389]:
4 |
2 |
2 |
¯ |
† |
(C.46) |
S = d |
x d |
θ d |
θ K(Φi, Φi ). |
Obviously, this leads to nonnormalized kinetic terms for the scalar fields. Indeed, following the same steps as before, one obtains
S = |
d4x |
∂2K |
(φ, φ ) ∂µφi∂µφj + · · · |
(C.47) |
∂Φi∂Φj† |
A field redefinition φi → φi(φj ) may lead in some cases to a normalized kinetic term
∂µ |
0 |
0 |
but this is not |
general. This is reminiscent of the situation encountered in |
|
φi ∂µφi |
0 |
the nonlinear sigma model. Let us recall that this model is obtained as a limit of the linear sigma model whose Lagrangian is described in terms of a triplet of ‘pion’ fields πi, i = 1, 2, 3, and a σ field by:
L = 21 ∂µσ∂µσ + ∂µπi∂µπi − 41 λ σ2 + πiπi − v2 2 . |
(C.48) |
In the limit λ → +∞, we must impose the constraint σ2 +πiπi = v2 to keep the energy of the configuration finite. Di erentiation of this constraint yields σ∂µσ = −πi∂µπi and (C.48) can be rewritten as
L = |
1 |
δij + |
πiπj |
∂µπi∂µπj , |
(C.49) |
2 |
v2 − πkπk |
which is the Lagrangian of the nonlinear sigma model: the fields πi cannot be redefined to give a normalized kinetic term.