Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
created equivariant de Rham cohomology with a brief note on the Cartan model.
(I seem to remember that we had discussion of this in the general context of Lie algebroids elsewhere already, several years back. But now I cannot find it….)
I have fixed a bunch of typographical glitches at equivariant de Rham cohomology . Also added paragraphs cross-linking with Weil algebra.
added pointer to
added pointer to
added pointer also to
and harmonized the list of references here with that at Weil algebra
I thought I’d follow Miettinen’s hep-th/9612209 for a concise and readable account of passing from Weil via Kalkman to Cartan. But if we accept the conjugation in his (14) don’t we get an extra quadratic term in (13)?
With the notation that I am using now in the entry (here), I get
$\begin{aligned} d_K & = \exp\big( -t^a \wedge \iota_{v^a} \big) \circ \big( d_{dR} + d_W \big) \circ \exp\big( t^a \wedge \iota_{v^a} \big) \\ & = d_{dR} + d_W + \big[ d_{dR} + d_W, t^a \wedge \iota_{v^a} \big] \\ & = d_{dR} + d_W + \big[ d_W, t^a \big] \wedge \iota_{v^a} - t^a \wedge \big[ d_{dR}, \iota_{v^a} \big] \\ & = d_{dR} + d_W + \big( r^a \underbrace{ - \tfrac{1}{2}f_{b c}^a t^b \wedge t^c } \big) \wedge \iota_{v^a} - t^a \wedge \mathcal{L}_{v^a} \end{aligned}$where the term over the brace is not in (13) of hep-th/9612209 .
Of course this is all elementary. Maybe I need to take a break…
Oh, I see. Will edit…
Okay, I have brought in statement and proof of a big lemma (here) explainng how the Cartan model is the result of solving in the Weil model the horizontality condition by applying the corresponding projection operator.
This is just an exegesis of Mathai-Quillen 86 around (5.6), which in turn follows the original
If anyone has more publication details on this article of Cartan, in particular maybe a scan, we should add it.
added pointer to
added also these pointers:
Generalization of the equivariant de Rham theorem to non-compact Lie groups is due to
based on the simplicial de Rham complex
see also
I have added the proof idea of the equivariant de Rham theorem (here), explaining how the Weil model is the image in dgc-algebraic rational homotopy theory of the Borel construction.
To make this proof idea a proof one needs to add some facts about resolutions in $\mathfrak{g}$-rational homotopy theory. The usual sources all shy away from going this last step. What’s a source that goes all the way?
1 to 13 of 13