Formal Definition
Let π:P→M be a smooth principal G-bundle over a smooth manifold M. Then a principal G-connection on P is a differential 1-form on P with values in the Lie algebra of G which is G-equivariant and reproduces the Lie algebra generators of the fundamental vector fields on P.
In other words, it is an element ω of such that
- where Rg denotes right multiplication by g;
- if and Xξ is the vector field on P associated to ξ by differentiating the G action on P, then ω(Xξ) = ξ (identically on P).
Sometimes the term principal G-connection refers to the pair (P,ω) and ω itself is called the connection form or connection 1-form of the principal connection.
Read more about this topic: Connection (principal Bundle)
Famous quotes containing the words formal and/or definition:
“Good gentlemen, look fresh and merrily.
Let not our looks put on our purposes,
But bear it as our Roman actors do,
With untired spirits and formal constancy.”
—William Shakespeare (1564–1616)
“The man who knows governments most completely is he who troubles himself least about a definition which shall give their essence. Enjoying an intimate acquaintance with all their particularities in turn, he would naturally regard an abstract conception in which these were unified as a thing more misleading than enlightening.”
—William James (1842–1910)