Olivier Mathieu
University Lyon I
A global version of Grozman Theorem.
Abstract:
Let WX be the Lie algebra of vector elds on a manifold X. Around
1985, Pavel Grozman has classied all WX-equivariant bilinear operators
: M N ! P, where M, N and P are tensor density modules, with the
additional condition that is a di erential operator. The most interesting
case arises when X is of dimension one.
In a joint work with K.Iohara, we investigate the same question, without
the additional condition that is a di erential operator (since di erential
operators are local, we investigate a "global" version of Grozman paper). We
give a complete answer when the manifold X is the "circle", i.e. the a ne
variety Spec C[z; z^{-1}]. A computer is required to study the determinant of a
6x6 matrix which depends polynomialy on two variables and three parame-
ters, It is a key point in the classication of a certain class of Z^N-graded Lie
algebras.