Complex vector bundle
In mathematics, a complex vector bundle is a vector bundle whose fibers are complex vector spaces.
Any complex vector bundle can be viewed as a real vector bundle through the restriction of scalars. Conversely, any real vector bundle can be promoted to a complex vector bundle, the complexification
whose fibers are .
Any complex vector bundle over a paracompact space admits a hermitian metric.
The basic invariant of a complex vector bundle is a Chern class. A complex vector bundle is canonically oriented; in particular, one can take its Euler class.
A complex vector bundle is a holomorphic vector bundle if is a complex manifold and if the local trivializations are biholomorphic.
01Complex structure
A complex vector bundle can be thought of as a real vector bundle with an additional structure, the complex structure. By definition, a complex structure is a bundle map between a real vector bundle and itself:
such that acts as the square root
of
on fibers: if
is the map on fiber-level, then
as a linear map. If
is a complex vector bundle, then the complex structure
can be defined by setting
to be the scalar multiplication by
. Conversely, if
is a real vector bundle with a complex structure
, then
can be turned into a complex vector bundle by setting: for any real numbers
,
and a real vector
in a fiber
,
Example: A complex structure on the tangent bundle of a real manifold is usually called an almost complex structure. A theorem of Newlander and Nirenberg says that an almost complex structure
is "integrable" in the sense it is induced by a structure of a complex manifold if and only if a certain tensor involving
vanishes.
02Conjugate bundle
If E is a complex vector bundle, then the conjugate bundle of E is obtained by having complex numbers acting through the complex conjugates of the numbers. Thus, the identity map of the underlying real vector bundles:
is conjugate-linear, and E and its conjugate E are isomorphic as real vector bundles.
The k-th Chern class of is given by
.
In particular, E and E are not isomorphic in general.
If E has a hermitian metric, then the conjugate bundle E is isomorphic to the dual bundle through the metric, where we wrote
for the trivial complex line bundle.
If E is a real vector bundle, then the underlying real vector bundle of the complexification of E is a direct sum of two copies of E:
(since V⊗RC = V⊕iV for any real vector space V.) If a complex vector bundle E is the complexification of a real vector bundle E', then E' is called a real form of E (there may be more than one real form) and E is said to be defined over the real numbers. If E has a real form, then E is isomorphic to its conjugate (since they are both sum of two copies of a real form), and consequently the odd Chern classes of E have order 2.
Sources and credits
This article is adapted from the Wikipedia article “Complex vector bundle”, written by its contributors and licensed under CC BY-SA 4.0. Fathomly has changed the layout, removed citation markers, navigation and maintenance notices, and adjusted punctuation. This adapted version is shared under the same license. For references, see the original article.
Fathomly is not affiliated with or endorsed by the Wikimedia Foundation. Spotted a problem? Tell us.