8
$\begingroup$

For the Lie algebra $\frak{sl}_n$, its fundamental representations can be realised as the exterior powers of the first fundamental representation. From this we can see that their weight spaces are all $1$-dimensional. Is this true for the other series - are the weight spaces of the fundamental representations always $1$-dimensional. If this is true, does it identify the fundamental representations, that is are the fundaental representation precisely those with $1$-dimensional weight spaces?

$\endgroup$
1

2 Answers 2

10
$\begingroup$

Let $\mathfrak{g}$ be a simple Lie algebra over an algebraically closed field of characteristic $0$ and denote the fundamental highest weights by $\varpi_1, \ldots, \varpi_l$, where $l$ is the rank of $\mathfrak{g}$ and the ordering of the $\varpi_i$ is the usual one (Bourbaki).

The cases where an irreducible representation of highest weight $\lambda$ has all weight spaces $1$-dimensional are the following:

  • Type $A_l$: $\lambda = \varpi_i, c \varpi_1$, or $c\varpi_l$.
  • Type $B_l$ ($l \geq 2$): $\lambda = \varpi_1$ or $\varpi_l$.
  • Type $C_l$ ($l \geq 3$): $\lambda = \varpi_1$. For type $C_3$, also $\lambda = \varpi_3$.
  • Type $D_l$ ($l \geq 4$): $\lambda = \varpi_1$, $\varpi_{l-1}$ or $\varpi_{l}$.
  • Type $G_2$: $\lambda = \varpi_1$.
  • Type $E_6$: $\lambda = \varpi_1$ or $\varpi_6$.
  • Type $E_7$: $\lambda = \varpi_7$.

So most fundamental representations do not have $1$-dimensional weight spaces. Also, in type $A$ you have non-fundamental representations which have all weight spaces $1$-dimensional. These can be realized as symmetric powers of the natural irreducible representation and its dual.

For a reference, see Chapter 6 in Seitz, The maximal subgroups of classical algebraic groups (Memoirs of the AMS). Seitz works with algebraic groups, but this will of course give you the result for Lie algebras as well.

Seitz actually proves a result over an algebraically closed field of characteristic $p \geq 0$. In characteristic $p > 0$ we get some additional examples, such as $\lambda = d \varpi_i + (p-d-1) \varpi_{i+1}$ in type $A_l$ (for $1 \leq i < l$ and $0 \leq d < p$).

$\endgroup$
2
  • 1
    $\begingroup$ It's also worth pointing out that outside types A and C, the adjoint representation is fundamental, but the $0$ weight space (i.e. a Cartan subalgebra) is not one-dimensional. $\endgroup$
    – Paul Levy
    Nov 7, 2018 at 10:23
  • $\begingroup$ Here is more detail on the AMS Memoir by Gary Seitz: mathscinet.ams.org/mathscinet-getitem?mr=888704 $\endgroup$ Dec 18, 2018 at 19:39
1
$\begingroup$

Such representations are actually quite rare and are superset of the minuscule representations.

$\endgroup$
4
  • $\begingroup$ Thanks for the terminology. I have also heard people talk about cominiscule representations . . . I guess these are related? $\endgroup$ Nov 5, 2018 at 15:03
  • $\begingroup$ For type $B$, the natural representation has all weight spaces of dimension $1$, but it is not minuscule. Another example would be irreducible of highest weight $\varpi_3$ for type $C_3$. $\endgroup$ Nov 6, 2018 at 1:47
  • $\begingroup$ @MikkoKorhonen Oops. Thanks for spotting that mistake. $\endgroup$ Nov 6, 2018 at 8:39
  • $\begingroup$ @PierreDubois Sorry, I don't really know much about these. If you happen to find some nice reference, please let me know. $\endgroup$ Nov 6, 2018 at 8:40

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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