Let E→ME\to M be a with a ∇\nabla. Let X,YX,Y be smooth on MM, and let ss be a of EE.

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

R∇(X,Y)s  :=  ∇X∇Ys  −  ∇Y∇Xs  −  ∇[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, R∇R^\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, R∇R^\nabla is the (in (1,3)(1,3) form), encoding and holonomy phenomena.
  3. Constant matrix connection on a trivial bundle. On U⊂RnU\subset\mathbb R^n, take ∇=d+∑kAk dxk\nabla = d + \sum_k A_k\,dx^k with constant matrices AkA_k. Then R∇R^\nabla corresponds to the commutators [Ak,Aℓ][A_k,A_\ell]; it vanishes exactly when the matrices AkA_k pairwise commute.