Category O over a deformation of the symplectic oscillator algebra

In the second part, we focus on the case Hf for n=1, where we prove all these assumptions, as well as the PBW theorem.