vector bundle, 2-vector bundle, (∞,1)-vector bundle
real, complex/holomorphic, quaternionic
homotopy theory, (∞,1)-category theory, homotopy type theory
flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed…
models: topological, simplicial, localic, …
see also algebraic topology
Introductions
Definitions
Paths and cylinders
Homotopy groups
Basic facts
Theorems
Given two vector bundles and over the same base space , their tensor product of vector bundles is the vector bundle over whose fiber over any point is the tensor product of vector spaces (i.e. the tensor product of modules) of the respective fibers of and (the fiber-wise tensor product).
The tensor product of vector bundles makes the category Vect(X) into a symmetric monoidal category, in fact a distributive monoidal category.
(tensor product of topological vector bundles)
Let be a topological space, and let and be two topological vector bundles over .
Let be an open cover with respect to which both vector bundles locally trivialize (this always exists: pick a local trivialization of either bundle and form the joint refinement of the respective open covers by intersection of their patches). Let
be the transition functions of these two bundles with respect to this cover.
For write
be the pointwise tensor product of vector spaces of these transition functions
Then the tensor product bundle is the one glued from this tensor product of the transition functions (by this construction):
Let be a topological space and let be a two topological vector bundles over , of finite rank of a vector bundle. Then a homomorphism of vector bundles
is equivalently a section of the tensor product of with the dual vector bundle of :
Moreover, this section is a trivializing section (this example) precisely if the corresponding morphism is an isomorphism.
Last revised on May 17, 2023 at 10:07:27. See the history of this page for a list of all contributions to it.