Jump to content

Affine bundle

From Wikipedia, the free encyclopedia

This is the current revision of this page, as edited by 192.41.132.130 (talk) at 14:19, 2 November 2021 (Formal definition). The present address (URL) is a permanent link to this version.

(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

In mathematics, an affine bundle is a fiber bundle whose typical fiber, fibers, trivialization morphisms and transition functions are affine.[1]

Formal definition

[edit]

Let be a vector bundle with a typical fiber a vector space . An affine bundle modelled on a vector bundle is a fiber bundle whose typical fiber is an affine space modelled on so that the following conditions hold:

(i) Every fiber of is an affine space modelled over the corresponding fibers of a vector bundle .

(ii) There is an affine bundle atlas of whose local trivializations morphisms and transition functions are affine isomorphisms.

Dealing with affine bundles, one uses only affine bundle coordinates possessing affine transition functions

There are the bundle morphisms

where are linear bundle coordinates on a vector bundle , possessing linear transition functions .

Properties

[edit]

An affine bundle has a global section, but in contrast with vector bundles, there is no canonical global section of an affine bundle. Let be an affine bundle modelled on a vector bundle . Every global section of an affine bundle yields the bundle morphisms

In particular, every vector bundle has a natural structure of an affine bundle due to these morphisms where is the canonical zero-valued section of . For instance, the tangent bundle of a manifold naturally is an affine bundle.

An affine bundle is a fiber bundle with a general affine structure group of affine transformations of its typical fiber of dimension . This structure group always is reducible to a general linear group , i.e., an affine bundle admits an atlas with linear transition functions.

By a morphism of affine bundles is meant a bundle morphism whose restriction to each fiber of is an affine map. Every affine bundle morphism of an affine bundle modelled on a vector bundle to an affine bundle modelled on a vector bundle yields a unique linear bundle morphism

called the linear derivative of .

See also

[edit]

Notes

[edit]
  1. ^ Kolář, Ivan; Michor, Peter; Slovák, Jan (1993), Natural operators in differential geometry (PDF), Springer-Verlag, archived from the original (PDF) on 2017-03-30, retrieved 2013-05-28. (page 60)

References

[edit]