Weyl module
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].
Reductive groups.
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.
Character formulas.
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.
References
[a1] | H.H. Andersen, J.C. Jantzen, W. Soergel, "Representations of quantum groups at a ![]() ![]() ![]() |
[a2] | S. Ariki, "On the decomposition numbers of the Hecke algebra of ![]() |
[a3] | A.A. Beilinson, I.N. Bernstein, "Localisation de ![]() |
[a4] | J.L. Brylinski, M. Kashiwara, "Kazhdan Lusztig conjecture and holonomic systems" Invent. Math. , 64 : 3 (1981) pp. 387–410 |
[a5] | R. Carter, G. Lusztig, "On the modular representations of the general linear and symmetric groups" Math. Z. , 136 (1974) pp. 193–242 |
[a6] | J.A. Green, "Polynomial representations of ![]() |
[a7] | D. Kazhdan, G. Lusztig, "Representations of Coxeter groups and Hecke algebras" Invent. Math. , 53 : 2 (1979) pp. 165–184 |
[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) |
[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 |
[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 |
[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},) |
[a15] | W. Soergel, "Kazhdan–Lusztig polynomials and a combinatoric[s] for tilting modules" Represent. Theory , 1 (1997) pp. 83–114 |
[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) |
[a18] | R. Dipper, G. James, "The ![]() |
[a19] | R. Dipper, G. James, "![]() ![]() |
Weyl module. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Weyl_module&oldid=21961