Craven–Rouquier perversity conjecture for Broué's equivalence

At least 7 years old · documented by

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)→Z⩾0\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.

References

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.