Disculpas de antemano si esta pregunta es muy básica. Deje X ser un esquema. Uno define el n-th jet espacio de X a ser el esquema que representa el functor Un↦X(A[t]/tn+1). Es bien sabido que este functor es representado por un esquema de JnX. Hay una serie de notas cortas demostrando la existencia de JnX, propiedades básicas, ....
Mi entendimiento es que si E es un local libre de O-módulo de X, entonces para cada a n no es un porcentaje (O- módulo de JnE "n- jets en E." Esto se menciona en muchos lugares, pero todavía tengo que correr a través de una buena functorial definición, ni mucho menos pruebas de las propiedades básicas.
Hay una buena referencia que define cuidadosamente JnE y demuestra sus propiedades básicas?
Idealmente, estoy interesado en las referencias que tratan la existencia de la máxima generalidad (por ejemplo, arbitraria coherentes O-módulo en cualquier esquema de X).