Semisimplicity preservation for Harish-Chandra modules

Let H(χ)O\mathcal{H}(\chi)_{\mathbb O} be the Harish-Chandra category associated with a nilpotent orbit O\mathbb O, and let χHOK{}^\chi \mathcal{H}^K_{\mathbb O} be the full subcategory of semisimple objects in the corresponding quotient category of (g,K)(\mathfrak{g},K)-modules. For MH(χ)OM\in \mathcal{H}(\chi)_{\mathbb O} and NχHOKN\in {}^\chi \mathcal{H}^K_{\mathbb O}, the tensor product MNM\otimes N belongs to χHOK{}^\chi \mathcal{H}^K_{\mathbb O}. Semisimplicity-preservation conjecture. The action of H(χ)O\mathcal{H}(\chi)_{\mathbb O} on the quotient category preserves its full subcategory of semisimple objects. This would extend the multi-fusion-category action from Harish-Chandra bimodules to Harish-Chandra (g,K)(\mathfrak{g},K)-modules; the statement is presented as a conjectural direction, and no resolution is given here.

Sources & referencesView supporting material

Primary source

Victor Ostrik, “Multi-fusion categories of Harish-Chandra bimodules”, arXiv:1404.6575 (2014).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.