my-server
← Wiki

Schild's ladder

In the theory of general relativity, and differential geometry more generally, Schild's ladder is a first-order method for approximating parallel transport of a vector along a curve using only affinely parametrized geodesics. The method is named for Alfred Schild, who introduced the method during lectures at Princeton University.

Construction

The idea is to identify a tangent vector x at a point with a geodesic segment of unit length , and to construct an approximate parallelogram with approximately parallel sides and as an approximation of the Levi-Civita parallelogramoid; the new segment thus corresponds to an approximately parallel translated tangent vector at

Formally, consider a curve &gamma; through a point A<sub>0</sub> in a Riemannian manifold M, and let x be a tangent vector at A<sub>0</sub>. Then x can be identified with a geodesic segment A<sub>0</sub>X<sub>0</sub> via the exponential map. This geodesic &sigma; satisfies

The steps of the Schild's ladder construction are:

  • Let X<sub>0</sub> = &sigma;(1), so the geodesic segment has unit length.
  • Now let A<sub>1</sub> be a point on &gamma; close to A<sub>0</sub>, and construct the geodesic X<sub>0</sub>A<sub>1</sub>.
  • Let P<sub>1</sub> be the midpoint of X<sub>0</sub>A<sub>1</sub> in the sense that the segments X<sub>0</sub>P<sub>1</sub> and P<sub>1</sub>A<sub>1</sub> take an equal affine parameter to traverse.
  • Construct the geodesic A<sub>0</sub>P<sub>1</sub>, and extend it to a point X<sub>1</sub> so that the parameter length of A<sub>0</sub>X<sub>1</sub> is double that of A<sub>0</sub>P<sub>1</sub>.
  • Finally construct the geodesic A<sub>1</sub>X<sub>1</sub>. The tangent to this geodesic x<sub>1</sub> is then the parallel transport of X<sub>0</sub> to A<sub>1</sub>, at least to first order.

Approximation

This is a discrete approximation of the continuous process of parallel transport. If the ambient space is flat, this is exactly parallel transport, and the steps define parallelograms, which agree with the Levi-Civita parallelogramoid.

In a curved space, the error is given by holonomy around the triangle which is equal to the integral of the curvature over the interior of the triangle, by the Ambrose-Singer theorem; this is a form of Green's theorem (integral around a curve related to integral over interior), and in the case of Levi-Civita connections on surfaces, of Gauss–Bonnet theorem.

Notes

  1. Schild's ladder requires not only geodesics but also relative distance along geodesics. Relative distance may be provided by affine parametrization of geodesics, from which the required midpoints may be determined.
  2. The parallel transport which is constructed by Schild's ladder is necessarily torsion-free.
  3. A Riemannian metric is not required to generate the geodesics. But if the geodesics are generated from a Riemannian metric, the parallel transport which is constructed in the limit by Schild's ladder is the same as the Levi-Civita connection because this connection is defined to be torsion-free.

References

  • .