Homology of the Lie algebra of vector fields on the line with coefficients in symmetric powers of its adjoint representation (Q2498290)

The authors compute the homology of the Lie algebra \(W_1\) of (polynomial) vector fields on the line with coefficients in symmetric powers of its adjoint representation. They also list the results obtained so far for the homology with coefficients in tensor powers and, in turn, use them for partially computing the homology of the Lie algebra of \(W_1\)-valued currents on the line. The following main theorem is proved: (i) \(H_2(W_1,\mathfrak{gl}_1,S^kW_1)={\mathbb C}\) and \(H_i(W_1,\mathfrak{gl}_1,S^kW_1)=0\) for \(i\neq 2\), (ii) \(H_2(W_1,S^kW_1)=H_3(W_1,S^kW_1)=\mathbb C\) and \(H_i(W_1,\mathfrak{gl}_1,S^kW_1)=0\) for \(i\not\in\{2,3\}\). This proves the Feigin-Tsygan conjecture [\textit{B. Feigin} and \textit{B. Tsygan}, Suppl. Rend. Circ. Mat. Palermo (2) 21, 15--52 (1989; Zbl 0686.14007)] on the homology of the algebra \(W_n\) with coefficients in symmetric powers of its adjoint representation for \(n = 1\). This computation is based on a partial computation of the homology (with the same coefficients) of the subalgebra of \(W_1\) consisting of vector fields that have a second-order zero at the origin.