On the functor relating Harish-Chandra bimodules and Soergel bimodules

TL;DR

This paper revisits Soergel's functor linking Harish-Chandra and Soergel bimodules, relating it to Losev's restriction functor, and generalizes existing results to broader blocks.

Contribution

It relates Soergel's functor to Losev's restriction functor and extends the analysis of Harish-Chandra bimodules to general blocks beyond integral cases.

Findings

Computed images of certain Harish-Chandra bimodules under the restriction functor.

Provided alternative proofs for properties of Soergel's functor.

Generalized results from integral to general blocks of Harish-Chandra bimodules.

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.