As originally phrased, your answer read as if you just needed a local section of the vector bundle. It is sometimes convenient to be agnostic about the rank of the vector bundle, so it can have different ranks on different connected components. Understanding the trivialisation of a normal bundle. Sections of a vector bundle reveal information about how trivial the bundle is. Linear algebra operations on vector bundles motivation. The following gives a functorial correspondence between vector bundles and g gl n bundles. E is a holomorphic vector bundle if the transition functions. With these in mind, we see that the local triviality condition from the definition of vector bundles says that. There is a bijection between the set of isomorphism classes of rank vector bundles with. It seems to me that given a vector bundle, the associated principal bundle is univocally determined.
Bis said to be a real or complex vector bundle corresponding to the typical bre being a real or complex. M are vector spaces, the manifolds f in the local trivialization are vector spaces, and for each p. E 2 taking each ber p 1 1 b to the ber p 1 2 b by a linear isomorphism. In the other direction, for a vector bundle eover x, one takes the frame bundle or the trivialization bundle. The second aim of this handout is to provide a very classical description of cp vector bundles of constant rank in. A bundle map is a pair f, f making the diagram e 1 p f e 2 q b 1 f b 2 commute, and such that the restriction f.
One should think of a local trivialisation of a fibre bundle e as some kind of local. Unlike the unitary connection, it moves holomorphically as e moves in a holomorphic family of vector bundles. The latter is, of course, equivalent to a trivialisation of the vector bundle by definition, if you set things up correctly but the former is most definitely not. Bundles, classifying spaces and characteristic classes contents. M0, where eis the categorical pullback of the diagram e. The first example is the product fiber bundle, also. X where x is a complex manifold and ehas a structure of a complex manifold. We also speak of real vector bundles and complex vector bundles depending on whether k r or k c.
X such that for every x 2 x, there is an open neighborhood u of x and a homeomorphism also called a local trivialization r u. Locally, it is going to be given by local trivializations fu i. Classification of vector bundles cornell university. This new vector bundle fe is called the \associated vector bundle to e, given by the functor f. Ebe a cp vector bundle map between cp vector bundles over a cp premanifold with corners x. In the next chapter complex vector bundles will play the larger role, however. We have seen that eis a vector sub bundle of a trivial bundle m rn over m. In general, a section of a map fis a right inverse of for, in other words, a map g going the other way f g such that fg id. More precisely, this means that the fiber bundle admits a family of local trivializations such that the transition functions takes values in g.
U is called a local trivialization of eover uand uis a trivializing neighbourhood for e. The vector bundle of rank rover xis said to be trivial if there exists a global bundle chart e x. This completes the construction of cp vector bundles e 1. A trivialization of e is the choice of such an isomorphism.
The set of all, is called a local trivialization of the bundle thus for any. Sep 17, 2020 finally, the quotient coprojections constitute a local trivialization of this vector bundle over the given open cover. A vector bundle has the local appearance of a product, but may have nontrivial global topology. Vector bundles of rank one are also called line bundles. Given a choice of trivialization, we can think of this section as the assignment of a vector sax 2 cr for a complex vector bundle to each point x. If the original data of clutching functions came from locally trivializations of a bundle. Given a space b, classify all vector bundles of dimension n over b up to isomorphism. Our rst aim in this handout is to develop the \pullback construction, and to give some examples. Let us make the preceding constructions very concrete in the language of local frames. Vector bundles and connections universiteit utrecht. One of the main objects associated to vector bundles are their local sections. An isomorphism 1 is called a trivialization over u. Brie y, a vector bundle is a ber bundle with structure group gln. If mis compact, then for any vector bundle eover m, there exists a vector bundle f over mso that e f is a trivial bundle over m.
The second aim of this handout is to provide a very classical description of cp vector bundles of constant rank in terms of what are called \transition matrices. From any vector bundle, one can construct the frame bundle of bases, which is a principal bundle see below. These constructions are inverse in the following sense proposition 7. The topology of fiber bundles stanford mathematics.
Suppose h2u\u0, and have and be the local trivialization s on uand u0respectively. In the case of rank one, the isomorphism relations of the quintets almost completely wipe out the information of. A bundle over a manifold is trivial if it is simply the cartesian product of. I dont think any of these give me the definition of trivialisation of any of the three i want.
We say it is the topological vector bundle glued from the transition functions. U with some constant element of glk,r, it turns out that the vector bundle. A smooth real vector bundle v of rank k over a smooth manifold m is a smoothly varying family of kdimensional real vector spaces which is locally trivial. Vector bundles 3 a collection of 1forms satisfying this condition is known as connection forms for the bundle g ij. First do this with respect to local coordinates on m and a local trivialization. In this denition, n is called the rank of the vector bundle. The vector bundle of rank rover xis said to be trivial if there exists a global bundle. We will call e the total space, m the base, 1p the fiber over p, and. A section of eis a smooth choice of a vector in each. Sections of 2 vector bundles urs schreiber january 4, 2007 higher categories and their applications, fields institute workshop, 2007, jan. A holomorphic vector bundle is a complex vector bundle with a holomorphic structure.
In practice one says things like, let e be a vector bundle over m instead of let e m be a vector bundle over m. Vector bundles, connections and curvature 5 of a connection on a vector bundle as a collection faa 2w1ua, mrcga2i of matrixvalued 1forms, which transform according to 1 under local gauge transformations. This is a 2 dimensional vector space with the point xas its zero vector 0 x. The elements of the fiber over x in a vector bundle can be viewed as abstract vectors in an internal space, with the local trivialization. E \to m\ be a vector bundle of rank \n\ and class \ck\ over the field \k\ see topologicalvectorbundle or differentiablevectorbundle. Vector bundles 1 vector bundles and maps the study of vector bundles is the study of parameterized linear algebra. If mcomes with an embedding into rn for some nthe existence of such an embedding can be proved using a partition of unity, the total space tmcan be described as tm x,v. It is a real vector bundle of rank n dimm which in general is not trivial. We construct a natural holomorphic connection on e. It also sort of looks like a construction that was made on top of the original vector bundle structure of the moebius strip, especially since we have to distinguish between y0 and y vector bundle e m, and let h.
For example, when b is a point a vector bundle is a single vector space so any two vector bundles. Local trivialization of a transport functor p vect c with respect to this i evidently coincides with the ordinary notion of local trivialization of a vector bundle with connection. A smooth real vector bundle of rank k over the base manifold m is a manifold e. U is called a local trivialization of e over u and u is a trivializing neighbour hood for. The triple must satisfy the condition that there be a local trivialization f. X such that for every x 2 x, there is an open neighborhood u of x and a homeomorphism also called a local trivialization. Especially since the matrix is unitary it kind of looks like a transition matrix between different local trivialization. Vector bundles are of relevance to physics because a charged matter. We will focus on real vector bundles in this chapter.
By definition, a smooth k vector bundle of rank r over a smooth manifold m. In particular, the restriction of a vector bundle to a submanifold of the base is a vector bundle over the submanifold. Vector bundles of rank 1 is also called the line bundle. A complex vector bundle is defined similarly, simply taking c as a field instead of r. John mccarthy june 26, 2019 imperial college london. Class notes math 751 fall 2018 university of kentucky. Vector bundles and charts if you open any book on di. But the general case puts it all in a sort of context. Notice that e m rk is a vector bundle of rank k, with the obvious projection map and local trivialization. As a corollary we get the following fundamental fact in topological ktheory. Therefore e c x ec \to x is a topological vector bundle def. The local trivialization shows that locally the map. With vector bundles, we are interested in sections of the projection.
This1 is a pdf with a treatment of principal bundles. V2 x we can take direct or whitney sum to get a bundle v1. Subbundles and quotient bundles motivation example n. Vector bundles and characteristic classes iitb math. A vector bundle of rank 1 is usually called a line bundle. U r ntaking p b to b r by a vector space isomorphism for every b2u. It follows that giving a local frame is equivalent to giving a local trivialization of the bundle. How a principal bundle and the associated vector bundle. An introduction to the seibergwitten equations on symplectic. For a eld f r or c and a positive integer k, a rank kf vector bundle. Bis called the base and ethe total space of this vector bundle.
450 317 219 1091 29 534 1448 868 1330 175 916 884 846 1591 26 1196 549 1077 1486 211