Generically finite morphisms and formal neighborhoods of arcs
Abstract
Description
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
6 pages; final version, to appear in the Proceedings of the IV Iberoamerican Conference on Complex Geometry