Generically finite morphisms and formal neighborhoods of arcs

Abstract

We show that given a dominant morphism between two smooth varieties of the same dimension, the induced morphism between the formal neighborhoods of two arcs on these varieties is a closed embedding, of codimension given by the order of vanishing along the ramification subscheme.

6 pages; final version, to appear in the Proceedings of the IV Iberoamerican Conference on Complex Geometry