Craven's perversity-unitriangularity conjecture for unipotent blocks

From papers

Let G=GFG={\mathbf{G}}^F for G{\mathbf{G}} connected reductive defined over Fq{\mathbb{F}}_q. Let \ell be a prime such that Sylow \ell-subgroups of GG are abelian, and let d=d(q)d=d_\ell(q) be the order of qq in F×{\mathbb{F}}_\ell^\times. For each unipotent character ρ\rho of GG, let Ψ\vhiρ\Psi_{\vhi_\rho} be the corresponding irreducible Brauer character, and let πd(ρ)\pi_d(\rho) be Craven's perversity function. Then, for any two unipotent characters ρρ\rho\ne\rho' of GG, Craven's conjecture.

ρ,Ψ\vhiρ0πd(ρ)>πd(ρ).\langle \rho,\Psi_{\vhi_{\rho'}} \rangle \neq 0 \Longrightarrow \pi_d(\rho)>\pi_d(\rho').

This is the unitriangularity predicted by Craven's conjectural perverse equivalences between unipotent \ell-blocks and their Brauer correspondents. It refines the ordering by the aa- and AA-functions, but the supplied text does not establish the assertion or provide evidence resolving it.

Progress summary

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

Sources & referencesView supporting material

Primary source

Olivier Dudas and Gunter Malle, “Decomposition matrices for groups of Lie type in non-defining characteristic”, arXiv:2001.06395 (2020).

Additional references

2 papers in this index state this conjecture (2018–2020). The statement above is taken from the most recent of them; the others are arXiv:1810.01467.

Solutions 0

No solutions have been posted yet.