2
$\begingroup$

Let $T= (\mathbb{C}^*)^2$ be embedded in $GL_2$ along its diagonal entries, and suppose $T$ acts on $M_2(\mathbb{C})$ via conjugation. Denote $\chi_i(g)=z_i$ where $$ g = \left( \begin{array}{cc} z_1 & 0 \\ 0 & z_2 \\ \end{array}\right). $$

Then we have a weight space decomposition of $M_2(\mathbb{C})$:

$$ M_2(\mathbb{C}) = \underbrace{\mathbb{C}\cdot E_{12}}_{\mbox{weight } \chi_1\chi_2^{-1} } \oplus \underbrace{\mathbb{C}\cdot E_{21}}_{\mbox{weight }\chi_1^{-1}\chi_2} \oplus \underbrace{ \left\{ \left( \begin{array}{cc} a & 0 \\ 0 & b \\ \end{array} \right) : a, b \in \mathbb{C}\right\} }_{\mbox{weight } 0} $$ where $E_{ij}$ is in $M_2(\mathbb{C})$ with a 1 in the $(i,j)$-entry and zeros everywhere else.

How does one determine which one is the highest or positive weight? Or it's possible that I am misunderstanding weights with roots; are they related?

When I mean roots, I am thinking of those that arise in root systems.

Added: please feel free to impose any noncanonical ordering on the above weights if there doesn't exist a canonical choice.

Added question: under what conditions or circumstances would there be a canonical choice on the weights so that the highest weight can be determined? Any simple example would be fine.

Thank you.

  • 0
    Highest and positive weights are not canonical; you need to make certain choices first. What text are you working from?2012-07-11
  • 0
    @QiaochuYuan I was just reading some lecture notes on linear algebraic groups. They refer to books by Humphreys, Borel, and Springer. So there is a choice to be made?2012-07-11
  • 0
    Yes. This should be explained in any reference.2012-07-11
  • 0
    @QiaochuYuan Please feel free to impose any noncanonical choice/s. The lecture notes basically summarize some key ideas in linear algebraic groups, and doesn't discuss anything about root systems. I made up this problem, just wanting to relate some simple Dynkin diagrams and the above.2012-07-11
  • 0
    It is not clear to me what your background is here. Could you summarize it?2012-07-11

1 Answers 1

3

You have a Lie group $G=GL(2,\mathbb C)$ with a chosen maximal torus $T$, acting on its Lie algebra $M_2(\mathbb C)$ by conjugation (the adjoint representation of $G$), so the roots are precisely the non-zero weights $\alpha=\chi_1\chi_2^{-1}$ and $\beta=\chi_1^{-1}\chi_2$ (considered as characters of $T$, that is algebraic group morphisms $T\to\mathbb C^\times$). Note that since the group $\mathrm{Hom}(T,\mathbb C^\times)$ of all characters is isomorphic to $\mathbb Z^n$ (here $n=2$), it is customary to write characters additively rather than multiplicatively: $\beta=-\alpha$ rather than $\beta=\alpha^{-1}$, and indeed $\alpha= \chi_1-\chi_2$ rather than $\alpha=\chi_1\chi_2^{-1}$.

In order to give sense to the notions of "positive root" and that of "highest weight" derived from it, one needs a choice between a finite number (here $2$) of possibilities, conveniently embodied by the choice of a Borel subgroup $B$ of $G$ containing $T$. Here the two possible choices are that of the group of upper triangular matrices in $G$ and the group of lower triangular matrices; it is conventional to choose the upper ones. Once that is done, the roots whose root subspace lies in the Lie algebra of $B$ are called positive, and the others negative. Here the root subspace $E_{1,2}$ lie in that Lie algebra, so $\alpha$ is considered positive, and $\beta=-\alpha$ negative. Thereby $\alpha$ is also the highest weight of the adjoint representation (but the adjoint representation is not always a highest weight representation). In general a weight of a representation is a highest weight if all other weights can be obtained from it by subtracting (a multiset of) positive roots.

  • 0
    Thanks Marc. This is very helpful!2012-07-12
  • 0
    Just one quick question: so assume the above scenario but suppose now $T$ is the maximal torus embedded naturally in $GL_n(\mathbb{C})$ along its diagonal coordinates. Using the same notation as above ($\chi_i(g)=z_i$), we can write down the weight space decomposition with the root $\chi_i-\chi_j$ corresponding to $E_{ij}$ (and we also have the weight space corresponding to the trivial character). Do we still have only two choices to choose a Borel $B$ of $G$ containing $T$? And which one of these $\chi_i-\chi_j$ is the highest weight if we choose the upper triangular matrices?2012-07-12
  • 0
    For your convenience, I've placed each positive root (assuming we have chosen the upper triangular matrices containing $T$) in the entry of the corresponding weight space in $M_n(\mathbb{C})$: $$\left(\begin{array}{ccccc} \;\;\;\; & \chi_1-\chi_2 & \chi_1-\chi_3 & \ldots &\chi_1-\chi_n \\ & & \ddots & & \vdots \\ & & & & \chi_{n-1}-\chi_n \\ & & & & \\ \end{array}\right).$$ I don't see a natural way to choose which one is the highest weight. Is this an example of when you say "the adjoint representation is not always a highest weight representation"?2012-07-12
  • 0
    In $GL(n,\mathbb C)$ there are $n!$ different Borel subgroups contining a fixed maximal torus (in general it is the order of the Weyl group); these are related to the possible choices of an ordering of the standard basis (which basis defines the chosen $T$). The highest root (for the choice of upper triangular matrices) would be $\chi_1-\chi_n$; this is the only one from which the others can be obtained by _subtraction_ of positive roots. The adjoint not having a highest weight occurs for groups like $GL_n\times GL_m$.2012-07-12
  • 0
    Thanks, this is very helpful to me too. With SL $\chi_i-\chi_j$ are a basis of $X(T) = \operatorname{Hom}(T,\mathbb{C}^\times)$, but with GL the $\chi_i$ themselves are a basis. What happens to the other dimension? Does it not get a root? Is there a name for the subgroup of $X(T)$ generated by the roots?2012-07-12
  • 0
    @JackSchmidt: In $SL_n$ one has the relation (written additively) $\sum_i\chi_i=0$; multiplicatively the product of the characters $\chi_i$ gives the determinant, which is the constant $1$ on (the maximal torus of) $SL_n$. So $X(T)$ for $SL_n$ is a quotient of $X(T)$ for $GL_n$, that's where the extra dimension goes. But the $\chi_i-\chi_j$ are not a "basis" even for $SL_n$: $X(T)$ is just an abelian group, and the $\chi_i-\chi_j$ span a full rank sublattice of $X(T)$, but it has index $n$. This lattice is called the root lattice.2012-07-12
  • 0
    Thanks (and oops, forgot about index n)! The weight lattice can properly contain the root lattice, right? I think this is true: the natural module for GL has weights that span (the abelian group) $X(T)$ of rank $n$, but the root lattice has rank $n-1$. (I'm trying to understand $X(T), Y(T), \Omega, \langle \Phi \rangle$ for GL, but sources tend to restrict to semisimple groups like SL; SL and GL are so similar this is both useful and confusing.)2012-07-12
  • 0
    @MarcvanLeeuwen Thank you again!2012-07-12