6
$\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$
7
$\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$).

| cite | improve this answer | |
$\endgroup$
  • 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 '18 at 10:23
  • $\begingroup$ Here is more detail on the AMS Memoir by Gary Seitz: mathscinet.ams.org/mathscinet-getitem?mr=888704 $\endgroup$ – Jim Humphreys Dec 18 '18 at 19:39
1
$\begingroup$

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

| cite | improve this answer | |
$\endgroup$
  • $\begingroup$ Thanks for the terminology. I have also heard people talk about cominiscule representations . . . I guess these are related? $\endgroup$ – Pierre Dubois Nov 5 '18 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$ – Mikko Korhonen Nov 6 '18 at 1:47
  • $\begingroup$ @MikkoKorhonen Oops. Thanks for spotting that mistake. $\endgroup$ – Vít Tuček Nov 6 '18 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$ – Vít Tuček Nov 6 '18 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.