Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I am about to write something at jet bundle and elsewhere about the general abstract perspective.
In chapter 2 of Beilinson-Drinfeld’s Chiral Algebras they have the nice characterization of the Jet bundle functor as the right adjoint to the forgetful functor F:Scheme𝒟(X)→Scheme(X) from D-schemes over X to just schemes over X.
Now, since D-modules on X are quasicoherent modules on the de Rham space Πinf(X), I guess we can identify
Scheme𝒟(X)with
Schemes/Πinf(X)and hence the forgetful functor above is the pullback functor
F(E)→E↓↓X→Πinf(X)aling the lower canonical morphism (“constant infinitesimal path inclusion”).
This would mean that we have the following nice general abstract characterization of jet bundles:
let H be a cohesive (infinity,1)-topos equipped with infinitesimal cohesion H↪Hth. For any X∈X we then have the canonical morphism i:X→Πinf(X).
The Jet bundle functor is then simply the corresponding base change geometric morphism
Jet:=(i*⊣i*):H/X→H/Π(X)or rather, if we forget the 𝒟-module structure on the coherent sheaves on the jet bundle, it is the comonad i*i* induced by that.
Does that way of saying it ring a bell with anyone?
Sorry, the math does not display.
1 to 2 of 2