En geometría algebraica, un morfismo no ramificado es un morfismo de esquemas tal que (a) es localmente de presentación finita y (b) para cada y , tenemos que
- El campo de residuos es una extensión algebraica separable de .
- donde y son ideales máximos de los anillos locales.
Un morfismo plano no ramificado se denomina morfismo étale . Con menor fuerza, si satisface las condiciones cuando se restringe a vecindarios suficientemente pequeños de y , entonces se dice que no está ramificado cerca de .
Algunos autores prefieren utilizar condiciones más débiles, en cuyo caso denominan morfismo G-no ramificado a un morfismo que satisface lo anterior .
Ejemplo sencillo
Sea un anillo y B el anillo obtenido al agregar un elemento entero a A ; es decir, para algún polinomio mónico F . Entonces es no ramificado si y solo si el polinomio F es separable (es decir, él y su derivada generan el ideal unitario de ).
Caso de curva
Sea un morfismo finito entre curvas suaves y conexas sobre un cuerpo algebraicamente cerrado, P un punto cerrado de X y . Entonces tenemos el homomorfismo de anillo local donde y son los anillos locales en Q y P de Y y X . Como es un anillo de valoración discreto , existe un entero único tal que . El entero se llama índice de ramificación de sobre . [1] Como como el cuerpo base es algebraicamente cerrado, está desramificado en (de hecho, étale ) si y solo si . De lo contrario, se dice que está ramificado en P y Q se llama punto de ramificación .
Caracterización
Dado un morfismo que es localmente de presentación finita, los siguientes son equivalentes: [2]
- f no está ramificada.
- El mapa diagonal es una inmersión abierta.
- El haz cotangente relativo es cero.
Véase también
Referencias
- ^ Hartshorne 1977, Cap. IV, § 2.
- ^ Grothendieck y Dieudonné 1967, Corolario 17.4.2.
- Grothendieck, Alejandro ; Dieudonné, Jean (1967). "Éléments de géométrie algébrique: IV. Étude locale des schémas et des morphismes de schémas, Quatrième partie". Publicaciones Mathématiques de l'IHÉS . 32 . doi :10.1007/bf02732123. SEÑOR 0238860.
- Hartshorne, Robin (1977), Geometría algebraica , Textos de posgrado en matemáticas , vol. 52, Nueva York: Springer-Verlag, ISBN 978-0-387-90244-9, Sr. 0463157