Modules of differential operators on the real line (Q5944768): Difference between revisions

Let \(\text{Vect}(M)\) be a Lie algebra of vector fields on a smooth manifold \(M\). The authors consider a family of \(\text{Vect}(M)\)-modules of \(k\)th order differential operators, depending on two parameters \(\lambda, \mu \in \mathbb R\), defined on the space Hom\((\mathcal F_{\lambda}, \mathcal F_\mu)\), where \(\mathcal F_\lambda\) is a module of tensor densities of degree \(-\lambda\). The question of classification of these modules up to isomorphism was solved earlier in the case \(\dim M > 1\) [\textit{P. B. A. Lecomte, P. Mathonet} and \textit{E. Tousset}, Indag. Math., New Ser. 7, 461--471 (1996; Zbl 0892.58002) and \textit{P. Mathonet}, Commun. Algebra 27, 755--776 (1999; Zbl 0924.17017)]. Here the authors solve this question for the one-dimensional case \(M=\mathbb R\), which proves to be exceptional and apparently more difficult than the general case. The proof employs, among other the fact that these modules are filtered deformations of modules of symbols of differential operators, defined via particular cocycles from the relevant first-order cohomology group. In many cases, the proofs and computations are omitted or only sketched, and details are promised to be published elsewhere.