Some remarks on the uniqueness of liftings of principal indecomposable modules for infinitesimal subgroups of semisimple groups (Q514209)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Some remarks on the uniqueness of liftings of principal indecomposable modules for infinitesimal subgroups of semisimple groups
scientific article

    Statements

    Some remarks on the uniqueness of liftings of principal indecomposable modules for infinitesimal subgroups of semisimple groups (English)
    0 references
    0 references
    28 February 2017
    0 references
    Let \(G\) denote a semisimple, simply connected algebraic group over an algebraically closed field of positive characteristic \(p\) and \(G_1\) denote the first Frobenius kernel of \(G\). Let \(L(\lambda)\) denote the simple \(G\)-module of highest weight \(\lambda\). If \(\lambda\) is a \(p\)-restricted weight, then \(L(\lambda)\) remains simple upon restriction to \(G_1\). Let \(Q_1(\lambda)\) denote the invective envelope of \(L(\lambda)\) as a \(G_1\)-module. In the category of \(G_1\)-modules, \(Q_1(\lambda)\) is also the projective cover of \(L(\lambda)\). A long-standing conjecture of Humphreys and Verma asserts that \(Q_1(\lambda)\) should admit the structure of a rational \(G\)-module. The conjecture is known to hold for \(p \geq 2h - 2\) (where \(h\) denotes the Coxeter number of the associated root system) and for \(\mathrm{SL}_3\) for all primes. A related question is whether such a lifting is unique if it exists. In the generic \(p \geq 2h - 2\) setting, it is known that the lifting is in fact unique (and may be identified with a certain indecomposable tilting module). In this paper, it is shown that the uniqueness of the lifting also holds for \(\mathrm{SL}_3\). The approach makes use of some potentially useful general criteria for uniqueness. Considering \(L(\lambda)\) as a simple \(G\)-module, let \(I(\lambda)\) denote its injective envelope. The author considers a finite-dimensional \(G\)-submodule \(Y(\lambda)\) of \(I(\lambda)\) which is defined to be the largest submodule whose composition factors have highest weights in a certain finite set determined by \(\lambda\). The author shows that \(Y(\lambda)\) necessarily contains any \(G\)-module lift of \(Q_1(\lambda)\). Further, two different conditions are given that would allow one to conclude that \(Y(\lambda)\) is the unique \(G\)-lift of \(Q_1(\lambda)\) if such a lift exists, and \(Y(\lambda)\) would be an indecomposable tilting module.
    0 references
    semisimple algebraic group
    0 references
    injective envelope
    0 references
    projective indecomposable module
    0 references
    Frobenius kernel
    0 references
    lifting module structure
    0 references
    special linear group
    0 references
    Humphreys-Verma conjecture
    0 references

    Identifiers