Let MM be a . A smooth complex vector bundle of rank rr over MM is a smooth surjective map π:E→M\pi:E\to M with the following properties:

  1. For each x∈Mx\in M, the fiber Ex:=π−1(x)E_x:=\pi^{-1}(x) is a finite-dimensional complex .
  1. There is an open cover {Uα}\{U_\alpha\} of MM and smooth maps ()
    Φα:π−1(Uα)→Uα×Cr\Phi_\alpha:\pi^{-1}(U_\alpha)\to U_\alpha\times \mathbb C^r
    such that:
  • pr1∘Φα=π\mathrm{pr}_1\circ \Phi_\alpha=\pi on π−1(Uα)\pi^{-1}(U_\alpha), and
  • for each x∈Uαx\in U_\alpha, the induced map (Φα)x:Ex→{x}×Cr≅Cr(\Phi_\alpha)_x:E_x\to \{x\}\times\mathbb C^r\cong \mathbb C^r is complex linear.

The integer rr is the complex rank. More generally, allowing different ranks on different gives a locally constant rank function (see ).

Equivalent characterizations

Equivalently, on overlaps Uα∩UβU_\alpha\cap U_\beta the transition maps

Φα∘Φβ−1:(Uα∩Uβ)×Cr→(Uα∩Uβ)×Cr\Phi_\alpha\circ \Phi_\beta^{-1}:(U_\alpha\cap U_\beta)\times \mathbb C^r\to (U_\alpha\cap U_\beta)\times \mathbb C^r

have the form (x,v)↦(x,gαβ(x)v)(x,v)\mapsto (x,g_{\alpha\beta}(x)v) for a smooth map gαβ:Uα∩Uβ→GL(r,C)g_{\alpha\beta}:U_\alpha\cap U_\beta\to \mathrm{GL}(r,\mathbb C).

Examples
  1. Trivial bundle. For any r≥1r\ge 1, the projection M×Cr→MM\times\mathbb C^r\to M is a complex vector bundle with the obvious trivializations.
  1. Complexified tangent and cotangent bundles. The bundles TM⊗RCTM\otimes_\mathbb R \mathbb C and T∗M⊗RCT^*M\otimes_\mathbb R \mathbb C are complex vector bundles obtained by complexifying the and .
  1. Bundle of complex-valued kk-forms. The exterior power Λk(T∗M⊗C)\Lambda^k(T^*M\otimes\mathbb C) is a complex vector bundle whose smooth sections are complex-valued .