Ellipticity of the symplectic twistor complex. (Q2897401)

Fedosov manifolds are symplectic manifolds \((M,\omega )\) with a chosen torsionless affine connection \(\nabla \) such that \(\nabla \omega =0\). A further assumption in this article is that the Weyl part of the curvature of \(\nabla \) is zero. The final component of geometric data is a metaplectic structure on \(M\). (This is an analogue of the spin structure in Riemannian geometry.) This structure induces the (infinite dimensional) symplectic spinor bundle \(S = S_+ \oplus S_-\) equipped with the covariant derivative \(\nabla ^{S}\).NEWLINENEWLINEThe corresponding exterior covariant derivatives \(d^{\nabla ^{S}}\: \Gamma (\Lambda ^r T^{*}M \otimes S) \to \Gamma (\Lambda ^{r+1} T^{*}M \otimes S)\) do not form a complex. This drawback is fixed if we replace \(\Lambda ^r T^*M \otimes S_\pm \) by the highest weight components \(E^r_\pm \subseteq \Lambda ^r T^{*}M \otimes S_\pm \). Putting \(E^r \:= E^r_+ \oplus E^r_-\) and denoting the dimension of \(M\) by \(2\ell \), we obtain the symplectic twistor complexes \(0 \to \Gamma (E^0) \to \cdots \to \Gamma (E^\ell )\to 0\) and \(0 \to \Gamma (E^\ell ) \to \cdots \to \Gamma (E^{2\ell })\to 0\). The author shows that if we remove the last zero from the first complex and the first zero from the second complex, the resulting complexes becomes elliptic.