Applying projective functors to arbitrary holonomic simple modules

We prove that applying a projective functor to a holonomic simple module over a semisimple finite-dimensional complex Lie algebra produces a module that has an essential semisimple submodule of finite length. This implies that holonomic simple supermodules over certain Lie superalgebras are quotients of modules that are induced from simple modules over the even part. We also provide some further insight into the structure of Lie algebra modules that are obtained by applying projective functors to simple modules.