An example of a non-zero Lie coalgebra M for which \(Loc(M)=0\) (Q2640692)

Let \(W_ 1\) be the (one-sided) Witt algebra of derivations of K[x], K a field of characteristic zero, and let \(W^ 0_ 1\) be the dual Lie coalgebra. The author shows that \(W^ 0_ 1\) is a nonzero Lie coalgebra such that \(Loc(W^ 0_ 1)=0\), i.e., \(W^ 1_ 0\) has no nonzero finite-dimensional Lie subcoalgebras. Since \(Loc(W^ 0_ 1)=\{f\in W^*_ 1 |\) \(f(I)=0\) for some cofinite ideal I of \(W_ 1\}\), \(Loc(W^ 0_ 1)=0\) follows from the well-known simplicity of \(W_ 1\). \(W^ 0_ 1\neq 0\) since it is easy to see that \(W^ 0_ 1\) contains the dual basis to the canonical basis \(e_ i=x^{i+1} d/dx\), \(i\geq -1\), of \(W_ 1\). (See the following review, where \textit{W. D. Nichols} shows that \(W^ 0_ 1\) consists precisely of the linearly recursive sequences \(f=(f(e_ i))\) over K.)