Upload
goforbest
View
240
Download
0
Embed Size (px)
Citation preview
7/28/2019 part4 kjkj
1/100
6.1. Introduction & the supersymmetry algebra 301
If the infinitesimal generators of the symmetries ofa quantum field theory are bosonic, i.e. they obeycommutation relations, then under some reason-
able physical assumption, the corresponding sym-metry algebra is a product of the Poincare algebraand an internal symmetry algebra.
Haag, Lopuszansk and Sohnius[10] showed that if in ad-dition, anticommuting spinor generators are allowed, (ex-tended) supersymmetry is the only possible generalisationof the Poincare algebra.
In extended supersymmetry there are N sets of spinor gener-ators QA , QA, A = 1, 2, , N; which satisfy the followingmodified relations
{QA , QB} = 2AB P{QA , QB} = ZAB (6.15)
{QA, QB} = ZAB .
The generators ZAB commute with all the other generatorsof the extended supersymmetry algebra.
In addition, the spinors QA transform in the N dimensionali.e. defining representation of the group of N dimensional
unitary matrices U(N) (SU(4) for N = 4). For our caseN = 1, there is a U(1) symmetry. The generators Q andQ may be assigned charges +1 and 1 respectively underthis symmetry. If R is the generator of this U(1), we have
[R, Q] = Q
[R, Q] = Q, (6.16)
and [R, P] = 0, [R, M] = 0. This is a chiral symmetry,and is in general anomalous. We shall make use of thissymmetry in our discussion of effective field theories.
7/28/2019 part4 kjkj
2/100
302 6. N = 1 Supersymmetric Gauge Theories
The supersymmetry algebra is a generalisation of a Lie alge-bra, and hence is constrained by (generalised) Jacobi iden-tities. The structure of these identities are as follows.
(1)AC [[A, B} , C} + (1)BA [[B, C} , A}+ (1)CB [[C, A} , B} = 0,
where, is 0 (respectively 1) for bosonic (fermionic) oper-ators, and the mixed bracket notation [, } stands for ananticommutator when both the operators are fermionic anda commutator otherwise.
6.2 Representations of supersymmetry on states
We shall now discuss the irreducible representations of the su-persymmetry algebra, i.e. a collection of bosonic and fermionicstates/fields that transform covariantly under supersymmetry.First we shall discuss particle states as supersymmetry represen-tations, and come back to the representation on (quantum) fieldsin the next lecture.
To begin with let us recall that particle representations of thePoincare algebra are labelled by the eigenvalues of the followingCasimir operators
P2 = PP
with eigenvalue m2 (mass square),
W2 = WW where W = 12PM is the Pauli-Lubansk vector.
Exercise: Show that
1. for massive particles, i.e. m2 = 0, W2 = m2j(j + 1), where j = j+ +j;
2. for massless particles, i.e. m2 = 0, W = P,where is the helicity.
7/28/2019 part4 kjkj
3/100
6.2. Representations of supersymmetry on states 303
Therefore mass and spin/helicity are the quantum numbersthat label particle states. In order to describe which quantumnumbers label representations of supersymmetry, notice that
[P, Q] = [P, Q] = 0.
Hence P2 commute with the new generators, and continue to bea Casimir of the enlarged symmetry. However,
[M, Q] = 0 [M, Q] = 0,and W2 is no longer a Casimir of the supersymmetry algebra. Weneed to make the following modification. Define
B = W 14
Q Q,
C
= B
P
B
P
. (6.17)
Exercise: Show that [C, Q] = 0.
Therefore the second Casimir of the supersymmetry algebrais C2 = CC
. Supersymmetry multiplets are labelled by massand eigenvalue of the operator C2.
We are now ready to construct the representations of the su-persymmetry algebra on particle states, i.e. on asymptotic on-shell physical states.
First, let us consider massive states, i.e. m2 = 0. In this case,one can go to the rest frame and make the choice P = (m, 0).
With this choice, we find that
{Q, Q} = 2P
= 2m
1 00 1
,
or, explicitly in terms of the components
{Q1, Q1} = 2m{Q2, Q2} = 2m{Q1, Q2} = 0 = {Q2, Q1}.
7/28/2019 part4 kjkj
4/100
304 6. N = 1 Supersymmetric Gauge Theories
We have here two pairs of fermionic creation/annihilation opera-tors.
We shall (arbitrarily) choose the dotted spinorial generators
Q, ( = 1, 2), to be the creation operators and the undotted onesannihilation operators. Further we may rescale Qs by 1/
2m to
define conventionally normalised creation/annihilation operators
a =12m
Q, = 1, 2;
a =12m
Q, = 1, 2. (6.18)
Let us define a state | such that
a| = 0, for = 1, 2.
| is a (Clifford) vacuum state with respect to the fermionic cre-ation/annihilation operators.
What are the quantum numbers that label this state? Thanksto our discussion on Casimirs, we know the answer to this question.One quantum number is of course the mass m. To find the otherone:
Exercise: Show that on massive states, in the restframe,
Bi = mLi 1
4m
QiQ m Li
and hence,
C0i = mBi = m2LiCij = 0.
Therefore, C2 = 2C0iC0i = 2m4LiL
i.
It is easy to check that the generators Li obey the angularmomentum algebra. So the eigenvalues of L2 may be labelled by
7/28/2019 part4 kjkj
5/100
6.2. Representations of supersymmetry on states 305
( + 1), where can take any half-integral value. Actually, withour choice of |,
Li| = Li|.Hence, acting on |, = j label the spin j = j+ +j. Being aneigenstate of spin, | is labelled by
| = |m;j, j3, j3 = j, j + 1, , j 1, j.
The (Clifford) vacuum | is (2j + 1)-fold degenerate.The excitations over the vacuum | are defined by the
fermionic creation operators a1 and a2. We have
|a1| a2|
a1a2|(6.19)
i.e. a total of 4(2j + 1) states in the supersymmetry mutiplet.
Recall that a Q transforms as a
0, 12
spinor. In par-
ticular, (by a choice of convention), a1 (respectively a2) has L3
eigenvalue +12 (12). The spins of the different states in a massivesupermultiplet are
state | a1| a2| a1a2|spin j3 j3 +
12 j3 12 j3
(6.20)
If j is an integer, the first and the last states are bosonic, andthe second and third ones are fermionic. The statistics is oppositewhen j is a half odd integer. As an example, consider j = 0.There are then four states in the supersymmetry multiplet, twoof these have spin j3 = 0 and the other two have j3 = 12. Thespin zero states may be combined into a scalar and a pseudo-scalarwhile the spin half states describe the degrees of freedom of a Weylfermion.
This matching of bosonic and fermionic degrees of freedom ina multiplet is a remarkable property of supersymmetry. We caneasily prove the following
7/28/2019 part4 kjkj
6/100
306 6. N = 1 Supersymmetric Gauge Theories
Theoerem: Every representation of supersymme-try algebra contains an equal number of bosonic andfermionic states.
Proof: Let us define the operator (1)NF whose eigen-values are +1 on bosonic and 1 on fermionic states.By definition
(1)NFQ = Q(1)NF .
Now taking a trace of the representation, (which we as-sume to be finite dimensional for it to be well defined),we have
tr (1)NF
{Q, Q
}= tr[(
1)NFQQ
+(1)NFQQ}]i.e. tr
(1)NFP
= 0,
where we have used the supersymmetry algebra in theLHS and the cyclic property of trace and the identityinvolving (1)NF and Q in the RHS. For a fixed valueofP in a given multiplet, we then have, tr[(1)NF ] =0, which proves the assertion.
Now let us discuss the supersymmetry representation on mass-less states. We can choose a reference frame such that
P = (E, 0, 0, E)
Exercise: Show that on massless states W0 = E,W3 = E, and hence
B0 = W0 14
B3 = W3 +1
4Q3Q.
7/28/2019 part4 kjkj
7/100
6.2. Representations of supersymmetry on states 307
Also that the only non-vanishing component of C is
C03 = E(B0 B3) = 12
EQ2Q2,
whence, C2 = 0.
In our chosen basis the supersymmetry algebra takes the fol-lowing form
{Q, Q} = 4E
1 00 0
,
or, explicitly in components
{Q1, Q1} = 4E{Q2, Q2} = 0
{Q1, Q2} = 0 = {Q2, Q1}.As in the massive case, let us define | annhilated by the an-nihilation operators a1 Q1 and a2 Q2. In addition, since{Q2, Q2} = 0, we have
|Q2Q2| = 0,i.e, the excitation Q2| is a null state, or Q2 is zero in the oper-ator sense.
This leaves us with only one pair of creation/annihilation op-erators a = 1
2
EQ1 and a
= 12
EQ1, which satisfy {a, a} = 1.
The massless supersymmetry consists of the states| : a non-degenerate state of helicity
a| : a non-degenerate state of helicity + 12 .(6.21)
Notice that the massless supersymmetry multiplet is not a CPTeigenstate. One needs two pairs of irreducible massless multiplets,i.e. four states of helicity , + 12 and , 12 to complete aCPT eigenstate.
We just finished discussing how certain bosonic and fermionicparticle states form representations of supersymmetry. In other
7/28/2019 part4 kjkj
8/100
308 6. N = 1 Supersymmetric Gauge Theories
words, we have a set of states which transforms covariantly undersupersymmetry variation. These are asymptotic on-shell states.In order to construct a quantum field theory, however, we need
to know how general off-shell states form representations of su-persymmetry. This can be done by considering bosonic andfermionic fields and studying their behaviour under supersymme-try variation. A far more economic and elegant approach is interms of what will be called superfields. Different bosonic andfermionic fields that mix under supersymmetry transformationscan be thought of as components of this single superfield. Thisapproach is also advantageous from a practical point of view, asmany properties of supersymmetry are manifest when expressedin terms of superfields. These concepts were introduced by Salamand Strathdee[11].
To do this, however, we need to make a digression to discussthe algebra and calculus of Grassmann variables. To this end, letus introduce spinor parameters , (, = 1, 2) (notice theindex assignment) which satisfy the relations
{, } = 0,{, } = 0, (6.22){, } = 0,
as also [x, ] = 0, [x, ] = 0. These are anticommuting ana-logues of a complex variable z, and are called Grassmann numbers
or variables. The pair (, ) can be taken to parametrise infinites-imal supersymmetry variation
susy = (Q + Q
) (Q + Q). (6.23)
Due to the anticommuting nature of the parameters (, ), thecombinations Q Q and Q Q satisfy the commutationrelations
[Q, Q] = 2()P,
[Q,Q] = 0 = [Q, Q]. (6.24)
7/28/2019 part4 kjkj
9/100
6.2. Representations of supersymmetry on states 309
All the algebraic relations of supersymmetry are now expressedin terms of commutators. (We shall also consider the replace-ment P yP, where y is an infinitesimal parameter fortranslation.)
The infinitesimal variations may now be exponentiated to de-fine a finite transformation
G(y,, ) = exp
iyP + Q + Q
.
Notice the dimensions of the parameters [y] = M1 and [] =[] = M1/2.
Parenthetical comments: Actually, we should have written
G(y,, ) = exp
iy P + Q + Q exp i
2M
,
but we left out the Lorentz transformation part. It is consistentto set that part to identity. In other words, we are parametrisinga coset space defined by the quotient of the super-Poincare groupby its Lorentz subgroup.
Notice also that since the anti-commutators of Q, Q are non-zero, the following forms
exp {i (y P + Q)} exp iQexp
iy P + Q exp {iQ}
and the one we gave earlier for G are not all equivalent. It isalso consistent to work with either of the above forms and get thesame results. However the explicit differential operator form forthe generators Q and Q will be different in each case.
Notice that in the above the Grassmann parameters (, )appear in the same footing as the coordinates y. So the fullparameter space is labelled by
(y, , ); = 0, , 3; , = 1, 2.We should think of this space as 4 normal (i.e. bosonic) plus 4anti-commuting (i.e. fermionic) extension of our familiar space-time. (The dimension of the extended space is sometimes writtenas (4|4).) This is called the N = 1 rigid superspace.
7/28/2019 part4 kjkj
10/100
310 6. N = 1 Supersymmetric Gauge Theories
Just as it is advantageous to construct relativistic quantumfield theory in a manifestly Lorentz covariant formalism, it is ofgreat advantage to formulate supersymmetric theories in super-
space.
6.3 Superspace & superfields
We can define functions in superspace these are going to be thesuperfields and differentiate and integrate them with respectto the coordinates (x, , ). To explain the rules on differentia-tion and integration, let us consider the simpler example of a (1|1)dimensional superspace. This has only two coordinates (x, ) and2 = 0. Due to the nilpotence of the coordinate , Taylor expan-sion of a function f(x, ) in superspace in terms of terminate
after the linear term:
f(x, ) = f0(x) + f1(x), (6.25)
where f0(x) and f1(x) are functions of of the commuting coordi-nate x. Using
d
d() = 1
d
d(1) = 0, (6.26)
it follows thatd
d(f(x, )) = f
1(x). (6.27)
(Notice that the dimension [d/d] is M1/2.)
Now since we want the integral of a total derivative to vanish,we define the following rules of integration
d = 0,
d = 1, (6.28)
which gives d
d
df(x, ) =
d f1(x) = 0.
7/28/2019 part4 kjkj
11/100
6.3. Superspace & superfields 311
The integral so defined is invariant under translation of by anarbitrary constant :
d( + ) f(x, + ) =
d [f0(x) + ( + )f1(x)]
=
df1(x)
=
d f(x, ).
It is a curious fact that integration and differentiation in areequivalent!
dd
f(x, ) = f1(x)
d f(x, ) = f1(x)And consistent with these rules [d] = M1/2, unlike in ordinaryspace. Finally, we can define a delta function by
() =
leading to the expected result
d () = 1.
Coming back to our (4|4) dimensional superspace, we have thefollowing rules (
/ and
/):
= ,
= () = ,
=
,
= . (6.29)
One can also raise index of by chain rule of differentiation
=
= () = .
7/28/2019 part4 kjkj
12/100
312 6. N = 1 Supersymmetric Gauge Theories
The following is a compilation of useful results that will come inhandy in our subsequent calculations:
=
() = 2
= 2 (6.30)
2 () = 4
2
= 4
It is straightforward to derive the above.As for integration, we shall define the following convention
d2 = 14
dd =1
2d1d2,
d2 = 14
dd = 1
2d1d2 (6.31)
d4 d2 d2;
so that, d2 = +1,d2 = +1. (6.32)
After this long detour we get back to the transformation gen-erated by
G(x, , ) = exp
i(xP + Q + Q)
.
This generator is unitary since (Q) = Q = Q. If we
consider two such successive transformations, the result is
G(x,, ) G(y,, ) = exp i(x + y i
i
)P + i ( + ) Q + i
+
Q
.
7/28/2019 part4 kjkj
13/100
6.3. Superspace & superfields 313
Exercise: Show the above. Hint: You will need theBaker-Campbell-Hausdorf formula
eA
eB
= exp
A + B +
1
2! [A, B]
+1
3!
1
2[[A, B], B] +
1
2[A, [A, B]]
+
.
The successive applications of superspace transformations gener-ate the following motion is terms of the superspace coordinates
(x,, )G(y,) (x + y + i , + , + ),
which is given by the following differential operators
yP = i y
x
,
Q =
i
,
Q =
+ i
.
Alternatively, we may write5,
P = i
x,
Q = i, (6.33)
Q = i.
The above differential operator representation leads to the anti-commutator
{Q, Q} = 2P,in apparent disagreement with (6.14), due to the extra minus sign.There is, however, no contradiction, as what we witness here isthe difference in the active and passive points of view of symme-try transformations. The differential operator representation is interms of superspace coordinates.
5Since Q and Q are not hermitian operators, we have rescaled them byfactors of i, without anything going wrong.
7/28/2019 part4 kjkj
14/100
314 6. N = 1 Supersymmetric Gauge Theories
We shall now define a general scalar superfield (x,, ) inour (4|4) dimensional N = 1 rigid superspace. A scalar functionsatisfies
(x, , ) = (x,, ),and hence
=
Q + Q
. (6.34)
Let us now consider the Taylor expansion of in powers of and.
(x,, ) = (x) + (x) + (x) + ()m(x)
+()n(x) + ()v(x) + ()(x)
+()(x) + ()()d(x). (6.35)
Each term in the above expansion is a field in physical (Minkowski)spacetime. In particular
Fields Type Bose dof Fermi dof (x), m(x) scalars 4 2 0
n(x), d(x) (x), (x) L-spinors 0 2 4 (x), (x) R-spinors 0 2 4 v(x) vector 4 2 0
(6.36)
The fields {(x), (x), (x), } are called the components ofthe superfield .
Let us remark parenthetically that the above is the most gen-eral possible expansion for a scalar superfield, since e.g. = and ()() = 2(), etc. (See Appendix 6.11 forthis type of manipulations.)
Now consider the supersymmetry variation of the scalar su-perfield (6.34). In terms of the component fields this leads to thefollowing relations
= + ,
= 2m + ()(v + i),
= 2n + ()( v + i),
7/28/2019 part4 kjkj
15/100
6.4. Chiral & vector superfields 315
m = i2
() ,
n = +i
2(), (6.37)
v = + +i
2() i
2(),
= 2d + i()m +
i
2(v),
= 2d + i()n i
2(v),
d =i
2() i
2()
.
Exercise: (i) Derive the above relations. (You willneed to use the Fierz identities given in Appendix6.11.)(ii) Work out
(12 21) = 2i (12 21) .
6.4 Chiral & vector superfields
The result obtained at the end of the last lecture shows that thegeneral scalar superfield forms a basis for an off-shell linear repre-sentation of supersymmetry:
Supersymmetry variations of component fields are propor-
tional to each other (also involving derivatives).
Therefore the supersymmetry algebra closes, i.e. supersym-metry variations involve only those fields present in the mu-tiplet and no others.
However, there are a large number of component fields. It turnsout that the set is not the minimal one. In other words, the scalarsuperfield representation is reducible6.
6It is not fully reducible though. That is, the scalar superfield cannot bewritten as a direct sum of irreducible superfields.
7/28/2019 part4 kjkj
16/100
316 6. N = 1 Supersymmetric Gauge Theories
In an effort to reduce the number of component fields in (6.35),let us try to set one of the spinor fields, say to zero. To makethis consistent with supersymmetry, we should also require that
its supersymmetry variation vanishes, and so on. In the end, wehave to impose the following set of constraints
(x) = 0v(x) = i(x)n(x) = 0
(x) = 0(x) = i2()
d(x) = 14 (x)
(6.38)
leading to a reduced scalar superfield
R = + + ()m + i()
+ i2
()
() 1
4()() .
Exercise: Check the mutual consistency of the con-straints imposed in (6.38). This demonstrates that thereduced scalar superfield R, (with fewer number ofcomponents than the general scalar superfield ), de-fines an off-shell linear representation of the supersym-metry algebra.
Let us now define
y = x + i
. (6.39)
Using Taylor expansion, and some spinor identities, one canrewrite the restricted superfield R as
R(y, ) = (y) + (y) + ()m(y), (6.40)
which shows that the restricted superfield is a function of y and, but has no explicit dependence on . Had it not been for the in the definition of y in (6.39), we could have concluded that Ris independent of , that is
R(y, )!
= 0.
7/28/2019 part4 kjkj
17/100
6.4. Chiral & vector superfields 317
This is of course not the case. Another problem is that
[, Q] = i,
that is, does not commute with supersymmetry variation.Hence imposing a constraint like R = 0 is not consistent withsupersymmetry. In other words, R is not a superfield. Thank-fully from our experience with tensor analysis, we know what todo in such a situation: define an appropriate covariant derivativeto impose the constraint consistently. The covariant derivativedefined as
D = i (6.41)leads to a consistent way to impose the constraint
D = 0 (6.42)
on the general scalar superfield (6.35) to restrict it to R.
Exercise: Show that [D, Q] = 0, or equivalently{D, Q} = 0. Also show that {D, Q} = 0, and{D, D} = 0.Exercise: Show that Dy
= 0 and D = 0.
The last exercise shows that a superfield constrained by (6.42) isa function of y and only, and has no explicit dependence on .
Definition: A scalar superfield constrained by the (spinorial)
chirality condition D = 0 is called a chiral superfield.We have already found an example of a chiral superfield in
(6.40):(y, ) = (y) +
2(y) + F(y). (6.43)
(In the above, a scaling 2 and a change in notation m Fhas been done to conform with standard notation in the litera-ture.) A chiral superfield has the following
complex scalar dof = 2 bose [] = M, complex L-spinor dof = 4 fermi [] = M3/2, complex scalar F dof = 2 bose [F] = M2.
7/28/2019 part4 kjkj
18/100
318 6. N = 1 Supersymmetric Gauge Theories
Under infinitesimal supersymmetry transformation
=
2
= 2F + 2i
(6.44)F =
2i
.
An important property of a chiral superfield is that the productof two chiral superfields is again a chiral superfield. This followsfrom the chain rule of covariant differentiation.
The notion of an anti-chiral superfield is immediate:Definition: A scalar superfield that satisfies the condition D =0, where
D = + i
, (6.45)
is an anti-chiral superfield.
Exercise: Show that {D, Q} = 0. Also show that{D, Q} = 0, and {D, D} = 0, and finally
{D, D} = 2i.
Exercise: Let y = x i. Show that Dy = 0and D
= 0.
An anti-chiral superfield is therefore a function of y and only.In particular, if (y, ) is a chiral superfield (6.43), (y, ) is ananti-chiral superfield
(y, ) = (y) +
2(y) + F(y).
As before, the product of two anti-chiral superfields is again ananti-chiral superfield. However the product is neither a chiralnor an anti-chiral superfield. Same applies to the sum ( + ).
Exercise: Show that the imposing the conditionsD = 0 and D = 0 simultaneously on a scalarsuperfield reduces it to a constant.
7/28/2019 part4 kjkj
19/100
6.4. Chiral & vector superfields 319
Exercise: Define
=
==0 = D
==0
F = DD
==0.
Express , and F in terms of the component fields, and F. Compute the transformation laws for , andFusing the differential operator representation forQ, Q.
Exercise: Show that in terms of the variables(y,, ),the covariant derivatives may be written as
D = + 2i
y ,
D = 2i
y,
D = ,D = . (6.46)
Exercise: Compute the expressions for 2, 3 and in the component field expansion.
There is another way to reduce the number of fields in a generalscalar superfield. For a scalar superfield V(x,, ), let us impose
the covariant reality condition:
V(x,, ) = V(x,, ). (6.47)
In components, this leads to the following set of constraints
=
() =
m = n
v = (v)
= ()
d = d
(6.48)
7/28/2019 part4 kjkj
20/100
320 6. N = 1 Supersymmetric Gauge Theories
Therefore, a scalar superfield restricted by the reality conditionhas four real scalars, (which may be combined into two complexscalars), one real vector and two complex Weyl spinors, (or equiv-
alently, one real Majorana spinor). There are altogether eightbosonic and eight fermionic degrees of freedom.
We can already construct an example of a real superfield triv-ially from a chiral superfield. If is a chiral superfield, the sum(+ ) is a real superfield. In fact, this means that a real super-field is not uniquely determined. Given a real superfield V(x,, ),it is possible to construct another one
V(x,, ) V(x,, ) + (y, ) + (y, ). (6.49)This is a gauge freedom in defining a real superfield. If we expanda real superfield in components
V(x,, ) = (x) + (x) + (x) + M(x) + M(x)
()A(x) + i (x) i (x) + 12
D,
and use the freedom in +
(x,, ) = ( + ) +
2( + ) + F + F
+i( ) + i2
()
i2
() 14
( + ),
we find that
= + = 2 R e =
2
M = F
A = i( ) = (2Im ) (6.50) =
12
D = 12
( + ) = 2 R e .
7/28/2019 part4 kjkj
21/100
6.5. More on vector superfields 321
Let us first point out the most interesting aspect of the gaugetransformation in (6.50) above:
A(x) = (2Im (x)) = (x),
where, (x) is a real scalar field. This is therefore the usual abeliangauge transformation for the vector field A(x) in the componentsof the real superfield V. For this reason, a real superfield is alsoknown as a vector superfield.
The more general superfield transformation (6.49) means thatany superfield action invariant under the above abelian gaugetransformation is also independent of several component fields ofV. In particular, we may choose Re , F and to set , m and to zero respectively. This partially fixes the gauge freedom inV
V + + , and is called the Wess-Zumino gauge. After this
gauge fixing, the vector superfield takes the form
VW Z = ()A + i i + 12
D. (6.51)
It should be stressed that the Wess-Zumino gauge imposes norestriction on Im , therefore it does not fix the abelian gaugefreedom of the component vector field A.
There are four real bosonic degrees of freedom in the compo-nent fields of VW Z: (4 1) = 3 from the vector A, and one fromthe real scalar D. Also there are four real fermionic ones from .
6.5 More on vector superfields
Another way to reformulate Wess-Zumino gauge fixing is to ob-serve that, without any loss of generality, a vector superfield maybe decomposed as
V = VW Z + + , (6.52)
where is a chiral superfield.
Exercise: Work out the component expansion forV2W Z and V
3W Z.
7/28/2019 part4 kjkj
22/100
322 6. N = 1 Supersymmetric Gauge Theories
While the Wess-Zumino condition allows one to get rid of thesuperfluous fields in a vector superfield and retain only the relevantones, it is not invariant under supersymmetry variation. In other
words, the WZ gauge condition is not covariant. It is, however,possible to give a covariant description in which only the necessaryfields in a vector superfield are retained. To this end let us definethe following covariant derivatives on a vector superfield.
W = 14
DD
DV(x,, )
= 18
DD
e2V De+2V
,
W = 14
(DD) DV(x,, )
=1
8
(DD)e+2VDe2V . (6.53)Notice that
1. The construction/definition of the W (W) ensures that7
DW = 0
DW = 0
, (6.54)
that is, W (resp. W) is a (anti-)chiral superfield. Since thisfield also carries a spinor index it is a chiral spinor superfield.
2. However, W is not a general chiral superfield, since it sat-isfies
DW = DW . (6.55)
3. The fields W and W are both invariant under the gaugetransformation (6.49).
Exercise: Prove the two statements mentioned above.
It is important to note that the two superfields W and W areinvariant under the full superfield gauge transformation. There-fore even the abelian gauge invariance of the component vector
7Since the Ds anticommute and has only two independent components,D3 = 0.
7/28/2019 part4 kjkj
23/100
6.5. More on vector superfields 323
field A (that the Wess-Zumino gauge did not fix), is no longeravailable. Consequently, the components of these (anti-)chiral su-perfields can be calculated in the Wess-Zumino gauge without any
loss of generality. That is the exercise we shall do now. In order tosimplify the computation, observe that being a chiral superfield,W is a function of y and only, (similarly W is a function of y
and ), with no explicit dependence on (resp. ).
Exercise: Carry out this computation in detail toshow that
W = i(y) + D(y) + iF(y)+()
(y),
W = + i(y) + D(y) i F(y)
+() (y). (6.56)Hint: Start by writing the real superfield in Wess-Zumino gauge VW Z as a function of (y,, ) and useresults from (6.46).
We see that the component fields in the spinor chiral superfieldW are a left-handed spinor , a scalar D and the field strength F.It is therefore also called a field strength supermultiplet. More-over, since is self-dual (6.9), only the self-dual part of Fcontributes to the degrees of freedom in W.
One can generalise this result in which the vector field in the
vector supermultiplet has abelian gauge invariance to one withnon-abelian gauge invariance. In order to do that, however, wehave to rewrite the abelian gauge condition in a way that is gen-eralisable to the non-abelian case. Recall the Wess-Zumino gaugefreedom V V++. With a scaling i, this is equivalentto
eV ei eV e+i. (6.57)Let us now elevate the superfields to Lie algebra valued superfields
V Vij = taij Va, ij = taij a,
7/28/2019 part4 kjkj
24/100
324 6. N = 1 Supersymmetric Gauge Theories
where ta are hermitian generators of some Lie algebra satisfyingta, tb
= ifabctc, (6.58)
and normalised so that
tr
tatb
= C(R) ab,
C(R) =dim R
dim gC2(R). (6.59)
In the above, dim R and C2(R) are the dimension and thequadratic Casimir in the representation R and dim g is the di-mension of the Lie algebra g.
To first order in gauge parameter superfield
V = i( ) + i2 V, ( +
)+ i
12
V, [V, ( )]
+ . (6.60)
The linear term V = i( ) still allows for a choice of WZgauge which, as in the abelian case, does not fix the non-abeliangauge freedom of the component vector fields Aa. Once we fix the
WZ gauge, we have VaW Z = ()Aa + , and also ( + ) =
2iRe (), ( ) = 2i()Im (). Therefore the third termand above in (6.60) vanish in the WZ gauge as they have too manys or s. The relation
VW Z = i(
) +
i
2V, ( + ) (6.61)
implies the usual non-abelian gauge transformation for the compo-nent fields A (non-abelian gauge field), (a spinor in the adjointrepresentation) and D (auxiliary scalar field in the adjoint repre-sentation).
As in the abelian case, one can define the constrained (anti-)chiral spinor superfield W (and W) by
W = 18
D2e2VDe2V ,
W = +1
8D2e+2VDe
2V. (6.62)
7/28/2019 part4 kjkj
25/100
6.6. Wess-Zumino model, supersymmetry breaking 325
These superfields transform homogeneously under gauge transfor-mations:
W
e2iWe+2i, W
e2i
We+2i . (6.63)
Once again one can compute the component fields of W and Win the WZ gauge. Explicitly
W = 14
D2DVW Z+1
2D2(VW ZDVW Z) 1
4D2DV
2W Z, (6.64)
and similarly for W. After some algebra, the result is the ex-pected non-abelian generalisation
W = i(y) + D(y) + iF(y)+()
(y),
W = i(y) + D(y) i F(y)
() (y), (6.65)where, F = A A + i[A, A] is the non-abelian fieldstrength and is the gauge covariant derivative, e.g. = + i[A, ].
Exercise: Show the transformation property (6.63)and work out the component field expressions (6.65).
6.6 Wess-Zumino model, supersymmetry breaking
There are some properties that we saw before, but did not takeproper notice of, are the following. First, the supersymmetry vari-ation of the , i.e. the highest, component of a scalar superfield
d(x) =i
2
(x) (x) (6.66)is a total (spacetime) derivative. Therefore
d4xd(x) = 0. (6.67)
7/28/2019 part4 kjkj
26/100
326 6. N = 1 Supersymmetric Gauge Theories
In case of a vector superfield, the variation is
D(x) = i
(x) (x)
. (6.68)
Therefore, for any vector superfield V(x,, )
2
d4x
d4 V(x,, ), (6.69)
where is a parameter, is invariant under N = 1 supersymmetrytransformation. With this observation, we immediately have away of constructing actions which are invariant under (N = 1global) supersymmetry. As an example, let us consider the chiralsuperfield (y, ), for which is a vector superfield. Therefore,
d4x d
4 (6.70)
is a supersymmetric action.Of course, (6.69) with V a vector superfield is also an example
of a supersymmetric action. However, on dimensional ground wesee that the parameter has mass dimension two, while the action(6.70) involving does not require a dimensionful parameter.Moreover (6.69) is linear in the component fields, while (6.70) isquadratic. Nevertheless, we shall have occassion to come back to(6.69) later.
Secondly, the supersymmetric variation of the , i.e. againthe highest, component of a chiral superfield
F(x) = 2i(x) = 2i(x) (6.71)is a also total derivative. Therefore
d4x
d2(y, ) +
d2(y, )
(6.72)
is invariant under (N = 1 global) supersymmetry for any chiralsuperfield .
Consider, for example the chiral superfield 2 leading to
m
d4x
d2 2(y, ) + h.c., (6.73)
7/28/2019 part4 kjkj
27/100
6.6. Wess-Zumino model, supersymmetry breaking 327
where, the complex parameter m has mass dimension one. Asbefore we can, and shall, consider the effect of the term
d4
x
d2
(y, ) + h.c., (6.74)
with [] = M2, later in this lecture.
The advantage of the superfield method lies in the fact thatan action written in terms of superfields in manifestly invariantunder supersymmetry transformations. Let us consider the Wess-Zumino model defined by the lagrangian density8
LW Z =
d4
d2
1
2m2 +
1
3g3
+ h.c. (6.75)
When expanded in terms of the component fields, the first termabove contains the canonical kinetic terms for a complex scalarfield and a Weyl fermion , while the others describe interactionsincluding Yukawa interactions (see exercise in lecture 6.4):
LW Z = ()() + FF
m + g2
F
m + g()2
F i (6.76)
+1
2(m + m) + g + g.
Notice that there is no term involving the derivatives of F. It is
therefore an auxiliary field with algebraic equation of motion
F m g2 = 0. (6.77)
This is readily solved and we use this to eliminate F from theaction. After eliminating the auxiliary field, the bosonic part ofthe action SW Z takes the form
LBW Z = ()() V(), (6.78)8The Wess-Zumino action defines the most general unitary renormalisable
supersymmetric theory for a single chiral superfield.
7/28/2019 part4 kjkj
28/100
328 6. N = 1 Supersymmetric Gauge Theories
where the scalar potential
V() = FF = |m|2+(mg+mg)+|g|2()2. (6.79)
The potential is positive definite. Consequently, the hamiltonianand the total energy are also positive definite.
The last property is actually a general property of supersym-metric theories. We can prove this from the supersymmetry alge-bra (6.14). Explicitly, using
{Q1, Q1} = 2P0 + 2P3,{Q2, Q2} = 2P0 2P3,
the hamiltonian
H P0 can be expressed as
H = 14
Q1Q1 + Q1Q1 + Q2Q2 + Q2Q2
. (6.80)
The expectation value for the energy density in any state | isthus
|H| = 14
||Q1|||2 + ||Q1|||2 + ||Q2|||2 + ||Q2|||2
0, (6.81)
always positive definite.This implies that states with vanishing energy density are su-
persymmetric ground states of the theory. They are ground statesbecause with zero energy we reach the minimum possible value ofenergy, and they are supersymmetric because
|H| = 0 Q| = 0Q| = 0 , for all , = 1, 2. (6.82)
In other words, supersymmetry is preserved in ground states withzero energy. Conversely, in ground states with non-zero (positive,as always with supersymmetry) energy, supersymmetry is spon-tanously broken.
7/28/2019 part4 kjkj
29/100
6.6. Wess-Zumino model, supersymmetry breaking 329
Coming back to the Wess-Zumino model, let us assume thatm and g are real for simplicity. In this case, the scalar p otentialis
V() = |F|2 = m2||2 + mg( + )||2 + g2||4, (6.83)
while the auxiliary field is
F = m+ g2 =
mA + g(A2 B2)
+i (mB + 2gAB) , (6.84)
where, the complex scalar = A + iB is written in terms of tworeal fields. We see that F can be made to vanish for
B = 0 and A = 0, (m/g).
Since F = 0, (which guarantees that the potential Vvanishes), su-persymmetry is unbroken in the Wess-Zumino model. The super-symmetric vacuum states are parametrised by the above choicesof vacuum expectation values for the scalar fields.
The superpotential of the Wess-Zumino model
W() =1
2m2 +
1
3g3 (6.85)
goes to W() (modulo an unimportant constant shift) under thetransformation
mg
which interchanges the two ground states. However, the sign ofW() can be rotated away by a UR(1) symmetry
ei d2 e+2id2. (6.86)
(Note that the above is unlike a commuting variable x for which xand dx transform in the same way. Recall that for anti-commutingvariables, differentiation and intrgration are equivalent opera-tions.) Suppose under this rotation
(y, ) (y, ) = e2in(y, ei), (6.87)
7/28/2019 part4 kjkj
30/100
330 6. N = 1 Supersymmetric Gauge Theories
i.e. has charge n. The condition that the action remains invari-ant, i.e.,
d2
W((y, )) =
d2
W
(y,
=
d2 W
e2in(y, ei
,
implies that the superpotential must have charge +2 under UR(1)rotation
W() e2iW(). (6.88)For = /2, this is a discrete Z4 symmetry, (under which thefermions are multiplied by a factor of i), relating the two groundstates. However since a 2 rotation changes the sign of fermions,a Z2 Z4 remains unbroken.
It is not possible to break supersymmetry spontaneously inthe Wess-Zumino model involving a single chiral superfield. Itturns out that for this one needs at least three chiral superfields.Before exhibiting this model, let us write the general form of aWess-Zumino type action involving many chiral superfields
S =
d4x
d4 ij
i j
d2 W({i}) + h.c.
. (6.89)
The superpotential
W (
{i
}) = w0 + ii + mij ij + gijk ijk +
(6.90)
is a general functional of the chiral superfields only, i.e. it isa functional only of the is and not the
i s. In other words,
W() is an analytic function of .The bosonic potential in this case is
V({i, i }) =
i
|Fi|2 =
i
W
i
i=i
2
. (6.91)
In fact the name superpotential for W() derives from its closerelation to the (bosonic) potential. Let us stress once again that
7/28/2019 part4 kjkj
31/100
6.6. Wess-Zumino model, supersymmetry breaking 331
the superpotential is an analytic function of the chiral superfieldsi. Analytic functions are also called holomorphic. Therefore thesuperpotential is a holomorphic function. This is not only true of
the bare lagrangian, but also of the effective one, (if supersym-metry is to remain unbroken). There is, however, some subtletyin the interpretation of the last statement, and we shall return tothis point later. At that time, we shall see the power of require-ment of analyticity (or holomorphy), and how, for many theories,it is sufficient to determine the effective superpotential exactlyandstudy its consequence on the dynamics of the theory.
Let us now study a model of spontaneous supersymmetrybreaking. Consider the lagrangian (first proposed by ORaifear-taigh[12] in 1975):
L = d43
i=1i i d21 + m23 + 12 g122+ h.c.
(6.92)Notice that there is a term linear in . This is of the form thatwas mentioned in the beginning of this lecture.
The algebraic equations of motion for the auxiliary fields are
F1 = +1
2g22,
F2 = m3 + g12, (6.93)F3 = m2.
Clearly, F1 and F3 cannot be made to vanish simultaneously. Theresulting scalar potential is
V = |F1|2 + |F2|2 + |F3|2= 2 + (m2 + g)(Re 2)
2 + (m2 g)(Im 2)2+m2|3|2 + 2mg(123 + 123)+g2|1|2|2|2 + 1
4g2|2|22
. (6.94)
This is positive as long as m2 g. The potential (6.94) is min-imised by choosing
2 = 0, 3 = 0, 1 = unconstrained.
7/28/2019 part4 kjkj
32/100
332 6. N = 1 Supersymmetric Gauge Theories
The value of the potential at the minimum is
V(1) = 2,
a positive definite quantity. Therefore supersymmetry is sponta-neously broken.
Exercise: Compute the masses of the bosons andfermions in the ORaifeartaigh model. There is at leastone massless fermion when supersymmetry is sponta-neously broken. This is analogous to the massless bo-son (Goldstone mode) that appears when a global sym-metry is spontaneously broken, and is called a gold-stino).
Also show that the sum of the mass-square of the
bosons equal to that of the fermions. This too is ageneric feature of supersymmetric models, the propertybeing manifest in vacua with unbroken supersymmetry.
For = 0, there is no supersymmetry breaking, but this caseillustrates another important feature of supersymmetric models.Namely, we have
V(1, 2 = 0, 3 = 0) = 0 (6.95)for arbitrary values of 1. There are infinitely many supersym-metric vacua parametrised by the vacuum expectation value of
the field 1. Thus the parameter space that labels supersymmet-ric vacua is the complex 1-plane (see Fig.6.1(a)).
Let us further restrict to m = 0, i.e. we consider the simplemodel of two chiral superfields 1 and 2 with superpotential
W(1, 2) =1
21
22. (6.96)
This corresponds to the bosonic potential
V(1, 2) = g2|1|2|2|2 + 14
g2|2|22
.
7/28/2019 part4 kjkj
33/100
6.7. Lagrangians of supersymmetric gauge theories 333
01(b)(a) O
1
1
Figure 6.1: Moduli space of supersymmetric vacua (a) for poten-tial (6.95) and (b) for superpotential (6.96) with singularity at theorigin.
We see that V(1, 2) vanishes for 2 = 0 with no condition on1. In the vacuum labelled by 1 the field 2 gets an effectivemass
m2 = 2g|1|.The origin of the parameter space is therefore a special point the mass of the field 2 vanishes there. This is a singular point(or a singularity) in the sense that a heavy field becomes masslesshere.
The name for the parameter space that labels supersymmetricvacua is the moduli space of vacua. Fig.6.1(b) is the moduli spaceof vacua for the model described by (6.96).
Exercise: Analyse the behaviour of the moduli spaceof vacua for a theory of three chiral superfields 1, 2
and 3 with superpotential
W(1, 2, 3) = g 123.
The moduli space is shown in Fig.6.2. It consists ofthree branches meeting at a singular point.
6.7 Lagrangians of supersymmetric gauge theories
In the last lecture, we saw how to write actions for chiral su-perfields leading to supersymmetric actions involving scalars and
7/28/2019 part4 kjkj
34/100
334 6. N = 1 Supersymmetric Gauge Theories
1
3 2
Figure 6.2: Moduli space of supersymmetric vacua described bythe superpotential W = g 123. The origin is a singular point.
spin-half fermions. Constructing an action for a gauge theory isalso along expected lines. We have the field strength supermulti-plet which is a chiral spinor superfield W such that DW = 0.Moreover, (in the non-abelian case9), it transforms homogeneously
W e2iWe+2i.
Therefore,
tr (WW) tr
e2iWWe+2i
= tr (WW)
is both gauge and Lorentz invariant. Further, since this is a chiralsuperfield, we can get a gauge invariant candidate term for thelagrangian by integrating over s:
d2 tr (WW). In terms of
the component fieldsd2 tr (WW) = tr
D2 1
2FF i
4FF
2i
.
The problem with the above is that there is no dependence onthe gauge coupling. Also the FF term is imaginary. Both these
9In the abelian case, W is gauge invariant and no trace need to be taken.
7/28/2019 part4 kjkj
35/100
6.7. Lagrangians of supersymmetric gauge theories 335
problems are solved by defining the lagrangian
LSY M = 18
Im d2 tr (WW) , (6.97)
where,
=Y M
2+ i
4
g2. (6.98)
Explicitly, in terms of component fields, the above lagrangianreads as follows
LSY M = 1g2
tr
D2 1
2FF i
Y M322
tr
FF
, (6.99)
where, F = 12F is the dual field strength.Notice that in addition to the gauge fields A, the super-
symmetric Yang-Mills theory contains matter fields: fermions and auxiliary fields D, both in the adjoint representation. Thefermions a are supersymmetric partners of the gauge fields, andare called gluinos or gauginos.
As we had mentioned in the last lecture, it is possible to adda term
2
d4x
d4V(x,, ) =
d4xD(x).
However, this is gauge invariant only for an abelian vector su-
perfield V. Therefore such a term may be added only to the la-grangian of the supersymmetric Maxwell theory. It turns out thatthis term leads to spontaneous breaking of supersymmetry[13].The parameter is known as the Fayet-Iliopoulos parameter.
After having constructed actions for chiral superfields (matter)and vector superfields (gauge fields), we shall now discuss the cou-pling of matter to gauge fields. We shall begin with the couplingof matter to an abelian gauge field.
The first point to notice is that we cannot put the matter fieldsin the gauge supermultiplet. This is because all fields in the this
7/28/2019 part4 kjkj
36/100
336 6. N = 1 Supersymmetric Gauge Theories
multiplet must belong to the same representation as the gaugefields, i.e. in the abelian case they must all be charge neutral andbelong to the adjoint in the non-abelian case.
Consider the chiral superfields i, i = 1, 2, , n. Under aglobal U(1) rotation
i i = e2iqii,where, qi and are real constants. (In particular, Dqi = 0,D = 0. Therefore, i
is also a chiral superfield.) The Wess-Zumino type lagrangian
L =
d4 i i
d2 (mijij + gijk ijk + h.c.)
is invariant under this rotation if
mij = 0 whenever qi + qj = 0,gijk = 0 whenever qi + qj + qk = 0.
If we want to gauge this symmetry, i.e. make a function of x,since D(x) = 0, we must promote the function (x) to a chiralsuperfield (x, ) (D = 0) such that i
= e2iqii is again achiral superfield. This makes the superpotential gauge invariant.However, the kinetic term
i i i e2iqi()i
is no longer invariant. This is familiar from gauging of non-supersymmetric theories. In order to restore invariance underlocal phase rotations, we need to introduce a vector superfieldV(x,, ) such that
eV eV = eieVeii.e, V V = V + i( ). (6.100)
The gauge invariant lagrangian is then
L = 12
d2 WW +
d4 i e
2qiVi
d2 (mijij + gijk ijk) + h.c. (6.101)
7/28/2019 part4 kjkj
37/100
6.7. Lagrangians of supersymmetric gauge theories 337
Due to the presence of the exponential in the lagrangian, it is notclear if the theory is renormalisable. We can, however, evaluate itin the Wess-Zumino gauge where
e2qVWZ =
1 + 2qVW Z + 2q2V2W Z
.
In componentsd4 e2qVWZ = () () i
+i
2q
(6.102)+ |F|2 + qD,
where,
= + iqA
= + iqA.
The supersymmetric generalisation of QED requires at leasttwo chiral superfields + and so that we may write a gaugeinvariant mass term. Therefore, we have
chiral superfields e2ie,vector superfield e2V e2ie2V e2i.
The lagrangian in superfields is
LSQED = 12
d2 WW +
d4
+e2eV + +
e
2eV
md2 + + d2 + , (6.103)and in components
LSQED = 12
D2 14
FF i
+(+)(+) + ()()i++ i + m
+ + +
+i
2e
++ ++
m +F + F+ + +F + F++|F+|2 + |F|2 + eD
++
. (6.104)
7/28/2019 part4 kjkj
38/100
338 6. N = 1 Supersymmetric Gauge Theories
Exercise: Re-express the above lagrangian in terms
of the Dirac spinor D =
+
. What are the
additional fields in the lagrangian compared to QED?
Notice that the lagrangian of supersymmetric QED (6.104)contains two complex auxiliary fields F and one real auxiliaryfield D. Their (algebraic) equations of motions are
D + e
++
= 0,
F = m.
(The RHS of the first equation above is in case the Fayet-Iliopoulos term (6.69) is present.) These equations can be solved
to determine the classical scalar potential
V() =|F+|2 + |F|2
+
1
2D2
= m2|+|2 + ||2
(6.105)
+1
2e2|+|2 ||2
2.
The two terms above are called the F- and D-term respectively.In the massless case, we only have the D-term. Therefore,
there are infinitely many degenerate vacua labelled by, upto gaugeequivalence,
+ = a = ,for any complex number a.
In any vacuum with a = 0, gauge symmetry is broken by the(super) Higgs mechanism. The gauge superfield becomes massiveby absorbing one chiral superfield degree of freedom from the mat-ter. One of the chiral superfield degrees of freedom, however, stillremains massless. A gauge invariant description of this masslessdegree of freedom can be given in terms of
X = +. (6.106)
7/28/2019 part4 kjkj
39/100
6.7. Lagrangians of supersymmetric gauge theories 339
In the vacuum, X = a2 is an arbitrary complex number. Thismeans that there is no superpotential for the chiral superfield X,at least at the classical level:
Wcl(X) = 0.
The above is known as the D-flatness condition.The vacuum expectation value X gives a gauge invariant
parametrisation of the moduli space of classical vacua. This spacehas a singularity at the origin, i.e. at X = 0, corresponding tothe fact that at this point the U(1) gauge symmetry is unbroken,and all the original microscopic degrees of freedom are masslessthere (see Fig.6.1(b)).
The degeneracy of the classical vacua is accidental. Thereis no symmetry that relates different vacua parametrised by dif-
ferent choices for a, indeed they are inequivalent theories. Thisdegeneracy may therefore be lifted in the quantum theory by adynamically generated superpotential Weff(X).
Recall that X is gauge invariant because carry equal andopposite charges
eie X X.This freedom in defining X can formally be extended to a com-plexification of the gauge group UC(1) C, under which
+
+,
1; (
C).
(In the above, we have extended the gauge parameter to takenon-zero complex values.) The moduli space of vacua was de-scribed by setting the (D-term of the) classical superpotential tozero, and quotienting by the gauge symmetry. This turns outto be exactly equivalent to quotienting by the compexified gaugegroup. Thus, the space of chiral superfields modulo the complex-ified gauge group may be parametrised by the gauge invariantpolynomials of chiral superfields[14]. (In a more general situa-tion, there may be relations between the possible gauge invariantpolynomials.)
7/28/2019 part4 kjkj
40/100
340 6. N = 1 Supersymmetric Gauge Theories
6.8 Supersymmetric QCD classical theory
Much of what we learnt in Lecture 6.7 generalises to the case of
non-abelian gauge theories. In the present lecture, we shall discussthat generalisation.Consider a chiral superfield = {i} which belong to some
representation R of a Lie algebra g:
i i =
e2i
i
jj =
e2i
ataji
j , (6.107)
where, ||taij || with a = 1, 2, , dim g, i, j = 1, 2, , dim R, arematrices in the representation R. The gauge invariant kinetic termfor the field is
e2V =
i
e2Vata
ij
j = trR e2Vata .
This is gauge invariant because the tensor product of the repre-sentations R, its conjugate R and the adjoint contains the singlet.
More generally the lagrangian of a Wess-Zumino type modelinteracting with a non-abelian gauge field is
L = 18
Im
d2 tr (WW)
+
d4
Ie2VI
d2 (mIJIJ + gIJ KIJK) + h.c. (6.108)
The mass term is allowed only when RI = RJ. For a singlechiral superfield, this in only possible for SU(2) (of all SU(n)s).Similarly the gIJ K term is allowed if RI RJ RK contains thesinglet. For example, a single chiral superfield in the doublet ofSU(2) can have a mass term but not a cubic self coupling.
Let us now look at the D-terms in the lagrangian
LD = 12g2
tr D2 + D
=1
2g2DaDb tr (tatb) + Daitaji j
=1
2g2C(R)DaDa + Da trR (t
a()) , (6.109)
7/28/2019 part4 kjkj
41/100
6.8. Supersymmetric QCD classical theory 341
where we have used the normalisation (6.59). The equation ofmotion for Da is therefore
Da = g2
C(R) trR (ta()) , (6.110)
which leads to a scalar potential
VD =
g2
C(R)trR (t
a())
2. (6.111)
This potential must vanish in a vacuum which preserves super-symmetry. Thus, for unbroken supersymmetry, we require
trR (ta()) = 0, (6.112)
the D-flatness condition.
The supersymmetric version of QCD that we shall considerhas
Nf chiral superfields in the fundamental representation Ncof the gauge group SU(Nc):
QAi , A = 1, 2, , Nf; i = 1, 2, , Nc.
(The colour index will not always be displayed explicitly.)There is a global U(Nf) flavour symmetry between the Qswhich transform in the Nf representation. The conjugateanti-chiral superfield Q belongs to Nf of U(Nf) and Nc ofSU(Nc). We shall think often think of ||QAi || and ||QA|| asNc Nf matrices.
Nf chiral superfields QA in the anti-fundamental Nc of thegauge group SU(Nc). These transform as Nf of the flavourgroup. The corresponding conjugate fields are denoted byQ.
7/28/2019 part4 kjkj
42/100
7/28/2019 part4 kjkj
43/100
6.8. Supersymmetric QCD classical theory 343
Nf < Nc:By a gauge and flavour rotation, we can diagonalise Q.This implies that the constant on the RHS of (6.115) must
vanish. Upto gauge and flavour rotations, the solution tothe D-flatness conditions are therefore given by
Q = Q =
a1 0 00 a2...
. . .
0 aNf0 0...
...0 0
. (6.116)
The gauge invariant composite superfields whose lowestcomponents parametrise the moduli space of vacua are
MAB = QAQB , A, B = 1, 2, , Nf, (6.117)
called the mesonsuperfields. The vacuum expectation valueofMA
B = |aA|2AB. When this is non-zero, i.e. MAB = 0,
the gauge group is broken. The most generic b ehaviour isSU(Nc) SU(Nc Nf). (Notice that given the vev of M,one can determine, upto gauge and flavour rotations, thevevs of Q and Q and vice versa.)
Nf Nc:An arbitrary A-independent constant is now allowed, so uptogauge and flavour symmetry, a solution to the D-flatnessconditions is
Q =
a1 0 0 0 00 a2...
. . .
0 aNc 0 0
,
7/28/2019 part4 kjkj
44/100
344 6. N = 1 Supersymmetric Gauge Theories
Q =
a1 0 0 0 00 a2...
. . .
0 aNc 0 0
,(6.118)
together with the restriction |aA|2 |aA|2 = c (a constantindependent of A).
Once again we have the meson chiral superfields
MAB = QAQB ,
||MA
B ||=
a1a1
a2a2
. . .
aNc
aNc 0
. . .
0
.
This time, however, it is not possible to determine a anda from the knowledge of M. Moreover, there are newgauge invariant composite operators. For example, in thecase Nf = Nc, there are two such operators
B = A1A2...ANcQA11 QANcNc
=1
Nc! A1A2...ANc B1B2...BNcQA1B1 QANcBNc ,
B = A1A2...ANcQA11 QANcNc (6.119)
=1
Nc!A1A2...ANc
B1B2...BNc QA1B1
QANcBNc
,
called the baryons. The moduli space of vacua is parametrisedby M, B and B. However, they are not all independent,but related through the relation
det ||M|| = BB. (6.120)
7/28/2019 part4 kjkj
45/100
7/28/2019 part4 kjkj
46/100
7/28/2019 part4 kjkj
47/100
6.9. Quantum corrections & effective action I 347
6.9 Quantum corrections & effective action I
In the previous lecture we sketched an argument, (due to Seiberg),
to determine the effective superpotential of a quantum theory. Letus recall that strategy.
1. Ascertain all the symmetries of a theory in the absence ofthe superpotential. Assign suitable (formal) transformationproperties to the coupling constants such that the symmetryremains valid even in the presence of the superpotential.
2. Regard the quantum corrected effective superpotential tobe a holomorphic function not only of the light chiral super-fields, but also of the coupling constants {gI} (and in thecase of supersymmetric QCD).
3. The effective superpotential should match the results of per-turbation theory in the appropriate limit.
These requirements are often stringent enough to determine theeffective superpotential. The superpotential so determined willalso include non-perturbative corrections.
Parenthetically, let us add that the kinetic term of the gaugefields
d2 Im
eff({}, {gI}, ) WW
is also holomorphic. More precisely, eff is holomorphic in its
arguments. However, in many cases it so happens that the gaugesymmetry is broken and the theory is in a Higgs or a confiningphase. In case gauge symmetry remains unbroken and one is in theCoulomb phase, the same arguments may be applied to determineeff.
As an illustration, let us apply these ideas to determinethe quantum effective superpotential of the Wess-Zumino model(6.75). The classical superpotential (6.85) is
W() =1
2m2 +
1
3g3.
7/28/2019 part4 kjkj
48/100
348 6. N = 1 Supersymmetric Gauge Theories
There is a U(1) R-symmetry that we encountered earlier ineqns.(6.86) and (6.88). It rotates the fermionic component of thesuperspace
= ei
,
and under this transformation the action is invariant if
W() e2i W().
Since the superpotential has R-charge +2, , m and g transformunder UR(1) as follows:
(x, ) (x, ei)m e2im (6.124)g
e2ig.
The kinetic term in (6.75) is also invariant another U(1) trans-formation let us call it S-symmetry:
(x, ) ei(x, ). (6.125)
The superpotential (6.85) breaks this invariance. However, we canformally recover it by assigning the following transformation rulesto the couplings
m e2im,g e3ig. (6.126)
We now demand that Weff is invariant under both UR(1) as wellas US(1), and also that it is holomorphic in m and g (and of course). (In case m and g are real, we shall formally regard them ascomplex and set them to their real values at the end.) The mostgeneral form of Weff consistent with these requirements is
Weff(, m , g) = gambc
R ei(2a+2b)Weff(, m , g)S ei(3a2b+c)Weff(, m , g).
7/28/2019 part4 kjkj
49/100
6.9. Quantum corrections & effective action I 349
Invariance under the two U(1)s determines (say) a and b in termsof c. The most general form Weff is then
Weff(, m , g) =
n=0
Angn2m3nn
= m2
n=0
An
g
m
n(6.127)
= m2 f
g
m
, (6.128)
where, An are arbitrary constant coefficients and f() is an arbi-trary function defined by the Taylor series above.
It remains to determine the function f, or equivalently thecoefficients An. To that end, notice that for small values of g,perturbation theory is applicable. We compare this with the Tay-lor series
Weffg0= m2
A0 + A1
g
m+
n=2
An
g
m
n
to find that A0 = 1/2 and A1 = 1/3. It follows from the propertiesof superspace Feynman rules10 that the higher terms in the sumcome from the tree level process shown in Fig.6.3. (Loops are notpossible as it would increase powers of g but not of .)
For n 2, the Feynman diagram in Fig.6.3 is not one par-ticle irreducible, and hence it cannot contribute to the effectivesuperpotential. Therefore the effective superpotential is exactlythe same as the classical superpotential (6.85)
Weff(, m , g) = W(, m , g) =1
2m2 +
1
3g3.
In other words, the superpotential of the Wess-Zumino modelis not renormalised by quantum (and non-perturbative) correc-tions. This important result, first derived in perturbation theory,is called the non-renormalisation theorem.
10A complete discussion of superspace perturbation theory is beyond thescope these lectures. However, all we need to know for this is the fact thatthe propagator for chiral superfield at zero momentum (k = 0) m1.
7/28/2019 part4 kjkj
50/100
350 6. N = 1 Supersymmetric Gauge Theories
g
1/m
g g
. . .
(1) (2) (n)
(n+2) (n+1)
Figure 6.3: Superspace Feynman diagram contributing to the sumin Eq.(6.127).
There is, however, a caveat to the above argument. It wasalready known, (through the analysis of perturbation theory ofsuperfields), that in case there are massless chiral superfields,the non-renormalisation theorem is invalidated. Indeed it wasfound[17] that the effective potential in the Wess-Zumino modelwith m = 0 gets a contribution g3(g)23 which comes fromthe two-loop diagram shown in Fig.6.4. This is clearly non-holomorphic.
*
g
g
g
g
g
*
Figure 6.4: A two loop diagram which gives a non-holomorphiccontribution to the 1PI effective superpotential. (A solid line de-notes a propagator while a dot-dashed line stands for a or a propagator.)
7/28/2019 part4 kjkj
51/100
7/28/2019 part4 kjkj
52/100
352 6. N = 1 Supersymmetric Gauge Theories
where
(k) =
0 for |k| MU V,(k) for 0 |k| < ,
where MU V is some UV cut-off. The Wilsonian effectiveaction is defined via
[D] eS[{}] =
k
[D(k)] eS[{}]
=
0|k|
7/28/2019 part4 kjkj
53/100
6.9. Quantum corrections & effective action I 353
arising from UB(1) is called the baryon number, and this is a goodsymmetry of the quantum theory. The axial UA(1) on the otherhand, acts oppositely on the left- and right-moving quarks, and
is anomalous. We shall normalise so as to assign baryon number+1 (respectively 1) to the superfields Q (Q). The various U(1)quantum numbers of the quark superfields are as follows:
Q Q Q Q
L +1 0 1 0R 0 1 0 +1B +1 1 1 +1A +1 +1 1 1
The anomaly of the axial UA(1) leads to a shift of the -parameter: Y M
Y M
n, where n is the coefficient of the
anomaly term in the conservation law, or in other words, the num-ber of fermion zero modes contributing to the anomaly. In thiscase, n = 2Nf, which leads to
exp(2i)A e2iNf exp(2i).
In addition, we have the R-symmetry of supersymmetry dis-cussed in lectures VI and the present one. There is no superpo-tential, (we are consideing the massless case12), the superfields Qand Q have zero R-charge. If we write
Q = Q + qL + ,
Q = Q + qL + ,the UR(1) transformation properties are as follows (see Eq.(6.87)):
Q Q, Q Q,qL eiqL, qL eiqL,
ei.12The m = 0 case can be thought of as arising from a Higgs mechanism.
This happens naturally if the N = 1 supersymmetric theory is embedded inthe N= 2 theory, which has a superpotential term QQ, where is the Higgssuperfield valued in the adjoint.
7/28/2019 part4 kjkj
54/100
354 6. N = 1 Supersymmetric Gauge Theories
This symmetry is also anomalous, leading to
exp(2i)R e2i(NcNf) exp(2i).
The two anomalous U(1) symmetries may be combined to ananomaly free UR(1), the generator R of which is
R = R + Nf NcNf
A. (6.129)
The following table shows the relevant symmetry properties of thevarious fields.
Field Flavour UB(1) UA(1) UR(1) UR(1)L-quark qL (Nf, 1) +1 +1 1 NcNfsquark Q (Nf, 1) +1 +1 0
NfNcNf
R-quark qR (1, Nf)
1 +1
1
NcNf
squark Q (1, Nf) 1 +1 0 NfNcNfgluino (1, 1) 0 0 +1 +1
meson MAB
(Nf, Nf) 0 +2 0 2NfNc
Nf
scale (1, 1) 02Nf
3NcNf2Nc2Nf3NcNf 0
(6.130)
In the above we have used the relation (6.123) between the QCDscale and the combination of the coupling constant g and the-angle.
At present we are discussing the case Nf < Nc the only
gauge invariant composite fields are the mesons.The meson superfield matrix MA
Btransforms as (Nf, Nf) un-
der global flavour symmetry. However, the effective superpotentialought to be a flavour singlet and hence can only be a (holomor-phic) function of det M, the determinant of the meson matrix13.It can also depend (holomorphically) on or equivalently, thecomplexified QCD scale . We therefore start with
Weff(M, ) = (det M)a b
13The terms trM, trM2, etc. are not invariants of independent flavour ro-tations SU(Nf)SUr(Nf).
7/28/2019 part4 kjkj
55/100
6.9. Quantum corrections & effective action I 355
and require that Weff has the right U(1) charges. This fixes a andb:
Weff
(M, ) = CNfNc 3NcNf
det M1/(NcNf)
, (6.131)
where CNfNc is a constant which cannot be determined by thearguments used so far. Assuming that this constant does notvanish, we find that a non-trivial superpotential is generated byquantum corrections. In the next section, we shall determine thevalue of this constant to be
CNfNc = Nc Nf. (6.132)The effective superpotential (6.131) is called the Affleck-Dine-Seiberg superpotential. Notice that it has the correct (mass)dimension. We should also add that the superpotential is non-
perturbative and hence does not violate any perturbative non-renormalisation theorem.
Let us analyse the behaviour of this superpotential. In orderto find the supersymmetric vacua, we set the F-term to zero. TheF-term
FAB =
MABWeff (6.133)
= (Nc Nf)
3NcNf
det M
1/(NcNf) M1
AB
implies that the bosonic potential tends to zero as
MAB
a
tends to infinity (see Fig.6.5).Thus, we come to the strange conclusion that there is no stable
supersymmetric vacuum (at finite vaccum expectation values ofthe meson superfields). This is inspite of the fact that the classicaltheory we started with had an infinitely degenerate vacua.
Although this seems strange, it is the only possibility consis-tent with supersymmetry. The alternative based on expectationfrom ordinary QCD is chiral symmetry breaking and confinement.In this case the quarks would condense in pairs
qLAqLB = 0.
7/28/2019 part4 kjkj
56/100
356 6. N = 1 Supersymmetric Gauge Theories
M
V(M)
Figure 6.5: Runaway potential of the meson fields.
However, this is the F-term of MAB , a non-zero value for whichwould lead to supersymmetry breaking. Therefore a QCD likevacuum with quark pair condensate is unstable compared to anyvacuum that allows for unbroken supersymmetry14.
The gaugino bilinear can, however, acquire a vacuum ex-pectation value consistent with supersymmetry. For example, inpure super-Yang-Mills theory with Nf = 0, the effective superpo-tential is
Weff() = cNc3 = cNc
3 exp
2ieffNc
. (6.134)
Now, is the scalar component of the composite chiral superfieldWW which couples to . The vacuum expectation value can therefore be found by differentiating the effective lagrangian
14Recall that we are considering quark superfields which are massless. Thesituation changes drastically if these are massive. With a mass term tr(mM)for the mesons in the effective superpotential, one can show that a supersym-metric vacuum is possible at a finite value of M. This moves off to infinity asm is taken to zero.
7/28/2019 part4 kjkj
57/100
6.9. Quantum corrections & effective action I 357
Leff with respect to F, the F-term of .
= 16i
Fd2 Weff()
= 16i
Weff()
= 322
NccNc
3 exp
2i
Nc
, (6.135)
or, e82/Ncg2 (for Y M = 0), is the non-perturbativegaugino condensate.
Recall that the R-symmetry shifts ei, hence Y M Y M + 2Nc. When is a multiple of /Nc, theta angle shifts by2, and a Z2Nc subgroup of UR(1) remains unbroken. Howeverthe vacuum expectation value
is invariant under
( = ), breaking Z2Nc spontaneously to a Z2 subgroup. Thisleads to Nc inequivalent vacuum states in pure super-Yang-Millstheory parametrised by the vev of gaugino bilinear
= exp
2im
Nc
, m = 0, 1, , Nc 1. (6.136)
Exercise: (Holomorphic decoupling) Consider a the-ory of two chiral superfields given by the superpotential
W(1, 2) =
1
2 m22 + g
212.
Analyse the classical moduli space of this theory andshow that at a generic point the field 2 isheavy. Findthe effective superpotential for the light field1 by in-tegrating out 2. (In the classical theory, this meansthat one ignores the kinetic term for the heavy field,and solves its resulting algebraic equation of motion.Now apply Seibergs analysis to determine the low en-ergy effective superpotential assuming that the only rel-evant degrees of freedom are those of the light field 1.
7/28/2019 part4 kjkj
58/100
358 6. N = 1 Supersymmetric Gauge Theories
Compare the two results.Identify the diagram that renormalises the superpo-tential, (it is actually a tree diagram), and see that it
does not violate the non-renormalisation theorem.
6.10 Quantum corrections & effective action II
We begin this section by determining the constant in the Affleck-Dine-Seiberg superpotential for supersymmetric gauge theorieswith Nf < Nc. Then we shall move on to the case Nf Nc.
The strategy used to find the constants CNfNc in (6.131) is inrelating the theory with Nf flavours to that with Nf 1 flavoursthrough holomorphic decoupling. The idea of decoupling is quite
simple and is illustrated in an exercise in the previous section. Letus start with the theory with Nf flavours and add (by hand) amass term to the last, i.e., Nfth quark superfield MNfNf:
W(Nf)
eff (M, ) = CNcNf
3NcNf
det M
1/(NcNf)+ mMNfNf.
(6.137)The equations of motion for the mesons with only one index Nfare
W(Nf)
MNfA
A=Nf=
CNcNfNc Nf
3NcNfdet M
1/(NcNf) M1
NfA = 0,
(6.138)and similar equations for the components MANf. The potentialis minimised when all these components (along the last row andcolumn) vanish. Therefore, the meson matrix of the theory re-duces to a block-diagonal form with an (Nf 1) (Nf 1) blockand MNfNf as the last diagonal element. Thanks to this, thedeterminant of the of the meson matrix factorises:
det ||M(Nf)|| = det ||(M(Nf1)|| MNfNf. (6.139)
7/28/2019 part4 kjkj
59/100
6.10. Quantum corrections & effective action II 359
It remains to solve for MNfNf from its equation of motion, ob-
tained by minimising W(Nf):
W(N
f)
MNfNf= CNcNf
Nc Nf
3N
cNf
det M
1/(NcNf) M1NfNf
+m = 0.
(6.140)Using (6.139) and (6.140), the solution is
MNfNf =
CNcNf
m(Nc Nf)
3NcNf
det M(Nf1)
1NcNf
NcNfNcNf+1
.
(6.141)Substituting above in (6.137) in turn, one finds the effective su-perpotential
Weff = (NcNf+1)
CNcNfNc Nf
NcNfNcNf+1
m3NcNf(Nf)
det M(Nf1)
1NcNf+1
.
(6.142)This resembles the effective superpotential of the theory withNf 1 flavours. Indeed, the match is exact provided we makethe following identifications
CNc(Nf1) = (Nc Nf + 1)
CNcNfNc Nf
NcNfNcNf+1
,(6.143)
3NcNf+1(Nf1) = m 3NcNf(Nf) . (6.144)
The first of these equations can be rewritten as
CNcNf
Nc Nf
NcNf=
CNc(Nf1)
Nc Nf + 1
NcNf+1, (6.145)
which is a recursion relation for the coefficients in the Affleck-Dine-Seiberg superpotential. It is easy to see that CNcNf = Nc Nfin (6.132) is a solution to (6.145). A more systematic solutionwould need a boundary condition. This comes from the theory
7/28/2019 part4 kjkj
60/100
360 6. N = 1 Supersymmetric Gauge Theories
with Nf = Nc 1, in which it is possible to calculate the effectivesuperpotential exactly from instanton calculation. This yields thevalue CNC(Nc1) = 1.
The requirement (6.144) is also consistent with the running ofthe coupling constant from the renormalisation group equation:
82
g2()= (3Nc Nf) ln
(Nf)
. (6.146)
In the theory described by the effective superpotential (6.137), thenumber of light flavour degrees of freedom is Nf above the scalem. But below this scale it is Nf1. Hence in this regime it obeysthe Eq.(6.146) with Nf Nf 1. By continuity, the couplingconstants should match at the transition scale = m. Demandingthat this happens is precisely the condition (6.144).
In summary, we have determined the effective superpotentialgoverning the dynamics of supersymmetric QCD with small num-ber of flavours Nf < Nc. Curiously, this superpotential does nothave allow for a supersymmetric vacuum at any finite vev of themesons, which are the relevant gauge invariant degrees of freedom.The only exception is pure SYM theory, in which there are nomesons, and which have Nc supersymmetric vacua parametrisedby the vev of the gluino condensate.
Let us now turn to the cases where the number of flavour islarger than the number of colour: Nf Nc. The story is muchmore complex here and we shall have to content ourselves with a
summary of the main results and only a brief mention of some ofthe arguments.
Consider the case of equal number of flavours and colours Nf =Nc first. The effective superpotential (6.131) for Nf < Nc cannotevidently be extrapolated to this case. Indeed, if we look back atthe table (6.130), we find that all the R-charges of the fields Q,Q, M, B and of the scale vanish in this case. It is, therefore,impossible to write a superpotential, which has R-charge +2 interms of these.
Recall that classically this theory has a moduli space of vacuaparametrised by the meson matrix ||M|| and the baryons B, B
7/28/2019 part4 kjkj
61/100
6.10. Quantum corrections & effective action II 361
subject to the constraint (6.120): detM = BB. Schematically,the geometry of this space is that of a cone. At large values ofM, we are in a Higgs phase. However, at the origin of this space,all fields are massless and gauge symmetry is restored. Thus theorigin is a singular point. (See Fig.6.6.)
Seiberg argued that quantum mechanically, the relation (6.120)gets modified to
det M BB = 2Nc . (6.147)There is no symmetry that prevents this modification both sideshave the same R-charge (zero) and dimension (2Nc). Moreover,it is consistent with holomorphic decoupling when we add a massterm mMNcNc to the last meson. To see how this works, we intro-duce an auxiliary chiral superfield of R-charge and dimension2, to write a superpotential
Weff =1
2Nc1
BB det M + 2Nc
+ m MNcNc. (6.148)
The equation of motion of implements the relation (6.147). Atthis point we can simply repeat the steps we followed in the caseNf < Nc. The F-flatness conditions for the superpotential can besolved easily. We find that
B = B = 0,
=m2Nc1
det M(Nc1),
MNcNc = 2Nc
det M(Nc1).
Substituting these values in (6.148), one gets the effective super-potential of the theory with Nf = Nc 1. Finally, there are other,more sophisticated, checks in favour of Seibergs argument thatwe are not in a position to get into.
The quantum moduli space defined by Eq.(6.147) is no longersingular (see Fig.6.6). In the asymptotic regions (where the vevof M is large), quantum corrections are small and the modulispace resembles the classical description. The theory is in the
7/28/2019 part4 kjkj
62/100
362 6. N = 1 Supersymmetric Gauge Theories
(a) (b)
singularirty
Figure 6.6: Moduli space of supersymmetric vacua of SQCD with
Nf = Nc (a) classical (6.120) and (b) quantum (6.147).
Higgs phase. However, the situation is quite different for smallvalues of M. There is no singularity, vevs of M never vanishand consequently do not become massless. The gauge theory isconfining. We see that the Higgs and the confining phases arecontinuously connected in the quantum moduli space.
As a matter of fact, there is no gauge invariant way of dins-tiguishing these two phases in a theory with fundamental matter(quarks). The phases are characterised by the p otential (between
a quark-antiquark pair), which grows linearly in the confiningphase and is a constant in the Higgs phase:
VC(r) r, (6.149)VH(r) = constant. (6.150)
However, the former is unstable to pair production. As the sepa-ration between the quark and the antiquark increases the energyof the flux string grows. Beyond a point it is more favourableto break the string by producing a quark-antiquark pair. Thusthe potential, although increasing linearly for small separation,
7/28/2019 part4 kjkj
63/100
6.10. Quantum corrections & effective action II 363
saturates beyond a point and becomes a constant.
For the next case Nf = Nc+1, Seiberg argued that the effective
superpotential
Weff =1
2Nc1
det M BAMABBB
(6.151)
is generated. It is easy to see that Weff has the correct dimen-sion and R-charge. One can also check that it is consistent withholomorphic decoupling.
To proceeed beyond this, let us first consider the case of verylarge number of flavour. The -function vanishes at Nf = 3Nc andis positive beyond this value. Therefore, supersymmetric QCD
with number of flavour exceeding 3Nc is not asymptotically free.Clearly this is very different from what we have seen so far. Thistheory is free in the infra-red with the degrees of freedom beingthe gluons and quarks. It is in a phase where the interactionbetween electric type test charges is a non-abelian analogue of theCoulomb interaction the potential V(r) falls off as
VE(r) 1r ln(r)
. (6.152)
This is called the free electric phase.
Let us return to the theories in which Nf is bigger than Nc,
but not by much. The baryons carry Nf Nc Nc indices.These can therefore be viewed as bound states of Nc componentfields. Seiberg suggested that these be thought of as physicalasymptotic states of a dual theory with gauge group SU(Nc). Italso has chiral superfields corresponding to dual quarks QA andantiquarks QA that come in Nf flavours (A = 1, 2, , Nf) and inaddition, gauge singlet chiral superfield TAB coupled to the dual(anti-)quarks through the superpotential
W = QA TABQB.
7/28/2019 part4 kjkj
64/100
364 6. N = 1 Supersymmetric Gauge Theories
The relation between this description and the original one is calledthe nonabelian electric-magnetic duality. In terms of the dualtheory, the -function vanishes at Nf = 3Nc, i.e., at Nf = 3Nc/2.
For lower values of Nf the dual theory is free in the infra-red withthe dual gluons and quarks being the relevant degrees of freedom.The potential between electric charges of the dual theory
VM(r) =ln(r)
r(6.153)
is again Coulomb like. By duality this is the b ehaviour betweenthe magnetic charges of the original SQCD. In the region Nc + 2 Nf 3Nc thetheory is IR-free and is of magnetic, respectively electric, type(in terms of the original microscopic degrees of freedom). In theintermediate region 32Nc Nf Nc, it is a superconformal fieldtheory corresponding to a nontrivial zero of the -function.
6.11 Appendix: Fierz identities
There are some identities which involve spinors. Much of it followsfrom simple angular momentum addition rule.
If we take the product of a spin s1 =12 representation
15 withanother one s2 =
12 , the result is a direct sum of spin-0 and spin-1
representations:
(s1 = 1/2) (s2 = 1/2) = (s(1) = 0) (s(2) = 1),i.e, 2 2 = 1 3.
A simpler fact is2 1 = 2.
Since the Lorentz algebra is (almost) a direct sum of two angu-lar momentum algebras (see (6.5)), the above rules for tensoringrepresentations apply to the Lorentz algebra as well. The defining
representations here are the12 , 0
or (2, 1) representation called
the left-handed spinor and the
0, 12
or (1, 2) representation
called the right-handed spinor .
15The spin- 12
representation is called the defining or fundamental represen-tation of SU(2), as all other representations can be constructed from it.
7/28/2019 part4 kjkj
66/100
366 6. N = 1 Supersymmetric Gauge Theories
There are three basic possibilities in combining these represen-tations.
We can tensor two left-handed spinors(2, 1) (2, 1) = (1, 1) (3, 1).
More explicitly in terms of the spinors
=1
2() 1
2()
, (6.154)
we get a scalar and a rank-2 self-dual antisymmetric tensor.
Notice that the first term in the RHS above is antisymmet-ric (in indices and ) while the second one is symmetric,
as is expected from the representations of the angular mo-mentum algebra. The coefficients 12 and 12 arethe Clebsch-Gordon coefficients relating different represen-tations.
In order to prove (6.154), based on covariance properties onecan argue that
=1
2( ) + 1
2( + ),
=1
2A +
1
2B
.
The unknown coefficients A and B may be determinedby contracting both sides of the above equation by and respectively. For the latter, we need to use the factthat is self-dual (6.9), and that
tr () =1
2( ) + i
2.
Similarly, for two right-handed spinors
(1, 2) (1, 2) = (1, 1) (1, 3).
7/28/2019 part4 kjkj
67/100
6.11. Appendix: Fierz identities 367
More explicitly in terms of the spinors
=1
2() 1
2()
, (6.155)
where on the RHS we find a scalar and a rank-2 anti-self-dualantisymmetric tensor.
Finally, combining a left- and a right-handed spinor
(2, 1) (1, 2) = (2, 2), =
1
2()
, (6.156)
we get a Lorentz vector.
Using these relations, following from basic group theoretic
facts, it is easy to derive the following relations.
=1
2()
= 1
2()
()() = 12
()()
()() = 12
()()
= (6.157) =
()() =
1
2() i()()
()() =1
2()()
()() =1
2()()
These are known as Fierz identities, and are very useful in sim-plifying expressions involving many spinor fields.
7/28/2019 part4 kjkj
68/100
Bibliography
[1] J. Lykken, Introduction to supersymmetry, TASI lectures
1996, (hep-th/9612114).
[2] J. Wess and J. Bagger, Supersymmetry and supergravity, 2ndEd (1992), Princeton University Press, Princeton.
[3] M. Peskin, Duality in supersymmetric Yang-Mills theory,TASI lectures 1996, (hep-th/9702094).
[4] N. Seiberg, The dynamics of N = 1 supersym-metric field theories in four dimensions in Quan-tum fields & strings: A course for mathemati-cians, Eds. P. Deligne et al , also available at
http://medan.math.ias.edu/QFT/spring/index.html .
[5] P. Sohnius, Phys. Rep. 128 (1985) 39.
[6] P. West, Introduction to supersymmetry and supergravity,World Scientific, Singapore.
[7] Y. Golfand and E. Likhtman, JETP Lett. 13 (1971) 323.
[8] J. Wess and B. Zumino, Phys. Lett. B49 (1974) 52.
[9] S. Coleman and Mandula, Phys. Rev. 159 (1967) 1251.
[10] R. Haag, J. Lopuszansk and M. Sohnius, Nucl. Phys. B88(1975) 257.
[11] A. Salam and J. Strathdee, Nucl. Phys. 76 (1974) 477.
[12] L. ORaifeartaigh, Nucl. Phys. B96 (1975) 331.
[13] P. Fayet and Iliopoulos, Phys. Lett. B51 (1974) 461.
[14] M. Luty and W. Taylor, Phys. Rev. D53 (1996) 3399,(hep-th/9506098).
7/28/2019 part4 kjkj
69/100
Bibliography 369
[15] K. Intriligator and N. Seiberg, Lectures on supersymmet-ric gauge theories and electric-magnetic duality, Nucl. Phys.Proc. Suppl. B45 (1996) 1, (hep-th/9509066).
[16] N. Seiberg, Phys. Lett. B318 (1993) 469.
[17] I. Jack, D. Jones and P. West, Phys. Lett. B258 (1991) 382.
[18] M. Shifman and A. Vainshtein, Nucl. Phys. B277 (1986) 456.
7/28/2019 part4 kjkj
70/100
370 6. N = 1 Supersymmetric Gauge Theories
7/28/2019 part4 kjkj
71/100
Chapter 7
Introduction to AdS/CFT Duality
Dileep P. Jatkar
7.1 Introduction
In these notes on the AdS/CFT correspondence[1] I have triedto present the material as it was covered in the lectures givenat the SERC school. The AdS/CFT correspondence (or duality)has been studied in great detail over last few years and there areseveral reviews are available in the literature. Some of the usefulreferences are [2, 3, 4]1. It is not possible to cover the entiresubject in these lecture notes, nor is it my intention to do so. Iwould, in fact, restrict myself to a simpler and modest goal ofstating the correspondence and giving some elementary methods
of doing checks on the predictions of this correspondence.I have assumed that the reader has basic knowledge of field
theory and general relativity. I have tried to keep these notesself-contained by giving simple examples, whenever needed, byborrowing them from either field theory or relativity.
I thank Ashoke Sen for teaching me the AdS/CFT correspon-dence, Charan Aulakh for explaining Kaluza-Klein formalism and
1The list of references is horribly incomplete. The reader is referred to [4]for a larger list of references.
7/28/2019 part4 kjkj
72/100
372 7. Introduction to AdS/CFT Duality
Debashis Ghoshal and Sudhakar Panda for numerous discussionson this topic. I also thank organisers of the SERC School, Kolkatafor kind hospitality.
Standard model of particle physics is a gauge theory withSU(3) SU(2) U(1) gauge group. It gives partial unificationof strong, weak and electromagnetic forces. SU(3) gauge theoryis a theory of strong interactions, also known as quantum chro-modynamics (QCD). Whereas SU(2) U(1) is a gauge theoryfor electroweak interactions. Fermionic matter in this model con-t