Affine connexion

Parallel transport

In an affine space, the β€œtangent space” at every point is identical, and encodes translations. Thus we may freely transport vectors based at a point 𝑝1 to vectors based at a point 𝑝2, maintaining parallelism. For a β€œlocally affine” space β€” a 𝐢𝛼-manifold β€” this is made possible by the data of an affine connexion.

Definition

Let 𝛾 :𝐼 →𝑀 be a 𝐢𝛼-curve with tangent vector Λ™π›Ύπ‘Ž, and let π‘£π‘Ž be an assignment of a vector at each point along the curve. We say that π‘£π‘Ž is parallelly transported along 𝛾 iff #m/def/geo/diff

Λ™π›Ύπ‘Žβˆ‡π‘Žπ‘£π‘=0

all along the curve. Choosing local coΓΆrdinates π‘₯ :π‘ˆ β†’β„π‘š and taking the connexion coΓ«fficients this becomes

Λ™π›Ύπ‘Žπœ•π‘Žπ‘£π‘+Λ™π›Ύπ‘ŽΞ“π‘π‘Žπ‘π‘£π‘=0

or in components

˙𝑣+Λ™π›Ύπœ‡Ξ“πœˆπœ‡πœ†π‘£πœ†=0.

It follows from the Existence and uniqueness theorem for IVPs that the parallel transport of a vector along a given curve is unique.

Remarks


#state/tidy | #lang/en | #SemBr