Metric connection

In mathematics, a metric connection is a connection in a vector bundle E equipped with a bundle metric; that is, a metric for which the inner product of any two vectors will remain the same when those vectors are parallel transported along any curve. This is equivalent to: A connection for which the covariant derivatives of the metric on E vanish. A principal connection on the bundle of orthonormal frames of E. A special case of a metric connection is a Riemannian connection; there is a unique such which is torsion free, the Levi-Civita connection. In this case, the bundle E is the tangent bundle TM of a manifold, and the metric on E is induced by a Riemannian metric on M. Another special case of a metric connection is a Yang–Mills connection, which satisfies the Yang–Mills equations of motion. Most of the machinery of defining a connection and its curvature can go through without requiring any compatibility with the bundle metric. However, once one does require compatibility, this metric connection, defines an inner product, Hodge star (which additionally needs a choice of orientation), and Laplacian, which are required to formulate the Yang–Mills equations. Let be any local sections of the vector bundle E, and let X be a vector field on the base space M of the bundle. Let define a bundle metric, that is, a metric on the vector fibers of E. Then, a connection D on E is a metric connection if: Here d is the ordinary differential of a scalar function. The covariant derivative can be extended so that it acts as a map on E-valued differential forms on the base space: One defines for a function , and where is a local smooth section for the vector bundle and is a (scalar-valued) p-form. The above definitions also apply to local smooth frames as well as local sections. The bundle metric imposed on E should not be confused with the natural pairing of a vector space and its dual, which is intrinsic to any vector bundle. The latter is a function on the bundle of endomorphisms so that pairs vectors with dual vectors (functionals) above each point of M.