A remark on the jet bundles over the projective line

From MaRDI portal
(Redirected from Publication:1815688)



Abstract: This is a footnote of a recent interesting work of Cohen, Manin and Zagier, where they, among other things, produce a natural isomorphism between the sheaf of (n-1)-th order jets of the n-th tensor power of the tangent bundle of a Riemann surface equipped with a projective structure and the sheaf of differential operators of order n (on the trivial bundle) with vanishing 0-th order part. We give a different proof of this result without using the coordinates, and following the idea of this proof we prove: Take a line bundle L with L2=T on a Riemann surface equipped with a projective structure. Then the jet bundle Jn(Ln) has a natural flat connection with Jn(Ln)=Sn(J1(L)). For any m>n the obvious surjection Jm(Ln)ightarrowJn(Ln) has a canonical splitting. In particular, taking m=n+1, one gets a natural differential operator of order n+1 from Ln to L−n−2.


Let \(X\) be a Riemannian surface with a projective structure (i.e., a covering by coordinate charts such that the transition functions are of the form \(z\to (az+b)/(cz+d))\). Let \(L\) be a line bundle on \(X\) such that \(L^2=T_X\). Let \(J^m(L^{\otimes n})\to X\) denote the jet bundle of order \(m\) for the line bundle \(L^{\otimes n}\). For \(i\geq j\), there is a natural restriction homomorphism from \(J^i(L^n)\) onto \(J^j(L^n)\). In the present paper, the author proves that \(J^n(L^n)\) has a natural flat connection and for any \(m\geq n\), the surjective homomorphism \(J^m(L^n)\to J^n(L^n)\) admits a canonical splitting (Theorem 4.1).











This page was built for publication: A remark on the jet bundles over the projective line

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1815688)