Editing Connection form (section)

{{Short description|Math/physics concept}}
In [[mathematics]], and specifically [[differential geometry]], a '''connection form''' is a manner of organizing the data of a [[connection (mathematics)|connection]] using the language of [[moving frame]]s and [[differential form]]s.

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 [[Frame bundle|coordinate frame]], and so is not a [[tensor]]ial object. Various generalizations and reinterpretations of the connection form were formulated subsequent to Cartan's initial work. In particular, on a [[principal bundle]], a [[connection (principal bundle)|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.<ref>{{harvtxt|Griffiths|Harris|1978}}, {{harvtxt|Wells|1980}}, {{harvtxt|Spivak|1999a}}</ref> 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 space|basis]] of a [[vector bundle]] a [[matrix (mathematics)|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 [[Atlas (topology)#Transition maps|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 (differential geometry)|torsion form]]. In many cases, connection forms are considered on vector bundles with additional structure: that of a [[fiber bundle]] with a [[Lie group|structure group]].