On the cohomology of \(\text{sl}(m+1,\mathbb R)\) acting on differential operators and \(\text{sl}(m+1,\mathbb R)\)-equivariant symbol (Q5935889): Difference between revisions

Let \(D^k_{\lambda\mu}\) be the space of differential operators of order \(\leq k\) from the space of scalar \(\lambda\)-densities on \(\mathbb{R}^m\) into that of scalar \(\mu\)-densities, let \(sl_{m+1} \subset\text{Vect}(\mathbb{R}^m)\) be the subalgebra of infinitesimal linear fractional local transformations of \(\mathbb{R}^m\). Theorem: The short exact sequence of \(sl_{m+1}\)-modules \[ 0\to D^{k-1}_{\lambda \mu}\to D^k_{\lambda \mu}\to S^k_\delta\to 0\quad (k\geq 1,\;\delta =\mu- \lambda) \] (where \(S^k_\delta\) are symmetric tensor fields valued in \(\delta\)-densities) splits if and only if \[ \delta\notin \left\{ {m+k\over m+1}, {m+k+1\over m+1},\dots, {m+2k-1 \over m+1}\right\} \] or \[ \delta={m-2k-n\over m+1}\quad \text{and} \quad\lambda= {i-k\over m+1} \] for some \(n\in\{1, \dots, k\}\) and some \(i\in\{1, \dots,n\}\). -- In order to prove this result, the author computes the cohomologies \(H(sl_{m+1},D^k(S^p_\delta, S^q_\delta))\), where \(D^k(A,B)\) denotes differential operators from \(A\) to \(B\), and also the spaces \(\text{Hom}_{sl_{m+1}} (S^p_\delta, S^q_\delta)\). We regret that these results cannot be stated here in more detail.