Last update: 24 July 2013

Now we turn to the complex representations of the groups just considered. Here the theory is in poor shape. Only ${GL}_{n}$ (Green, T.A.M.S. 1955) and a few groups of low rank have been worked out completely, then only in terms of the characters. Here we shall consider a few general results which may lead to a general theory.

Henceforth $K$ will denote the complex field. Given a (one-dimensional) character $\lambda $ on a subgroup $B$ of a group $G,$ realized on a space ${V}_{\lambda},$ we shall write ${V}_{\lambda}^{G}$ for the induced module for $G\text{.}$ This may be defined by ${V}_{\lambda}^{G}=KG{\otimes}_{KB}{V}_{\lambda}$ (this differs from our earlier version in that we have not switched to a space of functions), and may be realized in $KG$ in the left ideal generated by ${B}_{\lambda}=\underset{b\in B}{\Sigma}\lambda \left({b}^{-1}\right)b$ (and will be used in this form). Its dimension is $|G/B|\text{.}$

*Exercise:* Check these assertions.

*Lemma 84:* Let $B,C$ be subgroups of a finite group $G,$ let
$\lambda ,\mu $ be characters on $B,C,$
and let ${V}_{\lambda}^{G},{V}_{\mu}^{G}$ be the corresponding
modules for $G\text{.}$

(a) | If $x\in G,$ then ${B}_{\lambda}x{C}_{\mu}$ in $KG$ is determined up to multiplication by a nonzero scalar by the $(B,C)$ double coset to which $x$ belongs. |

(b) | ${\text{Hom}}_{G}({V}_{\lambda}^{G},{V}_{\mu}^{G})$ is isomorphic as a $K\text{-space}$ to the one generated by all ${B}_{\lambda}x{C}_{\mu}\text{.}$ |

(c) | If $B=C$ and $\lambda =\mu ,$ then the isomorphism in (b) is one of algebras. |

(d) | The dimension of ${\text{Hom}}_{G}({V}_{\lambda}^{G},{V}_{\mu}^{G})$ is the number of $(B,C)$ double cosets $D$ such that ${B}_{\lambda}x{C}_{\mu}\ne 0$ for some, hence for every $x$ in $D,$ or, equivalently, such that the restrictions of $\lambda $ and $x\mu $ to $B\cap xC{x}^{-1}$ are equal. |

Proof. | |

(a) This is clear. (b) Assume $T\in {\text{Hom}}_{G}({V}_{\lambda}^{G},{V}_{\mu}^{G})\text{.}$ Since ${B}_{\lambda}$ generates ${V}_{\lambda}^{G}$ as a $KG\text{-module,}$ $T{B}_{\lambda}$ determines $T\text{.}$ Let $T{B}_{\lambda}=\underset{x\in G/C}{\Sigma}{c}_{x}x{C}_{\mu}\text{.}$ Since $b{B}_{\lambda}=\lambda \left(b\right){B}_{\lambda},$ we get by averaging over $B$ that $T{B}_{\lambda}=\underset{x\in B\backslash G/C}{\Sigma}{c}_{x}{B}_{\lambda}x{C}_{\mu}\text{.}$ Thus $T$ is realized on ${B}_{\lambda},$ hence on all of ${V}_{\lambda}^{G},$ by right multiplication by ${\left|B\right|}^{-1}\Sigma {c}_{x}{B}_{\lambda}x{C}_{\mu}\text{.}$ Conversely, any such right multiplication yields a homomorphism, which proves (b). (c) By discussion in (b). (d) The first statement follows from (a) and (b). Let ${B}_{1}=B\cap xC{x}^{-1}$ and ${C}_{1}={x}^{-1}Bx\cap C,$ and $\left\{{y}_{i}\right\}$ and $\left\{{z}_{j}\right\}$ systems of representatives for ${B}_{1}\backslash B$ and $C/{C}_{1}\text{.}$ Set ${B}_{\lambda}^{\prime}=\Sigma \lambda \left({y}_{i}^{-1}\right){y}_{i}$ and ${C}_{\mu}^{\prime}=\Sigma \mu \left({z}_{j}^{-1}\right){z}_{j}\text{.}$ Then ${B}_{\lambda}x{C}_{\mu}={B}_{\lambda}^{\prime}{B}_{1\lambda}{B}_{1,x\mu}x{C}_{\mu}^{\prime}$ with $\left(x\mu \right)\left(xc{x}^{-1}\right)=\mu \left(c\right)$ since $x{C}_{1}{x}^{-1}={B}_{1}\text{.}$ If $\lambda \ne x\mu $ on ${B}_{1},$ then ${B}_{1\lambda}{B}_{1,x\mu}=0\text{.}$ If $\lambda =x\mu ,$ this product is $\left|{B}_{1}\right|{B}_{1\lambda},$ and then ${B}_{\lambda}x{C}_{\mu}\ne 0$ since the elements ${y}_{i}{b}_{1}x{z}_{j}$ are all distinct. $\square $ |

*Remarks:*

(a) | This is a special case of a theorem of G. Mackey. (See, e.g., Feit's notes.) |

(b) | The algebra of (c) is also called the commuting algebra since it consists of all endomorphisms of ${V}_{\lambda}^{G}$ that commute with the action of $G\text{.}$ |

*Theorem 47:* Let $G$ be a (perhaps twisted) finite Chevalley group.

(a) | If $\lambda $ is a character on $H$ extended to $$B in the usual way, then ${V}_{\lambda}^{G}$ is irreducible if and only if $w\lambda \ne \lambda $ for every $w\in W$ such that $w\ne 1\text{.}$ |

(b) | If $\lambda ,\mu $ both satisfy the conditions of (a), then ${V}_{\lambda}^{G}$ is isomorphic to ${V}_{\mu}^{G}$ if and only if $\lambda =w\mu $ for some $w\in W\text{.}$ |

Proof. | |

(a) ${V}_{\lambda}^{G}$ is irreducible if and only if its commuting algebra is one-dimensional (Schur's Lemma), i.e., by (c) and (d) of Lemma 84, if and only if $\lambda $ and $w\lambda $ agree on $B\cap wB{w}^{-1},$ hence on $H,$ for exactly one $w\in W,$ i.e. for only $w=1\text{.}$ (b) Since ${V}_{\lambda}^{G}$ and ${V}_{\mu}^{G}$ irreducible, they are isomorphic if and only if $\text{dim}\hspace{0.17em}{\text{Hom}}_{G}({V}_{\lambda}^{G},{V}_{\mu}^{G})=1,$ which, as above, holds exactly when $\lambda =w\mu $ for some (hence for exactly one) $w\in W\text{.}$ $\square $ |

*Exercise:*

(a) | $\text{dim}\hspace{0.17em}{\text{Hom}}_{G}({V}_{\lambda}^{G},{V}_{\mu}^{G})=\left|{W}_{\lambda}\right|$ if $\lambda =w\mu $ for some $w,$ $\text{dim}\hspace{0.17em}{\text{Hom}}_{G}({V}_{\lambda}^{G},{V}_{\mu}^{G})=0$ otherwise. |

(b) | In Theorem 47 the conclusion in (b) holds even if the condition in (a) doesn't. |

Here ${W}_{\lambda}$ is the stabilizer of $\lambda $ in $W\text{.}$ We see, in particular, that if $\lambda =1$ then the commuting algebra of ${V}_{\lambda}^{G}$ is $\left|W\right|\text{-dimensional.}$ But more is true.

*Theorem 48:* Let $V$ be the $KG\text{-module}$ induced by the trivial one-dimensional
$KB\text{-module.}$ Then the commuting algebra ${\text{End}}_{G}\left(V\right)$
is isomorphic to the group algebra $KW\text{.}$

*Reformulations:*

(a) | The multiplicities of the irreducible components of $V$ are just the degrees of the irreducible $KW\text{-modules.}$ |

(b) | The subalgebra, call it $A,$ of $KG$ spanned by the double coset sums $\stackrel{\u203e}{B}w{\stackrel{\u203e}{X}}_{w}$ is isomorphic to $KW\text{.}$ |

(c) | The algebra of functions $f:G\to K$ biinvariant under $B$ $\text{(}f\left(bxb\prime \right)=f\left(x\right)$ for all $b,b\prime \in B\text{)}$ with convolution as multiplication is isomorphic to $KW\text{.}$ |

Proof. | |||||||||||||||||||||||||||||||||||||||||||

The theorem is equivalent to (a) by Schur's Lemma and to (b) by Lemma 84, while (b) and (c) are clearly equivalent. We shall give a proof of (b), due to J. Tits, $\stackrel{\u02c6}{w}$ will denote the average in $KG$ of the elements of the double coset $BwB\text{.}$ The elements $\stackrel{\u02c6}{w}$ form a basis of $A$ and $\stackrel{\u02c6}{1}$ is the unit element. If $a$ is a simple root, ${c}_{a}$ will denote ${\left|{X}_{a}\right|}^{-1}\text{.}$ (1) $A$ is generated as an algebra by $\left\{{\stackrel{\u02c6}{w}}_{a}\hspace{0.17em}\right|\hspace{0.17em}a\hspace{0.17em}\text{simple}\}$ subject to the relations
(2) There exists a positive number $c=c\left(G\right)$ such that. ${c}_{a}={c}^{{n}_{a}}$ with ${n}_{a}$ a positive integer depending only on the type of $G\text{.}$ The multiplication table of $A$ in terms of the basis $\left\{\stackrel{\u02c6}{w}\right\}$ is given by polynomials in $c$ depending only on the type.
(3) An associative algebra ${A}_{c}$ with multiplication table given by the polynomials of (2) exists for every complex number $c\text{.}$ In particular ${A}_{c\left(G\right)}=A$ and ${A}_{1}=KW\text{.}$
(4) ${A}_{c}$ is semisimple for $c=c\left(G\right),$ for $c=1,$ and for all but a finite number of values of $c\text{.}$
(5) Completion of proof. Since $A$ is semisimple and $K$ is an algebraically closed field, $A$ is a direct sum of complete matric algebras, of certain degrees over $K$ (see, e.g., Jacobson's Structure of Rings or Feit's notes), and similarly for $KW\text{.}$ We have to show that the degrees are the same in the two cases. If $\mathcal{A}$ is any finite-dimensional associative algebra which is separable, i.e. which is semisimple when the base field is extended to its algebraic closure, we define the numerical invariants of $\mathcal{A}$ to be the degrees of the resulting matric algebras. The proof of Theorem 48 will be completed by the following lemma.
In fact, from (3) and the lemma with $R=K\left[c\right],$ $\mathcal{A}={A}_{c},$ and first $f:c\to c\left(G\right)$ and then $f:c\to 1,$ it follows that $A$ and $KW$ have the same numerical invariants, hence that they are isomorphic.
(c) If ${R}^{*}$ is as in (b), then any homomorphism of $R$ into $K$ can be extended to one of ${R}^{*}$ into $\stackrel{\u203e}{K}\text{.}$
(d) Completion of proof. Let $\left\{{a}_{i}\right\}$ be a basis for $\mathcal{A}/R,$ hence also for ${\mathcal{A}}_{F}/F,$ and $\left\{{x}_{i}\right\}$ independent indeterminates over $\stackrel{\u203e}{F}$ and also over $\stackrel{\u203e}{K}\text{.}$ The given homomorphism $f:R\to K$ defines a homomorphism $f:\mathcal{A}\to {\mathcal{A}}_{K}\text{.}$ By (c) it extends to a homomorphism of ${R}^{*}$ into $\stackrel{\u203e}{K}$ and then naturally to one of ${R}^{*}[{x}_{1},\dots ,{x}_{n}]$ into $\stackrel{\u203e}{K}[{x}_{1},\dots ,{x}_{n}]\text{.}$ If $a=\Sigma {x}_{i}{a}_{i}$ and $P\left(t\right)=\Pi {P}_{i}{\left(t\right)}^{{p}_{i}}$ is its characteristic polynomial, factored over $\stackrel{\u203e}{F}({x}_{1},\dots ,{x}_{n})$ as before, then the coefficients of each ${P}_{i}$ are integral polynomials in its roots, hence integral over the coefficients of $P,$ hence integral over $R[{x}_{1},{x}_{2},\dots ,{x}_{n}],$ hence belong to ${R}^{*}[{x}_{1},\dots ,{x}_{n}]$ by (b). Thus if $f\left(a\right)=\Sigma {x}_{i}f\left({a}_{i}\right),$ then its character polynomial has a corresponding factorization ${P}_{f}\left(t\right)=\Pi {P}_{if}{\left(t\right)}^{{p}_{i}}$ over $\stackrel{\u203e}{K}({x}_{1},\dots ,{x}_{n})\text{.}$ By (a1) the ${p}_{i}$ are the numerical invariants of ${\mathcal{A}}_{F},$ and by (a2) they satisfy ${p}_{i}=d{g}_{t}{P}_{i}=d{g}_{t}{P}_{if},$ so that by (a3) with $\mathcal{B}={\mathcal{A}}_{\stackrel{\u203e}{K}}$ they are also the numerical invariants of ${\mathcal{A}}_{K},$ which proves the lemma. $\square $ |

*Exercise:* If $\lambda $ is a character on $H$ extended to $B$ in the usual way, then
${\text{End}}_{G}\left({V}_{\lambda}^{G}\right)$
is isomorphic to $K{W}_{\lambda}\text{.}$ (Observe that this result includes both Theorem 47
and Theorem 48.)

*Remark:* Although $A$ is isomorphic to $KW$ there does not seem to be any natural isomorphism
and no one has succeeded in decomposing the module $V$ of Theorem 48 into its irreducible components, except for some groups of low rank. We may
obtain some partial results, in terms of characters, by inducing from the parabolic subgroups and using the following simple facts.

*Lemma 86:* Let $\pi $ be a set of simple roots, ${W}_{\pi}$ and ${G}_{\pi}$
the corresponding subgroups of $W$ and $G$ (see Lemma 30), and ${V}_{\pi}^{W}$
and ${V}_{\pi}^{G}$ the corresponding trivial modules induced to $W$ and
$G\text{;}$ and similarly for $\pi \prime \text{.}$

(a) | A system, of representatives in $W$ for the $({W}_{\pi},{W}_{\pi \prime})$ double cosets becomes in $G$ a system of representatives for $({G}_{\pi},{G}_{\pi \prime})$ double cosets. |

(b) | $\text{dim}\hspace{0.17em}{\text{Hom}}_{G}({V}_{\pi}^{G},{V}_{\pi \prime}^{G})=\text{dim}\hspace{0.17em}{\text{Hom}}_{W}({V}_{\pi}^{W},{V}_{\pi \prime}^{W})\text{.}$ |

Proof. | |

(a) Exercise. (b) By Lemma 84(d) and (a). $\square $ |

*Corollary 1:* Let ${\chi}_{\pi}^{G}$ denote the character of
${V}_{\pi}^{G}$ and similarly for $W\text{.}$ If
$\left\{{n}_{\pi}\right\}$ is a set of integers such that
${\chi}^{W}=\Sigma {n}_{\pi}{\chi}_{\pi}^{W}$
is an irreducible character of $W,$ then
${\chi}^{G}=\Sigma {n}_{\pi}{\chi}_{\pi}^{G}$
is, up to sign, one of $G\text{.}$

Proof. | |

Let ${(\chi ,\psi )}_{G}$ denote the average of $\chi \stackrel{\u203e}{\psi}$ over $G\text{.}$ We have ${({\chi}_{\pi}^{G},{\chi}_{\pi \prime}^{G})}_{G}=\text{dim}\hspace{0.17em}{\text{Hom}}_{G}({V}_{\pi}^{G},{V}_{\pi \prime}^{G}),$ and similarly for $W\text{.}$ Since ${\chi}^{W}$ is irreducible, ${({\chi}^{W},{\chi}^{W})}_{W}=1,$ it follows that ${({\chi}^{G},{\chi}^{G})}_{G}=1,$ so that $\pm {\chi}^{G}$ is irreducible, by the orthogonality relations for finite group characters. $\square $ |

*Remarks:*

(a) | In a beautiful paper in Berliner Sitzungsberichte, 1900, Frobenius has constructed a complete set of irreducible characters for the symmetric group ${S}_{n},$ i.e. the Weyl group of type ${A}_{n-1},$ as a set of integral combinations of the characters ${\chi}_{\pi}^{W}\text{.}$ Using his method and the preceding corollary one can decompose the character of $V$ in Theorem 48 in case $G$ is of type ${A}_{n-1}\text{.}$ (See R. Steinberg T.A.M.S. 1951). |

(b) | The situation of (a) does not hold in general. Consider, for example, the group $W$ of type ${B}_{2},$ i.e. the dihedral group of order 8. It has five irreducible modules (of dimensions 1,1,1,1,2), while there are only four ${\chi}_{\pi}^{W}\text{'s}$ to work with. |

(c) | A result of a general nature is as follows. |

*Corollary 2:* If the notation is as above and ${(-1)}^{\pi}$ is as in Lemma 66(d),
then ${\chi}^{G}=\Sigma {(-1)}^{\pi}{\chi}_{\pi}^{G}$
is an irreducible character of $G$ and its degree in $\left|U\right|\text{.}$

Proof. | |

Consider ${\chi}^{W}=\Sigma {(-1)}^{\pi}{\chi}_{\pi}^{W}\text{.}$ By (8) on p. 142, extended to twisted groups (check this using the hints given in the proof of Lemma 66), ${\chi}^{W}=\text{det,}$ an irreducible character. Hence $\pm {\chi}^{G}$ is also one by Cor. 1 above. We have ${\chi}^{G}\left(1\right)=\Sigma {(-1)}^{\pi}|G/{G}_{\pi}|\text{.}$ If $G$ is untwisted and the base field has $q$ elements, then by Theorem 4' applied to $G$ and to ${G}_{\pi}$ this can be continued $\Sigma {(-1)}^{\pi}W\left(q\right)/{W}_{\pi}\left(q\right)={q}^{N}=\left|U\right|,$ as in (4) of the proof of Theorem 26. If $G$ is twisted, the proof is similar. $\square $ |

We continue with some remarks on the algebra $A$ of Theorem 48(b).

*Lemma 87:* The homomorphisms of $A$ onto $K$ are given by:
$f\left({\stackrel{\u02c6}{w}}_{a}\right)=1$ or
$-{c}_{a}$ for each simple root $a,$ subject to the condition
that $f\left({\stackrel{\u02c6}{w}}_{a}\right)$ is constant on each
$W\text{-orbit.}$

Proof. | |

For $a$ and $b$ simple, let $n(a,b)$ denote the order of ${w}_{a}{w}_{b}$ in $W\text{.}$ We claim that $(*)$ $a$ and $b$ belong to the same $W\text{-orbit}$ if and only if there exists a sequence of simple roots $a={a}_{0},{a}_{1},\dots ,{a}_{r}=b$ such that $n({a}_{i},{a}_{i+1})$ is odd for every $i\text{.}$ The equation ${\left({w}_{{a}_{i}}{w}_{{a}_{i+1}}\right)}^{n}=1$ with $n$ odd can be rewritten to show that ${w}_{{a}_{i}}$ and ${w}_{{a}_{i+1}}$ are conjugate, so that if the sequence exists then $a$ and $b$ are conjugate. If $a$ and $b$ are conjugate, then so are ${w}_{a}$ and ${w}_{b},$ and this remains true when we project into the reflection group obtained by imposing on $W$ the additional relations: ${\left({w}_{c}{w}_{d}\right)}^{2}=1$ whenever $n(c,d)$ is even. In this new group ${w}_{a}$ and ${w}_{b}$ must belong to the same component, so that the required sequence exists. By $(*)$ the condition of the lemma holds exactly when $f\left({\stackrel{\u02c6}{w}}_{a}\right)=f\left({\stackrel{\u02c6}{w}}_{b}\right)$ whenever $n(a,b)$ is odd, i.e. exactly when $f$ preserves the relations $\text{(}\beta \text{)}$ (of the proof of Theorem 48). Since $f\left({\stackrel{\u02c6}{w}}_{a}\right)=1$ or $-{c}_{a}$ exactly when $f$ preserves $\text{(}\alpha \text{)}$ (solve the quadratic), we have the lemma. $\square $ |

*Remark:* By finding the annihilator in $A$ of the kernel of each of the homomorphisms of Lemma 87, we get a one-dimensional ideal
$I$ in $A\text{.}$ This corresponds to an irreducible submodule of multiplicity 1 in
$V,$ realized in the left ideal $KGI$ of
$KG\text{.}$ By working out the corresponding idempotent, the degree of the submodule can be found.

*Exercise:*

(a) | If $f\left({\stackrel{\u02c6}{w}}_{a}\right)=1$ for all $a,$ show that $I=K\Sigma {q}_{w}\stackrel{\u02c6}{w}$ with ${q}_{w}=\left|{X}_{W}\right|,$ and that the corresponding $KG\text{-module}$ is the trivial one. (Hint: by writing $W$ as a union of right cosets relative to $\{1,{w}_{a}\}$ and writing $\text{(}\alpha \text{)}$ in the form $({\stackrel{\u02c6}{w}}_{a}-1)({\stackrel{\u02c6}{w}}_{a}+{c}_{a})=0,$ show that $I$ is as indicated.) |

(b) | If $f\left({\stackrel{\u02c6}{w}}_{a}\right)=-{c}_{a}$ for all $a,$ show that $I=K\Sigma \left(\text{det}\hspace{0.17em}w\right)\stackrel{\u02c6}{w},$ and that in this case the dimension is $\left|U\right|\text{.}$ (Hint: if $e$ is the given sum and ${c}_{w}={q}_{w}^{-1},$ show that ${e}^{2}=me$ with $m=\Sigma {c}_{w}=|G/B|/\left|U\right|\text{.)}$ |

(c) | For $G={B}_{2}\left(q\right)$ work out all (four) cases of Lemma 87, hence obtain the degrees of all (five) irreducible components of $V\text{.}$ |

(d) | Same for ${A}_{2}$ and for ${G}_{2}\text{.}$ |

*Remark:* It can be shown that the module of (b) is isomorphic to the one with character ${\chi}^{G}$ as in Lemma 86,
Cor.2. If we reduce the element
$\Sigma \left(\text{det}\hspace{0.17em}w\right)|U/{X}_{W}|\stackrel{\u203e}{B}w{\stackrel{\u203e}{X}}_{W}$
(which is $\left|B\right|\left|U\right|e\text{)}$
of $I$ mod $p,$ we see from the proof of Theorem 46(e) that the given module reduces to the one of that
theorem for which $\lambda =1$ and every ${\mu}_{a}=-1\text{.}$ This latter
module can itself be shown to be isomorphic to the one in Theorem 43 for which
$\u27e8\lambda ,\alpha \u27e9=q\left(\alpha \right)-1$
for every $\alpha \text{.}$ From these facts and Weyl's formula the character of the original module can be found up to sign
and the result used to prove that the number of $p\text{-elements}$ (of order a power of
$p\text{)}$ of $G$ is ${\left|U\right|}^{2}\text{.}$
For the details see R. Steinberg, Endomorphisms of linear algebraic groups, to appear.

Finally, we should mention that the algebra $A$ admits an involution given by ${\stackrel{\u02c6}{w}}_{a}\to 1-{c}_{a}-{\stackrel{\u02c6}{w}}_{a}$ for all $a$ (which in case ${c}_{a}\to 1$ and $A\to KW$ reduces to $w\to \left(\text{det}\hspace{0.17em}w\right)w\text{).}$

The preceding discussion points up the following

*Problem:* Develop a representation theory for finite reflection groups and use it to decompose the module $V$ (or the algebra
$A\text{)}$ of Theorem 48.

It is natural that in studying the complex representations of $G$ we have considered first those induced by characters on $B$ since for representations of characteristic $p$ this leads to a complete set. In characteristic 0, however, this is not the case, as even the simplest case $G={SL}_{2}$ shows. One must delve deeper. Therefore, we shall consider representations of $G$ induced by (one-dimensional) characters $\lambda $ on $U\text{.}$ We can not expect such a representation ever to be irreducible since its degree $|G/U|$ is too large (larger than ${\left|G\right|}^{\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{$2$}\right.}\text{),}$ but what we shall show is that if $\lambda $ is sufficiently general then at least it is multiplicity-free. In other words, ${\text{End}}_{G}\left({V}_{\lambda}^{G}\right)$ is Abelian, hence a direct sum of fields. (If $\lambda $ is not sufficiently general, we can expect the Weyl group to play a role, as in Theorem 48.)

Before stating the theorem, we prove two lemmas.

*Lemma 88:* Let $k$ be a finite field and $\lambda $ a nontrivial character from the additive group of $k$
into ${K}^{*}\text{.}$ Then every character can be written uniquely
${\lambda}_{c}:t\to \lambda \left(ct\right)$
for some $c\in k\text{.}$

Proof. | |

The map $c\to {\lambda}_{c}$ is a homomorphism of $k$ into its dual, and its kernel is clearly 0. $\square $ |

*Lemma 89:* For $w\in W$ the following conditions are equivalent.

(a) | If $a$ and $wa$ are positive roots and one of them is simple, then so is the other. |

(b) | If $a$ is simple and $wa$ is positive, then $wa$ is simple. |

(c) | $w={w}_{0}{w}_{\pi}$ for some set $\pi $ of simple roots, with ${w}_{0}$ as usual and ${w}_{\pi}$ the corresponding object of ${W}_{\pi}\text{.}$ |

Proof. | |

(c) $\Rightarrow $ (a) Because ${w}_{\pi}$ maps $\pi $ onto $-\pi $ and $(*)$ permutes the positive roots with support not in $\pi $ (same proof as for Appendix I.11). (a) $\Rightarrow $ (b) Obvious. (b) $\Rightarrow $ (c) Let $\pi $ be the set of simple roots kept positive, hence simple, by $w\text{.}$ We claim: $(**)$ if $a>0$ and $\text{supp}\hspace{0.17em}a\u2288\pi ,$ then $wa<0\text{.}$ Write $a=b+c$ with $\text{supp}\hspace{0.17em}b\subseteq \pi ,$ $\text{supp}\hspace{0.17em}c\subseteq \Pi -\pi \text{.}$ Then $wa=wb+wc\text{.}$ Here $wc<0$ by the choice of $\pi ,$ and $\text{supp}\hspace{0.17em}wc\u2288w\pi \supseteq \text{supp}\hspace{0.17em}wb\text{.}$ Thus $wa<0\text{.}$ If $a$ is a simple root not in $\pi $ then $w{w}_{\pi}a<0$ by $(*)$ and $(**),$ while if $a$ is in $\pi $ this holds by the definition of $\pi \text{.}$ Thus $w{w}_{\pi}={w}_{0},$ whence (c). $\square $ |

*Theorem 49:* Let $G$ be a finite, perhaps twisted, Chevalley group and
$\lambda :U\to {K}^{*}$ a character such that
$\lambda |{X}_{a}\ne 1$ if $a$ is simple,
$\lambda |{X}_{a}=1$ if $a$ is positive but not simple.
Then ${V}_{\lambda}^{G}$ is multiplicity-free. In other words,
${\text{End}}_{G}\left({V}_{\lambda}^{G}\right)$ is Abelian,
or, equivalently, the subalgebra $A$ of $KG$ spanned by the elements
${U}_{\lambda}h\stackrel{\u203e}{w}{U}_{\lambda}$
$(h\in H,w\in W)$ is Abelian.

Here ${U}_{\lambda}=\underset{u\in U}{\Sigma}\lambda \left({u}^{-1}\right)u,$ and we assume that the $\stackrel{\u203e}{w}$ are chosen as in Lemma 83(b).

*Remarks:*

(a) | If $a$ is not simple, then usually ${X}_{a}\subseteq \mathcal{D}U,$ so that the assumption $\lambda |{X}_{a}=1$ is superfluous, but this is not always the case, e.g. for ${B}_{2}$ or ${F}_{4}$ with $\left|k\right|=2$ or for ${G}_{2}$ with $\left|k\right|=3\text{.}$ In these latter groups, there are other possibilities, which because of their special nature will not be gone into here. |

(b) | The proof to follow is suggested by that of Gelfand and Graev, Doklady, 1963 who have given a proof for ${SL}_{n}$ and announced the general result for the untwisted groups. T. Yokonuma, C. Rendues, Paris, 1967, has also given a proof for these latter groups, but his details are unnecessarily complicated. |

Proof of Theorem 49. | |||||||||||||||||||||||||||||

The fact that $A$ is Abelian will follow from the existence of an (involutory) antiautomorphism $f$ of $G$ such that (a) $fU=U\text{.}$ (b) $\lambda f=\lambda $ on $U\text{.}$ (c) For each double coset $UnU$ such that ${U}_{\lambda}n{U}_{\lambda}\ne 0,$ we have ${f}_{n}=n$ (here $n\in N=\Sigma H\stackrel{\u203e}{w}\text{).}$ For since $f$ extended to $KG$ and then restricted to $A$ is an antiautomorphlsm and at the same time the identity (by (a), (b), (c)) it is clear that $A$ is Abelian. The existence of $f$ will be proved in several steps. (1) If ${U}_{\lambda}n{U}_{\lambda}\ne 0$ and $n\in H\stackrel{\u203e}{w},$ then $w={w}_{0}{w}_{\pi}$ for some set $\pi $ of simple roots.
The condition in (1) essentially forces the correct definition of $f\text{.}$ We set ${a}^{*}=-{w}_{0}a\text{.}$ If $a$ is simple, so is ${a}^{*}\text{.}$ In order to simplify the discussion in one or two spots we assume henceforth that $G$ (i.e. its root system) is indecomposable. If $G$ is untwisted, we start with the graph automorphism corresponding to $*$ (see the Corollary on p. 156), compose it with the inversion $x\to {x}^{-1},$ and finally with a diagonal automorphism so that the result $f$ satisfies, not only $fU=U$ but also $\lambda f=\lambda $ on $U\text{.}$ This is possible because of Lemma 89 and the assumptions on $\lambda $ in the theorem. If $G$ is twisted, then we may omit the graph automorphism, (because $*$ is then the identity), and use the explicit isomorphism ${X}_{a}/\mathcal{D}{X}_{a}\cong k$ of (2) of the proof of Theorem 36 in combination with Lemma 89 to achieve the second condition. We see that (2) $f$ is an involutory antiautomorphism which satisfies the required conditions (a) and (b). We must prove that it also satisfies (c). As consequences of the construction we have: (3) $fh={\stackrel{\u203e}{w}}_{0}h{\stackrel{\u203e}{w}}_{0}^{-1}$ for every $h\in H\text{.}$ (4) If ${a}^{*}=a,$ then $f$ is the identity on ${X}_{a}/\mathcal{D}{X}_{a}\text{.}$ (5) If ${a}^{*}=a,$ there exists a nontrivial element of ${X}_{a}$ fixed by $f\text{.}$
(6) The elements ${\stackrel{\u203e}{w}}_{a}\in G$ may be so chosen that:
We assume henceforth that the ${\stackrel{\u203e}{w}}_{a}$ are as in (6). (7) If $\stackrel{\u203e}{w}={\stackrel{\u203e}{w}}_{a}{\stackrel{\u203e}{w}}_{b}\dots $ as in Lemma 83(b) and ${w}^{*}={w}_{0}{w}^{-1}{w}_{0}^{-1},$ then $f\stackrel{\u203e}{w}={\stackrel{\u203e}{w}}^{*}\text{.}$
(8) If $w$ is as in (1) then $f\stackrel{\u203e}{w}={\stackrel{\u203e}{w}}^{*}\text{.}$
(9) If $n$ is as in (1) then $fn=n\text{.}$
Thus $f$ satisfies condition (c) and the proof of Theorem 49 is complete. $\square $ |

*Exercise:*

(a) | Prove that if $\left\{{\stackrel{\u203e}{w}}_{a}\right\}$ is as in (6) and $w$ as in (1), then ${U}_{\lambda}\stackrel{\u203e}{w}{U}_{\lambda}\ne 0\text{.}$ |

(b) | Deduce that if ${H}_{\pi}$ denotes the kernel of the set of simple roots $\pi $ then the dimension of $A,$ hence the number of irreducible components of ${V}_{\lambda}^{G},$ in Theorem 49 is $\Sigma \left|{H}_{\pi}\right|\text{.}$ |

*Remark:* The natural group for the preceding theorem seems to be the adjoint group extended by the diagonal automorphisms, a group of the same order as
the universal group, but with something extra at the top instead of at the bottom. For this group, $G\prime ,$
prove that the dimension above is just $\Pi (\left|{H}_{a}\right|+1)=\Pi q\left(\alpha \right)$
in the notation of the exercise just before Lemma 83. Prove also that in this case ${V}_{\lambda}^{G}$ is independent of
$\lambda \text{.}$

*Remark:* The problem now is to decompose the algebra $A$ of Theorem 49 into its simple (one-dimensional) components. If this were done,
it would be a major step towards a representation theory for $G\text{.}$ As far as we know this has been done only for the
group ${A}_{1}$ (see Gelfand and Graev, Doklady, 1962). It would not, however, be the complete story. For not every irreducible
$G\text{-module}$ is contained in one induced by a character on $U,$ i.e., by
Frobenius reciprocity, contains a one-dimensional $U\text{-module,}$ as the following, our final, example, due to M. Kneser,
shows (although it is for some types of groups such as ${A}_{n}\text{).}$

As remarked earlier, reduction mod 3 yields an isomorphism of the subgroup ${W}^{+}$ of elements of determinant 1 of the Weyl group $W$ of type ${E}_{6}$ onto the group $G={SO}_{5}\left(3\right),$ the adjoint group of type ${B}_{2}\left(3\right)\text{.}$ If we reverse this isomorphism and extend the scalars we obtain a representation of $G$ on a complex space $V\text{.}$ The assertion is that $U,$ i.e. a 3-Sylow subgroup of $G,$ fixes no line of $V\text{.}$ Consider the following diagram.

$$\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\alpha 1\n\alpha 2\n\alpha 3\n\alpha 4\n\alpha 5\n\alpha 6\n\alpha 7\n\n\n\n\n\n$$This is the Dynkin diagram of ${E}_{6}$ with the lowest root ${\alpha}_{7}$ adjoined $\text{(}{\alpha}_{7}$ is the unique root in $-D$ (see Appendix III.33), unique because all roots are conjugate in the present case. It is connected as shown because of symmetry and the fact that each proper subdiagram must represent a finite reflection group.) We choose as a basis for $V$ the $\alpha \text{'s}$ with ${\alpha}_{3}$ omitted, a union of three bases of mutually orthogonal planes. ${w}_{1}{w}_{2}$ acts as a rotation of ${120}^{\circ}$ in the plane $\u27e8{\alpha}_{1},{\alpha}_{2}\u27e9$ and as the identity in the other two planes, and similarly for ${w}_{4}{w}_{5}$ and ${w}_{6}{w}_{7}\text{.}$ The group ${W}^{+}$ also contains an element permuting the three planes cyclically as shown, because of the conjugacy of simple systems and the uniqueness of lowest roots, and the four elements generate a 3-subgroup of $W\text{.}$ It is now a simple matter to prove that this subgroup fixes no line of $V\text{.}$

This is a typed excerpt of *Lectures on Chevalley groups* by Robert Steinberg, Yale University, 1967. Notes prepared by John Faulkner and Robert Wilson.
This work was partially supported by Contract ARO-D-336-8230-31-43033.