Some conjectures and results concerning the homology of nilpotent Lie algebras (Q752831)

For L a complex Lie algebra and k a nonnegative integer, let \(L_ k\) and \(\bar L_ k\) denote the Lie algebras \(L_ k=L\otimes ({\mathbb{C}}[t]/(t^{k+1}))\) and \(\bar L_ k=L\otimes (t{\mathbb{C}}[t]/(t^{k+1})),\) respectively. The paper (being a continuation of [Invent. Math. 86, 131-159 (1986; Zbl 0604.17007)]) contains the conjectures and results that the author obtained in his efforts to prove the so-called ``Strong Macdonald conjectures'' which are statements about the structure of the bigraded L-modules of homology \(H_*(L_ k)\) and \(H_*(\bar L_ k)\) in the case where L is semisimple. The first of the conjectures asserts that if L is semisimple, then \(H_*(L_ k)\cong H_*(L)^{\otimes (k+1)}\) for any complex Lie algebra L. The author proves this in the case \(L={\mathfrak sl}_ n({\mathbb{C}})\). Next, he presents some conjectures concerning the eigenvalues of Laplacians, connected with the Koszul complex. Finally, he presents a computational evidence in support of his conjectures (the algorithms were designed and implemented by the author using SUN workstations and CRAY-2).