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

Supersymmetry. Theory, Experiment, and Cosmology

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

Phenomenological aspects of superstring models 289

(a)

 

(b)

 

(c)

 

 

1

 

 

 

1

 

 

1

2

 

 

 

 

4

 

 

 

 

 

 

 

2

4

2

 

 

 

 

5

3

 

 

 

 

 

 

 

 

 

 

 

3

 

 

3

 

(d)

6

5

 

 

 

1

2

 

2

1

3

4

Fig. 10.11 Examples of triangulation: (a) circle S1; (b) disk D2; (c) sphere S2; (d) M¨obius band.

We start with the weakly coupled heterotic string. The 10-dimensional e ective supergravity action includes the following terms which all appear at closed string tree level (hence the overall dependence in e2φ in the string frame):

 

 

d10x

 

 

 

1

 

 

 

 

 

 

 

 

1

 

. (10.93)

 

 

 

 

 

 

 

 

S =

 

 

"|g|e2φ

 

 

 

 

 

R(10) + 4µφ∂µφ +

1

 

 

 

 

TrF 2 + · · ·

 

(2π)7

(α )4

(α )3

4

Once one compactifies on a six-dimensional manifold of volume V6, one obtains

 

 

 

 

 

d4x

 

 

 

 

 

 

 

 

 

V

 

 

V

1

 

 

 

 

 

 

S =

 

"|g|

 

 

 

 

 

 

 

 

 

6

e2φR(4) +

 

6

e2φ

 

TrF 2 + · · ·

,

 

(2π)7

(α )4

(α )3

4

 

"

 

 

 

1

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= − d4x

|g|

 

mP2 R(4) +

 

TrF 2 + · · · ,

(10.94)

 

 

2

16παU

from which we read the four-dimensional Planck scale as well as the value of the gauge coupling αU at the string scale. Introducing the string scale MH ≡ α1/2 (the subscript H for heterotic) and the compactification scale MC ≡ V61/6, we obtain an expression for the string scale and the string coupling λH :

2

2

 

φ

 

αU2 mP3

 

MH

= 2παU mP

,

λH = e

=

 

 

 

.

(10.95)

2π3/2

MC3

290 An overview of string theory and string models

This shows that the string scale is of the order of the Planck scale (taking for αU the value at unification: 1/24). Moreover, if the compact manifold is isotropic, MC represents, to a first approximation, the scale where the theory becomes truly unified and is thus interpreted as the gauge coupling unification scale MU . It is clear in this context that (10.95) implies a large string scale MH .

We next turn to the strongly coupled SO(32) heterotic string which is equivalent to the weakly coupled type I open string. We now note the string scale MI = (α )1/2 and the string coupling λI . The e ective supergravity action reads

S =

d10x

 

 

 

1

 

 

dp+1x

 

 

 

1

1

 

 

"|g|e2φ

R(10)

"|g|e−φ

TrF(2p)

+ · · · ,

(2π)7

(α )4

(2π)p−2

(α )(p−3)/2

 

4

(10.96) where the gauge symmetry arises from p-branes (p = 3, 5, 7 or 9) [312]: the dilaton dependence is e−φ because the gauge term corresponds to an open string tree level amplitude (disk of Fig. 10.10c). One obtains after compactification

 

d4x

 

 

 

 

 

 

 

 

 

V

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

V

 

 

1

 

 

 

S =

 

 

|g| e

2φ

6

 

 

 

(4)

 

 

φ

 

 

 

9

 

 

 

p

 

p−3

 

TrF

2

 

 

 

 

 

 

 

 

R

 

 

+ e

 

(2π)

 

 

 

 

 

 

 

+ · · · .

(2π)7

(α )4

 

 

 

 

 

(α )(p−3)/2

4

 

 

 

 

 

"

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(10.97)

Writing V6 = MC6 and Vp−3 = MC(p−3), we obtain

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

MCp−6

1/(p−7)

 

 

 

λI =

 

 

 

π2

 

 

 

 

 

MC

 

p−3

 

1/(p−7)

 

MI = 2π

π

 

 

 

 

 

 

 

 

 

. (10.98)

 

 

,

 

 

4π

 

 

 

 

 

 

αU

 

 

mP

 

 

 

 

 

 

 

αU4

 

 

mP

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

We infer

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

MI

 

 

 

 

 

 

 

3

 

p

 

 

6

 

1/(p

 

 

3)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

π 8αU

λI

 

 

 

 

 

 

.

 

 

 

 

 

 

 

(10.99)

 

 

 

 

 

 

 

 

 

 

mP

 

 

 

 

 

 

 

 

 

 

 

 

 

Thus, at least for p = 9 or 7, the string scale can be as low as the type I string coupling λI can be taken small. In the case of 9-branes, whose world-volume fills the 10-dimensional spacetime, we simply have MI = mP (2παU λI )1/2.

Finally, we may write the e ective 11-dimensional Hoˇrava–Witten [227, 228] supergravity action for M-theory compactified on the orbifold S1/Z2 or line segment

[0, πR(11) ]

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

d11x

 

 

 

 

2

3

1/3

 

d10x

 

 

 

 

 

 

 

 

=

 

 

 

"

 

M 9

R(11)

 

 

 

 

 

 

"

 

 

 

M 6

TrF 2 +

 

 

 

 

 

g

 

 

 

 

 

g

 

 

 

S

M11

(2π)8

 

i=1 2

 

 

 

 

|

· · ·

 

| |

M

 

 

Mi10 (2π)7 |

M

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(10.100)

Phenomenological aspects of superstring models 291

where M10i , i = 1, 2, are the two boundaries of spacetime located at the two ends of the line segment, 0 and πR(11) , and we have introduced the fundamental scale MM (2κ211 (2π)8/MM9 ). We obtain, after compactification on a six-dimensional manifold,

 

 

= π

 

 

2

1/18 MC

 

 

 

4

 

α3/2

mP2

.

 

 

 

 

 

 

 

=

3

(10.101)

M

 

2

, πR

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

αU1/6

 

π

 

 

M

 

 

 

(11)

 

U

MC3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Clearly then, the M -theory scale is of the order of the gauge coupling unification scale

MU MC .

10.4.2Dilaton and moduli fields

Our discussion of mass scales shows the pre-eminent rˆole played by fundamental scalar fields in string theory: the dilaton fixes the string coupling, other fields determine the radii and shape of the compact manifold (hence its volume V ). More generally, because there is only one fundamental scale, all other scales are fixed in terms of it by vacuum expectation values of scalar fields. In many instances such as the ones listed above, the scalar field corresponds to a flat direction of the scalar potential. We have already stressed the importance of flat directions in supersymmetric theories. We have seen that such fields are called moduli: contrary to the case of Goldstone bosons, di erent values of the moduli fields lead to di erent physical situations. For example, di erent values of the dilaton lead to di erent values of the gauge coupling, hence possibly di erent regimes of the gauge interaction.

Before we explain why dilaton and radii correspond to flat directions, we have to show how these real scalar fields fit into supersymmetric multiplets. The antisymmetric tensor bM N which is present among the massless modes of the closed string plays a crucial rˆole to provide the missing bosonic degrees of freedom (remember for example that the scalar component of a chiral supermultiplet is complex).

For example, to form the complex modulus field T , the radius-squared R2 of the compact manifold is paired up with an imaginary part which is related to the antisymmetric tensor field bkl (with k and l six-dimensional compact indices; hence the corresponding components are four-dimensional scalars). Similar interpretations apply to the other radii moduli, known as K¨ahler moduli. The gauge invariance of the antisymmetric tensor (δbM N = M ΛN − ∂N ΛM ) induces a Peccei–Quinn symmetry for Im T (Im T → Im T + constant) which has only derivative couplings, just like the axion. Hence the superpotential cannot depend on Im T , and being analytic in the fields, cannot depend on T as a whole [377].

Through supersymmetry, the string dilaton φ is related to the antisymmetric tensor bµν (this time with four-dimensional indices). Together with a Majorana fermion, the dilatino, they form what is known as a linear supermultiplet L, which is real. The superpotential, being analytic in the fields, cannot depend on L. This is related again to the gauge invariance associated with the antisymmetric tensor. This in turn ensures that the superpotential cannot depend on φ.

The latter result may be interpreted from the point of view of standard nonrenormalization theorems [117, 283]. Indeed, since eφ is the string coupling, it ensures that the superpotential is not renormalized, to all orders of string perturbation theory.

292 An overview of string theory and string models

Before we proceed, let us be more explicit on the way the string dilaton and the T modulus appear in four dimensions. We work here in the string frame and the corresponding fundamental mass scale is the string scale MS . In order to introduce the degree of freedom associated with the overall size of the compact manifold, we introduce the “breathing mode” eσ through the compact space part of the metric:

g

kl

(x, y) = e2σ(x)g(0)(y), k, l = 4, . . . , 9,

d6y

g(0)

|

= M 6.

(10.102)

 

kl

 

|

 

 

 

 

S

 

 

 

 

 

Thus the volume of the 6-dimensional compact manifold is V

 

 

 

 

6

 

 

 

6

 

6σ

 

6

=

d

y"|g| = MS

e

 

and e2σ measures R2 in string units.

 

 

 

 

 

If we consider specifically the weakly coupled heterotic string, then the terms

in (10.93) give, after compactification13,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

S = d4x |g(4)|

e2φ+6σ

MS2

−R(4) + 12Dµµσ + 42µσ∂µσ − 4µσ∂µφ

 

(2π)7

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

TrF µν Fµν .

 

 

 

 

 

 

 

(10.104)

 

 

 

 

 

 

 

 

 

4

 

 

 

 

 

 

 

In terms of the real fields

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

e2φ+6σ,

t =

 

1

 

e2σ ,

 

 

 

(10.105)

 

 

 

 

 

s =

 

 

 

 

 

 

 

 

 

 

(2π)7

(2π)7

 

 

 

the action reads, after integrating by parts,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3 µt∂µt

 

µs∂µs

 

1

 

 

S = d4x |g(4)| s MS2

−R(4)

 

 

 

TrF µν Fµν

. (10.106)

+

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

t2

 

s2

 

 

4

We conclude that

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

m2 = 2

s

M

2,

g2 =

s

.

 

 

 

 

(10.107)

 

 

 

 

 

 

 

P

 

 

 

 

S

 

 

 

 

 

 

 

 

 

 

 

The couplings of the s field are reminiscent of the Wess–Zumino terms which restore scale invariance through a dilaton field (see (A.268) of Appendix Appendix A).

13We use the following useful formula which is a generalization of

d+N )-dimensional theory with metric gM(DN) and scalar curvature R(D) Then writing

(10.34): we start with a (D = and compactify N coordinates.

 

gµν(D) = e(xµ)gµν(d),

µ, ν = 1, . . . , d,

 

 

 

gkl(D) = −e(xµ)δkl, k, l = d + 1, . . . , d + N = D,

 

 

which defines the d-dimensional metric gµν(d) (scalar curvature R(d)), we have

 

 

 

 

a2

N ab

b2

eR(D)

= R(d)[a(d − 1) + bN ] Dµµσ−

 

(d − 1)(d − 2) +

 

(d − 2) +

 

N (N + 1) µσ∂µσ.

4

2

4

 

 

 

 

 

 

(10.103)

Phenomenological aspects of superstring models 293

The sign of the kinetic term for s is not a problem because s is coupled to the spacetime curvature in the string frame metric gµν(4). If we go to the Einstein frame by performing a Weyl transformation on the four-dimensional metric:

 

 

 

 

 

 

(4)

1 mP2

 

 

(10.108)

 

 

 

 

 

 

gµν

 

 

 

 

 

 

gµν ,

 

 

 

 

 

 

 

 

2s

MS2

 

 

the action takes the standard form

 

 

 

 

 

 

 

 

 

 

 

 

 

"

 

 

1

 

1 µs∂µs

3 µt∂µt

 

1

s TrF µν Fµν . (10.109)

S =

d4x |g| −

mP2 R +

 

 

 

 

 

 

 

+

 

 

 

 

2

4

 

s2

 

4

t2

4

The fields s and t (10.89)) with K¨ahler

appear to be the real parts of complex scalar fields S and T (see potential

K(S, T ) = ln S + S3 ln T + T .

(10.110)

One readily checks that the corresponding kinetic terms (see (6.19) of Chapter 6) yield the kinetic terms for s and t just found.

The Lagrangian (10.109) is invariant under the group SL(2, Z) of modular transformations

T

aT − ib

,

ad

bc = 1, a, b, c, d

 

Z,

(10.111)

 

icT + d

 

 

 

 

among which we recognize T -duality (T

1/T )14. Indeed, such a transformation

corresponds to a K¨ahler transformation for K:

 

 

 

 

 

 

¯

 

F = 3 ln (icT + d) .

 

(10.112)

 

K → K + F + F ,

 

Chiral supermultiplets describing matter may be added: as we have seen earlier, they arise from the components of the 10-dimensional gauge supermultiplet with compact space indices. In the simplest compactification scheme [375], the K¨ahler potential is then generalized into

!

K(S, T ) = ln S + S3 ln T + T ΦiΦi† , (10.113)

i

where Φi are the matter fields. The modular transformations (10.111) must thus be complemented by

Φi

Φi

(10.114)

 

.

icT + d

Their interactions are described through the cubic superpotential

 

W = dijkΦiΦj Φk.

(10.115)

[We recognize in the structure thus unravelled the no-scale supergravity discussed in Section 6.12 of Chapter 6.]

14[The S field does not transform under T -duality because of the transformation law of the string dilaton (cf. (10.45)).]

294 An overview of string theory and string models

The antisymmetric tensor field

We have seen in Section 10.1 that an antisymmetric tensor bM N = −bN M is present among the massless modes of the closed string. There is a gauge invariance associated with such a tensor, namely

δbM N = M ΛN − ∂N ΛM .

(10.116)

The gauge invariant field strength correspondingly reads

 

hM N P = M bN P + N bP M + P bM N ,

(10.117)

and the Lagrangian is simply (compare with a Yang–Mills field)

 

1

 

 

L =

 

hMNP hM N P .

(10.118)

4

An antisymmetric tensor in D dimensions corresponds to (D − 2)(D − 3)/2 degrees of freedoma. If we restrict our attention to four dimensions, this gives a single degree of freedom. Indeed, an antisymmetric tensor field is equivalent on-shell to a pseudoscalar field.

In order to prove this equivalence, we start with the generalized action

S =

d4x

1

1

θ µνρσµhνρσ ,

(10.119)

 

hµνρhµνρ

 

4

12

where hµνρ is a general 3-index antisymmetric tensor and θ(x) a real scalar. This field θ plays the rˆole of a Lagrange multiplier: its equation of motion simply yields µνρσµhνρσ = 0 which is the Bianchi identity, i.e. the necessary condition for hµνρ to be considered as the field strength of a 2-index antisymmetric tensor (cf. (10.117)).

Alternatively, we may minimize with respect to hµνρ. This is easier to do after having performed an integration by parts on the second term. One obtains the Hodge duality relation

1

 

 

hµνρ = 3

µνρσσ θ,

(10.120)

which establishes the equivalence. After replacement, the action (10.119) is simply the action of a free real scalar field.

aWe first recall the counting for a vector field. Out of the D components AM , 1 is fixed by the gauge condition M AM = 0; we are left with the residual symmetry AM → AM − ∂M Λ with Λ = 0 which corresponds to one degree of freedom (just as a massless scalar field). Hence we find D − 1 1 = D − 2 degrees of freedom.

For the tensor

M

 

 

 

M

 

 

N

bM N , which has D(D

 

1)/2 components, we fix D

 

1 of them by the

gauge condition

 

bM N = 0 (note that the vector t

N

 

M

 

 

 

 

 

∂ bM N is transverse: ∂ tN = 0);

we are left with a residual symmetry (10.116) which satisfies

 

(M ΛN − ∂N ΛM ) = 0 i.e.

the equation of motion of a massless vector field. Hence D(D − 1)/2 (D − 1) (D − 2) = (D − 2)(D − 3)/2.

Phenomenological aspects of superstring models 295

This equivalence is generalized to the corresponding supermultiplets: a linear supermultiplet is equivalent on-shell to a chiral supermultiplet. For example the linear supermultiplet with bosonic components s and bµν is equivalent to a chiral supermultiplet with scalar field S (see Section C.4 of Appendix C).

In the case of the heterotic string, it turns out that the antisymmetric tensor transforms nontrivially under Yang–Mills gauge transformations:

 

 

 

 

 

κ

 

 

 

 

 

 

 

 

 

δbM N =

 

Tr (αFM N ) ,

(10.121)

 

 

2

if δA

M = −∂M α. We

may introduce the 3-index antisymmetric tensor, called

 

a

 

 

 

 

 

 

 

 

 

 

 

 

the Chern–Simons 3-form

 

 

 

 

 

 

 

 

 

 

 

 

 

ωM N P = Tr A[M N AP ]

2

 

 

 

 

 

+

 

 

gA[M AN AP ]

(10.122)

 

3

which satisfies

 

 

 

 

 

 

 

 

 

 

 

 

 

[M ωN P Q] = Tr F[M N FP Q] , δωM N P = [M Tr α∂N AP ] .

(10.123)

The gauge invariant field strength of the antisymmetric tensor is then

 

 

 

ˆ

3[M bN P ]

 

κ

 

(10.124)

 

 

hM N P

 

 

 

 

 

2

 

 

 

 

 

ωM N P .

This extra term plays a central rˆole in the cancellation of gauge anomalies in 10 dimensions. Indeed, the hexagonal diagram of Fig. 10.12a, which is responsible of the anomaly in 10 dimensions (just as a triangular diagram is responsible of the anomaly in four dimensions, see Section A.6 of Appendix Appendix A), is cancelled by the diagram of Fig. 10.12b which represents the tree level exchange of a bMN field. The vertex on the left-hand side originates from the kinetic

ˆM N P ˆ

[M

N P ]

A[M N AP ]. The vertex on

term h

hM N P which includes a term

b

 

the right-hand side is associated with the counterterm introduced by [205]

SGS = d10x M1···M10 bM1M2 Tr (FM3M4 FM5M6 FM7M8 FM9M10 ) . (10.125)

We note that the gauge completion of the 3-index field strength in (10.124) induces, after a Hodge duality transformation, a coupling of the pseudoscalar

 

 

 

 

 

 

 

 

 

ˆM N P ˆ

field θ to the gauge fields. More precisely, the kinetic term h

hMNP /4

induces in four dimensions

 

 

 

 

 

 

 

 

κ

[µbνρ] Tr A[µν Aρ]

2

 

 

 

 

2

 

 

 

gA[µAν Aρ]

 

3

 

2

 

=

 

κ

µνρσσ θ Tr A[µν Aρ]

 

 

 

2

 

 

2

 

 

gA[µAν Aρ]

 

3

 

6

 

aFor N indices between brackets, we average (factor 1/N !) the sum of the terms obtained by permutations of the N indices, with ±1 for even or odd perturbations.

296 An overview of string theory and string models

=

κ

θ TrF µν F˜µν .

(10.126)

26

This is a Wess–Zumino term of the type encountered in anomaly cancellation

mechanisms. Since this is reminiscent of the way the axion field couples to

"

the gauge fields, the field a ≡ 2/3θ is called the string axion. The S field introduced earlier is S = s + ia and the action term (10.126) is simply a supersymmetric completion of the last term in (10.109).

(a)

(b)

bµν

Fig. 10.12 Hexagonal anomaly diagram (a) and antisymmetric tensor field exchange tree diagram (b).

In realistic compactifications, the situation is of course more involved than the one that we have presented. Let us illustrate this on the example of Calabi–Yau compactification. Matter fields appear in representations 27 and 27 of gauge group E6. As can be checked from Tables 10.3 and 10.4, there are as many T fields, i.e. radius or K¨ahler moduli, as there are 27 representations (their number is given by the Hodge number

h1,1).

There exists another class of moduli (noted U (i) in Table 10.4) which describes the complex structure of the compact manifold. Let us illustrate the di erence on the example of a torus. We may represent a torus in the complex plane by the square of unit length (0, 1, i, 1 + i) with opposite sides identified. Changing the radius of this torus amounts to multiply all its dimensions by a factor λ. On the other hand, the case where only the imaginary direction is dilated cannot be described in the complex plane by a holomorphic transformation z → λz: it corresponds to a change in the complex structure of the torus. In Calabi–Yau compactification, there are as many complex structure moduli as there are 27 (h2,1).

[One may show in this context that the same holomorphic function determines the superpotential of the matter fields and the K¨ahler potential of the moduli15. More

15Such a relation between superpotential and K¨ahler potential is reminiscent of a N = 2 supersymmetry which lies in the background of this type of compactification.

Phenomenological aspects of superstring models 297

explicitly, both the K¨ahler potential for the T fields and the superpotential W for the

¯

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

27 are fixed by the same function F1(T ):

 

 

 

 

matter fields Φ in

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

¯

¯ m ¯ n

 

 

 

 

K1(T ) = ln Y1, W =

 

3

∂ ∂mnF1Φ Φ Φ

,

 

 

 

 

 

 

h1,1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+

 

¯

 

 

+ T

2

+

¯

(10.127)

 

Y

1

=

 

F1

 

 

T

F1

.

 

 

 

=1

 

 

 

F1

 

 

 

 

 

F1

 

 

Note that for h

1,1

=

1 and

F1

= λT

3

, one recovers the expressions found above in

 

16

 

 

(10.110) and (10.115) .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A similar expression exists between the K¨ahler potential K2(U ) for the U moduli and the superpotential for the matter fields in 27. Finally, the normalization of the kinetic terms for the matter fields can be expressed in terms of K1(T ) and K2(U ).]

10.4.3Symmetries

One remarkable property of string theories is the absence of continuous global symmetries: any continuous symmetry must be a gauge symmetry. This is certainly a welcome property for a theory of gravity since it is believed that quantum gravity e ects (wormholes) tend to break any kind of global symmetry (continuous or discrete) [263]. The underlying reason for this property is that there exists a deep connection between global symmetries on the world-sheet and local symmetries in spacetime17.

Discrete symmetries may also be viewed in string theory as local, in the sense that, at certain points of moduli space, they give rise to full blown local gauge theories. In other words they may be seen as resulting from the breakdown of continuous local theories as the field measuring the departure from the point of enhanced symmetry becomes nonvanishing. Such symmetries play an important rˆole in taking care of the dangerous baryon and lepton violating interactions discussed in Section 5.4 of Chapter 5. They may be of the general matter parity type, i.e. ZN , N > 2, and could be R-symmetries [232].

Returning to continuous gauge symmetries, we may find a grand unified gauge group but the use of Wilson lines could also break it directly to a product of simple groups, in which case there is no grand unified symmetry but just partial unification. As we will see in the next section, there remains usually a unification of the gauge couplings.

Let us illustrate this on the example of the E6 gauge symmetry obtained by Calabi–Yau compactification of the heterotic string theory. We assume, as in Section 10.2.3 (you may have interest to browse through the box “Topological gauge symmetry breaking”), that the compact manifold is of the form K = K0/G with K0 simply connected and G a finite group of order n. Then, a Wilson line corresponds

a

a

 

 

 

 

 

to a nontrivial pure gauge configuration such that U (γ) =

exp i

γ

AkaT adyk = 1 for

a noncontractible loop γ. Since Ak = AkT

 

is in the adjoint

representation of the

 

 

 

 

algebra E6, U (γ) is in the adjoint representation of the group E6

. The situation is

16In this case, the index runs over the component of the single 27.

17Using complex variables z and z¯ to parametrize the world-sheet, we see that a world-sheet Noether current jz allows us to construct a spacetime operator jz z Xµ which may be associated with a massless gauge field.

298 An overview of string theory and string models

therefore very similar to the case of a Higgs field φ in the adjoint representation of

the gauge group (U e) with a nonzero vacuum expectation value18. Indeed, in

=

much the same way, E6 is broken to the gauge group that commutes with U . This is sometimes called the Hosotani mechanism [226].

Gauge symmetry is broken to the gauge group that commutes with U . Since we want the residual symmetry to contain at least SU (3)c ×SU (2)L ×U (1)Y , this imposes constraints on the form of U .

To derive them, it is easier to consider the SU (3)c × SU (3)L × SU (3)R subgroup of E6 considered in Section 9.5 of Chapter 9 and to write U as

U = Uc UL UR

(10.128)

where Uc,L,R are 3 × 3 matrices, elements of the gauge groups SU (3)c,L,R. To fully fix our notation, we have to say which SU (2) subgroup of SU (3) is SU (2)L. We will therefore suppose that the t3L element of the algebra SU (2)L is

tL3

 

1

 

1

1

 

 

 

=

 

(10.129)

 

 

0

2

 

 

 

.

Now, from the fact that all the generators of SU (3)c × SU (2)L commute with U , one easily infers that

 

η

 

 

β2

 

(10.130)

Uc = η η

 

,

UL = β β

 

 

where det Uc = η3 = 1. For simplicity we will take in the following η = 1.

The case of U (1)Y

is a little less straightforward. Remember that y = 1/3, 4/3,

2/3 for (u, d)L , uR

and dR

respectively. This means that the (algebra) generator

corresponding to y reads

 

 

L

 

 

 

 

2/3 R

 

[Y ] = (0)c

 

1/3

2/3

4/3

2/3

(10.131)

 

 

1/3

 

 

 

.

But any matrix that commutes with [Y ] will commute with the two matrices (notation follows from Section 9.5 of Chapter 9):

[YL] = (0)c

 

1/3

1/3

2/3

L

 

(0)R,

 

 

 

 

 

 

[QR] = (0)c

 

(0)L

 

 

1/3

1/3

R

(10.132)

 

 

 

 

2/3

 

 

.

Therefore the gauge symmetry is broken by topological breaking at most to SU (3)c × SU (2)L × U (1)YL × U (1)QR . One combination of the two U (1) charges yields the weak hypercharge y = yL + 2qR; the orthogonal combination is yη = qR 2yL.

18Except that, since [U (γ)]n = 1, the eigenvalues of U are quantized.