Quantum jet Hopf algebroids by cotwist

We introduce a cotwist construction for Hopf algebroids that also entails cotwisting or `quantisation’ of the base and which is dual to a previous twisting construction of P. Xu. Whereas the latter applied the construction to the algebra of differential operators on a classical base $B$, we show that the dual of this is the algebra of sections $J(B)$ of the jet bundle and hence that the latter forms a Hopf algebroid. This is constructed for commutative algebras $B$ in a pro-object setting via quotients of the pair Hopf algebroid $B\otimes B$ and can then be deformed by our cotwist construction to give a possibly noncommutative jet Hopf algebroid over a noncommutative base. We also observe in the commutative case that $J^k(B)$ for jets of order $k$ can be identified with $J^1(B_k)$ where $B_k$ denotes $B$ equipped with a certain noncommutative first order differential calculus.