Transition matrix of a local frame

The matrix-valued function describing how two local frames are related on an overlap.
Transition matrix of a local frame

Let π:EM\pi:E\to M be a rank rr smooth vector bundle, and let (e1,,er)(e_1,\dots,e_r) and (e1,,er)(e'_1,\dots,e'_r) be two of EE defined on open sets UU and VV, respectively. On the overlap UVU\cap V, there is a unique map

g:UVGL(r,F) g:U\cap V\to \mathrm{GL}(r,\mathbb F)

that is and satisfies, for each xUVx\in U\cap V and each j=1,,rj=1,\dots,r,

ej(x)=i=1rei(x)gij(x). e'_j(x)=\sum_{i=1}^r e_i(x)\,g_{ij}(x).

In matrix notation (with frames viewed as column vectors of sections), this reads

e(x)=e(x)g(x). e'(x)=e(x)\,g(x).

The map gg is called the transition matrix from the frame ee to the frame ee' on UVU\cap V.

If three frames e,e,ee,e',e'' are defined on mutually overlapping sets, their transition matrices satisfy the cocycle identity on triple overlaps:

ge,e=ge,ege,e. g_{e,e''}=g_{e,e'}\,g_{e',e''}.

Examples

  1. Trivial bundle. For E=M×FrE=M\times \mathbb F^r, any two frames over UU differ by a smooth g:UGL(r,F)g:U\to \mathrm{GL}(r,\mathbb F); the transition matrix is exactly that gg.

  2. Möbius line bundle. The Möbius real line bundle over S1S^1 can be described by two trivializations whose overlap transition function is the constant map g(θ)=1GL(1,R)g(\theta)=-1\in \mathrm{GL}(1,\mathbb R). This single nontrivial transition function encodes the twist.

  3. Orientation check. For a real bundle, on UVU\cap V the sign of detg(x)\det g(x) detects whether the two frames determine the same (positive determinant) or the opposite one (negative determinant).