Geck's unitriangularity conjecture for unipotent modules

Let cellcell be an odd prime, let cellcell-modular decomposition define the map dU:[UK][Uk]d_{\mathscr{U}}:[\mathscr{U}_K]\to[\mathscr{U}_{\operatorname{k}}], and let EΘE_\Theta denote the irreducible unipotent characteristic-zero module indexed by an odd-defect symbol Θ\Theta. A simple unipotent module is denoted by DΘD_\Theta, and a(Θ)a(\Theta) is the aa-function of the symbol.

Geck's conjecture. Assume \ell is odd. There exists a parametrization

Irr(Uk)={[DΘ]ΘSodd}{\operatorname{Irr}}(\mathscr{U}_{\operatorname{k}})=\{[D_\Theta]\mid \Theta\in\mathscr{S}_{\mathrm{odd}}\}

of the simple unipotent modules and an ordering \leqslant on symbols such that

dU([EΘ])[DΘ]+Θ<ΘZ[DΘ].d_{\mathscr{U}}([E_\Theta])\in [D_\Theta]+\sum_{\Theta'<\Theta}\mathbb{Z}[D_{\Theta'}].

Moreover, the ordering \leqslant can be chosen to be compatible with the aa-function, so that ΘΘ\Theta'\leqslant\Theta implies a(Θ)a(Θ)a(\Theta')\leqslant a(\Theta).

This conjecture would provide a natural parametrization of the simple unipotent modules and a unitriangular decomposition matrix. It is known for linear primes, when the order of qq modulo \ell is odd, and in various small-rank cases; the general unitary-prime case remains open.

Sources & referencesView supporting material

Primary source

Olivier Dudas, Michela Varagnolo and Eric Vasserot, “Categorical actions on unipotent representations of finite classical groups”, arXiv:1603.00742 (2016).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.