# Equivariant differential forms.

I have some question about the equivariant differential forms on a smooth manifold: \ The equivariant differential forms over some smooth manifold $M$, on which the compact Lie group $G$ acts, are defined to be $$\Omega_{G}^q(M)= \oplus_{2i+j=q} (S^{i}(\mathfrak g^*) \otimes \Omega^j(M))^G,$$ where $\mathfrak g^*$ denotes the dual of the Lie algebra $\mathfrak g$ of $G$. Then many authors say that these forms can be considered as polynomial functions on the Lie algebra $\mathfrak g$ of $G$, but I am not sure how this is to be done. For example if we consider the element $(x_1 \otimes... \otimes x_i) \otimes \omega$ where $x_1,..., x_i$ are elements of $\mathfrak g^*$ and $\omega$ is a differential form, what is the evaluation of this element on some $a \in \mathfrak g$ in the Lie algebra of $G$.

-
I think you should ask this question in mathoverflow.net. –  emiliocba Jan 22 '12 at 23:22
Dear Phil, If $V$ is a vector space, then $S^i(V^*)$ equals the space of homogeneous of degree $i$ polynomial functions on $V$: precisely, the value of $x_1\otimes \cdots \otimes x_i$ on a vector $v$ is equal to the product $x_1(v)\cdot x_i(v)$. Looking at your definition, the equivariant differential forms will then be polynomial functions on $\mathfrak g$ (via the preceding formula), with values in the graded algebra of differential forms on $M$. If this answers your question, tell me, and I'll post this comment as an actual answer. Otherwise, what else do you want to know? Regards, –  Matt E Jan 23 '12 at 3:27
Now the question has been posted even on MathOverflow, precisely here: mathoverflow.net/questions/86419/equivariant-differential-forms –  Giuseppe Tortorella Jan 23 '12 at 8:09