-1
$\begingroup$

Let $\sigma$ a finite-order automorphism of a finite-dimensional complex simple Lie algebra $g$. Denote the order of sigma by $k$ and fix a $k^{th}$ root of unity $\omega$. It is well know that $k=1,2 \text{ or } 3$ and that $$g=\oplus_{j\in \mathbb Z_k} g_j$$ where $g_j=\{ x \in g \mid \sigma(x)=\omega^jx\}.$ Moreover, $g_0$ is a simple Lie algebra.

QUESTION: Let $\lambda$ a weight of $g$ and $V(\lambda)$ the irreducible representation of weight $\lambda$. Denote by $V(\lambda)_{g_0}$ the $g_0$-module obtained from $V(\lambda)$ by restricting the action of $g$ to $g_0$. Is $V(\lambda)_{g_0}$ reducible as a $g_0$-module for all $\lambda$?

THANKS,

Note: The results mentioned can be found in the Kac book.

$\endgroup$
3
  • 1
    $\begingroup$ Isn't that restriction on the order $k$ true for $\sigma$ in the group of outer automorphisms? $\endgroup$ Mar 30, 2011 at 5:52
  • $\begingroup$ @Mariano I am sorry, I didn't understand your question. Can you redo it? Thanks, $\endgroup$
    – Angelo
    Mar 30, 2011 at 13:59
  • $\begingroup$ As Mariano points out, the work of Kac starts with an outer (graph) automorphism of order at most 3 and the fixed point subalgebra. The "inner" automorphisms given by the adjoint group action are more varied and don't involve these types of gradings. Aside from that, to ask for reducibility of all irreducible modules is asking for too much even when $g_0$ is a proper subalgebra. At some point you have to look at the details of each type $A, D, E_6$ (with rank at least 2). $\endgroup$ Mar 31, 2011 at 12:39

1 Answer 1

1
$\begingroup$

Yes if $k=1$. No if $k>1$; the adjoint representation is a counterexample.

For the edited question: isn't the vector representation of SL(n) (and its dual) a counterexample for $k=2$?

$\endgroup$
5
  • $\begingroup$ @Bruce: Ok, I agree that it may be the answer. But are you saying the answer is negative for all $g$ of type $A_n$, $D_n$ and $E_6$? (all types that admit a non trivial automorphism) Please, clarify me why! I guess that a bit of calculation is necessary, is not it? For instance, if $g=sl_3$ what we have ? $\endgroup$
    – Angelo
    Mar 30, 2011 at 13:57
  • $\begingroup$ I think I misunderstood the question. I have taken the liberty of making an edit which I hope makes it clearer. $\endgroup$ Mar 31, 2011 at 7:59
  • $\begingroup$ @Angelo: I don't understand what "universal" means here. $\endgroup$ Mar 31, 2011 at 12:42
  • 1
    $\begingroup$ @Angelo: You started with "the" irreducible module (unique up to isomorphism), so "universal" is meaningless here no matter whether modules are finite or infinite dimensional. Universal highest weight modules (= Verma modules) in the BGG category are infinite dimensional and rarely irreducible. Also, "categorical" here depends on which category of modules you are working in. $\endgroup$ Apr 1, 2011 at 13:18
  • $\begingroup$ @Jim: I wrote something wrong in my last comment, sorry you and Bruce!. I was talking only about irreducible highest weight modules and I used the term UNIVERSAL. The term universal is valid and important in another context that was on my mind, about representations of loop algebras. On the other hand, I know these modules are infinite dimensional and rarely irreducible. But I disagree that the question is out of context. $\endgroup$
    – Angelo
    Apr 3, 2011 at 4:06

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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