Minimal nilpotent finite $W$-algebra and cuspidal module category of $\mathfrak{sp}_{2n}$

Abstract: Let $U_S$ be the localization of $U(\mathfrak{sp}{2n})$ with respect to the Ore subset $S$ generated by the root vectors $X{\epsilon_1-\epsilon_2},\dots,X_{\epsilon_1-\epsilon_n}, X_{2\epsilon_1}$. We show that the minimal nilpotent finite $W$-algebra $W(\mathfrak{sp}{2n}, e)$ is isomorphic to the centralizer $C{U_S}(B)$ of some subalgebra $B$ in $U_S$, and it can be identified with a tensor product factor of $U_S$. As an application, we show that the category of weight $\mathfrak{sp}{2n}$-modules with injective actions of all root vectors and finite-dimensional weight spaces is equivalent to the category of finite-dimensional modules over $W(\mathfrak{sp}{2n}, e)$, explaining the coincidence that both of them are semi-simple.