From bosonized $\mathfrak{osp}(1|2)$ to liftings of the super Jordan plane

Abstract

We study a family of liftings $\mathfrak U(λ)$ of the super Jordan plane over the infinite cyclic group in characteristic zero. For a nonzero lifting parameter $λ$, we identify a natural subalgebra $\mathfrak B$ with the bosonization of $U(\mathfrak{osp}(1|2))$, also known as $sl_{-1}(2)$, and show that the lifting $\mathfrak U(λ)$ is obtained from $\mathfrak B$ by an Ore localization at a single distinguished element. This structural description provides a unified approach to the representation theory and ideal structure of $\mathfrak U(λ)$. We classify the finite-dimensional simple modules of $\mathfrak B$ and prove that every finite-dimensional $\mathfrak B$-module is completely reducible; the localization then yields the corresponding results for $\mathfrak U(λ)$. We determine the prime, primitive, and completely prime ideals of both algebras. Finally, we compute their classical quotient rings, showing in particular that the classical quotient ring of $\mathfrak U(λ)$ is a $2\times2$ matrix algebra over the skew field of fractions of the tensor product of its centre and the first Weyl algebra.