04.06.2013 Views

Gravity and Strings

Gravity and Strings

Gravity and Strings

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

292 The Kaluza–Klein black hole<br />

Spacetime symmetries are associated with the graviton. It is, thus, natural to start by<br />

studying the classical <strong>and</strong> quantum kinematics of a free massless particle representing a<br />

graviton in flat five-dimensional spacetime with a compact fifth dimension of length equal<br />

to 2π Rz <strong>and</strong> parametrized by the periodic coordinate x 4 = z which takes values in [0, 2πℓ],<br />

z ∼ z + 2πℓ, (11.1)<br />

that can be seen as the vacuum of the full KK theory just as Minkowski spacetime is the<br />

vacuum of GR. ℓ is some fundamental length unit (the Planck length ℓPlanck, instring theory<br />

the string length ℓs = √ α ′ etc.) Rz is a fundamental datum defining our KK vacuum<br />

spacetime <strong>and</strong> is the simplest example of a modulus. The choice of vacuum in KK theory<br />

is, however, arbitrary <strong>and</strong> one of the main objections to KK theories is that no dynamical<br />

mechanisms explaining why one dimension is compact <strong>and</strong> has the size indicated by the<br />

modulus are provided. This is generically known as the moduli problem.<br />

The five-dimensional metric of this spacetime is, then, in these coordinates 2<br />

d ˆs 2 = ηµνdx µ dx ν − (Rz/ℓ) 2 dz 2 . (11.2)<br />

We can already see that the assumption that the fifth dimension is compact has an immediate<br />

<strong>and</strong> important consequence: five-dimensional Poincaré invariance of the KK vacuum<br />

is spontaneously broken,<br />

ISO(1, 4) → ISO(1, 3) × U(1).<br />

The five-dimensional Lorentz transformations that mix the compact <strong>and</strong> non-compact<br />

dimensions are not symmetries of the metric (they leave it formally invariant if we set<br />

ℓ = Rz but they change the periodicity properties of the coordinates). Amongst the fivedimensional<br />

Poincaré transformations that do not mix compact <strong>and</strong> non-compact coordinates,<br />

clearly Poincaré transformations in the four non-compact dimensions are a symmetry<br />

of the theory <strong>and</strong> constant shifts in the internal coordinate z are also a U(1) symmetry of<br />

the theory. These are the symmetries of the KK vacuum.<br />

The rescalings of the compact coordinate rescale ℓ, butnot Rz, unless we choose to ignore<br />

the rescaling of the period of z, which is the point of view that is usually adopted. In<br />

this case, the rescalings are not a symmetry of the theory because they change the modulus<br />

Rz which is part of our definition of the (vacuum of the) theory. This is a duality transformation<br />

that takes us from one theory to another one (albeit of the same class).<br />

We assume that the kinematics in the fifth dimension are the most straightforward generalization<br />

of the four-dimensional ones. 3 Thus, we assume that a free, massless particle<br />

2 Usually in the literature ℓ = Rz. Weprefer this parametrization which emphasizes the distinction between<br />

Rz, which is a physical parameter, <strong>and</strong> ℓ, the range of z which is unphysical. One could also normalize<br />

ℓ = 1/(2π) but coordinates have dimensions of length <strong>and</strong> it is useful to keep their dependence on ℓ. In<br />

some cases it is easier to take ℓ = Rz <strong>and</strong> we will do so by indicating it explicitly.<br />

3 It is always implicitly assumed that fundamental constants such as the speed of light c <strong>and</strong> Planck constant h<br />

have the same value in the five-dimensional world <strong>and</strong> the extra dimension is always taken to be space-like.<br />

These assumptions are completely ad hoc <strong>and</strong> should be taken as minimal assumptions, although it is known<br />

that extra timelike dimensions give fields with kinetic terms with the wrong sign in lower dimensions <strong>and</strong><br />

this justifies the assumption.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!