En geometría algebraica , un morfismo étale ( en francés: [etal] ) es un morfismo de esquemas que es formalmente étale y localmente de presentación finita. Este es un análogo algebraico de la noción de isomorfismo local en la topología analítica compleja. Satisfacen las hipótesis del teorema de la función implícita , pero debido a que los conjuntos abiertos en la topología de Zariski son tan grandes, no son necesariamente isomorfismos locales. A pesar de esto, los mapas étale conservan muchas de las propiedades de los isomorfismos analíticos locales y son útiles para definir el grupo fundamental algebraico y la topología étale .
La palabra étale es un adjetivo francés que significa "flojo", como en "marea baja" o, en sentido figurado, calma, inmóvil, algo que se deja asentar. [1]
Definición
Sea un homomorfismo de anillo . Esto forma un -álgebra. Elija un polinomio mónico en y un polinomio en tal que la derivada de sea una unidad en . Decimos que es étale estándar si y puede elegirse de modo que sea isomorfo como un -álgebra a y sea la función canónica.
Sea un morfismo de esquemas . Decimos que es étale si y sólo si tiene alguna de las siguientes propiedades equivalentes:
- es plano y no ramificado . [2]
- es un morfismo suave y no ramificado. [2]
- es plana, localmente de presentación finita , y para cada en , la fibra es la unión disjunta de puntos, cada uno de los cuales es el espectro de una extensión de campo separable finita del campo de residuos . [2]
- es plana, localmente de presentación finita, y para cada en y cada clausura algebraica del cuerpo de residuos , la fibra geométrica es la unión disjunta de puntos, cada uno de los cuales es isomorfo a . [2]
- es un morfismo suave de dimensión relativa cero. [3]
- es un morfismo suave y un morfismo localmente cuasi-finito . [4]
- es localmente de presentación finita y es localmente un morfismo étale estándar, es decir,
- Para cada uno en , sea . Entonces existe un entorno afín abierto de y un entorno afín abierto de tal que está contenido en y tal que el homomorfismo de anillo inducido por es étale estándar. [5]
- es localmente de presentación finita y es formalmente étale . [2]
- es localmente de presentación finita y es formalmente étale para mapas de anillos locales, es decir:
- Sea un anillo local y un ideal de tal que . Conjunto y , y sea la inmersión cerrada canónica. Sea el punto cerrado de . Sean y morfismos tales que . Entonces existe un -morfismo único tal que . [6]
Supóngase que es localmente noetheriano y f es localmente de tipo finito. Para en , sean y sean la función inducida en anillos locales completados . Entonces, las siguientes son equivalentes:
- es étale
- Para cada en , el mapa inducido en anillos locales completados es formalmente étale para la topología ádica. [7]
- Para cada en , es un módulo libre y la fibra es un campo que es una extensión de campo separable finito del campo de residuos . [7] (Aquí está el ideal máximo de ).
- es formalmente étale para aplicaciones de anillos locales con las siguientes propiedades adicionales. El anillo local puede suponerse artiniano. Si es el ideal máximo de , entonces puede suponerse que satisface . Finalmente, puede suponerse que el morfismo en los cuerpos de residuos es un isomorfismo. [8]
Si además todos los mapas en cuerpos de residuos son isomorfismos, o si está cerrado separablemente, entonces es étale si y sólo si para cada en , el mapa inducido en anillos locales completados es un isomorfismo. [7]
Ejemplos
Toda inmersión abierta es étale porque es localmente un isomorfismo.
Los espacios de recubrimiento forman ejemplos de morfismos de étale. Por ejemplo, si es un entero invertible en el anillo entonces
es un morfismo de grado étale.
Cualquier cubierta ramificada tiene un locus no ramificado
que es étale.
Morfismos
Las extensiones de campo separables inducidas por finitos son étale — forman espacios de cobertura aritmética con un grupo de transformaciones de cubierta dadas por .
Cualquier homomorfismo de anillo de la forma , donde todos los son polinomios, y donde el determinante jacobiano es una unidad en , es étale. Por ejemplo, el morfismo es étale y corresponde a un espacio de grado que cubre con el grupo de transformaciones de barajas.
Ampliando el ejemplo anterior, supongamos que tenemos un morfismo de variedades algebraicas complejas suaves. Como está dado por ecuaciones, podemos interpretarlo como una función de variedades complejas. Siempre que el jacobiano de sea distinto de cero, es un isomorfismo local de variedades complejas por el teorema de la función implícita . Por el ejemplo anterior, tener un jacobiano distinto de cero es lo mismo que ser étale.
Sea un morfismo dominante de tipo finito con X , Y localmente noetheriano, irreducible e Y normal. Si f no está ramificado , entonces es étale. [9]
Para un cuerpo K , cualquier K -álgebra A es necesariamente plana. Por lo tanto, A es un álgebra étale si y solo si no está ramificada, lo que también es equivalente a
donde es la clausura separable del cuerpo K y el lado derecho es una suma directa finita, cuyos sumandos son todos . Esta caracterización de las K -álgebras étale es un paso adelante en la reinterpretación de la teoría clásica de Galois (véase la teoría de Galois de Grothendieck ).
Propiedades
- Los morfismos de Étale se conservan bajo composición y cambio de base.
- Los morfismos étale son locales en la fuente y en la base. En otras palabras, es étale si y solo si para cada recubrimiento de por subesquemas abiertos la restricción de a cada uno de los subesquemas abiertos del recubrimiento es étale, y también si y solo si para cada recubrimiento de por subesquemas abiertos los morfismos inducidos son étale para cada subesquema del recubrimiento. En particular, es posible probar la propiedad de ser étale sobre afines abiertos .
- El producto de una familia finita de morfismos étale es étale.
- Dada una familia finita de morfismos , la unión disjunta es étale si y sólo si cada uno es étale.
- Sea y , y supongamos que no está ramificado y es étale. Entonces es étale. En particular, si y son étale sobre , entonces cualquier -morfismo entre y es étale.
- Los morfismos étale cuasi compactos son cuasi finitos .
- Un morfismo es una inmersión abierta si y sólo si es étale y radicial . [10]
- Si es étale y sobreyectiva, entonces (finito o de otro tipo).
Teorema de la función inversa
Morfismos de Étale
- f : X → Y
son la contraparte algebraica de los difeomorfismos locales . Más precisamente, un morfismo entre variedades suaves es étale en un punto si y solo si la diferencial entre los espacios tangentes correspondientes es un isomorfismo. Esta es a su vez precisamente la condición necesaria para asegurar que una función entre variedades es un difeomorfismo local, es decir, para cualquier punto y ∈ Y , existe un entorno abierto U de x tal que la restricción de f a U es un difeomorfismo. Esta conclusión no se cumple en geometría algebraica, porque la topología es demasiado burda. Por ejemplo, considere la proyección f de la parábola
- y = x 2
al eje y . Este morfismo es étale en todos los puntos excepto en el origen (0, 0), porque la diferencial está dada por 2 x , que no se anula en estos puntos.
Sin embargo, no hay una inversa ( Zariski- )local de f , simplemente porque la raíz cuadrada no es una función algebraica , al no estar dada por polinomios. Sin embargo, hay un remedio para esta situación, usando la topología étale. El enunciado preciso es el siguiente: si es étale y finito, entonces para cualquier punto y que se encuentre en Y , hay un morfismo étale V → Y que contiene a y en su imagen ( V puede considerarse como un vecindario abierto étale de y ), tal que cuando cambiamos f por V , entonces (el primer miembro sería la preimagen de V por f si V fuera un vecindario abierto de Zariski) es una unión disjunta finita de subconjuntos abiertos isomorfos a V . En otras palabras, étale-localmente en Y , el morfismo f es una cobertura topológica finita.
Para un morfismo suave de dimensión relativa n , étale-localmente en X y en Y , f es una inmersión abierta en un espacio afín . Esta es la versión análoga étale del teorema de estructura sobre inmersiones .
Véase también
Referencias
- ^ fr: Trésor de la langue française informatisé , artículo "étale"
- ^ abcde EGA IV 4 , Corolaire 17.6.2.
- ^ EGA IV 4 , Corolario 17.10.2.
- ^ EGA IV 4 , Corolaire 17.6.2 y Corolaire 17.10.2.
- ^ Milne, cohomología de Étale , teorema 3.14.
- ^ EGA IV 4 , Corolario 17.14.1.
- ^ abc EGA IV 4 , Proposición 17.6.3
- ^ EGA IV 4 , Proposición 17.14.2
- ^ SGA1, Exposición I, 9.11
- ^ EGA IV 4 , Teorema 17.9.1.
Bibliografía
- Hartshorne, Robin (1977), Geometría algebraica , Berlín, Nueva York: Springer-Verlag , ISBN 978-0-387-90244-9, Sr. 0463157
- Grothendieck, Alejandro ; Jean Dieudonné (1964), "Éléments de géométrie algébrique (rédigés avec la colaboration de Jean Dieudonné): IV. Étude locale des schémas et des morphismes de schémas, Première partie", Publications Mathématiques de l'IHÉS , 20 : 5–259, doi :10.1007/bf02684747, S2CID 118147570
- Grothendieck, Alejandro ; Dieudonné, Jean (1964), "Éléments de géométrie algébrique (rédigés avec la colaboration de Jean Dieudonné): IV. Étude locale des schémas et des morphismes de schémas, Première partie", Publications Mathématiques de l'IHÉS , 20 : 5–259 , doi :10.1007/bf02684747, S2CID 118147570
- Grothendieck, Alexandre; Dieudonné, Jean (1967), "Éléments de géométrie algébrique (rédigés avec la colaboration de Jean Dieudonné): IV. Étude locale des schémas et des morphismes de schémas, Quatrième partie", Publications Mathématiques de l'IHÉS , 32 : 5–333 , doi :10.1007/BF02732123, S2CID 189794756
- Grothendieck, Alejandro ; Raynaud, Michèle (2003) [1971], Séminaire de Géométrie Algébrique du Bois Marie - 1960-61 - Revêtements étales et groupe fondamental - (SGA 1) (Documents Mathématiques 3 ) , París: Société Mathématique de France, xviii+327, arXiv : matemáticas.AG/0206203 , ISBN 978-2-85629-141-2
- JS Milne (1980), Étale cohomology , Princeton, Nueva Jersey: Princeton University Press, ISBN 0-691-08238-3
- JS Milne (2008). Lecciones sobre cohomología étale