Curvature of a connection

Intuition [Beginner]

A connection lets you carry vectors along paths on a curved space. Carry a vector around a small loop and bring it back. On a flat space, it returns unchanged. On a curved space, it comes back rotated.

That rotation — the failure of parallel transport to close up around a small loop — is curvature. It's a local quantity (one number per pair of directions) that records how much the space twists.

For a sphere, transport a vector along the equator, then up to the north pole, then back down on a different meridian — the vector has rotated. The rotation per unit area is the Gaussian curvature. The same idea, generalised, gives the curvature of any connection on any bundle.

Visual [Beginner]

A small parallelogram on a curved surface. A vector traverses the boundary; on return, it's rotated. The rotation angle, divided by the parallelogram's area, is the curvature in those directions.

The smaller the loop, the better this approximation. In the limit, curvature is the infinitesimal failure of parallel transport to commute.

Worked example [Beginner]

Consider the unit sphere $S^2$ with the Levi-Civita connection. Take a small geodesic triangle near the north pole with two right-angle corners on the equator and a vertex angle $\alpha$ at the pole.

Parallel-transport a tangent vector around the boundary. By the Gauss-Bonnet theorem, the total rotation equals the angular excess of the triangle:

$$\text{rotation}=\alpha +\frac{\pi }{2}+\frac{\pi }{2}-\pi =\alpha .$$

Equivalently, the rotation equals "curvature times enclosed area." For the round sphere of radius $1$, the curvature is constant ($K=1$), and the area of a triangle with angles summing to a half-turn plus $\alpha$ is exactly $\alpha$. The two computations agree: rotation $=$ curvature $\times$ area $=$ angular excess. For higher-dimensional bundles (e.g., a vector bundle of rank $r$ over a base manifold), curvature is a 2-form valued in endomorphisms of the fibre — at each point and pair of tangent directions, it gives a linear map of the fibre.

Check your understanding [Beginner]

Formal definition [Intermediate+]

Let $\pi :P\to M$ be a smooth principal $G$-bundle 03.05.01 and $\omega$ a connection 1-form on $P$ 03.05.07, i.e., a $\mathfrak{g}$-valued 1-form $\omega \in {\Omega }^1(P;\mathfrak{g})$ satisfying:

• $\omega ({\xi }^{\#})=\xi$ for every $\xi \in \mathfrak{g}$, where ${\xi }^{\#}$ is the fundamental vertical vector field generated by $\xi$;
• $R_g^{\ast }\omega ={\mathrm{Ad}}_{g^{-1}}\omega$ for every $g\in G$.

The curvature 2-form of $\omega$ is the $\mathfrak{g}$-valued 2-form $\Omega \in {\Omega }^2(P;\mathfrak{g})$ defined by the Cartan structure equation:

$$\Omega =d\omega +\frac{1}{2}[\omega \wedge \omega ],$$

where $[\omega \wedge \omega ]$ is the $\mathfrak{g}$-valued 2-form whose value on tangent vectors $X,Y$ is

$$[\omega \wedge \omega ](X,Y)=[\omega (X),\omega (Y)]-[\omega (Y),\omega (X)]=2[\omega (X),\omega (Y)],$$

so equivalently $\Omega (X,Y)=d\omega (X,Y)+[\omega (X),\omega (Y)]$.

The curvature is horizontal (vanishes when one input is vertical) and equivariant ($R_g^{\ast }\Omega ={\mathrm{Ad}}_{g^{-1}}\Omega$), so it descends from a form on $P$ to a base-manifold form valued in the adjoint bundle:

$$F\in {\Omega }^2(M;\mathrm{ad}P),\mathrm{ad}P=P{\times }_{\mathrm{Ad}}\mathfrak{g}.$$

In gauge-theory notation, with $A$ the local pullback of $\omega$ along a section $s:U\to P$, the local curvature is

$$F_A=dA+\frac{1}{2}[A\wedge A].$$

This is the field strength in physics. For abelian groups, $[A\wedge A]=0$, and $F=dA$ is just the exterior derivative — recovering the familiar electromagnetic field strength $F_{\mu \nu }={\partial }_{\mu }{A}_{\nu }-{\partial }_{\nu }{A}_{\mu }$ from the gauge potential $A_{\mu }$.

For a vector bundle $E\to M$ with connection $\nabla :\Gamma (E)\to \Gamma (T^{\ast }M\otimes E)$ 03.05.04, the curvature is

$$R^{\nabla }(X,Y)s={\nabla }_X{\nabla }_{Y}s-{\nabla }_Y{\nabla }_{X}s-{\nabla }_{[X,Y]}s,$$

which gives a $C^{\infty }(M)$-bilinear map $TM\times TM\to \mathrm{End}(E)$, equivalently $R^{\nabla }\in {\Omega }^2(M;\mathrm{End}(E))$.

Key theorem with proof [Intermediate+]

Theorem (Bianchi identity). Let $\Omega$ be the curvature 2-form of a connection $\omega$ on a principal $G$-bundle. Then

$$D_{\omega }\Omega =0,$$

where $D_{\omega }=d+[\omega ,\cdot ]$ is the covariant exterior derivative.

Proof. Apply the exterior derivative to the Cartan structure equation $\Omega =d\omega +\frac{1}{2}[\omega \wedge \omega ]$:

$$d\Omega =d(d\omega )+\frac{1}{2}d[\omega \wedge \omega ]=\frac{1}{2}d[\omega \wedge \omega ],$$

since $d^2=0$. The graded Leibniz rule for the bracket of forms gives

$$d[\omega \wedge \omega ]=[d\omega \wedge \omega ]-[\omega \wedge d\omega ]=2[d\omega \wedge \omega ],$$

using the symmetry $[\omega \wedge \alpha ]=-[\alpha \wedge \omega ]$ for 1-forms $\omega ,\alpha$ valued in $\mathfrak{g}$ (the sign comes from both the form-degree swap and the bracket antisymmetry, which compose to a positive sign for two $\mathfrak{g}$-valued 1-forms). So

$$d\Omega =[d\omega \wedge \omega ].$$

On the other hand, $[\omega ,\Omega ]=[\omega ,d\omega +\frac{1}{2}[\omega \wedge \omega ]]=[\omega \wedge d\omega ]+\frac{1}{2}[\omega \wedge [\omega \wedge \omega ]]$. The Jacobi identity for $\mathfrak{g}$, applied to a triple wedge of $\omega$'s, gives $[\omega \wedge [\omega \wedge \omega ]]=0$. So

$$[\omega ,\Omega ]=[\omega \wedge d\omega ]=-[d\omega \wedge \omega ].$$

Therefore

$$D_{\omega }\Omega =d\Omega +[\omega ,\Omega ]=[d\omega \wedge \omega ]-[d\omega \wedge \omega ]=0.\square$$

The Bianchi identity is the structural identity behind every closedness statement in characteristic-class theory: it is the input that makes Chern-Weil forms automatically closed 03.06.06. In gauge theory it underwrites the topological-charge identities like $d\mathrm{tr}(F\wedge F)=0$.

Bridge. The construction here builds toward 03.06.06 (chern-weil homomorphism), where the same data is upgraded, and the symmetry side is taken up in 03.06.04 (pontryagin and chern classes). The defining pattern appears again in those units in a sharpened form, where the local data is glued or quotiented. Putting these together, the foundational insight is that the data of this unit gives the structural signature that the rest of the strand reads off.

Exercises [Intermediate+]

Lean formalization [Intermediate+]

lean_status: none — Mathlib's principal-bundle infrastructure is incomplete.

[object Promise]

A formalization needs principal-bundle structure, Lie-algebra-valued differential forms, the exterior covariant derivative, and the bracket-of-forms operation. The vector-bundle case is more accessible to Mathlib's existing differential geometry but still requires bundling work.

Advanced results [Master]

Curvature is the obstruction to flatness, but it has finer structural roles depending on the geometric setting.

Yang-Mills equations. The variational equations of the Yang-Mills action 03.07.05 are $D_{\omega }\ast \Omega =0$ — the covariant codifferential of curvature vanishes. Combined with the Bianchi identity $D_{\omega }\Omega =0$, this gives a coupled first-order system. In four dimensions the special solutions where $\ast \Omega =\pm \Omega$ (instantons) automatically satisfy both.

Riemannian curvature tensor. For the Levi-Civita connection on $TM$, the curvature 2-form $R^{\mathrm{LC}}\in {\Omega }^2(M;\mathrm{End}(TM))$ has the Riemann tensor as its components. Under the splitting $\mathrm{End}(TM)\cong TM\otimes T^{\ast }M$, the resulting tensor $R_{ijkl}$ has the well-known symmetries: $R_{ijkl}=-R_{jikl}=-R_{ijlk}=R_{klij}$ (the last by the algebraic Bianchi identity). Contracting once gives the Ricci curvature, contracting again gives the scalar curvature, and removing the trace gives the Weyl conformal curvature.

Lichnerowicz formula. The square of the Dirac operator on a spin manifold 03.09.08 decomposes as

$$/D^2={\nabla }^{\ast }\nabla +\frac{1}{4}R,$$

where $R$ is the scalar curvature of the Levi-Civita connection — a curvature term arising directly from the spin connection's Cartan structure equation.

Chern-Weil and characteristic classes. Invariant polynomials evaluated on curvature 03.06.06 produce closed forms whose cohomology classes are independent of the chosen connection. This is the geometric source of every characteristic class with a differential-form representative — Chern, Pontryagin, Euler, Â — all live in the image of this construction 03.06.04.

Holonomy. Parallel transport around a closed loop based at $p\in M$ defines an element of the structure group $G$. The holonomy group $\mathrm{Hol}(p)\subseteq G$ is the subgroup generated by all such loop transports. Curvature determines the Lie algebra of $\mathrm{Hol}(p)$ via the Ambrose-Singer theorem: $\mathrm{Lie}(\mathrm{Hol}(p))$ is spanned by all values of $\Omega$ at points reachable by parallel transport from $p$.

Synthesis. This construction generalises the pattern fixed in 03.05.01 (principal bundle), with the symmetric data replaced by its skew or twisted analogue. Read in the opposite direction, the construction is dual to the metric story: complements and orthogonality are taken with respect to the bilinear datum of this unit, not a metric, and the resulting category of subobjects is the one the rest of the strand classifies. The central insight is that this datum identifies algebra with geometry: functions become vector fields, subspaces become quotients, and invariants become cohomology classes — and that identification is the engine driving every theorem downstream.

Full proof set [Master]

Cartan structure equation as an identity. The structure equation $\Omega =d\omega +\frac{1}{2}[\omega \wedge \omega ]$ is defined this way; its content is that the right-hand side is horizontal and equivariant. Horizontality: for a vertical vector ${\xi }^{\#}$ generating $\xi \in \mathfrak{g}$, $\omega ({\xi }^{\#})=\xi$ and $\xi$ is constant along $P$, so $d\omega ({\xi }^{\#},X)=-\omega ([{\xi }^{\#},X])$ for any $X$. The bracket term gives the compensating contribution: a calculation shows $\Omega ({\xi }^{\#},X)=0$ for any $X$. Equivariance follows from $R_g^{\ast }\omega ={\mathrm{Ad}}_{g^{-1}}\omega$ and the corresponding equivariance of the bracket-of-forms.

Bianchi identity. Proved in §"Key theorem".

Vector-bundle curvature is $C^{\infty }$-bilinear. For $f\in C^{\infty }(M)$,

$$R(fX,Y)s={\nabla }_{fX}{\nabla }_{Y}s-{\nabla }_Y{\nabla }_{fX}s-{\nabla }_{[fX,Y]}s.$$

Using ${\nabla }_{fX}=f{\nabla }_X$ and $[fX,Y]=f[X,Y]-(Yf)X$,

$$R(fX,Y)s=f{\nabla }_X{\nabla }_{Y}s-{\nabla }_Y(f{\nabla }_{X}s)-f{\nabla }_{[X,Y]}s+(Yf){\nabla }_{X}s$$ $$=f{\nabla }_X{\nabla }_{Y}s-(Yf){\nabla }_{X}s-f{\nabla }_Y{\nabla }_{X}s-f{\nabla }_{[X,Y]}s+(Yf){\nabla }_{X}s=fR(X,Y)s.$$

So $R$ is $C^{\infty }(M)$-linear in $X$ (and similarly in $Y$ and $s$), making it a tensor field — a section of ${\Lambda }^2{T}^{\ast }M\otimes \mathrm{End}(E)$, equivalently ${\Omega }^2(M;\mathrm{End}(E))$.

Gauge covariance. Under $A\mapsto A^g=g^{-1}Ag+g^{-1}dg$, the Maurer-Cartan equation $d(g^{-1}dg)=-(g^{-1}dg)\wedge (g^{-1}dg)$ produces cancellations leaving $F^g=g^{-1}Fg$. This is the algebraic content of the Cartan structure equation under gauge transformations.

Curvature is the Frobenius obstruction. The horizontal distribution $H\subseteq TP$ is the $\ker \omega$. By Frobenius's theorem, $H$ is integrable iff $[H,H]\subseteq H$. For two horizontal $X,Y$, $\omega ([X,Y])=-d\omega (X,Y)$ (by Cartan's magic formula, since $\omega$ vanishes on $H$). On horizontal vectors, $\Omega (X,Y)=d\omega (X,Y)$, so $\omega ([X,Y])=0$ iff $\Omega =0$. Therefore $\Omega \equiv 0$ iff $H$ is integrable iff parallel transport is path-independent (locally).

Connections [Master]

• Principal bundle 03.05.01 — the structural setting.

• Connection on a principal bundle 03.05.07 — supplies the 1-form $\omega$.

• Connection on a vector bundle 03.05.04 — the associated-bundle version yields $R^{\nabla }$.

• Lie algebra 03.04.01 — curvature takes values in $\mathfrak{g}$ (or $\mathrm{End}(E)$ on the associated side).

• De Rham cohomology 03.04.06 — the cohomology class of an invariant polynomial in $\Omega$ is the Chern-Weil image.

• Chern-Weil homomorphism 03.06.06 — the downstream construction that turns $\Omega$ into characteristic classes.

• Yang-Mills action 03.07.05 — the squared $L^2$ norm of curvature, treated variationally.

• Pontryagin and Chern classes 03.06.04 — specific invariant polynomials in $\Omega$.

Historical & philosophical context [Master]

Curvature in its modern bundle-theoretic form was crystallised by Élie Cartan in the early twentieth century, building on Riemann's notion of sectional curvature and the development of the absolute differential calculus by Ricci and Levi-Civita. Cartan's structure equations were the geometric heart of his moving-frame method, and they predate the abstract bundle-theoretic formulation that Ehresmann developed in the late 1940s ^{[Kobayashi-Nomizu §III.5]}.

The simultaneous development of gauge theory in physics (Yang-Mills 1954) and Chern-Weil theory in mathematics (Chern, Weil, late 1940s) made curvature the central object connecting two previously separate streams. By the 1980s, with Atiyah-Bott on Yang-Mills over Riemann surfaces and Donaldson's four-manifold theory, curvature of a connection had become the geometric input that links analytic invariants (Yang-Mills functional, Donaldson invariants) to topological invariants (Pontryagin classes, instanton charges). The Bianchi identity is the structural identity that makes this entire programme coherent.

Bibliography [Master]

• Kobayashi, S. & Nomizu, K., Foundations of Differential Geometry, Vol. I, Wiley, 1963. §III.5.
• Milnor, J. & Stasheff, J., Characteristic Classes, Princeton University Press, 1974. Appendix C.
• Donaldson, S. K. & Kronheimer, P. B., The Geometry of Four-Manifolds, Oxford University Press, 1990. §2.
• Cartan, É., "Sur la structure des groupes infinis de transformation", Annales scientifiques de l'É.N.S. (1904).
• Ehresmann, C., "Les connexions infinitésimales dans un espace fibré différentiable", Colloque de topologie, Bruxelles, 1950.

---

Wave 2 Phase 2.3 unit #3. Curvature of a connection — the geometric input to Chern-Weil and Yang-Mills, and the Frobenius obstruction to flatness.