Parallel transport and geodesics February 4, 3 Parallel transport Before defining a general notion of curvature for an arbitrary space, we need to know how to compare vectors at different positions on a manifold. Parallel transport provides a way to compare a vector in one tangent plane to a vector in another, by moving the vector along a curve without changing it. Suppose we have a curve with unit tangent t in flat space and Cartesian coordinates. Then to move a vector v along this curve without changing it simply means holding the components constant. At any point λ along the curve, we may find the transported components by solving or, in components, t v = t i i v j = Since the connection vanishes in Cartesian coordinates, this is the same as writing t i D i v j = but this expression now holds in any coordinates. The same argument holds in a curved space because close enough to any point we may find Cartesian coordinates, transport infinitesimally, then change coordinates to Cartesian again. At each point, the Cartesian expression may be written covariantly, but the covariant expression is the same at every point of the curve regardless of coordinates. We therefore define parallel transport of a vector v α along a curve with tangent u α λ = α to be the solution vα λ to the equation u α D α v β = A curve is called autoparallel if it is transported along its own direction, v α D α v β = Notice that parallel transport preserves the length of the vector because u α D α v = u α D α g µν v µ v ν = u α D α g µν v µ v ν + g µν D α v µ v ν + g µν v µ D α v ν = g µν u α D α v µ v ν + g µν v µ u α D α v ν = Example: parallel transport on the -sphere Consider the parallel transport of a vector around a θ = θ curve on the -sphere. The curve itself may parameterized using ϕ as x i = θ, ϕ, with tangent, t i =,. The length of this tangent vector is given
by so the unit tangent is l = g ij t i t j u i = = R sin θ R, At ϕ =, let v i = v θ, v ϕ, and solve the parallel transport equation for v i ϕ,. The metric = u i D i v j = D ϕ v j R = ϕ v j + v k Γ j kϕ Since the metric is given by the line element, ds = R dθ + sin θdϕ, we have, in matrix components, R g ij = R sin θ with inverse g ij = R R sin θ There are intrinsic ways to get this metric. One approach is to specify the symmetries we require three independent rotations. There are techniques for finding the most general metric with given symmetry, so we can derive this form directly. Alternatively, we could ask for -dim spaces of constant curvature. Computing the metric for a general -geometry, then imposing constant curvature gives a set of differential equations that will lead to this form.. The connection Since the only non-constant component of the metric tensor is g ϕϕ, there are only three nonvanishing connection components,.3 Parallel transport The parallel transport equation becomes Γ θ ϕϕ = gθθ g θϕ,ϕ + g θϕ,ϕ g ϕϕ,θ = R R sin θ,θ = cos θ Γ ϕ θϕ = Γϕ ϕθ = gϕϕ g ϕϕ,θ + g ϕθ,ϕ g θϕ,ϕ = R R sin sin θ,θ θ = cos θ = ϕ v j + v k Γ j kϕ = ϕ v j + v θ Γ j θϕ + vϕ Γ j ϕϕ
There are two components to check. For j = θ we have For j = ϕ, = ϕ v θ + v ϕ Γ θ ϕϕ = vθ ϕ vϕ cos θ Therefore, we need to solve the coupled equations, = ϕ v ϕ + v θ Γ ϕ θϕ = vϕ ϕ + vθ cos θ = vθ ϕ vϕ cos θ = vϕ ϕ + vθ cos θ Taking a second derivative of the first equation and substituting the second, = v θ ϕ vϕ ϕ cos θ = v θ ϕ + vθ cos θ cos θ = v θ ϕ + vθ cos θ Similarly, differentiating the second equation and substituting the first we have = v ϕ ϕ + vθ cos θ ϕ = v ϕ ϕ + vϕ cos θ cos θ = v ϕ ϕ + vϕ cos θ Each of these is just the equation for sinusoidal oscillation, so we may immediately write the solution, with the frequency α given by v θ ϕ = A cos αϕ + B sin αϕ v ϕ ϕ = C cos αϕ + D sin αϕ α = cos θ Starting the curve at ϕ =, it will close at ϕ = π. Then for v α we have the initial condition v α = v, θ v ϕ, and from the original differential equations we must have v θ ϕ = v ϕ cos θ ϕ= v ϕ ϕ = v θ cos θ ϕ= 3
These conditions determine the constants A, B, C, D to be v θ ϕ = v θ cos αϕ + vϕ cos θ sin αϕ α = v θ cos αϕ + v ϕ sin αϕ v ϕ ϕ = v ϕ cos αϕ vθ sin αϕ This gives the form of the transported vector at any point around the circle, v θ ϕ = v θ cos ϕ cos θ + v ϕ sin ϕ cos θ v ϕ ϕ = v ϕ cos ϕ cos θ vθ sin ϕ cos θ Look at the inner product of v with the tangent vector at the same point, u = R,, u v = g ϕϕ t ϕ v ϕ cos ϕ cos θ vθ sin ϕ cos θ = R v ϕ cos ϕ cos θ vθ sin ϕ cos θ If the circle is at the equator, θ = π, then = v ϕ R cos ϕ cos θ v θ R sin ϕ cos θ u v = v ϕ R is constant. On the other hand, near the pole, θ, u v = v ϕ Rθ cos ϕ v θ R sin ϕ and the transported vector rotates almost completely around the tangent. 3 Geodesics Consider a curve, x α λ in an arbitrary possibly curved spacetime, with the proper interval given by Then the 4-velocity along the curve is given by = g αβ u α = α and in an arbitrary parameterization, the tangent is t α = α. Then proper time or length along the curve is given by integrating τ = = g αβ g αβ 4
A curve of extremal proper length is called a geodesic. We may find an equation for geodesics by finding the equation for the extrema of τ, = δτ = δ = = = + + g αβ g α αβ g α αβ d d g α αβ δ g α αβ δg αβ g α αβ g α αβ g αβ,µ + g dδx α αβ + g αβ δx µ g αβ δx α g αβ δx β Now choose the parameter λ to be proper time length so that Then we have = = = = = g αβ,µ g αβ δx µ + d g αβ = g αβ = c = δx α + d g αβ gαβ,µu α u β δx µ + d gαβ u β δx α + d g αβu α δx β gαβ,µu α u β δx µ + g αβ,ν ν uβ + g αβ gαβ,µu α u β + g µβ,ν u ν u β + g µβ + g αµ,ν u ν u α du α + g αµ g µβ,ν u ν u β + g αµ,ν u ν u α g αβ,µ u α u β + g µβ δx β dδx β δx α + g ν du α αβ,ν uα + g αβ δx β + g αµ du α δx µ δx µ The equation for the geodesic is therefore = g µβ,ν u ν u β + g αµ,ν u ν u α g αβ,µ u α u β + g µβ + g du α αµ 5
But this is just = g µβ,α + g αµ,β g αβ,µ u α u β + g µβ = g µν g µβ = duν + Γν αβu α u β + gµν g µβ,α + g αµ,β g αβ,µ u α u β du ν du + Γν αβu α u β = u µ ν µ + uα Γ ν αµ = u µ D µ u ν and we have the equation for an autoparallel, u µ D µ u ν = duν + Γν αβu α u β = 4 Example: Geodesics on the -sphere Once again consider the -sphere, but not look for autoparallels. We have the connection components, and the equations to solve are now, Γ θ ϕϕ = cos θ Γ ϕ θϕ = Γϕ ϕθ = cos θ du θ + Γθ αβu α u β = + Γϕ αβ uα u β = Expanding the first, there is only one nonvanishing connection term, For the second, Let the initial conditions be du θ + Γθ ϕϕu ϕ u ϕ = du θ uϕ cos θ = + Γϕ αβ uα u β = + Γϕ ϕθ uϕ u θ + Γ ϕ θϕ uθ u ϕ = + uϕ u θ cos θ = θ = π ϕ = u ϕ = u θ = 6
Since every point and direction on the sphere are equivalent, there is no loss of generality in this choice. Then we initially have du θ = u ϕ cos θ = and u θ does not change. For the ϕ equation, it follows that = u ϕ u θ cos θ = so u ϕ is also constant and the velocity vector is u i =, Integrating to find the curve, dθ dϕ = = so θ = θ = π and ϕ = ϕ + τ = τ. The curve is therefore the equator, θ, ϕ =, τ We may characterize the equator as the intersection of the unique plane normal to the surface, containing the initial velocity vector. Such a plane always passes through the center of the sphere, so all geodesics are given by great circles. 7