Formality and Lusztig's generalized Springer correspondence

Laura Rider, Amber Russell

We prove a derived equivalence between each block of the derived category of sheaves on the nilpotent cone and the category of differential graded modules over a degeneration of Lu…