Dejemos que $ P \rightarrow M$ ser un $G$ -principal. El álgebra de mentira de $G$ es $\frak{g}$ y $P$ tiene forma de conexión $\omega \in H^1(P,\frak{g})$ y la forma de curvatura $\Omega \in H^2(P,\frak{g})$ . Consideramos que $I^*(G)$ el conjunto de polinomios invariantes de $G$ es decir, las funciones multilineales $f: \frak{g} \times ... \times \frak{g} \rightarrow \mathbb{R}$ satsificando
$f(Ad(g)X_1,...,Ad(g)X_k) = f(X_1,...,X_n)$
para todos $g \in G$ con $Ad(g) = (R_g)_*$ el mapa inducido en $\frak{g}$ mediante la multiplicación por la derecha con un elemento de $G$ . Resulta muy sorprendente que
1)la forma
$f(\Omega)(V_1,...,V_{2k}) = f(\Omega(V_1,V_2),...,\Omega(V_{2k-1},V_{2k}))$
se puede proyectar a una forma en $H^{2k}(M)$ es independiente de la elección de la conexión para $P$ y
2) en el caso del $GL(n,\mathbb{K})$ -(con $\mathbb{K} = \mathbb{R} $ o $ \mathbb{C}$ ) asociado a un haz de vectores esta forma representa una clase característica del haz.
Mi problema es que he leído las pruebas de las afirmaciones pero no siento que entienda por qué son ciertas. En otras palabras, ¿qué hizo que Chern y Weil esperaran que esta construcción produjera clases características?