Connection form

Math/physics concept

In mathematics, and specifically differential geometry, a connection form is a manner of organizing the data of a connection using the language of moving frames and differential forms.

Historically, connection forms were introduced by Élie Cartan in the first half of the 20th century as part of, and one of the principal motivations for, his method of moving frames. The connection form generally depends on a choice of a coordinate frame, and so is not a tensorial object. Various generalizations and reinterpretations of the connection form were formulated subsequent to Cartan's initial work. In particular, on a principal bundle, a principal connection is a natural reinterpretation of the connection form as a tensorial object. On the other hand, the connection form has the advantage that it is a differential form defined on the differentiable manifold, rather than on an abstract principal bundle over it. Hence, despite their lack of tensoriality, connection forms continue to be used because of the relative ease of performing calculations with them.[1] In physics, connection forms are also used broadly in the context of gauge theory, through the gauge covariant derivative.

A connection form associates to each basis of a vector bundle a matrix of differential forms. The connection form is not tensorial because under a change of basis, the connection form transforms in a manner that involves the exterior derivative of the transition functions, in much the same way as the Christoffel symbols for the Levi-Civita connection. The main tensorial invariant of a connection form is its curvature form. In the presence of a solder form identifying the vector bundle with the tangent bundle, there is an additional invariant: the torsion form. In many cases, connection forms are considered on vector bundles with additional structure: that of a fiber bundle with a structure group.

## Vector bundles

[edit]

See also: Connection (vector bundle)

### Frames on a vector bundle

[edit]

Main article: Frame bundle

Let  E {\displaystyle E} be a vector bundle of fibre dimension  k {\displaystyle k} over a differentiable manifold M {\displaystyle M} . A local frame for  E {\displaystyle E} is an ordered basis of local sections of  E {\displaystyle E} . It is always possible to construct a local frame, as vector bundles are always defined in terms of local trivializations, in analogy to the atlas of a manifold. That is, given any point  x {\displaystyle x} on the base manifold  M {\displaystyle M} , there exists an open neighborhood  U ⊆ M {\displaystyle U\subseteq M} of  x {\displaystyle x} for which the vector bundle over  U {\displaystyle U} is locally trivial, that is isomorphic to  U × R k {\displaystyle U\times \mathbb {R} ^{k}} projecting to  U {\displaystyle U} . The vector space structure on  R k {\displaystyle \mathbb {R} ^{k}} can thereby be extended to the entire local trivialization, and a basis on  R k {\displaystyle \mathbb {R} ^{k}} can be extended as well; this defines the local frame. (Here the real numbers are used, although much of the development can be extended to modules over rings in general, and to vector spaces over complex numbers  C {\displaystyle \mathbb {C} } in particular.)

Let  e = ( e α ) α = 1 , 2 , … , k {\displaystyle \mathbf {e} =(e_{\alpha })_{\alpha =1,2,\dots ,k}} be a local frame on  E {\displaystyle E} . This frame can be used to express locally any section of  E {\displaystyle E} . For example, suppose that  ξ {\displaystyle \xi } is a local section, defined over the same open set as the frame  e {\displaystyle \mathbb {e} } . Then

ξ = ∑ α = 1 k e α ξ α ( e ) {\displaystyle \xi =\sum _{\alpha =1}^{k}e_{\alpha }\xi ^{\alpha }(\mathbf {e} )}

where  ξ α ( e ) {\displaystyle \xi ^{\alpha }(\mathbf {e} )} denotes the components of  ξ {\displaystyle \xi } in the frame  e {\displaystyle \mathbf {e} } . As a matrix equation, this reads

ξ = e [ ξ 1 ( e ) ξ 2 ( e ) ⋮ ξ k ( e ) ] = e ξ ( e ) {\displaystyle \xi ={\mathbf {e} }{\begin{bmatrix}\xi ^{1}(\mathbf {e} )\\\\\xi ^{2}(\mathbf {e} )\\\\\vdots \\\\\xi ^{k}(\mathbf {e} )\end{bmatrix}}={\mathbf {e} }\,\xi (\mathbf {e} )}

In general relativity, such frame fields are referred to as tetrads. The tetrad specifically relates the local frame to an explicit coordinate system on the base manifold  M {\displaystyle M} (the coordinate system on  M {\displaystyle M} being established by the atlas).

### Exterior connections

[edit]

Main article: Exterior covariant derivative

A connection in E is a type of differential operator

D : Γ ( E ) -> Γ ( E ⊗ T ∗ M ) = Γ ( E ) ⊗ Ω 1 M {\displaystyle D:\Gamma (E)\rightarrow \Gamma (E\otimes T^{*}M)=\Gamma (E)\otimes \Omega ^{1}M}

where Γ denotes the sheaf of local sections of a vector bundle, and Ω1M is the bundle of differential 1-forms on M. For D to be a connection, it must be correctly coupled to the exterior derivative. Specifically, if v is a local section of E, and f is a smooth function, then

D ( f v ) = v ⊗ ( d f ) + f D v {\displaystyle D(fv)=v\otimes (df)+fDv}

where df is the exterior derivative of f.

Sometimes it is convenient to extend the definition of D to arbitrary E-valued forms, thus regarding it as a differential operator on the tensor product of E with the full exterior algebra of differential forms. Given an exterior connection D satisfying this compatibility property, there exists a unique extension of D:

D : Γ ( E ⊗ Λ ∗ T ∗ M ) -> Γ ( E ⊗ Λ ∗ T ∗ M ) {\displaystyle D:\Gamma (E\otimes \Lambda ^{*}T^{*}M)\rightarrow \Gamma (E\otimes \Lambda ^{*}T^{*}M)}

such that

D ( v ∧ α ) = ( D v ) ∧ α + ( − 1 ) deg v v ∧ d α {\displaystyle D(v\wedge \alpha )=(Dv)\wedge \alpha +(-1)^{{\text{deg}}\,v}v\wedge d\alpha }

where v is homogeneous of degree deg v. In other words, D is a derivation on the sheaf of graded modules Γ(E ⊗ Ω*M).

### Connection forms

[edit]

The connection form arises when applying the exterior connection to a particular frame e. Upon applying the exterior connection to the eα, it is the unique k × k matrix (ωαβ) of one-forms on M such that

D e α = ∑ β = 1 k e β ⊗ ω α β . {\displaystyle De_{\alpha }=\sum _{\beta =1}^{k}e_{\beta }\otimes \omega _{\alpha }^{\beta }.}

In terms of the connection form, the exterior connection of any section of E can now be expressed. For example, suppose that ξ = Σα eαξα. Then

D ξ = ∑ α = 1 k D ( e α ξ α ( e ) ) = ∑ α = 1 k e α ⊗ d ξ α ( e ) + ∑ α = 1 k ∑ β = 1 k e β ⊗ ω α β ξ α ( e ) . {\displaystyle D\xi =\sum _{\alpha =1}^{k}D(e_{\alpha }\xi ^{\alpha }(\mathbf {e} ))=\sum _{\alpha =1}^{k}e_{\alpha }\otimes d\xi ^{\alpha }(\mathbf {e} )+\sum _{\alpha =1}^{k}\sum _{\beta =1}^{k}e_{\beta }\otimes \omega _{\alpha }^{\beta }\xi ^{\alpha }(\mathbf {e} ).}

Taking components on both sides,

D ξ ( e ) = d ξ ( e ) + ω ξ ( e ) = ( d + ω ) ξ ( e ) {\displaystyle D\xi (\mathbf {e} )=d\xi (\mathbf {e} )+\omega \xi (\mathbf {e} )=(d+\omega )\xi (\mathbf {e} )}

where it is understood that d and ω refer to the component-wise derivative with respect to the frame e, and a matrix of 1-forms, respectively, acting on the components of ξ. Conversely, a matrix of 1-forms ω is a priori sufficient to completely determine the connection locally on the open set over which the basis of sections e is defined.

#### Change of frame

[edit]

In order to extend ω to a suitable global object, it is necessary to examine how it behaves when a different choice of basic sections of E is chosen. Write ωαβ = ωαβ(e) to indicate the dependence on the choice of e.

Suppose that e′ is a different choice of local basis. Then there is an invertible k × k matrix of functions g such that

e ′ = e g , i.e., e α ′ = ∑ β e β g α β . {\displaystyle {\mathbf {e} }'={\mathbf {e} }\,g,\quad {\text{i.e., }}\,e'_{\alpha }=\sum _{\beta }e_{\beta }g_{\alpha }^{\beta }.}

Applying the exterior connection to both sides gives the transformation law for ω:

ω ( e g ) = g − 1 d g + g − 1 ω ( e ) g . {\displaystyle \omega (\mathbf {e} \,g)=g^{-1}dg+g^{-1}\omega (\mathbf {e} )g.}

Note in particular that ω fails to transform in a tensorial manner, since the rule for passing from one frame to another involves the derivatives of the transition matrix g.

#### Global connection forms

[edit]

If {Up} is an open covering of M, and each Up is equipped with a trivialization ep of E, then it is possible to define a global connection form in terms of the patching data between the local connection forms on the overlap regions. In detail, a connection form on M is a system of matrices ω(ep) of 1-forms defined on each Up that satisfy the following compatibility condition

ω ( e q ) = ( e p − 1 e q ) − 1 d ( e p − 1 e q ) + ( e p − 1 e q ) − 1 ω ( e p ) ( e p − 1 e q ) . {\displaystyle \omega (\mathbf {e} _{q})=(\mathbf {e} _{p}^{-1}\mathbf {e} _{q})^{-1}d(\mathbf {e} _{p}^{-1}\mathbf {e} _{q})+(\mathbf {e} _{p}^{-1}\mathbf {e} _{q})^{-1}\omega (\mathbf {e} _{p})(\mathbf {e} _{p}^{-1}\mathbf {e} _{q}).}

This compatibility condition ensures in particular that the exterior connection of a section of E, when regarded abstractly as a section of E ⊗ Ω1M, does not depend on the choice of basis section used to define the connection.

### Curvature

[edit]

Main article: Curvature form

The curvature two-form of a connection form in E is defined by

Ω ( e ) = d ω ( e ) + ω ( e ) ∧ ω ( e ) . {\displaystyle \Omega (\mathbf {e} )=d\omega (\mathbf {e} )+\omega (\mathbf {e} )\wedge \omega (\mathbf {e} ).}

Unlike the connection form, the curvature behaves tensorially under a change of frame, which can be checked directly by using the Poincaré lemma. Specifically, if e → e g is a change of frame, then the curvature two-form transforms by

Ω ( e g ) = g − 1 Ω ( e ) g . {\displaystyle \Omega (\mathbf {e} \,g)=g^{-1}\Omega (\mathbf {e} )g.}

One interpretation of this transformation law is as follows. Let e* be the dual basis corresponding to the frame e. Then the 2-form

Ω = e Ω ( e ) e ∗ {\displaystyle \Omega ={\mathbf {e} }\Omega (\mathbf {e} ){\mathbf {e} }^{*}}

is independent of the choice of frame. In particular, Ω is a vector-valued two-form on M with values in the endomorphism ring Hom(E,E). Symbolically,

Ω ∈ Γ ( Λ 2 T ∗ M ⊗ Hom ( E , E ) ) . {\displaystyle \Omega \in \Gamma (\Lambda ^{2}T^{*}M\otimes {\text{Hom}}(E,E)).}

In terms of the exterior connection D, the curvature endomorphism is given by

Ω ( v ) = D ( D v ) = D 2 v {\displaystyle \Omega (v)=D(Dv)=D^{2}v\,}

for v ∈ E (we can extend v to a local section to define this expression). Thus the curvature measures the failure of the sequence

Γ ( E ) -> D Γ ( E ⊗ Λ 1 T ∗ M ) -> D Γ ( E ⊗ Λ 2 T ∗ M ) -> D … -> D Γ ( E ⊗ Λ n T ∗ ( M ) ) {\displaystyle \Gamma (E)\ {\stackrel {D}{\to }}\ \Gamma (E\otimes \Lambda ^{1}T^{*}M)\ {\stackrel {D}{\to }}\ \Gamma (E\otimes \Lambda ^{2}T^{*}M)\ {\stackrel {D}{\to }}\ \dots \ {\stackrel {D}{\to }}\ \Gamma (E\otimes \Lambda ^{n}T^{*}(M))}

to be a chain complex (in the sense of de Rham cohomology).

### Soldering and torsion

[edit]

Suppose that the fibre dimension k of E is equal to the dimension of the manifold M. In this case, the vector bundle E is sometimes equipped with an additional piece of data besides its connection: a solder form. A solder form is a globally defined vector-valued one-form θ ∈ Ω1(M,E) such that the mapping

θ x : T x M -> E x {\displaystyle \theta _{x}:T_{x}M\rightarrow E_{x}}

is a linear isomorphism for all x ∈ M. If a solder form is given, then it is possible to define the torsion of the connection (in terms of the exterior connection) as

Θ = D θ . {\displaystyle \Theta =D\theta .\,}

The torsion Θ is an E-valued 2-form on M.

A solder form and the associated torsion may both be described in terms of a local frame e of E. If θ is a solder form, then it decomposes into the frame components

θ = ∑ i θ i ( e ) e i . {\displaystyle \theta =\sum _{i}\theta ^{i}(\mathbf {e} )e_{i}.}

The components of the torsion are then

Θ i ( e ) = d θ i ( e ) + ∑ j ω j i ( e ) ∧ θ j ( e ) . {\displaystyle \Theta ^{i}(\mathbf {e} )=d\theta ^{i}(\mathbf {e} )+\sum _{j}\omega _{j}^{i}(\mathbf {e} )\wedge \theta ^{j}(\mathbf {e} ).}

Much like the curvature, it can be shown that Θ behaves as a contravariant tensor under a change in frame:

Θ i ( e g ) = ∑ j g j i Θ j ( e ) . {\displaystyle \Theta ^{i}(\mathbf {e} \,g)=\sum _{j}g_{j}^{i}\Theta ^{j}(\mathbf {e} ).}

The frame-independent torsion may also be recovered from the frame components:

Θ = ∑ i e i Θ i ( e ) . {\displaystyle \Theta =\sum _{i}e_{i}\Theta ^{i}(\mathbf {e} ).}

### Bianchi identities

[edit]

The Bianchi identities relate the torsion to the curvature. The first Bianchi identity states that

D Θ = Ω ∧ θ {\displaystyle D\Theta =\Omega \wedge \theta }

while the second Bianchi identity states that

D Ω = 0. {\displaystyle \,D\Omega =0.}

### Example: the Levi-Civita connection

[edit]

As an example, suppose that M carries a Riemannian metric. If one has a vector bundle E over M, then the metric can be extended to the entire vector bundle, as the bundle metric. One may then define a connection that is compatible with this bundle metric, this is the metric connection. For the special case of E being the tangent bundle TM, the metric connection is called the Riemannian connection. Given a Riemannian connection, one can always find a unique, equivalent connection that is torsion-free. This is the Levi-Civita connection on the tangent bundle TM of M.[2][3]

A local frame on the tangent bundle is an ordered list of vector fields e = (ei | i = 1, 2, ..., n), where n = dim M, defined on an open subset of M that are linearly independent at every point of their domain. The Christoffel symbols define the Levi-Civita connection by

∇ e i e j = ∑ k = 1 n Γ i j k ( e ) e k . {\displaystyle \nabla _{e_{i}}e_{j}=\sum _{k=1}^{n}\Gamma _{ij}^{k}(\mathbf {e} )e_{k}.}

If θ = {θi | i = 1, 2, ..., n}, denotes the dual basis of the cotangent bundle, such that θi(ej) = δij (the Kronecker delta), then the connection form is

ω i j ( e ) = ∑ k Γ j k i ( e ) θ k . {\displaystyle \omega _{i}^{j}(\mathbf {e} )=\sum _{k}\Gamma ^{j}{}_{ki}(\mathbf {e} )\theta ^{k}.}

In terms of the connection form, the exterior connection on a vector field v = Σieivi is given by

D v = ∑ k e k ⊗ ( d v k ) + ∑ j , k e k ⊗ ω j k ( e ) v j . {\displaystyle Dv=\sum _{k}e_{k}\otimes (dv^{k})+\sum _{j,k}e_{k}\otimes \omega _{j}^{k}(\mathbf {e} )v^{j}.}

One can recover the Levi-Civita connection, in the usual sense, from this by contracting with ei:

∇ e i v = ⟨ D v , e i ⟩ = ∑ k e k ( ∇ e i v k + ∑ j Γ i j k ( e ) v j ) {\displaystyle \nabla _{e_{i}}v=\langle Dv,e_{i}\rangle =\sum _{k}e_{k}\left(\nabla _{e_{i}}v^{k}+\sum _{j}\Gamma _{ij}^{k}(\mathbf {e} )v^{j}\right)}

#### Curvature

[edit]

The curvature 2-form of the Levi-Civita connection is the matrix (Ωij) given by

Ω i j ( e ) = d ω i j ( e ) + ∑ k ω k j ( e ) ∧ ω i k ( e ) . {\displaystyle \Omega _{i}{}^{j}(\mathbf {e} )=d\omega _{i}{}^{j}(\mathbf {e} )+\sum _{k}\omega _{k}{}^{j}(\mathbf {e} )\wedge \omega _{i}{}^{k}(\mathbf {e} ).}

For simplicity, suppose that the frame e is holonomic, so that dθi = 0.[4] Then, employing now the summation convention on repeated indices,

Ω i j = d ( Γ j q i θ q ) + ( Γ j p k θ p ) ∧ ( Γ k q i θ q ) = θ p ∧ θ q ( ∂ p Γ j q i + Γ j p k Γ k q i ) ) = 1 2 θ p ∧ θ q R p q i j {\displaystyle {\begin{array}{ll}\Omega _{i}{}^{j}&=d(\Gamma ^{j}{}_{qi}\theta ^{q})+(\Gamma ^{j}{}_{pk}\theta ^{p})\wedge (\Gamma ^{k}{}_{qi}\theta ^{q})\\\&\\\&=\theta ^{p}\wedge \theta ^{q}\left(\partial _{p}\Gamma ^{j}{}_{qi}+\Gamma ^{j}{}_{pk}\Gamma ^{k}{}_{qi})\right)\\\&\\\&={\tfrac {1}{2}}\theta ^{p}\wedge \theta ^{q}R_{pqi}{}^{j}\end{array}}}

where R is the Riemann curvature tensor.

#### Torsion

[edit]

The Levi-Civita connection is characterized as the unique metric connection in the tangent bundle with zero torsion. To describe the torsion, note that the vector bundle E is the tangent bundle. This carries a canonical solder form (sometimes called the canonical one-form, especially in the context of classical mechanics) that is the section θ of Hom(TM, TM) = T∗M ⊗ TM corresponding to the identity endomorphism of the tangent spaces. In the frame e, the solder form is θ = Σi ei ⊗ θi, where again θi is the dual basis.

The torsion of the connection is given by Θ = Dθ, or in terms of the frame components of the solder form by

Θ i ( e ) = d θ i + ∑ j ω j i ( e ) ∧ θ j . {\displaystyle \Theta ^{i}(\mathbf {e} )=d\theta ^{i}+\sum _{j}\omega _{j}^{i}(\mathbf {e} )\wedge \theta ^{j}.}

Assuming again for simplicity that e is holonomic, this expression reduces to

Θ i = Γ i k j θ k ∧ θ j {\displaystyle \Theta ^{i}=\Gamma ^{i}{}_{kj}\theta ^{k}\wedge \theta ^{j}} ,

which vanishes if and only if Γikj is symmetric on its lower indices.

Given a metric connection with torsion, one can always find a single, unique connection that is torsion-free, this is the Levi-Civita connection. The difference between a Riemannian connection and its associated Levi-Civita connection is the contorsion tensor.

## Structure groups

[edit]

A more specific type of connection form can be constructed when the vector bundle E carries a structure group. This amounts to a preferred class of frames e on E, which are related by a Lie group G. For example, in the presence of a metric in E, one works with frames that form an orthonormal basis at each point. The structure group is then the orthogonal group, since this group preserves the orthonormality of frames. Other examples include:

* The usual frames, considered in the preceding section, have structural group GL(k) where k is the fibre dimension of E.
* The holomorphic tangent bundle of a complex manifold (or almost complex manifold).[5] Here the structure group is GLn(C) ⊂ GL2n(R).[6] In case a hermitian metric is given, then the structure group reduces to the unitary group acting on unitary frames.[5]
* Spinors on a manifold equipped with a spin structure. The frames are unitary with respect to an invariant inner product on the spin space, and the group reduces to the spin group.
* Holomorphic tangent bundles on CR manifolds.[7]

In general, let E be a given vector bundle of fibre dimension k and G ⊂ GL(k) a given Lie subgroup of the general linear group of Rk. If (eα) is a local frame of E, then a matrix-valued function (gij): M → G may act on the eα to produce a new frame

e α ′ = ∑ β e β g α β . {\displaystyle e_{\alpha }'=\sum _{\beta }e_{\beta }g_{\alpha }^{\beta }.}

Two such frames are G-related. Informally, the vector bundle E has the structure of a G-bundle if a preferred class of frames is specified, all of which are locally G-related to each other. In formal terms, E is a fibre bundle with structure group G whose typical fibre is Rk with the natural action of G as a subgroup of GL(k).

### Compatible connections

[edit]

A connection is compatible with the structure of a G-bundle on E provided that the associated parallel transport maps always send one G-frame to another. Formally, along a curve γ, the following must hold locally (that is, for sufficiently small values of t):

Γ ( γ ) 0 t e α ( γ ( 0 ) ) = ∑ β e β ( γ ( t ) ) g α β ( t ) {\displaystyle \Gamma (\gamma )_{0}^{t}e_{\alpha }(\gamma (0))=\sum _{\beta }e_{\beta }(\gamma (t))g_{\alpha }^{\beta }(t)}

for some matrix gαβ (which may also depend on t). Differentiation at t=0 gives

∇ γ ˙ ( 0 ) e α = ∑ β e β ω α β ( γ ˙ ( 0 ) ) {\displaystyle \nabla _{{\dot {\gamma }}(0)}e_{\alpha }=\sum _{\beta }e_{\beta }\omega _{\alpha }^{\beta }({\dot {\gamma }}(0))}

where the coefficients ωαβ are in the Lie algebra g of the Lie group G.

With this observation, the connection form ωαβ defined by

D e α = ∑ β e β ⊗ ω α β ( e ) {\displaystyle De_{\alpha }=\sum _{\beta }e_{\beta }\otimes \omega _{\alpha }^{\beta }(\mathbf {e} )}

is compatible with the structure if the matrix of one-forms ωαβ(e) takes its values in g.

The curvature form of a compatible connection is, moreover, a g-valued two-form.

### Change of frame

[edit]

Under a change of frame

e α ′ = ∑ β e β g α β {\displaystyle e_{\alpha }'=\sum _{\beta }e_{\beta }g_{\alpha }^{\beta }}

where g is a G-valued function defined on an open subset of M, the connection form transforms via

ω α β ( e ⋅ g ) = ( g − 1 ) γ β d g α γ + ( g − 1 ) γ β ω δ γ ( e ) g α δ . {\displaystyle \omega _{\alpha }^{\beta }(\mathbf {e} \cdot g)=(g^{-1})_{\gamma }^{\beta }dg_{\alpha }^{\gamma }+(g^{-1})_{\gamma }^{\beta }\omega _{\delta }^{\gamma }(\mathbf {e} )g_{\alpha }^{\delta }.}

Or, using matrix products:

ω ( e ⋅ g ) = g − 1 d g + g − 1 ω g . {\displaystyle \omega ({\mathbf {e} }\cdot g)=g^{-1}dg+g^{-1}\omega g.}

To interpret each of these terms, recall that g : M → G is a G-valued (locally defined) function. With this in mind,

ω ( e ⋅ g ) = g ∗ ω g + Ad g − 1 ω ( e ) {\displaystyle \omega ({\mathbf {e} }\cdot g)=g^{*}\omega _{\mathfrak {g}}+{\text{Ad}}_{g^{-1}}\omega (\mathbf {e} )}

where ωg is the Maurer-Cartan form for the group G, here pulled back to M along the function g, and Ad is the adjoint representation of G on its Lie algebra.

## Principal bundles

[edit]

The connection form, as introduced thus far, depends on a particular choice of frame. In the first definition, the frame is just a local basis of sections. To each frame, a connection form is given with a transformation law for passing from one frame to another. In the second definition, the frames themselves carry some additional structure provided by a Lie group, and changes of frame are constrained to those that take their values in it. The language of principal bundles, pioneered by Charles Ehresmann in the 1940s, provides a manner of organizing these many connection forms and the transformation laws connecting them into a single intrinsic form with a single rule for transformation. The disadvantage to this approach is that the forms are no longer defined on the manifold itself, but rather on a larger principal bundle.

### The principal connection for a connection form

[edit]

Suppose that E → M is a vector bundle with structure group G. Let {U} be an open cover of M, along with G-frames on each U, denoted by eU. These are related on the intersections of overlapping open sets by

e V = e U ⋅ h U V {\displaystyle {\mathbf {e} }_{V}={\mathbf {e} }_{U}\cdot h_{UV}}

for some G-valued function hUV defined on U ∩ V.

Let FGE be the set of all G-frames taken over each point of M. This is a principal G-bundle over M. In detail, using the fact that the G-frames are all G-related, FGE can be realized in terms of gluing data among the sets of the open cover:

F G E = ∐ U U × G / ∼ {\displaystyle F_{G}E=\left.\coprod _{U}U\times G\right/\sim }

where the equivalence relation ∼ {\displaystyle \sim } is defined by

( ( x , g U ) ∈ U × G ) ∼ ( ( x , g V ) ∈ V × G ) ⟺ e V = e U ⋅ h U V and g U = h U V − 1 ( x ) g V . {\displaystyle ((x,g_{U})\in U\times G)\sim ((x,g_{V})\in V\times G)\iff {\mathbf {e} }_{V}={\mathbf {e} }_{U}\cdot h_{UV}{\text{ and }}g_{U}=h_{UV}^{-1}(x)g_{V}.}

On FGE, define a principal G-connection as follows, by specifying a g-valued one-form on each product U × G, which respects the equivalence relation on the overlap regions. First let

π 1 : U × G -> U , π 2 : U × G -> G {\displaystyle \pi _{1}:U\times G\to U,\quad \pi _{2}:U\times G\to G}

be the projection maps. Now, for a point (x,g) ∈ U × G, set

ω ( x , g ) = A d g − 1 π 1 ∗ ω ( e U ) + π 2 ∗ ω g . {\displaystyle \omega _{(x,g)}=Ad_{g^{-1}}\pi _{1}^{*}\omega (\mathbf {e} _{U})+\pi _{2}^{*}\omega _{\mathbf {g} }.}

The 1-form ω constructed in this way respects the transitions between overlapping sets, and therefore descends to give a globally defined 1-form on the principal bundle FGE. It can be shown that ω is a principal connection in the sense that it reproduces the generators of the right G action on FGE, and equivariantly intertwines the right action on T(FGE) with the adjoint representation of G.

### Connection forms associated to a principal connection

[edit]

Conversely, a principal G-connection ω in a principal G-bundle P→M gives rise to a collection of connection forms on M. Suppose that e : M → P is a local section of P. Then the pullback of ω along e defines a g-valued one-form on M:

ω ( e ) = e ∗ ω . {\displaystyle \omega ({\mathbf {e} })={\mathbf {e} }^{*}\omega .}

Changing frames by a G-valued function g, one sees that ω(e) transforms in the required manner by using the Leibniz rule, and the adjunction:

⟨ X , ( e ⋅ g ) ∗ ω ⟩ = ⟨ [ d ( e ⋅ g ) ] ( X ) , ω ⟩ {\displaystyle \langle X,({\mathbf {e} }\cdot g)^{*}\omega \rangle =\langle [d(\mathbf {e} \cdot g)](X),\omega \rangle }

where X is a vector on M, and d denotes the pushforward.

## See also

[edit]

* Ehresmann connection
* Cartan connection
* Affine connection
* Curvature form

## Notes

[edit]

1. ^ Griffiths & Harris (1978), Wells (1980), Spivak (1999a)
2. ^ See Jost (2011), chapter 4, for a complete account of the Levi-Civita connection from this point of view.
3. ^ See Spivak (1999a), II.7 for a complete account of the Levi-Civita connection from this point of view.
4. ^ In a non-holonomic frame, the expression of curvature is further complicated by the fact that the derivatives dθi must be taken into account.
5. ^ a b Wells (1973).
6. ^ See for instance Kobayashi and Nomizu, Volume II.
7. ^ See Chern and Moser.

## References

[edit]

* Chern, S.-S., Topics in Differential Geometry, Institute for Advanced Study, mimeographed lecture notes, 1951.
* Chern S. S.; Moser, J.K. (1974), "Real hypersurfaces in complex manifolds", Acta Math., 133: 219–271, doi:10.1007/BF02392146219-271&rft.date=1974&rft_id=info:doi/10.1007/BF02392146&rft.au=Chern+S.+S.&rft.au=Moser,+J.K.&rfr_id=info:sid/en.wikipedia.org:Connection+form" class="Z3988">
* Griffiths, Phillip; Harris, Joseph (1978), Principles of algebraic geometry, John Wiley and sons, ISBN 0-471-05059-8
* Jost, Jürgen (2011), Riemannian geometry and geometric analysis (PDF), Universitext (Sixth ed.), Springer, Heidelberg, doi:10.1007/978-3-642-21298-7, ISBN 978-3-642-21297-0, MR 2829653
* Kobayashi, Shoshichi; Nomizu, Katsumi (1996), Foundations of Differential Geometry, Vol. 1 (New ed.), Wiley-Interscience, ISBN 0-471-15733-3
* Kobayashi, Shoshichi; Nomizu, Katsumi (1996), Foundations of Differential Geometry, Vol. 2 (New ed.), Wiley-Interscience, ISBN 0-471-15732-5
* Spivak, Michael (1999a), A Comprehensive introduction to differential geometry (Volume 2), Publish or Perish, ISBN 0-914098-71-3
* Spivak, Michael (1999b), A Comprehensive introduction to differential geometry (Volume 3), Publish or Perish, ISBN 0-914098-72-1
* Wells, R.O. (1973), Differential analysis on complex manifolds, Springer-Verlag, ISBN 0-387-90419-0
* Wells, R.O. (1980), Differential analysis on complex manifolds, Prentice–Hall

* v
* t
* e

Manifolds (Glossary, List, Category)

Basic concepts|

* Topological manifold
* Atlas
* Differentiable/Smooth manifold
* Differential structure
* Smooth atlas
* Submanifold
* Riemannian manifold
* Smooth map
* Submersion
* Pushforward
* Tangent space
* Differential form
* Vector field

Main results (list)|

* Atiyah–Singer index
* Darboux's
* De Rham's
* Frobenius
* Generalized Stokes
* Hopf–Rinow
* Noether's
* Sard's
* Whitney embedding

Maps|

* Curve
* Diffeomorphism
* Local
* Geodesic
* Exponential map
* in Lie theory
* Foliation
* Immersion
* Integral curve
* Lie derivative
* Section
* Submersion

Types of
manifolds|

* Closed
* Collapsing
* Complete
* (Almost) Complex
* (Almost) Contact
* Fibered
* Finsler
* (Almost) Flat
* G-structure
* Hadamard
* Hermitian
* Hyperbolic
* Kähler
* Kenmotsu
* Lie group
* Lie algebra
* Manifold with boundary
* Nilmanifold
* Oriented
* Parallelizable
* Poisson
* Prime
* Quaternionic
* Hypercomplex
* (Pseudo−, Sub−) Riemannian
* Rizza
* (Almost) Symplectic
* Tame

Tensors|

| Vectors|

* Distribution
* Lie bracket
* Pushforward
* Tangent space
* bundle
* Torsion
* Vector field
* Vector flow

|

Covectors|

* Closed/Exact
* Covariant derivative
* Cotangent space
* bundle
* De Rham cohomology
* Differential form
* Vector-valued
* Exterior derivative
* Interior product
* Pullback
* Ricci curvature
* flow
* Riemann curvature tensor
* Tensor field
* density
* Volume form
* Wedge product

Bundles|

* Adjoint
* Affine
* Associated
* Cotangent
* Dual
* Fiber
* (Co) Fibration
* Jet
* Lie algebra
* (Stable) Normal
* Principal
* Spinor
* Subbundle
* Tangent
* Tensor
* Vector

Connections|

* Affine
* Cartan
* Ehresmann
* Form
* Generalized
* Koszul
* Levi-Civita
* Principal
* Vector
* Parallel transport

Related|

* Classification of manifolds
* Gauge theory
* History
* Morse theory
* Moving frame
* Singularity theory

Generalizations|

* Banach manifold
* Diffeology
* Diffiety
* Fréchet manifold
* K-theory
* Orbifold
* Secondary calculus
* over commutative algebras
* Sheaf
* Stratifold
* Supermanifold
* Stratified space

* v
* t
* e

Tensors

Glossary of tensor theory

Scope|

| Mathematics|

* Coordinate system
* Differential geometry
* Dyadic algebra
* Euclidean geometry
* Exterior calculus
* Multilinear algebra
* Tensor algebra
* Tensor calculus

|

* Physics
* Engineering

* Computer vision
* Continuum mechanics
* Electromagnetism
* General relativity
* Transport phenomena

Notation|

* Abstract index notation
* Einstein notation
* Index notation
* Multi-index notation
* Penrose graphical notation
* Ricci calculus
* Tetrad (index notation)
* Van der Waerden notation
* Voigt notation

Tensor
definitions|

* Tensor (intrinsic definition)
* Tensor field
* Tensor density
* Tensors in curvilinear coordinates
* Mixed tensor
* Antisymmetric tensor
* Symmetric tensor
* Tensor operator
* Tensor bundle
* Two-point tensor

Operations|

* Covariant derivative
* Exterior covariant derivative
* Exterior derivative
* Exterior product
* Hodge star operator
* Lie derivative
* Raising and lowering indices
* Symmetrization
* Tensor contraction
* Tensor product
* Transpose (2nd-order tensors)

Related
abstractions|

* Affine connection
* Basis
* Cartan formalism (physics)
* Connection form
* Covariance and contravariance of vectors
* Differential form
* Dimension
* Exterior form
* Fiber bundle
* Geodesic
* Levi-Civita connection
* Linear map
* Manifold
* Matrix
* Multivector
* Pseudotensor
* Spinor
* Vector
* Vector space

Notable tensors|

| Mathematics|

* Kronecker delta
* Levi-Civita symbol
* Metric tensor
* Nonmetricity tensor
* Ricci curvature
* Riemann curvature tensor
* Torsion tensor
* Weyl tensor

|

Physics|

* Moment of inertia
* Angular momentum tensor
* Spin tensor
* Cauchy stress tensor
* stress–energy tensor
* Einstein tensor
* EM tensor
* Gluon field strength tensor
* Metric tensor (GR)

Mathematicians|

* Élie Cartan
* Augustin-Louis Cauchy
* Elwin Bruno Christoffel
* Albert Einstein
* Leonhard Euler
* Carl Friedrich Gauss
* Hermann Grassmann
* Tullio Levi-Civita
* Gregorio Ricci-Curbastro
* Bernhard Riemann
* Jan Arnoldus Schouten
* Woldemar Voigt
* Hermann Weyl

*[v]: View this template
*[t]: Discuss this template
*[e]: Edit this template