Thursday, November 01st, 2012 | Author: Konrad Voelkel
A vector bundle is a morphism that looks locally on the target like a product of the target with a vector space.
We will call the target space the
Is that the correct mathematical definition? It doesn't mention what kind of spaces we look at, what kind of morphism I'm talking about, what the product is, locally in which sense, vector space over which field, do we allow infinite dimension, ... so it's not a mathematical definition in the pedantic sense. I will give you pedantic definitions in this article, just to satisfy my need to write down what I consider to be a good terminology.
Some concepts related to vector bundles
There are some notions close to vector spaces that I want to discuss as well: complex vector bundles, holomorphic vector bundles, fiber bundles, G-bundles and Hurewicz fibrations on the one side, locally free sheaves, quasi-coherent sheaves, sheaves of abelian groups on the other side.
I'll give you quick definitions in the non-rigorous spirit of the first definition above:
- A complex vector bundle is a vector bundle whose fibers are vector spaces over the complex numbers.
- A holomorphic vector bundle is a complex vector bundle whose transition functions are biholomorphic (I will mention transition functions below).
- A fiber bundle is a morphism that looks locally on the target like a product of the target with the fiber over some point.
- A G-bundle, for G some group, is a fiber bundle that has a G-action on the total space that preserves the fibers and is free and transitive.
- A Hurewicz fibration is a map that allows the following: Whenever you fix a map to the total space, and a homotopy of the composition with the Hurwicz fibration, this homotopy can be lifted to a homotopy of the map to the total space.
- A locally free sheaf is a sheaf of modules under the sheaf of rings of regular functions that locally looks like a free module.
- A quasi-coherent sheaf is a sheaf of modules under the sheaf of rings of regular functions that locally looks like a cokernel of a morphism of locally free sheaves.
- A sheaf of abelian groups is just a sheaf whose sections happen to be abelian groups. And also the sections over the empty set are required to be the trivial group, not something else.
The connection between the bundle world and the sheaf world is, of course, the sheaf of sections of a bundle. Such a sheaf of sections of a vector bundle happens to be a locally free sheaf, and to every locally free sheaf one can associate a vector bundle that turns this construction into an equivalence of categories.
A good definition is ...
Before I talk about transition functions, I want to discuss some aspects of a good mathematical definition (of course there are exceptions):
- It has to be specific. You don't want to talk about general something when in fact, what you have in mind is something quite concrete. You can generalize later.
- It has to capture only the aspects that are important, nothing else. You don't want to study aspects of implementation of a concept instead of the concept. Example: You can define natural numbers as certain sets in many different ways, while most of the time it doesn't matter which kind of set representation you choose.
- It should relate to familiar useful notions in mathematics instead of re-inventing the wheel. Also, the names should not be too different from historical usage.
- It should not use too much highfalutin abstract language if it can be said in a down-to-earth elementary way just as short or mildly longer anyway.
- It should be invariant under transformations of the structures and properties that matter. Example: A property of vector spaces is defined poorly if it isn't invariant under vector space isomorphisms - since it is then not really a property of vector spaces but a property of a certain set which happens to carry a vector space structure. This is also called "evil" in some circles.
- It should separate stuff from structure, in other words, data from properties. This is not only a matter of exposition, but it is most important in exposition.
A bad definition of vector bundles
A bad definition of vector bundles would look like that:
A continuous map together with a cover of is called vector bundle if . A morphism of vector bundles from to is a commutative diagram with and continuous maps and in it, such that the map , when restricted to any fiber, is a linear map.
I don't want to go into detail what's wrong with this definition (that I just made up), but instead give you what I consider a good definition (and I expect there to be disagreement).
Good definitions of various things
Fix a category of spaces, for example topological spaces, manifolds, algebraic varieties or schemes. Let be a field. If we want to consider a vector space of dimension as a space, we write (for affine space).
Then, to any given space we can associate the category of spaces over , whose objects are morphisms and a morphism is a morphism of spaces such that the commutative triangle made from this and the morphisms and commutes.
From this it is clear that an isomorphism in the category of spaces over is an isomorphism of total spaces that preserves the fibers, which means it commutes with the morphisms to .
We also remind you that for any morphism we call a morphism a
trivialized fiber bundleover a space with fiber and trivialization is a morphism together with an isomorphism to a projection morphism .
trivial fiber bundleover a space with fiber is a morphism such that there exists a trivialization that turns it into a trivialized fiber bundle.
locally trivialized fiber bundleover an open cover of with fiber is a morphism together with morphisms called local trivialization, such that each morphism is a trivialized fiber bundle over the space with fiber and trivialization .
fiber bundleover a space with fiber is a morphism such that there exists an open cover and a local trivialization such that these together form a locally trivialized fiber bundle.
locally trivialized -vector bundleof rank over an open cover of a space is a trivialized fiber bundle with fiber , fixed -vector space structure on each fiber for and local trivialization such that for all and each point the morphism is an isomorphism of vector spaces as well.
- Let be a group object in spaces. A
-valued 2-cocyclesubordinate to an open cover is a family of morphisms that satisfy the cocycle conditions: and , where is pointwise multiplication in .
-vector space objectover a space is a morphism together with a section called the zero section, a morphism over called addition and a morphism over called multiplication, such that for each point the fiber becomes a -vector space with zero , vector addition and scalar multiplication .
-vector bundleof rank over a space is a -vector space object such that there exists an open cover and a local trivialization such that these, together with the induces -vector space structure on the fibers of form a trivialized -vector bundle of rank .
I want to remark that a vector bundle is not just a fiber bundle with fiber a vector space! The vector space structure has to vary continuously along the base, and it needs to be fixed once and for all. Also, it might puzzle you that the definition of a vector bundle is so different from "a morphism that is locally a vector bundle". This is because we have to fix the vector space structure on the fibers, not only an isomorphism class of vector spaces. The consequence of using different (seemingly easier) definitions would be to get different, non-equivalent categories.
To each locally trivialized vector bundle we can associate a 2-cocycle by taking the local trivialization and looking at the morphism which is, by definition, a morphism over , so it is reasonable to compose with the projection to and we get an adjoint morphism, called transition function .
There is no way to get back the original locally trivialized vector bundle from the cocycle, but we can glue together trivial vector bundles over the along the morphisms that can be built from the cocycle, to get a locally trivialized vector bundle which is isomorphic, as locally trivialized vector bundle, to the original one.
The notion of isomorphism of vector bundles translates directly into the notion of cohomologous 2-cocycles.
So now we have somehow three different, yet somehow equivalent approaches to introduce vector bundles: one via fiber bundles, one via sheaves and one via cocycles. Which one is "right"?
For geometric intuition, one might argue for each of the three approaches. Traditionally, topologists tend to use fiber bundle language and algebraists tend to use sheaf language. Sheaf language is convenient to compute cohomology, either abstractly or via cocycles. To this purpose, one needs the category of quasi-coherent sheaves or all abelian sheaves, since they have better homological properties (being abelian and having enough injectives respectively). While this makes the sheaf language seem superior, the fiber bundle approach has the advantage of exhibiting a vector bundle as something that might be a Hurewicz fibration, which it is, in the topological setting. The systematic use of fibrations and cofibrations isn't so much found in the mainstream literature (although the term "fibration" is used frequently) but there is no reason to assume that won't change in future.
I would advise to introduce vector bundles by introducing locally trivialized vector bundles first. Most people tend to work with trivialized things, but we can try hard to make sure our constructions and definitions don't depend on the trivialization.
This process happens often in mathematics: one has some abstract concept to think about, and then there are various equivalent presentations of it, which are often useful to prove theorems or imagine geometry. I think it is equally important to separate the concepts from the presentations as it is to separate data from properties in a definition.
Whew, that was a rant!
I'm sure I butchered some definition here. Please tell me where. Oh, and I deliberately left out some definitions of morphisms here, because I think they should be obvious. Are they?