Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Question 8.17 from Fulton's Representation Theory reads as follows:

Let $V$ be a representation of a connected Lie group $G$ and $\rho: \frak{g} \to$ $ \operatorname{End}(V)$ the corresponding map of Lie algebras. Show that a subspace $W$ of $V$ is invariant by $G$ if and only if it is carried into itself under the action of the Lie algebra $\frak g$, i.e., $\rho(X)(W) \subset W$ for all $X$ in $\frak g$.

The hint we are given is "Use statement (ii), noting that $W$ is $G$-invariant if it is $\widetilde G$-invariant, with $\widetilde G$ the universal covering of $G$." Also, statement (ii) is "if $G$ and $H$ are Lie groups with $G$ connected and simply connected, the maps from $G$ to $H$ are in one-to-one correspondence with maps of the associated Lie algebras, by associating to $\rho: G \to H$ its differential $(d\rho)_e: \frak g \to h$."

I am very unsure as to how to attack this problem. I assume that we somehow show that $W$ is carried into itself under the action of $\frak g$, then this implies that $W$ under the universal cover $\widetilde G$ of $G$, which is not only connected but also simply connected, is invariant, so it is also $G$-invariant. However, I'm unsure of how to show this, even using (ii). And I'm also unsure as to how to prove the forward direction as well. Thanks for any help.

share|cite|improve this question

Suppose $W$ is $G$-invariant. Then $d\rho_e(X)w$, for $w \in W$ and $X \in \mathfrak g$, is, for example, the derivative of the path in $V$ that you get when you push $w$ around by $\rho$ applied to a path in $G$. Convince yourself that this path is actually in $W$ and use the fact that $W$ is a vector space.

On the other hand, suppose $W$ is $\mathfrak g$-invariant, so that $d\rho$ maps $\mathfrak g$ to $\mathfrak{gl}(W).$ Then statement (ii) gives you a map $\widetilde G \to GL(W)$, which you want to see as inducing the action of $\rho(G)$ on $W$...

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.