Craven–Rouquier perversity conjecture for Broué's equivalence

Let CC be the cohomology complex associated with the relevant Deligne–Lusztig variety, and let SB0(H)\mathcal{S}_{B_0(H)} denote the simple-module indexing set for the local principal block, with H=NG(D)H=N_G(D). Let πκ/d:SB0(H)Z0\pi_{\kappa/d}:\mathcal{S}_{B_0(H)}\to\mathbb{Z}_{\geqslant 0} be obtained from the unitriangular decomposition matrix and the unique-degree map on unipotent characters. Craven–Rouquier conjecture. The derived equivalence induced by CC is a perverse equivalence, with πκ/d\pi_{\kappa/d} as its perversity function. The source explicitly says that these conjectures remain open and have been proved only in restricted cases.

Sources & referencesView supporting material

Primary source

Stefano Sannella, “An algorithmic approach to perverse derived equivalences: Broué's Conjecture for Ω^+_8(2)”, arXiv:1810.01467 (2019).

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.