An Introduction to Kaluza-Klein Theory A. Garrett Lisi nd March Department of Physics, University of California San Diego, La Jolla, CA 993-39 gar@lisi.com Introduction It is the aim of Kaluza-Klein theory to explain the existence and behavior of gauge fields solely as the dynamics of gravitation. Integral to the Kaluza-Klein approach is the assumption that the spacetime manifold in which we live is not four dimensional, but rather is a higher dimensional manifold in which the higher dimensions have curled up, or compactified, to a degree that dynamics in the compactified dimensions may be understood simply as the wrapping of the four dimensional spacetime around the compactified dimensions. Manifold and Vielbein Assume that the universe is an orientable, n-dimensional, pseudo-riemannian manifold. The geometry of the manifold is completely described in any coordinate patch by a set of orthogonal unit vectors, the vielbein, frame, or tetrad, ê α = (e α ) i i () that satisfy ê α ê β = (e α ) i (e β ) j g ij = η αβ () in which i is a coordinate basis vector, roman indices are coordinate indices, g is the metric, η is the Minkowski metric, and greek indices are labels raised and lowered by η. The vielbein naturally implies a set of basis -forms, the fielbein ˆσ α = dx i (σ i ) α (3)
dual to the vielbein vectors (e α ) i (σ i ) β = δ β α () or, more compactly in matrix notation, eσ = I, where the components of e are (e α ) i. On a pseudo-riemannian manifold the -forms may be identified with vectors via the metric, i = g ij dx j = g ij j and hence ˆσ α = η αβ ê β, and often go under the name of covariant vectors. Any vector may be represented in terms of the coordinate or vielbein basis vectors v = v i i = v α ê α = (v i (σ i ) α )ê α = v i g ij dx j = v αˆσ α (5) The fielbein can be considered a factorization of the metric, since g ij = (σ i ) α η αβ (σ j ) β (6) or g = σησ T. However, the frame of orthogonal unit vectors tangent to a manifold seems a more satisfying intuitive description than the equivalent metric, and I interpret it as being more fundamental. Also note that the vielbein describes an orientation on the manifold, information absent from the metric. The metric is, however, a more compact description of the geometry, having n(n+) degrees of freedom compared to the vielbein s n. The metric is invariant under local orthonormal ( Lorentz ) transformations of the fielbein, ˆσ α L α βˆσ β (7) with L α β η αµ L µ ν = η βν ( or L T ηl = η ), which leads to the natural unique decomposition of the fielbein matrix, (σ i ) α = L +α β(γ i ) β (8) in which γ is Upper Triangular and L + is a proper Lorentz transformation, detl + >. This decomposition capitalizes on the metric invariance (7) to factor the fielbein into a gravitational part, the UT fielbein, ˆγ β, which has n(n+) degrees of freedom and gives g = σησ T = γηγ T, an UDL decomposition, and the rotational part, L +, which has n(n ) degrees of freedom. Note that this decomposition is not coordinate independent, but may always be performed anew after a coordinate transformation. 3 F The exterior derivative of the basis -forms gives a set of -forms, F α = dσ α (9) = i<j ( i (σ j ) α j (σ i ) α )dx i dx j () = β<γ α σ β σ γ ()
where the field strength α = (e β ) i (e γ ) j (F ij ) α and (F ij ) α = i (σ j ) α j (σ i ) α. The field strength first appears in the equation for a geodesic. For a parameterized curve, u i (τ), extremizing the square of the path length, dτ u i u j g ij () gives the unit geodesic equation, = v k + Γ k ijv i v j (3) where v i = u i = d dτ ui and Γ is the torsionless connection. Or, in the vielbein basis, = v α + F α (βγ)v β v γ () where v α = v i (σ i ) α, parenthesis around indices indicate symetricisation, and the greek indices are raised and lowered with η. Curvature and Gravitational Action The covariant derivative applied to tensors is D i v j = i v j + Γ j ik vk (5) The curvature scalar can be calculated from the vielbein as R = (e α ) j (D i D j D j D i )(e α ) i (6) Since the Einstein-Hilbert action is S = dx n g R (7) we may rewrite R as R = D i [(e α ) j D j (e α ) i ] D j [(e α ) j D i (e α ) i ]+[D i (e α ) i ][D j (e α ) j ] [D i (e α ) j ][D j (e α ) i ] (8) and drop the divergence terms, assuming no boundary contribution, to give us our equivalent action S = dx n σ L (9) in which we may now calculate L directly from the field strength as L = F αβγf αβγ F αβγf αγβ + F αβ β F α γ γ () Note that this gravitational Lagrangian contains no second derivatives. Note also that the use of a vielbein and field strength, F, as well as the dropping of divergence terms in the action, is not a requirement of Kaluza-Klein theory, but gives a simpler exposition. 3
5 Kaluza-Klein theory We adopt the Kaluza-Klein hypothesis that we live in a universe in which one or more spacelike dimensions have compactified, leaving an effective universe of four dimensional spacetime, S, and a collection of gauge fields. This may be imagined as our spacetime submanifold, S, embedded in a tightly wrapped, higher dimensional universe possessing symmetries ( Killing vectors ) in the wrapped directions (Figure??). For one compactified direction,, we begin by assuming a five dimensional vielbein of the form ( (e α ) i (esα ) i ) A α = ρ where (e Sα ) i are the vielbein components for the spacetime indices α, i 3 and the vielbein is assumed independent of the compactified fourth spatial coordinate. ρ may be imagined as the radius of compactification and A will be our U() gauge field. The corresponding basis -forms are ( ) (σ i ) α (σsi ) = α ρa i () ρ Giving the field strength components α< = F Sβγ α () F β = ρ βρ (3) = ρ(e Sβ ) i (e Sγ ) j ( i A j j A i ) = ρ () where we have used the abbreviation β = (e β ) i i. Integrating over the compactified dimension gives the effective action S = dx S σ S ρ(l S ρ F αβ F αβ ) (5) The ρ multiplying L S may be scaled away by multiplying the original vielbein by ρ 3 ( a Weyl scaling ) and dropping two resulting divergence terms, giving the effective action S = dx S σ S (L S ρ F αβ F αβ + 3 ρ ( i ρ)( i ρ)) (6) Assuming constant ρ produces the action for gravity and our one gauge field. We note also that the equation for a geodesic through a Kaluza-Klein universe with flat spacetime, = v α + ρv F α βv β (7) is the Lorentz force law for a charged particle moving in an electromagnetic field. The U() field strength, F = dσ, describes the curvature of S around the compactified dimension, a curvature that cannot be untwisted by coordinate
transformation. A coordinate transformation of the compactified coordinate, x x λ(x), results in the gauge transformation, A i A i + i λ, via the corresponding Lorentz transformation, and leaves F unchanged. Although it is standard practice to assume that all fields are independent of the compactified coordinate, we may choose to keep this dependency and expand the fields in a Fourier series in the compact dimension. If this is done we obtain the U() field as the zero mode as well as an infinite collection of interacting higher modes. These higher mode gauge fields may be calculated to have a large mass due to the small compactification scale and are thus usually discarded. 6 SU() We have obtained an effective U() gauge field by considering a universe with a compactified dimension admitting U() symmetry. Now we wish to obtain non-abelian SU() gauge fields. The double cover of S is a maximally symmetric solution of Einstein s equations that has SU() symmetry. We begin by confirming this SU() symmetry explicitly by obtaining the Killing vectors, then use the Killing vectors to construct our SU() gauge theory via Kaluza-Klein theory. We use polar coordinates < θ < π and < φ < π, and use the vielbein on the sphere, ( ) (e α ) i = r (8) r sin θ which implies the basis -forms and metric, ( ) ( ) (σ i ) α r r =, g r sin θ ij = r sin (9) θ The symmetries of a space are the coordinate transformations that leave the metric unchanged. The infinitesimal coordinate transformations can be written x i x i +ε a ξ a i, where ξ a are the set of Killing vector fields, each corresponding to a metric symmetry, and ε a are the parameters of the transformation. Each ξ represents a flow that leaves the space unchanged, and hence each must be a solution to Killing s equation, = [L ξ g] ij = ξ k k g ij + g kj i ξ k + g ik j ξ k (3) For our S metric, this equation gives = r θ ξ (3) = r sin θ θ ξ + r φ ξ (3) = r sin θ cosθξ + r sin θ φ ξ (33) which admit three Killing vectors as solutions, ( ) ( ξ i sinφ x =, ξ i cosφ cosφcotθ y = sinφcotθ ) (, ξ i z = ) (3) 5
corresponding to rotations about the x, y and z axes. These vectors satisfy the commutation relations corresponding to the SU() Lie algebra, Or, in components, [ ξ a, ξ b ] = L ξa ξb = ɛ abc ξc (35) [ ξ a, ξ b ] i = ξ a k k ξ b i ξ b k k ξ a i = ɛ abc ξ c i (36) The vectors also satisfy the normalization relation, π π dθdφr sin θ < ξ a, ξ b > = 8πr 3 r δ ab (37) Now we construct the Kaluza-Klein space for SU() as we did for U() by starting with the vielbein, (e Sα ) i ξ (e α ) i a Aa α ξa Aa α = r (38) r sin θ where A a will be our three SU() gauge fields corresponding to the three Killing vectors of the compactified space. The corresponding basis -forms are (σ i ) α = (σ Si) α rξaa a i r sin θξaa a i r (39) r sinθ Giving the field strength components α< = F Sβγ α () 5 F 5 F β F β5 5 = cotθ r () = F 5 β5 = r βr () = F 5 β = sec θξaa a β (3) = rξc c () = r sin θξc c (5) where we have used the Killing vector commutation relations to obtain the SU() field strength, Fβγ c = (e Sβ) i (e Sγ ) j ( i A c j ja c i ɛ abca a ) i Ab j (6) We sum the field strength components to obtain the action, π π S = dx S σ S dθdφr sin θ(l S < ξ a, ξ b > Fβγ a F bβγ + r ( ir)( i r)) (7) 6
and complete the integral over the compactified space, using the Killing vector normalization relation, to obtain the effective action, S = dx S σ S 8πr (L S 3 r Fβγ c F cβγ + r ( ir)( i r)) (8) which, after another Weyl scaling, we identify as the non-abelian SU() action. A similar calculation for the manifold CP produces the gauge fields of SU(3). ρ γ γ S α γ α S 7