Representations of algebraic groups containing matrices with large Jordan blocks (Q1315387)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Representations of algebraic groups containing matrices with large Jordan blocks |
scientific article |
Statements
Representations of algebraic groups containing matrices with large Jordan blocks (English)
0 references
14 August 1995
0 references
The goal of the paper under review is to determine the irreducible representations of simple algebraic groups which contain unipotent matrices with Jordan blocks of relatively large size. More precisely, let \(G\) be a simple algebraic group of rank \(n\) over an algebraically closed field \(K\) of characteristic \(p\). An irreducible representation \(f\) of \(G\) whose image contains a unipotent matrix with at least one Jordan block of size at least \(\dim (f)/n\) is called a \(b\)-representation in the paper. Let \(\text{Inf} (G)\) denote the set of infinitesimally irreducible representations. The author proves that for \(n>3\) any \(b\)-representation is either a Frobenius twist of an \(f\in \text{Inf} (G)\), or is the tensor product of two \(n+1\)-dimensional representations of \(A_ n (K)\). The author lists the \(b\)-representations of classical groups \(G\) with \(p>2\) if \(G\neq A_ n (K)\). Let \(\omega (f)\) be the highest weight of \(f\), \(\omega_ i\) the fundamental weights of \(G\) labelled in the standard way. If \(G= A_ n (K)\), \(n>16\) and \(f\in \text{Inf} (G)\), then \(f\) is a \(b\)- representation if and only if \(\omega (f)\in \{\omega_ 1+ \omega_ n\) \((n+1\neq p^ r)\), \(0\), \(\omega_ 1\), \(\omega_ 2\), \(\omega_{n-1}\), \(\omega_ n\), \(2\omega_ 1\), \(2\omega_ n\}\). If \(G= B_ n (K)\), \(p>2\), \(n>8\) and \(f\in \text{Inf} (G)\), then \(f\) is a \(b\)-representation if and only if \(\omega (f)\in \{2\omega_ 1\) \((2n+1\neq p^ r)\), \(0\), \(\omega_ 1\), \(\omega_ 2\}\). If \(G= C_ n (K)\), \(p>2\), \(n>5\) and \(f\in \text{Inf} (G)\), then \(f\) is a \(b\)-representation if and only if \(\omega(f)\in \{0\), \(\omega_ 1\), \(\omega_ 2\), \(2\omega_ 1\}\). If \(G= D_ n(K)\), \(n>9\) and \(f\in \text{Inf} (G)\), then \(f\) is a \(b\)- representation if and only if \(\omega (f)\in \{\omega_ 2\) \((2n- 2\neq p^ r)\), \(2\omega_ 1\) \((2n-1\neq p^ r)\), \(0\), \(\omega_ 1\}\). For small \(n\) the list of \(b\)-representations is too long to be given here. Corollary. Let \(k\) be an integer, \(f\in \text{Inf} (G)\) and let \(f(G)\) contain a matrix with at most \(k\) Jordan blocks. Then there exists an integer \(l(k)\) such that for \(n> l(k)\), \(f\) or its dual is the standard representation of \(G\). All this can be extended to absolutely irreducible representations of finite groups of Lie type in defining characteristic. An expanded version of these results with complete proofs as well as the case of exceptional groups will appear [in: Irreducible representations of simple algebraic groups containing matrices with big Jordan blocks, Proc. Lond. Math. Soc., III. Ser. 71 (1995)].
0 references
unipotent matrices with large Jordan blocks
0 references
simple algebraic groups
0 references
infinitesimally irreducible representations
0 references
Frobenius twist
0 references
\(b\)- representations of classical groups
0 references
highest weight
0 references
fundamental weights
0 references
absolutely irreducible representations
0 references
finite groups of Lie type
0 references