GetWiki
Ehresmann connection
ARTICLE SUBJECTS
being →
database →
ethics →
fiction →
history →
internet →
language →
linux →
logic →
method →
news →
policy →
purpose →
religion →
science →
software →
truth →
unix →
wiki →
ARTICLE TYPES
essay →
feed →
help →
system →
wiki →
ARTICLE ORIGINS
critical →
forked →
imported →
original →
Ehresmann connection
please note:
- the content below is remote from Wikipedia
- it has been imported raw for GetWiki
{{Use American English|date=March 2019}}{{Short description|Differential geometry construct on fiber bundles}}In differential geometry, an Ehresmann connection (after the French mathematician Charles Ehresmann who first formalized this concept) is a version of the notion of a connection, which makes sense on any smooth fiber bundle. In particular, it does not rely on the possible vector bundle structure of the underlying fiber bundle, but nevertheless, linear connections may be viewed as a special case. Another important special case of Ehresmann connections are principal connections on principal bundles, which are required to be equivariant in the principal Lie group action.- the content below is remote from Wikipedia
- it has been imported raw for GetWiki
Introduction
A covariant derivative in differential geometry is a linear differential operator which takes the directional derivative of a section of a vector bundle in a covariant manner. It also allows one to formulate a notion of a parallel section of a bundle in the direction of a vector: a section s is parallel along a vector X if nabla_X s = 0. So a covariant derivative provides at least two things: a differential operator, and a notion of what it means to be parallel in each direction. An Ehresmann connection drops the differential operator completely and defines a connection axiomatically in terms of the sections parallel in each direction {{harv|Ehresmann|1950}}. Specifically, an Ehresmann connection singles out a vector subspace of each tangent space to the total space of the fiber bundle, called the horizontal space. A section s is then horizontal (i.e., parallel) in the direction X if {rm d}s(X) lies in a horizontal space. Here we are regarding s as a function scolon Mto E from the base M to the fiber bundle E, so that {rm d}scolon TMto s^*TE is then the pushforward of tangent vectors. The horizontal spaces together form a vector subbundle of TE.This has the immediate benefit of being definable on a much broader class of structures than mere vector bundles. In particular, it is well-defined on a general fiber bundle. Furthermore, many of the features of the covariant derivative still remain: parallel transport, curvature, and holonomy.The missing ingredient of the connection, apart from linearity, is covariance. With the classical covariant derivatives, covariance is an a posteriori feature of the derivative. In their construction one specifies the transformation law of the Christoffel symbols â€“ which is not covariant â€“ and then general covariance of the derivative follows as a result. For an Ehresmann connection, it is possible to impose a generalized covariance principle from the beginning by introducing a Lie group acting on the fibers of the fiber bundle. The appropriate condition is to require that the horizontal spaces be, in a certain sense, equivariant with respect to the group action.The finishing touch for an Ehresmann connection is that it can be represented as a differential form, in much the same way as the case of a connection form. If the group acts on the fibers and the connection is equivariant, then the form will also be equivariant. Furthermore, the connection form allows for a definition of curvature as a curvature form as well.Formal definition
Let picolon Eto M be a smooth fiber bundle.These considerations apply equally well to the more general situation in which picolon Eto M is a surjective submersion: i.e., E is a fibered manifold over M. In an alternative generalization, due to {{harv|Lang|1999}} and {{harv|Eliason|1967}}, E and M are permitted to be Banach manifolds, with E a fiber bundle over M as above. Let
V= ker (operatorname{d} pi colon TEto TM)
be the vertical bundle consisting of the vectors "tangent to the fibers" of E, i.e. the fiber of V at ein E is V_e =T_e(E_{pi(e)}). This subbundle of TE is canonically defined while there is no canonical subspace tangent to the base space M. (Of course, this asymmetry comes from the very definition of a fiber bundle, which "only has one projection" picolon Eto M while a product E=Mtimes F would have two.)Definition via horizontal subspaces
An Ehresmann connection on E is a smooth subbundle H of TE, called the horizontal bundle of the connection, which is complementary to V, in the sense that it defines a direct sum decomposition TE=Hoplus V {{harv|KolÃ¡Å™|Michor|SlovÃ¡k|1993}}. In more detail, the horizontal bundle has the following properties.- For each point ein E, H_e is a vector subspace of the tangent space T_e E to E at e, called the horizontal subspace of the connection at e.
- H_e depends smoothly on e.
- For each ein E, H_e cap V_e = {0}.
- Any tangent vector in T'e'E (for any eâˆˆE) is the sum of a horizontal and vertical component, so that T'e'E = H'e + V'e.
Definition via a connection form
Equivalently, let v be the projection onto the vertical bundle V along H (so that H = ker v). This is determined by the above direct sum decomposition of TE into horizontal and vertical parts and is sometimes called the connection form of the Ehresmann connection. Thus v is a vector bundle homomorphism from TE to itself with the following properties (of projections in general):- v2 = v;
- v is the identity on V=Image (v).
Parallel transport via horizontal lifts
An Ehresmann connection also prescribes a manner for lifting curves from the base manifold M into the total space of the fiber bundle E so that the tangents to the curve are horizontal.See {{harv|Kobayashi|Nomizu|1996}} and {{harv|KolÃ¡Å™|Michor|SlovÃ¡k|1993}} These horizontal lifts are a direct analogue of parallel transport for other versions of the connection formalism.Specifically, suppose that Î³(t) is a smooth curve in M through the point x = Î³(0). Let e âˆˆ E'x be a point in the fiber over x. A lift' of Î³ through e is a curve tilde{gamma}(t) in the total space E'' such that
tilde{gamma}(0) = e, and pi(tilde{gamma}(t)) = gamma(t).
A lift is horizontal if, in addition, every tangent of the curve lies in the horizontal subbundle of TE:
tilde{gamma}'(t) in H_{tilde{gamma}(t)}.
It can be shown using the rankâ€“nullity theorem applied to Ï€ and v that each vector XâˆˆT'x'M has a unique horizontal lift to a vector tilde{X} in T_e E. In particular, the tangent field to Î³ generates a horizontal vector field in the total space of the pullback bundle Î³*E. By the Picardâ€“LindelÃ¶f theorem, this vector field is integrable. Thus, for any curve Î³ and point e over x = Î³(0), there exists a unique horizontal lift of Î³ through e for small time t.Note that, for general Ehresmann connections, the horizontal lift is path-dependent. When two smooth curves in M, coinciding at Î³1(0) = Î³2(0) = x0 and also intersecting at another point x1 âˆˆ M, are lifted horizontally to E through the same e âˆˆ Ï€−1(x0), they will generally pass through different points of Ï€−1(x1). This has important consequences for the differential geometry of fiber bundles: the space of sections of H is not a Lie subalgebra of the space of vector fields on E, because it is not (in general) closed under the Lie bracket of vector fields. This failure of closure under Lie bracket is measured by the curvature.Properties
Curvature
Let v be an Ehresmann connection. Then the curvature of v is given by{{harv|KolÃ¡Å™|Michor|SlovÃ¡k|1993}}
R = tfrac{1}{2}[v,v]
where [-,-] denotes the FrÃ¶licher-Nijenhuis bracket of v âˆˆ Î©1(E,TE) with itself. Thus R âˆˆ Î©2(E,TE) is the two-form on E with values in TE defined by
R(X,Y) = vleft([(mathrm{id} - v)X,(mathrm{id} - v)Y]right),
or, in other terms,
Rleft(X,Yright) = left[X_H,Y_Hright]_V,
where X = XH + XV denotes the direct sum decomposition into H and V components, respectively. From this last expression for the curvature, it is seen to vanish identically if, and only if, the horizontal subbundle is Frobenius integrable. Thus the curvature is the integrability condition for the horizontal subbundle to yield transverse sections of the fiber bundle E â†’ M.The curvature of an Ehresmann connection also satisfies a version of the Bianchi identity:
left[v, Rright] = 0
where again [-,-] is the FrÃ¶licher-Nijenhuis bracket of v âˆˆ Î©1(E,TE) and R âˆˆ Î©2(E,TE).Completeness
An Ehresmann connection allows curves to have unique horizontal lifts locally. For a complete Ehresmann connection, a curve can be horizontally lifted over its entire domain.Holonomy
Flatness of the connection corresponds locally to the Frobenius integrability of the horizontal spaces. At the other extreme, non-vanishing curvature implies the presence of holonomy of the connection.Holonomy for Ehresmann connections in fiber bundles is sometimes called the Ehresmann-Reeb holonomy or leaf holonomy in reference to the first detailed study using Ehresmann connections to study foliations in {{harv|Reeb|1952}}Special cases
Principal bundles and principal connections
Suppose that E is a smooth principal G-bundle over M. Then an Ehresmann connection H on E is said to be a principal (Ehresmann) connection{{harvnb|Kobayashi|Nomizu|1996}} Volume 1. if it is invariant with respect to the G action on E in the sense that
H_{eg}=mathrm d(R_g)_e (H_{e}) for any eâˆˆE and gâˆˆG; here mathrm d(R_g)_e denotes the differential of the right action of g on E at e.
The one-parameter subgroups of G act vertically on E. The differential of this action allows one to identify the subspace V_e with the Lie algebra g of group G, say by map iotacolon V_eto mathfrak g. The connection form v of the Ehresmann connection may then be viewed as a 1-form Ï‰ on E with values in g defined by Ï‰(X)=Î¹(v(X)).Thus reinterpreted, the connection form Ï‰ satisfies the following two properties: - It transforms equivariantly under the G action: R_h^omega=hbox{Ad}(h^{-1})omega for all hâˆˆG, where Rh is the pullback under the right action and Ad is the adjoint representation of G on its Lie algebra.
- It maps vertical vector fields to their associated elements of the Lie algebra: Ï‰(X)=Î¹(X) for all XâˆˆV.
Vector bundles and covariant derivatives
Suppose that E is a smooth vector bundle over M. Then an Ehresmann connection H on E is said to be a linear (Ehresmann) connection if H'e depends linearly on e âˆˆ E'x for each x âˆˆ M. To make this precise, let SÎ» denote scalar multiplication by Î» on E, and let sigma:E times_M E to E denote addition.Then H is linear if and only if for all x âˆˆ M, the following properties are satisfied.{{citation needed|date=October 2010}}- H_{lambda e} = mathrm d(S_{lambda})_e (H_{e})for any e âˆˆ E and scalar Î».
- dsigma(Hboxtimes H)=H where Hboxtimes H denotes the corresponding horizontal subbundle on Etimes_M E.
Associated bundles
An Ehresmann connection on a fiber 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 general linear group on the frames (and thus a principal connection). It is not always possible for an Ehresmann connection to induce, in a natural way, a connection on an associated bundle. For example, a non-equivariant Ehresmann connection on a bundle of frames of a vector bundle may not induce a connection on the vector bundle.Suppose that E is an associated bundle of P, so that E = P Ã—G F. A G-connection on E is an Ehresmann connection such that the parallel transport map Ï„ : Fx â†’ Fx′ is given by a G-transformation of the fibers (over sufficiently nearby points x and x′ in M joined by a curve).See also Lumiste (2001), Connections on a manifold.Given a principal connection on P, one obtains a G-connection on the associated fiber bundle E = P Ã—G F via pullback.Conversely, given a G-connection on E it is possible to recover the principal connection on the associated principal bundle P. To recover this principal connection, one introduces the notion of a frame on the typical fiber F. Since G is a finite-dimensionalFor convenience, we assume that G is finite-dimensional, although this assumption can safely be dropped with minor modifications. Lie group acting effectively on F, there must exist a finite configuration of points (y1,...,ym) within F such that the G-orbit R = {(gy1,...,gym) | g âˆˆ G} is a principal homogeneous space of G. One can think of R as giving a generalization of the notion of a frame for the G-action on F. Note that, since R is a principal homogeneous space for G, the fiber bundle E(R) associated to E with typical fiber R is (equivalent to) the principal bundle associated to E. But it is also a subbundle of the m-fold product bundle of E with itself. The distribution of horizontal spaces on E induces a distribution of spaces on this product bundle. Since the parallel transport maps associated to the connection are G-maps, they preserve the subspace E(R), and so the G-connection descends to a principal G-connection on E(R).In summary, there is a one-to-one correspondence (up to equivalence) between the descents of principal connections to associated fiber bundles, and G-connections on associated fiber bundles. For this reason, in the category of fiber bundles with a structure group G, the principal connection contains all relevant information for G-connections on the associated bundles. Hence, unless there is an overriding reason to consider connections on associated bundles (as there is, for instance, in the case of Cartan connections) one usually works directly with the principal connection.Notes
References
- {{citation|last=Ehresmann|first=Charles|title=Les connexions infinitÃ©simales dans un espace fibrÃ© diffÃ©rentiable|series=Colloque de Toplogie, Bruxelles|year=1950|pages=29â€“55}}
- {{citation|last=Eliason|first=H|title=Geometry of manifolds of maps|journal=Journal of Differential Geometry|year=1967|volume=1|pages=169â€“194}}
- {{citation | last1=Kobayashi|first1=Shoshichi|authorlink1=Shoshichi Kobayashi|last2=Nomizu|first2=Katsumi |authorlink2=Katsumi Nomizu| title = Foundations of Differential Geometry|volume=Vol. 1| publisher=Wiley-Interscience | year=1996|edition=New|isbn=0-471-15733-3}}
- {{citation | last1=Kobayashi|first1=Shoshichi|authorlink1=Shoshichi Kobayashi|last2=Nomizu|first2=Katsumi |authorlink2=Katsumi Nomizu| title = Foundations of Differential Geometry|volume=Vol. 2| publisher=Wiley-Interscience | year=1996|edition=New|isbn = 978-0-471-15732-8}}
- {{citation|last1 = KolÃ¡Å™|first1=Ivan|last2=Michor|first2=Peter|last3=SlovÃ¡k|first3=Jan|url=http://www.emis.de/monographs/KSM/kmsbookh.pdf|format=PDF|title=Natural operators in differential geometry|year = 1993|publisher = Springer-Verlag}}
- {{citation|last=Lang|first=Serge|authorlink=Serge Lang|title=Fundamentals of differential geometry|publisher=Springer-Verlag|year=1999|isbn=0-387-98593-X}}
- {{springer|id=c/c025140|title=Connection on a fibre bundle|last=Lumiste|first= Ãœlo}}
- {{springer|id=c/c025180|title=Connections on a manifold|last=Lumiste|first= Ãœlo}}
- {{citation|last=Reeb|first=Georges|authorlink=Georges Reeb|title=Sur certaines propriÃ©tÃ©s topologiques des variÃ©tÃ©s feuilletÃ©es| publisher=Herman|place=Paris|year=1952}}
Further reading
- Raoul Bott (1970) "Topological obstruction to integrability", Proc. Symp. Pure Math., 16 Amer. Math. Soc., Providence, RI.
- content above as imported from Wikipedia
- "Ehresmann connection" does not exist on GetWiki (yet)
- time: 11:01am EDT - Sat, Aug 17 2019
- "Ehresmann connection" does not exist on GetWiki (yet)
- time: 11:01am EDT - Sat, Aug 17 2019
[ this remote article is provided by Wikipedia ]
LATEST EDITS [ see all ]
GETWIKI 09 JUL 2019
Eastern Philosophy
History of Philosophy
History of Philosophy
GETWIKI 09 MAY 2016
GetMeta:About
GetWiki
GetWiki
GETWIKI 18 OCT 2015
M.R.M. Parrott
Biographies
Biographies
GETWIKI 20 AUG 2014
GetMeta:News
GetWiki
GetWiki
GETWIKI 19 AUG 2014
© 2019 M.R.M. PARROTT | ALL RIGHTS RESERVED