Dear all, 


In short, my problem is that I would like to have a better control of the 1-forms on a homogeneous space. Contrary to the group case, the module of differential form is not trivialisable. 


To be more precise about my specific problem, let $G$ be compact simply connected semisimple (with algebra $\mathcal{G}$), and $T$ a maximal torus (with algebra $\mathcal{T}$). Then by standard associated bundle theory, one has 
$ \Omega^1 (G/T) \simeq \{ T-equivariant\ maps\ G\to \mathcal{T}^0 \}$
, where $\mathcal{T}^0$ are the elements of $\mathcal{G}^\ast$ vanishing on $\mathcal{T}$. Here, $T$ acts on the right, by multiplication on $G$, and by $Ad^\ast$ on $\mathcal{T}^0$.


Now I'm looking for generators (as $C^\infty(G/T)-$module) of the RHS of this version of 1-forms (ie in terms of equivariant maps).


For instance, for the different and simple problem of $G$, the requirement of equivariance is trivial, and generators are given by constant maps to $\mathcal{G}^\*$.


Any reference/advice is very welcome.


Thanks,
Amin



How can one find generators of basic differential forms on homogeneous spaces?
This actually can be done in much greater generality.
Let $G$ be a compact group and $K \subseteq G$ a closed subgroup.
Then for any finite-dimensional representation $(V,\pi)$ of $K$ you can form the associated bundle $G \times\_K V$ over $G/K$.
Sections of this bundle are given by functions $f : G \to V$ satisfying the equivariance condition
$$
f(xs) = \pi(s)^{-1} f(x)
$$
for all $x \in G$ and $s \in K$.
You are now asking for a collection of sections that generates the module of all sections of this bundle.
One way to do this is via Frobenius reciprocity.


Frobenius reciprocity implies that there is a representation $(W,\sigma)$ of $G$ such that $V \subseteq W$ and $\sigma(s)v = \pi(s)v$ for $v \in V$.
Since $G$ is compact, there is a $G$-invariant inner product on $W$.
Let $P$ be the orthogonal projection of $W$ onto $V$ with respect to this inner product.


Then choose an orthonormal basis $(w\_i)$ for $W$.
For each $i$, define a function $\eta\_i : G \to V$ by
$$
\eta\_i(x) = P \sigma(x)^{-1}w\_i.
$$
It is not too hard to show that each $\eta\_i$ is actually a section of the associated bundle.


To show that these sections generate the module, define a $C^\infty(G/K)$-valued pairing on the module $\Gamma = \Gamma^\infty(G/K, G \times\_K V)$ by
$$
\langle \zeta, \xi \rangle(x) = \langle \zeta(x), \xi(x) \rangle, 
$$
for sections $\zeta, \xi$, where $\langle , \rangle$ was the invariant inner product on $W$ that we chose above.
Then it turns out that for any $\xi \in \Gamma$, we have
$$
\xi = \sum\_i \langle \xi, \eta\_i \rangle \eta\_i.
$$
When verifying this you need to use the fact that since the inner product on $W$ is $G$-invariant, any element $x$ of $G$ takes the orthonormal basis $(w\_i)$ to another orthonormal basis.


Anyway, this is only as canonical as choosing an orthonormal basis of $W$, so it may not be what you want. But it is at least a way of getting a nice generating set.


Edit: I should explain what this is really doing. Note that a homogeneous vector bundle bundle $G \times\_K V$ over $G/K$ will be a trivial bundle if and only if the representation $(V,\pi)$ of $K$ is actually the restriction of a representation of $G$ on $V$. To see this, note that if this is the case, then in the construction above we can take $W = V$, the projection $P$ is just the identity operator, and the global sections $\eta\_i$ vanish nowhere and form a global frame for the bundle.


In the case when we have to take $W$ to be strictly larger than $V$, what we are doing is embedding the homogeneous bundle $G \times\_K V$ into the trivial bundle $G \times\_K W$. The projection $P$ tells us how to cut down fiberwise from the trivial bundle to the nontrivial one.


I should add that in your case, you can take the larger vector space $W$ to be $\mathcal{G}^\ast$ itself with the coadjoint action of $G$, and you can take the invariant inner product to be the one induced by the Killing form on $\mathcal{G}$.


