Ideals in the enveloping algebra of the positive Witt algebra (Q2199651)

Let \(W_+\) denote the Witt algebra over a field of characteristic \(0\), i.e., an algebra generated by elements \(e_n\), \(n\in\mathbb{Z}_{>0}\), modulo relations \([e_i,e_j]=(j-i)e_{i+j}\). In [\textit{S. J. Sierra} and \textit{C. Walton}, Adv. Math. 262, 239--260 (2014; Zbl 1297.14006)], it was proved that \(U(W_+)\) is neither left nor right Noetherian. However, there exist the following two conjectures. Conjecture 1: The enveloping algebra \(U(W_+)\) has just infinite Gelfand-Kirillov dimension in the sense that if \(I\) is a nonzero ideal of \(U(W_+)\) then the GK-dimension of \(U(W_+)/I\) is finite. Conjecture 2: The two-sided ideals of \(U(W_+)\) satisfy the ascending chain condition: all strictly ascending chains of ideals are finite. In the present paper, weaker variants of these conditions are proved. It is proved that if \(I\) is a two-sided ideal of \(U(W_+)\) generated by quadratic expressions in the \(e_i\) then \(U(W_+)/I\) has finite Gelfand-Kirillov dimension, and that such ideals satisfy the ascending chain condition.