Achar defines induced and restricted functors for sheaves on the Levi decomposition to sheaves on G and vice-versa, where the pullback and pushforward are given on the first page of PDF notes. Achar discussed the Springer correspondence for the group setting with a thorough discussion on certain missing parts in the correspondence between Irr(W) and certain simple summands in Irr(Perv_G(U)).