Curvature of a vector bundle connection

The obstruction to commuting covariant derivatives, yielding an endomorphism-valued 2-form.
Curvature of a vector bundle connection

Let EME\to M be a vector bundle with a \nabla. Let X,YX,Y be smooth vector fields on MM, and let ss be a smooth section of EE.

Definition. The curvature of \nabla is the map RR^\nabla defined by

R(X,Y)s  :=  XYs    YXs    [X,Y]s, R^\nabla(X,Y)s \;:=\; \nabla_X\nabla_Y s \;-\; \nabla_Y\nabla_X s \;-\; \nabla_{[X,Y]} s,

where [X,Y][X,Y] is the of vector fields.

For each X,YX,Y, the operator R(X,Y):Γ(E)Γ(E)R^\nabla(X,Y):\Gamma(E)\to\Gamma(E) is C(M)C^\infty(M)-linear in ss, hence defines a bundle endomorphism of EE. Moreover, RR^\nabla is C(M)C^\infty(M)-linear in XX and YY and skew-symmetric, so it can be viewed as an End(E)\mathrm{End}(E)-valued on MM. In a local frame, it is represented by the matrix.

Examples

  1. Trivial connection is flat. For the trivial connection on M×RrM\times\mathbb R^r, mixed derivatives commute and R=0R^\nabla=0.
  2. Levi-Civita curvature. For the Levi-Civita connection on TMTM, RR^\nabla is the Riemann curvature tensor (in (1,3)(1,3) form), encoding sectional curvature and holonomy phenomena.
  3. Constant matrix connection on a trivial bundle. On URnU\subset\mathbb R^n, take =d+kAkdxk\nabla = d + \sum_k A_k\,dx^k with constant matrices AkA_k. Then RR^\nabla corresponds to the commutators [Ak,A][A_k,A_\ell]; it vanishes exactly when the matrices AkA_k pairwise commute.