On parabolic restriction of perverse sheaves (Q824257)

The authors prove that the functor of parabolic restriction from an equivariant derived category of a reductive group to the Levi quotient of its parabolic subgroup is \(t\)-exact with respect to the perverse \(t\)-structure. This generalizes an earlier result of \textit{G. Lusztig} [Adv. Math. 56, 193--237 (1985; Zbl 0586.20018)], who proved that this functor is \(t\)-exact when restricted to the subcategory of character sheaves. The proofs given work uniformly in several sheaf-theoretic contexts. The main technical inputs are dimension count for the intersection of conjugacy classes with Borel subgroups and properties of Braden's hyperbolic localization. The authors state a conjecture regarding \(t\)-exactness of the composition of the Radon transform and the Harish-Chandra functor. This was proved earlier for character sheaves: by \textit{R. Bezrukavnikov} et al. [Invent. Math. 188, No. 3, 589--620 (2012; Zbl 1267.20058)] in the context of D-modules, and by \textit{T.-H. Chen} and \textit{A. Yom Din} [Geom. Funct. Anal. 27, No. 4, 772--797 (2017; Zbl 1401.14087)] uniformly in several sheaf-theoretic contexts. The main result of the paper gives evidence towards the conjecture. The authors also give a new proof of the non-negativity of the Euler characteristic of adjoint-equivariant perverse sheaf on a reductive group, generalizing earlier known results. An application to the \(t\)-exactness properties of convolution of character sheaves with generic central character is also given, using the properties of the \(\ell\)-adic Mellin transform functor, developed by \textit{O. Gabber} and \textit{F. Loeser} [Duke Math. J. 83, No. 3, 501--606 (1996; Zbl 0896.14009)].