On invariant $1$-dimensional representations of a finite $W$-algebra

Abstract

Let $\mathfrak{g}$ be a simple Lie algebra over $\mathbb{C}$ and $G$ be the corresponding simply connected algebraic group. Consider a nilpotent element $e\in \mathfrak{g}$, the corresponding element $χ=(e, \bullet)$ in $\mathfrak{g}^*$, and the coadjoint orbit $\mathbb{O}=Gχ$. We are interested in the set $\mathfrak{J}\mathfrak{d}^1(\mathcal{W})$ of codimension $1$ ideals $J\subset \mathcal{W}$ in a finite $W$-algebra $\mathcal{W}=U(\mathfrak{g}, e)$. We have a natural action of the component group $Γ=Z_G(χ)/Z_G^\circ(χ)$ on $\mathfrak{J}\mathfrak{d}^1(\mathcal{W})$. Denote the set of $Γ$-stable points of $\mathfrak{J}\mathfrak{d}^1(\mathcal{W})$ by $\mathfrak{J}\mathfrak{d}^{1}(\mathcal{W})^Γ$. For a classical $\mathfrak{g}$ Premet and Topley proved that $\mathfrak{J}\mathfrak{d}^{1}(\mathcal{W})^Γ$ is isomorphic to an affine space. In this paper we will give an easier and shorter proof of this fact.