RUS  ENG
Full version
JOURNALS // Trudy Instituta Matematiki i Mekhaniki UrO RAN // Archive

Trudy Inst. Mat. i Mekh. UrO RAN, 2020 Volume 26, Number 2, Pages 88–97 (Mi timm1724)

On the properties of irreducible representations of special linear and symplectic groups that are not large with respect to the field characteristic and regular unipotent elements from subsystem subgroups

T. S. Busel, I. D. Suprunenko

Institute of Mathematics of the National Academy of Sciences of Belarus

Abstract: We study the properties of irreducible representations of special linear and symplectic groups that are not large with respect to the ground field characteristic and regular unipotent elements of nonprime order from subsystem subgroups of types $A_l$ and $C_l$, respectively, with certain conditions on $l$. Assume that $K$ is an algebraically closed field of characteristic $p>2$, $G=A_r(K)$ or $C_r(K)$, $l<r-1$ for $G=A_r(K)$ and $l<r$ for $G=C_r(K)$, $H\subset G$ is a subsystem subgroup with two simple components $H_1$ and $H_2$ of types $A_l$ and $A_{l-r-1}$ or $C_l$ and $C_{r-l}$, respectively, and $x$ is a regular unipotent element from $H_1$. Suppose that $l+1=ap^s+b$ for $G=A_r(K)$ and $2l=ap^s+b$ for $G=C_r(K)$ where $a<p$, $p\leq b\leq p^s$, and $s>1$. An irreducible representation $\varphi$ of $G$ is said to be $(p,x)$-special if all the weights of the restriction of $\varphi$ to a nice $A_1$-subgroup containing $x^{p^s}$ are less than $p$ (here the set of weights of a group of type $A_1$ is canonically identified with the set of integers). Denote by $d_{\rho}(z)$ the minimal polynomial of the image of an element $z$ in a representation $\rho$ and call the composition factor $\psi$ of the restriction of $\varphi$ to $H$ large for $z\in H$ if $d_{\psi}(z)=d_{\varphi}(z)$. The main results of the paper are Theorems 1 and 2.
$\bf{Theorem~1.}$ Let $\varphi$ be a $(p,x)$-special representation of $G$. Then the restriction of $\varphi$ to $H$ has no composition factors that are large for $x$ and nontrivial for $H_2$.
$\bf{Theorem~2.}$ Under the assumptions of Theorem 1, the number of maximum size Jordan blocks of the element $\varphi(x)$ does not exceed a certain integer which depends only upon $p$, $b$, and the coefficients at the highest weight and does not depend on the group rank.
We explain why the case studied here should be considered separately. For instance, for $p$-restricted representations of the corresponding groups with large highest weights with respect to the characteristic, assertions opposite to Theorems 1 and 2 are valid. The results on the block structure of the images of unipotent elements in representations of algebraic groups can be used for solving recognition problems for representations and linear groups based of the presence of certain special matrices.

Keywords: unipotent elements, Jordan block sizes, special linear group, symplectic group.

UDC: 521.554.32

MSC: 20G05

Received: 10.04.2020
Revised: 08.05.2020
Accepted: 18.05.2020

DOI: 10.21538/0134-4889-2020-26-2-88-97



Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024