Complex vector bundle

A smooth vector bundle whose fibers are complex vector spaces and whose transition functions are complex linear.
Complex vector bundle

Let MM be a . A (smooth) complex vector bundle over MM is a smooth surjective map π:EM\pi:E\to M together with the following data and properties:

  1. For each xMx\in M, the fiber Ex:=π1(x)E_x:=\pi^{-1}(x) is a finite-dimensional complex vector space.

  2. There is an open cover {Uα}\{U_\alpha\} of MM and smooth maps (local trivializations)

    Φα:π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 xUαx\in U_\alpha, the induced map (Φα)x:Ex{x}×CrCr(\Phi_\alpha)_x:E_x\to \{x\}\times\mathbb C^r\cong \mathbb C^r is complex linear.

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).

The integer rr is the (complex) rank; it is locally constant and hence constant if MM is connected (see ).

Examples

  1. Trivial bundle. For any r1r\ge 1, the projection M×CrMM\times\mathbb C^r\to M is a complex vector bundle with the obvious trivializations.

  2. Complexified tangent and cotangent bundles. The bundles TMRCTM\otimes_\mathbb R \mathbb C and TMRCT^*M\otimes_\mathbb R \mathbb C are complex vector bundles obtained by complexifying the and .

  3. Bundle of complex-valued kk-forms. The exterior power Λk(TMC)\Lambda^k(T^*M\otimes\mathbb C) is a complex vector bundle whose smooth sections are complex-valued .