Semi-infinite Weil complex and the Virasoro algebra (Q802738)

The Weil complex \(\wedge^*({\mathfrak g}')\otimes S^*({\mathfrak g}')\), where \({\mathfrak g}'\) is the dual of a finite-dimensional Lie algebra \({\mathfrak g}\) and \(\wedge^*\), \(S^*\) are the exterior and symmetric algebras thereof, is an important tool for the calculation of the cohomology of \({\mathfrak g}\) (being a cross between the Koszul and the standard complexes of \({\mathfrak g})\). It is also convenient for calculation of characteristic classes of principal \(G\)-bundles, where \({\mathfrak g}=\text{Lie}(G).\) In the paper a semi-infinite analogue of the Weil complex is introduced for the Virasoro algebra and some cohomologies are computed; some interesting geometrical consequences (characteristic classes) are conjectured. References are often messed up, regrettably.