Objects that are of fundamental importance for the representation theory of reductive algebraic groups (cf. Representation of a group; Reductive group; Algebraic group). Considering such groups as group schemes (cf. Group scheme), that is, as a family of groups , where varies over some class of commutative rings, Weyl modules are universally defined and possess a standard basis which is independent of the choice of . Moreover, for algebraically closed fields of characteristic they constitute a complete set of non-isomorphic irreducible rational representations of . This makes possible a "modular theory" for the rational representations of these groups analogous to Brauer's modular representation theory of finite groups (cf. also Finite group, representation of a). However, whereas for finite groups the reduction modulo a prime happens with respect to the field of coefficients of the representations, in the case of an algebraic group this reduction is carried out with respect to the field of definition of the group.
Below, the example of general linear groups will be discussed in more detail to illuminate this reduction process. For these, R. Carter and G. Lusztig used the term "Weyl module" the first time in their fundamental paper [a5], where they discussed polynomial representations of general linear groups and indicated how their methods generalize to arbitrary reductive groups. There these modules were constructed in the "same" way as in [a17].
General linear groups.
Let and let for some field (cf. General linear group). Let be the natural module of . For a non-negative integer , the group acts on diagonally, and this action centralizes the natural place permutation action of the symmetric group on . The image of in is the Schur algebra . This is a finite-dimensional quasi-hereditary -algebra and the indecomposable representations of for are precisely the indecomposable polynomial representations of . For fields of characteristic , the polynomial representations of has been investigated by I. Schur in his famous dissertation [a12]. He rederived all these results in a paper [a13] of 1927 in terms of the module . Among other things, he showed that is a completely reducible -module, indeed the category of polynomial representations of is semi-simple. Weyl modules are defined to be the irreducible constituents of the tensor space , where runs through . However, Weyl modules are defined for arbitrary characteristic of the field . Those occurring for as irreducible constituents of the tensor space are parametrized by partitions of into parts. Thus, is a decreasing sequence of non-negative integers whose sum is . If the requirement "decreasing" in the definition above is dropped, is called a composition of into parts. The union of the sets of compositions of into parts, where , is the set of weights of . The partitions in are also called dominant weights and are denoted by . One depicts the composition into parts by its associated Young diagram consisting of crosses in the plane in rows, where the th row contains crosses without gap and the first crosses in the rows are the crosses in the first column. This Young diagram is usually denoted by .
Let be a composition of . A -tableau is a Young diagram of shape , where the crosses are replaced by the numbers in some order (cf. also Young tableau). The -tableau where these numbers are inserted in order along the rows downward, is called the initial -tableau and is denoted by .
A -tableau is row standard if the numbers increase along the rows and column standard if the increase occurs down the columns. A row-and-column standard tableau is called standard. Obviously, the initial tableau is always standard. The symmetric group acts on the set of -tableaux, where is a composition of . If is a -tableau, the set of elements of permuting the entries in each row is a subgroup of , the row stabilizer of . Similarly one defines the column stabilizer of . In particular, for the row stabilizer of the initial -tableau is the standard Young subgroup of , which is the symmetric group
considered as a subgroup of in the natural way.
It is now possible to define Weyl modules for for arbitrary fields : For one defines the element of the tensor space to be
the element of the group algebra to be the alternating sum
where denotes the sign of , and finally
For , the Weyl module to the highest weight is the left -submodule of the tensor space generated by and is denoted by . Thus,
provided is infinite.
The vector is an eigenvector of the torus of diagonal matrices in . The eigenvalue is a linear character of given as
which again is denoted by (cf. also Character of a group). Thus, the weights of are in bijection with the linear characters of . The module decomposes into direct sum of eigenspaces of the action of , called weight spaces and for all occurring weights belong to . Let denote the eigenspace of to weight , and define the formal character of to be the formal sum
where denotes a formal basis element of the integral group ring corresponding to . The formal character is known by formulas of H. Weyl, B. Kostant and H. Freudenthal (see also Character formula). This will be explained below in detail, in the more general context of reductive groups. It turns out that is the highest weight with respect to the lexicographic order on occurring with non-zero multiplicity in and it occurs with multiplicity one. Moreover, is universal with this property, that is, every polynomial -module which is generated by an eigenvector to weight such that the corresponding eigenspace is one dimensional and each occurring weight coming later in the lexicographic order is an epimorphic image of .
It is obvious that no proper submodule of can contain the highest weight vector , hence the sum of all proper submodules is the unique maximal submodule of . The corresponding irreducible factor module is denoted by . It turns out that the set of all , where runs through the set of dominant weights on , is a complete set of non-isomorphic irreducible polynomial -modules. Tensoring by arbitrary negative powers of the one-dimensional polynomial representation of which takes every matrix to its determinant, one obtains a full classification of all irreducible rational representations of general linear groups.
The space admits a bilinear form which is -invariant and contravariant in the sense that
where denotes the transpose of . The space orthogonal to the kernel of the natural projection with respect to this form is again a -module, denoted by , and has properties dual to those of Weyl modules. So, it has the same formal character and its socle is simple and is isomorphic to .
There is another interpretation of the -modules, namely as induced modules from linear representations of a Borel subgroup of : One may take to be the set of all upper-triangular matrices in . Then every linear representation of is a linear character of , considered as a representation of , where the unipotent radical of acts trivially. The restriction functor to algebraic subgroups of an algebraic group has an right adjoint, given by taking for a rational -module the set of -equivariant morphisms from to . It is called induction and is denoted by . (The restriction functor has also a left adjoint, given by tensoring up representations. But whereas for finite groups the left and right adjoint of the restriction functor are isomorphic, this is not true in the context of algebraic groups; in fact, the tensored module is not even rational, in general.) The -module is the induced module .
For further reference and results on the special case of general linear groups, in particular for explicit formulas for bases of Weyl modules and induced modules in terms of bi-determinants, see the fundamental monograph of J.A. Green [a6].
All this generalizes to arbitrary reductive groups. For simplicity it is assumed that is a simple algebraic group of universal type over some algebraically closed field . The general case can be derived from this one. For example, the special linear groups are of this form. The representations of can be derived from those of by extending the action of diagonal matrices localizing, and those of by considering only a certain sublattice of the weight lattice of .
Associated with is again a weight lattice , which may be considered as a space of linear characters of a maximal torus of . This is a -lattice of dimension , the Lie rank of , with basis consisting of the so-called fundamental weights. There is a partial order on , setting if is a linear combination of the fundamental weights with non-negative coefficients. The linear combinations of the fundamental weights, where all coefficients are non-negative, are called dominant weights. The set of dominant weights is denoted by . There are several ways to define Weyl modules for dominant weights . The two most important ones are briefly described below.
First, one may extend to a linear representation of a Borel subgroup , where is the unipotent radical of and is in the kernel of . Inducing this -module to produces . Similar to , the group admits the notion of a contravariant dual module: Given any rational left module of , the natural right -module structure on the dual space can be turned into a left module structure using any anti-automorphism of . Usually one considers the mapping induced by taking inverses in . For contravariant duality one uses a certain different anti-automorphism of (which is given by transposing matrices in the special case of ). The Weyl module is then defined to be the contravariant dual module . (One can use the ordinary dual as well, but then one has to carry out a shift in the highest weight.) For non-dominant weights the induced module is the zero module. Indeed, since is assumed to be simple of universal type, one can use this property to define dominant weights.
The second approach for setting up Weyl modules involves the complex simple Lie algebra associated with . So, for example, for the associated complex Lie algebra is the set of complex -matrices of trace , where the Lie bracket is given, as usually, by commutators. One chooses a maximal Abelian subalgebra of , e.g. the set of diagonal matrices in the example of . The adjoint action of on determines a root system with basis and, corresponding to the choice of , a decomposition into positive and negative roots. There holds the root-space decomposition
of . Thus, is a subset of consisting of the non-zero eigenvalues of on and is the eigenspace to eigenvalue . All these eigenspaces are one-dimensional and there is a special basis , called Chevalley basis, of , which is not only compatible with this decomposition, but also has particularly nice structural constants:
Thus is the dimension of . For one can choose the root subspaces to consist of scalar multiples of matrix units , for (positive for and negative for ). The elements of the Chevalley basis of are the matrices for .
There is a duality between the Euclidean space containing the root system (induced by the killing form) and the real space generated by the Chevalley basis of . The elements dual to roots are called co-roots, and the linear functions on which map the co-roots to integers are called weights. The set of weights is a free -lattice of rank . A weight whose values on positive co-roots are non-negative is called dominant. The basis of the weight lattice dual to the simple co-roots is the set of fundamental weights.
The toral subalgebra acts diagonally on every finite-dimensional -module , hence it decomposes into the eigenspaces, called weight spaces , . Modules which are generated as -module by a weight vector of weight such that all further occurring weights are later in the lexicographic order on are called highest weight modules of highest weight . The generator is called a maximal vector. There are universal highest weight modules, called Verma modules (cf. also Representation of a Lie algebra). They play a role similar to Weyl modules for . Thus, for instance, the Verma module to highest weight is induced from the linear representation of the Borel subalgebra , setting , which arises by extending the linear character of to with trivial -action. Morover, admits a contravariant -invariant bilinear form and hence has a unique maximal submodule. The corresponding irreducible factor module is a highest weight module with highest weight and the set of all modules , where runs through the set , is a complete set of irreducible objects in the category associated with . Those with dominant highest weight are precisely the finite-dimensional ones. The category consists of all -modules which allow a weight space decomposition with finite-dimensional weight spaces and have locally nilpotent -action for all . The weight space decomposition of modules in can be encoded in the formal character . For dominant weights the formal characters and consequently the dimension of the finite-dimensional irreducible modules are known by formulas of Freudenthal, Kostant and Weyl (cf. also Character formula).
Let be a finite-dimensional -module. Since is simple, this module affords a faithful representation of . The set of occurring weights lies between the root lattice and the weight lattice . For the element of the Chevalley basis of acts as a nilpotent endomorphism on . Thus, one can exponentiate its representing matrix, also denoted by . One also wants to simultaneously carry out a base change to obtain a transition from to an arbitrary field . For this one considers Kostant's -form in the enveloping algebra of (cf. also Universal enveloping algebra). This is the -subalgebra of generated by elements of the form for and and elements of the form
for , where . The -algebra is called the hyper-algebra, or the divided power algebra, of . One chooses an -invariant -lattice in . Then for and the operator is a well-defined automorphism of . The group generated by is the Chevalley group . If is the root lattice, this group is of adjoint type, if , then it is of universal type and, indeed, is the group started with. Any other Chevalley group over associated with is an epimorphic image of . In particular, even if , the -space is a -module.
This is applied to the irreducible -module for . Let be a maximal vector in . Then is an -invariant lattice in and the -module is the Weyl module . The weights of and coincide, hence Weyl's character formula (and the formula of Freudenthal) describe the formal character of . The lattice is minimal among all -invariant lattices in with the property that it intersects the weight space of precisely in . This set also has an upper bound , and as -modules.
If is algebraically closed of characteristic , the Weyl modules are irreducible, but this is not true in general for fields of positive characteristic. However, as in the special case of general linear groups, has a unique maximal submodule and the set of factor modules is a complete set of non-isomorphic irreducible -modules.
One of the most outstanding open (1998) problems concerning Weyl modules is to determine the composition factors of those, or, in the language of Brauer theory, to determine the decomposition matrix of . Thus, let be the multiplicity of as composition factor of . From Weyl's character formula one sees immediately that and that implies that the partition comes later in the partial order than . Ordering lexicographically, the decomposition matrix becomes lower unitriangular. Since the formal characters of Weyl modules are known, the problem of computing the is equivalent to the problem of finding the formal characters of the irreducible -modules .
There is a similar problem in the representation theory of the Lie algebra associated with , namely the computation of the composition factors of Verma modules or, equivalently, the computation of the formal character of for all (and not only for the dominant weights ). D. Kazhdan and Lusztig conjectured such a character formula in 1979 in [a7]; it was proven shortly after in [a3] and, independently, in [a4]. The combinatorics in this formula are given by Kazhdan–Lusztig polynomials, which are based on properties of the Hecke algebra, a deformation of the Weyl group of .
The Lusztig conjecture predicts similarly a character formula for Weyl modules in terms of certain Kazhdan–Lusztig polynomials; however, under additional assumptions on the characteristic of as well as on the highest weights. If confirmed, one can derive the decomposition numbers of the other Weyl modules too. In [a1], H.H. Andersen, J.C. Jantzen and W. Soergel proved the Lusztig conjecture for large without determining a concrete bound for . Here is a brief description of the things involved in the proof.
The notion of a category can be generalized to Kac–Moody algebras (cf. Kac–Moody algebra) (especially in the affine case), and the Kazhdan–Lusztig conjecture is true here as well by a result of M. Kashiwara and T. Tanisaki, [a10]. There is another remarkable extension of the theory to a new class of objects, called quantum groups, which are deformations involving a parameter of the hyper-algebra associated with (or, at least in type , of the coordinate ring of ). The representation theory for extends to those algebras and there is a category as well. In a series of papers [a8], [a9], Kazhdan and Lusztig produced an equivalence between a certain category for affine Kac–Moody algebras and the category of quantum groups, where the parameter is specialized to a root of unity. As a consequence they showed that the Lusztig conjecture holds for quantum groups in characteristic at roots of unity. But this case appears to be lying in between the characteristic- theory of category and the characteristic- theory of representations of . Andersen, Jantzen and Soergel found a (very elaborate) method to compare representations of quantum groups at th roots of unity with those of algebraic groups in characteristic , which finally lead to their result [a1].
The formal characters of the irreducible representations of quantum groups at roots of unity or, equivalently, the decomposition multiplicities of irreducible modules in -Weyl modules can be computed using character formulas for tilting modules, which are, by definition, modules which have a filtrations by Weyl and induced modules. Soergel used the Kashiwara–Tanisaki and the Kazhdan–Lusztig results to derive in [a14], [a15] character formulas for indecomposable tilting modules. Those give another basis of the Grothendieck group and his approach provides a much faster algorithm to compute the decomposition matrices of quantum groups at roots of unity in characteristic (at least in the simply laced case and conjecturally in general).
When computing the crystal basis of the Fock space, A. Lascoux, B. Leclerc and J.-Y. Thibon noticed an astonishing coincidence of their calculations with decomposition tables for general linear groups and symmetric groups, and conjectured in [a11] that one can derive the decomposition matrices of quantum groups of type over fields of characteristic (or, equivalently, of -Schur algebras, defined by R. Dipper and G. James as -deformations of Schur algebras , see [a18], [a19]) at roots of unity by comparing the standard and the crystal basis of Fock space. This conjecture was extended and proved by S. Ariki in [a2], [a16]. The concrete computation is given again by evaluating certain polynomials at one. It is remarkable that those have non-negative integral coefficients. It is conjectured that these have a deeper meaning: They should give the composition multiplicities of the various layers in the Jantzen filtration of the -Weyl modules.
|[a1]||H.H. Andersen, J.C. Jantzen, W. Soergel, "Representations of quantum groups at a -th root of unity and of semisimple groups in characteristic : Independence of " Astérisque , 220 (1994) pp. 1–321 MR1272539|
|[a2]||S. Ariki, "On the decomposition numbers of the Hecke algebra of " J. Math. Kyoto Univ. , 36 : 4 (1996) pp. 789–808 MR1443748 Zbl 0888.20011|
|[a3]||A.A. Beilinson, I.N. Bernstein, "Localisation de -modules" C.R. Acad. Sci. Paris Ser. I Math. , 292 : 1 (1981) pp. 15–18 MR610137|
|[a4]||J.L. Brylinski, M. Kashiwara, "Kazhdan Lusztig conjecture and holonomic systems" Invent. Math. , 64 : 3 (1981) pp. 387–410 MR0632980 Zbl 0473.22009|
|[a5]||R. Carter, G. Lusztig, "On the modular representations of the general linear and symmetric groups" Math. Z. , 136 (1974) pp. 193–242 MR0369503 MR0354887 Zbl 0301.20005 Zbl 0298.20009|
|[a6]||J.A. Green, "Polynomial representations of " , Lecture Notes Math. , 830 , Springer (1980) MR0606556 Zbl 0451.20037|
|[a7]||D. Kazhdan, G. Lusztig, "Representations of Coxeter groups and Hecke algebras" Invent. Math. , 53 : 2 (1979) pp. 165–184 MR0560412 Zbl 0499.20035|
|[a8]||D. Kazhdan, G. Lusztig, "Affine Lie algebras and quantum groups" Duke Math. J. , 62 (1991) (Also: Internat. Math. Res. Notices 2 (1991), 21-29) MR1104840 Zbl 0726.17015|
|[a9]||D. Kazhdan, G. Lusztig, "Tensor structures arising from affine Lie algebras I-III, III-IV" J. Amer. Math. Soc. , 6–7 (1993/94) pp. 905–1011; 335–453|
|[a10]||M. Kashiwara, T. Tanisaki, "Kazhdan–Lusztig conjecture for affine Lie algebras with negative level. I,II" Duke Math. J. , 77–84 (1995-1996) pp. 21–62; 771–81 MR1408544 MR1317626|
|[a11]||A. Lascoux, B. Leclerc, J.-Y. Thibon, "Hecke algebras at roots of unity and crystal bases of quantum affine algebras" Comm. Math. Phys. , 181 : 1 (1996) pp. 205–263 MR1410572 Zbl 0874.17009|
|[a12]||I. Schur, "Uber eine Klasse von Matrizen, die sich einer gegebenen Matrix zuordnen lassen (1901)" , I. Schur, Gesammelte Abhandlungen I , Springer (1973) pp. 1–70|
|[a13]||I. Schur, "Uber die rationalen Darstellungen der allgemeinen linearen Gruppe (1927)" , I. Schur, Gesammelte Abhandlungen III , Springer (1973) pp. 68–85|
|[a14]||W. Soergel, "Charakterformeln für Kipp–Moduln über Kac–Moody–Algebren" Represent. Theory , 1 (1997) pp. 115–132 (Electronic},) Zbl 0964.17019|
|[a15]||W. Soergel, "Kazhdan–Lusztig polynomials and a combinatoric[s] for tilting modules" Represent. Theory , 1 (1997) pp. 83–114 MR1444322|
|[a16]||M. Varagnolo, E. Vasserot, "Canonical bases and Lusztig conjecture for quantized sl(N) at roots of unity" Preprint (1998) (math.QA/9803023)|
|[a17]||H. Weyl, "The classical groups, their invariants and representations" , Princeton Univ. Press (1966) MR0000255 Zbl 1024.20501 Zbl 1024.20502 Zbl 0020.20601 Zbl 65.0058.02|
|[a18]||R. Dipper, G. James, "The -Schur algebra" Proc. London Math. Soc. , 59 (1989) pp. 23–50 MR997250|
|[a19]||R. Dipper, G. James, "-Tensor space and -Weyl modules" Trans. Amer. Math. Soc. , 327 (1991) pp. 251–282 MR1012527|
Weyl module. Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Weyl_module&oldid=39398