Ideals of homomorphic images of the enveloping algebra of the Witt algebra

Let $W_{\geq -1} = \mathbb{C}[t]\partial$ and $W = \mathbb{C}[t, t^{-1}]\partial$ be the Witt algebra of algebraic vector fields on $\mathbb{C}$ and $\mathbb{C}^*$ respectively. In this paper, we make significant progress toward the open conjecture that the enveloping algebras $\mathrm{U}(W_{\geq -1