Representations of algebraic groups containing matrices with large Jordan blocks (Q1315387)

From MaRDI portal
Revision as of 19:08, 19 March 2024 by Openalex240319060354 (talk | contribs) (Set OpenAlex properties.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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

    Identifiers