On the functor relating Harish-Chandra bimodules and Soergel bimodules (2507.17067v1)

Abstract: In the 90's Soergel constructed a functor that relates Harish-Chandra bimodules to Soergel bimodules. We revisit this functor and relate it to the restriction functor constructed by Losev between Harish-Chandra bimodules and bimodules over $W$-algebra associated to the regular nilpotent element. We compute the images of certain Harish-Chandra bimodules under the restriction functor and provide alternative proofs for many properties of the functor constructed by Soergel. Blocks of Harish-Chandra bimodules with integral central characters were studied in the works of Soergel and Stroppel. We will generalize results of Soergel and Stroppel in the case of integral blocks to general blocks.