Direct images of sheaves of differentials and the Atiyah class (Q1113954): Difference between revisions

For E a vector bundle of rank r over a projective manifold X of dimension n, \(Y={\mathbb{P}}(E)\to^{\pi}X\) the associated projective bundle, \({\mathcal G}^ a \)coherent sheaf on Y, \(\Omega^ p_ Y({\mathcal G})\) the sheaf of \({\mathcal G}\)-valued p-forms, the sheaves \(R^{p,q}({\mathcal G})=R^ q\pi_*\Omega^ p_ Y({\mathcal G})\) are filtered, \(F^ sR^{p,q}({\mathcal G})\), induced by the relative differential forms, with the associated graded parts \(gr_ sR^{p,q}({\mathcal G})\). This filtration does not split, even for \({\mathcal G}={\mathcal O}(\nu)\). The extension \[ 0\to gr_{s+1}R^{p,q}({\mathcal G})\to F^ sR^{p,q}({\mathcal G})/F^{s+2}R^{p,q}({\mathcal G})\to gr_ sR^{p,q}({\mathcal G})\to 0 \] defines \(\omega_ s\in Ext^ 1(gr_ sR^{p,q}({\mathcal G}),gr_{s+1}R^{p,q}({\mathcal G}))\). In case \(\pi\) : \(Y\to X\) is a smooth proper morphism with all the fibers isomorphic, \(gr_ s\Omega^ p_ Y({\mathcal G})\) can be identified with \(\pi^*\Omega^ s_ X\otimes \Omega^{p-s}_{Y/X}({\mathcal G})\), and \(\omega_ s\) can be computed in terms of \(\omega \in H^ 1(X,\Omega^ 1_ X\pi_*T_{Y/X})\subset Ext^ 1_{{\mathcal O}_ Y}(\pi^*T_ X,T_{Y/X})\) associated to the tangent bundle sequence \[ 0\to T_{Y/X}\to T_ Y\to \pi^*T_ X\to 0. \] For \(Y={\mathbb{P}}(E)\), the epimorphism \(Hom(E,E)\to \pi_*T_{Y/X}\) produces \(\omega\) as the image of the Atiyah class \(\theta \in H^ 1(X,\Omega^ 1_ XHom(E,E))\). Finally, it is observed that \(H^ q(X,\Omega^ p_ X\otimes S^{\nu}E)\) does not vanish for ample bundles E and \(p+q\geq n+r\), contrary to expectations.