Show the Cartan 3-form transgresses to the Killing form in the Weil algebra Let $G$ be a connected, reductive Lie group, and $W\mathfrak g = (S[\mathfrak g^\vee] \otimes \Lambda[\mathfrak g^\vee],\delta)$ the associated Weil algebra. This is a CDGA equipped with an action of $\mathfrak g$ by interior multiplication $\iota$ and a resulting action $\mathcal L$ of $\mathfrak g$ by Lie derivatives, $\mathcal L$-equivariantly DGA-isomorphic to the standard Koszul complex $(S[\mathfrak g^\vee] \otimes \Lambda[\mathfrak g^\vee],k)$. In particular, both it and the subalgebra $(W\mathfrak g)^G$ annihilated by the $\mathcal L$-action are contractible.
The basic subalgebra of $W\mathfrak g$, that annihilated by both the  $\mathcal L$- and $\iota$-actions, is easily seen to be just the symmetric invariants $S[\mathfrak g^\vee]^G$, on which the Weil differential $\delta$ vanishes identically. By acyclicity of the big algebra, each symmetric invariant $x$ is $\delta y$ for some $y \in (W\mathfrak g)^G$, and we can consider its projection $z$ to the subalgebra $\Lambda[\mathfrak g^\vee]^G$, sending the symmetric generators to zero. The resulting element $z$ is independent of the choice of $y$, and the  $x \mapsto z$ corresponds to the cohomology suspension $H^*BG \to H^* G$ in the universal bundle $G \to EG \to BG$ and induces a linear bijection between generators of $\Lambda[\mathfrak g^\vee]^G$ and $S[\mathfrak g^\vee]^G$.
There are natural elements of $S^2[\mathfrak g^\vee]^G$ and $\Lambda^3[\mathfrak g^\vee]^G$ which pull back along homomorphisms of Lie groups and are nonzero when $G$ is nonabelian, namely the Killing form $B$ and the Cartan form $(X,Y,Z) \mapsto B\big([X,Y],Z\big)$. From naturality and lack of other options (also, through hearsay), the Cartan form must be the suspension of the Killing form, but I've never seen anyone show this. But it must be possible to do very explicitly; very explicit formulae for the Weil differential and the two forms in question are possible.
Pick corresponding $B$-orthonormal bases $\theta^i$ and $u^i$ of $\Lambda^1[\mathfrak g^\vee]$ and $S^1[\mathfrak g^\vee]^G$. Let $\iota_i$ and $\mathcal L_i$ be the action of the dual basis of $\mathcal g$ and $c^i_{jk}$ the structure contents. If $x$ is the Killing form and $z$ is the Cartan form, find a simple expression in these symbols for $y$.
 A: This is the standard Chern-Simons calculation.  Let me use gauge-theoretical notation and write $A$ and $F$ for the odd and even, respectively, generators of the Weyl algebra.  If we choose canonical dual bases $\theta^a$ for $\mathfrak{g}^*$ and $X_a$ for $\mathfrak{g}$, then
$$ A = A^a X_a \qquad\text{and}\qquad F = F^a X_a$$
and the differential $d$ (sorry to change notation) in the Weyl algebra can be read from the usual
$$ F = dA + \tfrac12 [A,A] $$
or, in components,
$$ F^a = dA^a + \tfrac12 C^a{}_{bc} A^b A^c $$
with $C^a{}_{bc}$ the structure constants in that basis: $[X_a,X_b] = C^c{}_{ab} X_c$.
Now let $B_{ab} = B(X_a, X_b)$ be the components of the Killing form.  Your element $x = B_{ab} F^a F^b$ indeed satisfies $x = d y$, where $y$ is the Chern-Simons form
$$ y = B_{ab} A^a dA^b + \tfrac13 C_{abc} A^a A^b A^c $$
where $C_{abc} = C^d{}_{bc} B_{ad}$.
Finally, re-express $dA$ in the Chern--Simons form in terms of $F$:
$$y = B_{ab}A^a F^b - \tfrac16 C_{abc} A^a A^b A^c$$
and projecting to $\Lambda \mathfrak{g}^*$ (setting $F=0$) we arrive at
$$z = - \tfrac16 C_{abc} A^a A^b A^c$$
which seems to be the negative of the Cartan form.  (I can't discard having made a sign error or perhaps chosen different conventions.)
