Principal ConnectionSee also: Connection form and Connection (principal bundle)
The theory of connections according to Élie Cartan, and later Charles Ehresmann, revolves around:
- a principal bundle E;
- the exterior differential calculus of differential forms on E.
All "natural" vector bundles associated with the manifold M, such as the tangent bundle, the cotangent bundle or the exterior bundles, can be constructed from the frame bundle using the representation theory of the structure group K = SO(2), a compact matrix group.
Cartan's definition of a connection can be understood as a way of lifting vector fields on M to vector fields on the frame bundle E invariant under the action of the structure group K. Since parallel transport has been defined as a way of lifting piecewise C1 paths from M to E, this automatically induces infinitesimally a way to lift vector fields or tangent vectors from M to E. At a point take a path with given tangent vector and then map it to the tangent vector of the lifted path. (For vector fields the curves can be taken to be the integral curves of a local flow.) In this way any vector field X on M can be lifted to a vector field X* on E satisfying
- X* is a vector field on E;
- the map X ↦ X* is C∞(M)-linear;
- X* is K-invariant and induces the vector field X on C∞(M) C∞(E).
Here K acts as a periodic flow on E, so the canonical generator A of its Lie algebra acts as the corresponding vector field, called the vertical vector field A*. It follows from the above conditions that, in the tangent space of an arbitrary point in E, the lifts X* span a two-dimensional subspace of horizontal vectors, forming a complementary subspace to the vertical vectors. The canonical Riemannian metric on E of Shigeo Sasaki is defined by making the horizontal and vertical subspaces orthogonal, giving each subspace its natural inner product.
Horizontal vector fields admit the following characterisation:
- Every K-invariant horizontal vector field on E has the form X* for a unique vector field X on M.
This "universal lift" then immediately induces lifts to vector bundles associated with E and hence allows the covariant derivative, and its generalisation to forms, to be recovered.
If σ is a representation of K on a finite-dimensional vector space V, then the associated vector bundle E XK V over M has a C∞(M)-module of sections that can be identified with
the space of all smooth functions ξ : E → V which are K-equivariant in the sense that
for all x ∈ E and g ∈ K.
The identity representation of SO(2) on R2 corresponds to the tangent bundle of M.
The covariant derivative is defined on an invariant section ξ by the formula
The connection on the frame bundle can also be described using K-invariant differential 1-forms on E.
The frame bundle E is a 3-manifold. The space of p-forms on E is denoted Λp(E). It admits a natural action of the structure group K.
Given a connection on the principal bundle E corresponding to a lift X ↦ X* of vector fields on M, there is a unique connection form ω in
the space of K-invariant 1-forms on E, such that
for all vector fields X on M and
for the vector field A* on E corresponding to the canonical generator A of .
Conversely the lift X* is uniquely characterised by the following properties:
- X* is K-invariant and induces X on M;
Read more about this topic: Riemannian Connection On A Surface
Other articles related to "connection":
... An Ehresmann connection on a fibre bundle (endowed with a structure group) sometimes gives rise to an Ehresmann connection on an associated bundle ... For instance, a (linear) connection in a vector bundle E, thought of giving a parallelism of E as above, induces a connection on the associated bundle of frames PE of E ... Conversely, a connection in PE gives rise to a (linear) connection in E provided that the connection in PE is equivariant with respect to the action of the ...
Famous quotes containing the words connection and/or principal:
“We will have to give up the hope that, if we try hard, we somehow will always do right by our children. The connection is imperfect. We will sometimes do wrong.”
—Judith Viorst (20th century)
“The principal saloon was the Howlin Wilderness, an immense log cabin with a log fire always burning in the huge fireplace, where so many fights broke out that the common saying was, We will have a man for breakfast tomorrow.”
—For the State of California, U.S. public relief program (1935-1943)