Let be a simple simply connected algebraic group defined over an algebraically closed field and an irreducible module defined over on which acts. Let denote the set of vectors in which are eigenvectors for some non-central semisimple element of and some eigenvalue in . We prove, with a short list of possible exceptions, that the dimension of is strictly less than the dimension of provided and that there is equality otherwise. In particular, by considering only the eigenvalue , it follows that the closure of the union of fixed point spaces of non-central semisimple elements has dimension strictly less than the dimension of provided , with a short list of possible exceptions.
In the majority of cases we consider modules for which where we
perform an analysis of weights. In many of these cases we prove that, for any non-central semisimple element and any eigenvalue, the codimension of the eigenspace exceeds .
In more difficult cases, when is only slightly larger than , we subdivide the analysis according to the type of the centraliser of the semisimple element. Here we prove for each type a slightly weaker inequality which still suffices to establish the main result. Finally, for the relatively few modules satisfying , an immediate observation yields the result for where is a Borel subgroup of , while in other cases we argue directly.
Description
Date
Advisors
Keywords
Representation theory, Algebraic groups, Group theory, Eigenvectors