On the homological finiteness properties of some modules over metabelian Lie algebras (Q1601476): Difference between revisions

The main result of the paper under review is the Lie algebra version of the generalized \(FP_{m}\)-conjecture (originally formulated for groups) for split metabelian Lie algebras. That is, suppose that \(L\) is a finitely generated algebra over a field \(K\). Suppose there is an abelian ideal \(A\) of \(L\) such that \(Q = L/A\) is also abelian, and \(L\) splits over \(A\). Let \(B\) be a finitely generated right module over the universal enveloping algebra \(U(Q)\) of \(Q\). Then the following statements are equivalent: (1) \(B\) is if type \(FP_{m}\) over \(L\); (2) \(B \otimes ({}^{\otimes^{m}}A)\) is finitely generated over \(U(Q)\) via the diagonal action; (3) whenever \([v_{1}] \in \Delta(Q, B)\), \([v_{2}] , \dots , [v_{m+1}] \in \Delta(Q, A)\) and \([v_{1}] + [v_{2}] + \dots + [v_{m+1}] = 0\), then all \([v_{i}] = 0\). In the statement above, \(\Delta\) is the invariant introduced by \textit{R.~Bryant and J.~Groves} [J. Lond. Math. Soc. (2) 60, 45-57 (1999; Zbl 0940.17006), J. Algebra 218, 1-25 (1999; Zbl 0935.17005)] to characterize finite presentability in metabelian Lie algebras. In the case of groups, the corresponding role is played by the invariant introduced by \textit{R. Bieri} and \textit{R. Strebel} [Proc. Lond. Math. Soc. (3) 41, 439-464 (1980; Zbl 0448.20029)].