Intertwining operators between some spaces of differential operators on a manifold (Q4237115)

Let \(M\) be a manifold of dimension \(m\) and let \({\mathcal F}_\lambda(M)\) be the space of scalar densities of weight \(-\lambda\in{\mathbb R}\). In local coordinates we can write \(F\in{\mathcal F}_\lambda(M)\) in the form \[ F=f(x_1,\dots,x_m)| dx_1\wedge\dots\wedge x_m|^{-\lambda}, \] so that, as vector spaces, all \({\mathcal F}_\lambda(M)\) are isomorphic to \({\mathcal F}_0(M)=C^\infty(M).\) Each of the spaces \({\mathcal F}_\lambda(M)\) is a \(\text{Vect} (M)\)-module, where the natural action of the Lie algebra \(\text{Vect} (M)\) of vector fields on \({\mathcal F}_\lambda(M)\) is given in local coordinates by \[ L_X^\lambda F=(Xf-\lambda\text{ div}(X)f) | dx_1\wedge\dots\wedge x_m|^{-\lambda}, \] where \(Xf\) is the derivation of \(f\) in the direction of \(X\) and \(\text{div}(X)\) is the trace of the differential of the local expression of \(X\). Let now \({\mathcal D}^p_{\lambda,\mu}\) be the space of all linear differential operators \(D:{\mathcal F}_\lambda\rightarrow {\mathcal F}_\mu\) of order \(\leq p\), which carries a \(\text{Vect} (M)\)-module structure defined by \[ L^{\lambda,\mu}_XD=L^\mu_X\circ D-D\circ L^\lambda_X. \] In this paper, assuming that \(\text{dim}(M)>1\), all linear intertwining operators \({\mathcal T}:{\mathcal D}^p_{\lambda_1,\mu_1} \rightarrow {\mathcal D}^q_{\lambda_2,\mu_2}\) are described. This problem is a generalization of results of \textit{P. B. A. Lecomte, P. Mathonet}, and \textit{E. Tousset} [Indag. Math., New. Ser. 7, 461-471 (1996; Zbl 0892.58002)] and \textit{C. Duval} and \textit{V. Yu. Ovsienko} [Adv. Math. 132, 316-333 (1997; Zbl 0902.17011)]. First of all, non-local intertwining operators are determined. For local ones, it is shown that if \(s=(\lambda_2-\mu_2)-(\lambda_1 -\mu_1)\neq 0,1\), then \({\mathcal T}=0\). In the case \(s=0\), it is shown that \({\mathcal T}\) is filtered with respect to \(p\) and that it is completely determined by its restriction to \({\mathcal D}^2_{\lambda _1,\mu_1}\). The case \(s=1\) differs from the previous one only by a fundamental example of an intertwining operator \({\mathcal T}: {\mathcal D}^0_{\lambda,\lambda}\rightarrow{\mathcal D}^1_{0,-1}\).