Generically finite morphisms and formal neighborhoods of arcs (Q1018064)

This paper shows a relation between the tangent spaces of two arcs corresponding under the morphism induced from a morphism of base schemes of the same dimension with the source scheme non-singular. The difference of the dimension of the tangent spaces at those arcs is described by the vanishing order of the ramification subscheme at the source arc. In particular for a morphism of non-singular varieties, the induced morphism on the arc spaces gives locally analytically closed immersion with the codimension described by that vanishing order.