Let $G$ be a Lie group with [Lie algebra](/page/Lie%20Algebra) $\mathfrak g$, let $M$ be a smooth manifold, and let $\pi:P\to M$ be a smooth principal $G$-bundle admitting a principal connection. For each integer $k\ge 0$, let
denote the [vector space](/page/Vector%20Space) of $\operatorname{Ad}$-invariant symmetric $k$-linear forms on $\mathfrak g$, with $I^0(G)=\mathbb R$, and let
be the corresponding graded algebra of invariant polynomials.
paragraph
admin
For a principal connection $A\in\Omega^1(P;\mathfrak g)$ with curvature $F_A\in\Omega^2(P;\mathfrak g)$ and for $\Phi\in I^k(G)$, let $\Phi(F_A)_M\in\Omega^{2k}(M)$ denote the unique descended differential form whose pullback to $P$ is the Chern-Weil form $\Phi(F_A)\in\Omega^{2k}(P)$. Then $\Phi(F_A)_M$ is closed, and the de Rham cohomology class