A vector bundle over a space is a bundle over which is locally isomorphic to a product with a vector space as fiber. More precisely, the data is an object in equipped with a vector space structure internal to , consisting of maps
and an isomorphism from the pullback to the projection ,
as vector space objects in . The projection itself is called a trivial (vector) bundle over .
Equivalently, each fiber carries a vector space structure, and there exists an open covering of together with local trivializations: bundle isomorphisms from a trivial bundle to the pullback of along :
such that induces a linear map between the fibers.
In terms of the local trivialization data, there are transition functions
where the are linear automorphisms of and satisfy the Čech 1-cocycle conditions:
In the converse direction, given such a collection satisfying the 1-cocycle conditions, there is a vector bundle obtained by pasting local trivial bundles together along the , namely the coequalizer of a pair
in the category of vector space objects in . Here the restriction of to the coproduct summands is induced by inclusion:
and the restriction of to the coproduct summands is via the action of the transition functions:
In most applications, the ground field of scalars is assumed to be or , although sometimes other fields are allowed, as in the study of algebraic vector bundles.
In most cases (as in K-theory), it is implicitly assumed that the vector space is finite-dimensional.
In the context of differential topology or differential geometry, one also assumes that is smooth and that the local bundle isomorphisms are diffeomorphisms.
Vector bundles can also be defined via sheaf theory, which permits easy transport to general Grothendieck toposes. Let be the category of (set-valued) sheaves on . The sheaf of continuous local sections of the product projection
forms a local ring object ; when interpreted in the internal logic of , it is the Dedekind real numbers object. Then, according to a theorem of Richard Swan, in its sheaf-theoretic incarnation a vector bundle is the same thing as a projective -module.
In one class of models for K-theory – generalized (Eilenberg-Steenrod) cohomology theory – cocycles are represented by -graded vector bundles (pairs of vector bundles, essentially) modulo a certain equivalence relation. In that context it is sometimes useful to consider a certain variant of infinite-dimensional -graded vector bundles called vectorial bundles.
Much else to be discussed…
vector bundle, holomorphic vector bundle
Glenys Luke, Alexander S. Mishchenko, Vector bundles and their applications, Math. and its Appl. 447, Kluwer 1998. viii+254 pp. MR99m:55019
А. С. Мищенко, Векторные расслоения и их применения (Russian; A. S. Mishchenko, Vector bundles and their applications) Nauka, Moscow, 1984. 208 pp.
Howard Osborn, Vector bundles. Vol. 1. Foundations and Stiefel-Whitney classes, Pure and Appl. Math. 101, Academic Press 1982. xii+371 pp. MR85e:55001
Dale Husemoller, Fibre bundles, McGraw-Hill 1966 (300 p.); Springer GTM 1975 (327 p.), 1994 (353 p.).
An exposition with an eye towards gauge theory is in section 16.1 of
Discussion with an eye towards K-theory is in
Max Karoubi, K-theory. An introduction, Grundlehren der Mathematischen Wissenschaften 226, Springer 1978. xviii+308 pp.