How to write down explictly the isomorphism of two finite dimensional representation of compact groups? When dealing with finite dimensional representations over $\mathbb C$ of a compact group $G$, Character Theory provides us with a convenient way to determine whether two representations are isomorphic. Suppose that $W$, $V$ are two finite dimensional representations of $G$, and suppose we can compute their characters. Is there a convenient way to write down an explict isomorphism between $W$ and $V$?
My above question might be too vague. Let's look at an example, which motivates my question.
Let $V$ be a finite-dimensional vector space, show that there are natural isomorphisms
$\oplus_{j~even,j=0}^\infty S^{j}(V)\otimes E^{n-j}(V)=\oplus_{j~odd,j=0}^\infty S^j(V)\otimes  E^{n-j}(V), n>0.$
where $ S^{j}(V)$ is the degree $j$ part of the symmetric algebra of $V$,
$E^{j}(V)$ is the degree $j$ part of the exterior algebra of $V$. Naturality can be interpreted as "isomorphic as representation of $GL(V)$".
I've tried to directly write down an isomorphism but didn't manage it. I observed that "isomorphic as repn of $GL(V)$" is equivalent to isomorphic as repn of $SU(V)$ (when chosen a metric) since $GL(V)$ and $SU(V)$ generate the same subalgebra in $End(V)$, by density theorem. Now Character Theory apply and we can easily compute the character of both sides. For examples, if $\lambda_1,...,\lambda_n$ are the eigenvalues of the linear operator $T$, then the eigenvalues of the induces operator on $E^j(V)$ are the
 $ \lambda_{i_1}\cdots\lambda_{i_j},i_1< \ldots < i_j$. In this way, we can prove the existence of an expected isomorphism.
Now my question is, can we unwrap the Character Theory to yield an explict formula for the promised isomorphism? Of course, it will also be appreciated if you can write down a formula without the aid of Character Theory.
 A: I know this fact from a homological algebra background, so forgive me if I am using a language that is foreign to you.
Easy Lemma: Let If $(X,d)$ be an exact chain complex of vector spaces over a field of characteristic $0$ $K$ and $e:X \to X$ a contraction, i.e. $de +ed =c $, with $0 \neq c \in K$. Then $d+e :\bigoplus X_{2j} \to \bigoplus X_{2j-1}$ is an isomorphism.
If $e$ and $d$ are explicit, this is reasonably explicit. The appropriate chain complex for your problem is constructed as follows. Fix a vector space $V$ of finite dimension, write $E^p := \Lambda^{p} V^{\ast}$ and $S^q := Sym^q V^{\ast}$. Let $R^{\ast} := \bigoplus_{p,q} E^p \otimes S^q$. This is a graded commutative algebra if you give $E^p$ the degree $p$ and $S^q$ the degree $2q$.
There are canonical, mutually inverse, isomorphism $d:E^1 \to S^1$ and $e:S^1 \to E^1$. Extend $d$ to all of $R$ by the property $d(xy)= (dx)y + (-1)^{deg(x) } x (dy)$ and the requirement that $d(S^q)=0$. Do the same with $e$ (but here $e(E^p)=0$). The formulas $d^2=e^2=0$ hold.
Explicit formulas are
$$
d(v_1 \wedge \ldots v_p)\otimes (w_1 \ldots w_q) = \sum_{i=1}^{p} (-1)^{i-1} (v_1 \wedge v_{i-1} \wedge v_{i+1} \ldots v_p \otimes (dv_i w_1 \ldots w_q))
$$
and
$$
e(v_1 \wedge \ldots v_p)\otimes (w_1 \ldots w_q) = (-1)^p \sum_{i=1}^{q} (ew_i \wedge v_1 \wedge \ldots v_p \otimes ( w_1 \ldots w_{i-1} w_{i+1} \ldots w_q)).
$$
Now on the piece $E^p \otimes S^q$, the formula $de+ed=p+q$ holds, as you prove using the product formulae and induction.
The sequence (maps given by $d$)
$$
0\to E^n \to E^{n-1} \otimes S ^1 \to \ldots E^1 \otimes S^{n-1} \to S^n \to 0.
$$
is a chain complex and $e$ is a contraction, as in the above easy lemma. The sum $d+e$ is your desired isomorphism.
Remark: the construction is completely natural and therefore $GL(V)$-equivariant.
A: I find easier to construct "the" isomorphism between the direct sums, 
for variable $n$, of the pair of spaces you have.
We consider the algebraic De Rham complex $C$ of the affine space~$V$,
that is: for every $p$, $C^p$ is the space of differential forms of degree $p$ with polynomial
coefficients and $C$ is the direct sum of the spaces $C^p$. I let $C^+$ be the
direct sum of the $C^p$, for $p>0$.
The exterior derivation $d$ maps $C^p$ to $C^{p+1}$; let $Z^p$ be its kernel
(space of closed forms of degree $p$). It is known (we assume that
the characteristic of $K$ zero)
that the cohomology of the complex $(C,d)$ is zero in strictly positive degrees.
In other words, $d$ induces isomorphisms $C^p/Z^p\simeq Z^{p+1}$. Moreover, $C^0$
is the ring of polynomials and $Z^0=K$ (constant polynomials).
In differential topology, the obvious contraction from the affine space  to the origin
furnishes canonical antiderivatives to closed forms. One can check that
it preserves forms with polynomial coefficients. We thus get linear maps
$I\colon Z^{p+1}\to C^p$ such that $d\circ I = \mathrm{id}$ 
and $C^p=Z^p\oplus I(Z^{p+1})$ for every $p\geq 0$.
Let $C_e$ and $C_o$ be the subspace of $C$ consisting of differential forms
whose coefficients are even, respectively odd, polynomials.
One checks that $d(C_e)\subset C_o$, $d(C_o)\subset C_e$, $I(C_e^+)\subset C_o$
and $I(C_o^+)\subset C_e$.
Consequently,
$$ C_e = Z_e \oplus I(Z_o^+) = K \oplus Z_e^+ \oplus I(Z_o^+) $$
and
$$ C_o = Z_o\oplus I(Z_e^+)=Z_o^+\oplus I(Z_e^+). $$
Let $u\colon C_e\to C_o$ be the map given by $0$ on $K$, $I$ on $Z_e^+$  and $d$ on $I(Z_o^+)$,
let $v\colon C_o\to C_e$ be the map given by $I$ on $Z_o^+$ and $d$ on $I(Z_e^+)$.
Then $u\circ v$ is the identity and $v\circ u$ is the projection from $C_e$
to $Z_e^+\oplus I(Z_o^+)$ with kernel $K$.
They induce the isomorphisms you are looking for.
