En matemáticas , en particular en la teoría de esquemas en geometría algebraica , un morfismo plano f de un esquema X a un esquema Y es un morfismo tal que el mapa inducido en cada tallo es un mapa plano de anillos, es decir,
es un mapa plano para todos P en X . [1] Un mapa de anillosse llama plano si se trata de un homomorfismo que convierte a B en un módulo A plano . Un morfismo de esquemas se llama fielmente plano si es tanto sobreyectivo como plano. [2]
Dos intuiciones básicas con respecto a los morfismos planos son:
- la planitud es una propiedad genérica ; y
- el fracaso de la planitud se produce en el conjunto de salto del morfismo.
El primero de ellos proviene del álgebra conmutativa : sujeto a algunas condiciones de finitud en f , se puede demostrar que hay un subesquema abierto no vacíode Y , tal que f restringido a Y ′ es un morfismo plano ( planitud genérica ). Aquí 'restricción' se interpreta por medio del producto de fibra de los esquemas , aplicado af y el mapa de inclusión deen Y .
Para el segundo, la idea es que los morfismos en geometría algebraica pueden exhibir discontinuidades de un tipo que se detectan por planitud. Por ejemplo, la operación de soplar hacia abajo en la geometría biracional de una superficie algebraica , puede dar una sola fibra que es de dimensión 1 cuando todas las demás tienen dimensión 0. Resulta (retrospectivamente) que la planitud en los morfismos está directamente relacionada con el control este tipo de semicontinuidad o salto unilateral.
Los morfismos planos se utilizan para definir (más de una versión de) el topos plano y la cohomología plana de las poleas a partir de él. Ésta es una teoría muy profunda y no se ha encontrado que sea fácil de manejar. El concepto de morfismo étale (y por lo tanto cohomología étale ) depende del concepto de morfismo plano: un morfismo étale es plano, de tipo finito y no ramificado .
Ejemplos / no ejemplos
Considere el esquema afín
inducida por el morfismo obvio de las álgebras
Dado que demostrar la planitud de este morfismo equivale a calcular [3]
resolvemos los números complejos
y tensor por el módulo que representa nuestro esquema dando la secuencia de -módulos
Como t no es un divisor de cero , tenemos un núcleo trivial, por lo que el grupo de homología desaparece.
Planitud milagrosa
Otros ejemplos de morfismos planos se pueden encontrar usando "planitud milagrosa" [4] que establece que si tienes un morfismoentre un esquema Cohen-Macaulay a un esquema regular con fibras equidimensionales, entonces es plano. Ejemplos fáciles de esto son las fibraciones elípticas , los morfismos suaves y los morfismos a variedades estratificadas que satisfacen la planitud milagrosa en cada uno de los estratos.
Esquemas de Hilbert
Los ejemplos universales de morfismos planos de esquemas vienen dados por esquemas de Hilbert . Esto se debe a que los esquemas de Hilbert parametrizan clases universales de morfismos planos, y cada morfismo plano es el retroceso de algún esquema de Hilbert. Es decir, si es plano, existe un diagrama conmutativo
para el esquema de Hilbert de todos los morfismos planos a . Desde es plano, las fibras todos tienen el mismo polinomio de Hilbert , por lo tanto, podríamos haber escrito de manera similar para el esquema de Hilbert anterior.
No ejemplos
Explotar
Los mapas ampliados dan una clase de no ejemplos
Un ejemplo sencillo es la ampliación de un punto en. Si tomamos el origen, este viene dado por el morfismo
- enviando
donde la fibra sobre un punto es una copia de , es decir,
que se sigue de
Pero para , obtenemos el isomorfismo
La razón por la que esto no es plano es por el lema de planitud milagrosa, que se puede comprobar localmente.
Resolución infinita
Un simple no ejemplo de morfismo plano es Esto es porque
es un complejo infinito, que podemos encontrar tomando una resolución plana de k ,
y tensor de la resolución con k , encontramos que
mostrando que el morfismo no puede ser plano. Otro no ejemplo de morfismo plano es una explosión, ya que un morfismo plano tiene necesariamente fibras equidimensionales.
Propiedades de los morfismos planos
Dejar ser un morfismo de esquemas. Por un morfismo, dejar y El morfismo f es plano si y solo si para cada g , el retroceso es un funtor exacto de la categoría de cuasi coherente -módulos a la categoría de cuasi-coherente -módulos. [5]
Asumir y son morfismos de esquemas y f es plana en x en X . Entonces g es plano ensi y solo si gf es plano en x . [6] En particular, si f es fielmente plano, entonces g es plano o fielmente plano si y solo si gf es plano o fielmente plano, respectivamente. [7]
Propiedades fundamentales
- El compuesto de dos morfismos planos es plano. [8]
- El producto de la fibra de dos morfismos planos o fielmente planos es un morfismo plano o fielmente plano, respectivamente. [9]
- La planitud y la planitud fiel se conservan mediante el cambio de base: si f es plano o fielmente plano y, luego el producto de fibra es plano o fielmente plano, respectivamente. [10]
- El conjunto de puntos donde un morfismo (localmente de presentación finita) es plano está abierto. [11]
- Si f es fielmente plano y de presentación finita, y si gf es de tipo finito o presentación finita, entonces g es de tipo finito o presentación finita, respectivamente. [12]
Suponer es un morfismo plano de esquemas.
- Si F es un haz cuasi-coherente de presentación finita en Y (en particular, si F es coherente), y si J es el aniquilador de F en Y , entonces, el retroceso del mapa de inclusión, es una inyección, y la imagen de en es el aniquilador de en X . [13]
- Si f es fielmente plano y si G es un cuasi coherente-módulo, luego el mapa de retroceso en las secciones globales es inyectable. [14]
Suponer es plano. Deje que X e Y sean S -schemes, y dejar y sea su cambio de base por h .
- Si es cuasi-compacto y dominante, entonces su base cambia es cuasi-compacto y dominante. [15]
- Si h es fielmente plano, entonces el mapa de retrocesoes inyectable. [dieciséis]
- Asumir es cuasi-compacto y cuasi-separado. Sea Z la imagen cerrada de X , y seasea la inyección canónica. Entonces el subesquema cerrado determinado por el cambio de base es la imagen cerrada de . [17]
Propiedades topologicas
Si es plano, entonces posee todas las siguientes propiedades:
- Para cada punto x de X y cada generación y ′ de y = f ( x ) , hay una generación x ′ de x tal que y ′ = f ( x ′) . [18]
- Para cada punto x de X ,. [19]
- Para cada subconjunto cerrado irreducible Y ′ de Y , cada componente irreducible de f −1 ( Y ′) domina Y ′. [20]
- Si Z y Z ′ son dos subconjuntos cerrados irreductibles de Y con Z contenido en Z ′, entonces para cada componente irreducible T de f −1 ( Z ), hay un componente irreducible T ′ de f −1 ( Z ′) que contiene T . [21]
- Para cada componente irreducible T de X , el cierre de f ( T ) es un componente irreducible de Y . [22]
- Si Y es irreducible con el punto genérico y , y si f −1 ( y ) es irreducible, entonces X es irreducible. [23]
- Si f también está cerrado, la imagen de cada componente conectado de X es un componente conectado de Y . [24]
- Para cada subconjunto pro-construible Z de Y ,. [25]
Si f es plano y localmente de presentación finita, entonces f es universalmente abierto. [26] Sin embargo, si f es fielmente plano y cuasi-compacto, en general no es cierto que f sea abierto, incluso si X e Y son noetherianos. [27] Además, no se cumple lo contrario a esta afirmación: si f es el mapa canónico del esquema reducido X rojo a X , entonces f es un homeomorfismo universal, pero para X no reducido y noetheriano, f nunca es plano. [28]
Si es fielmente plano, entonces:
- La topología en Y es la topología del cociente en relación con f . [29]
- Si f también es cuasi-compacto, y si Z es un subconjunto de Y , a continuación, Z es un subconjunto pro-construible localmente cerrado de Y si y sólo si f -1 ( Z ) es un cerrado localmente subconjunto pro-construible de X . [30]
Si f es plano y localmente de presentación finita, entonces para cada una de las siguientes propiedades P , el conjunto de puntos donde f tiene P está abierto: [31]
- Condición de Serre S k (para cualquier k fijo ).
- Geométricamente regular.
- Geométricamente normal.
Si además f es propia, entonces lo mismo es cierto para cada una de las siguientes propiedades: [32]
- Reducido geométricamente.
- Geométricamente reducido y con k componentes geométricos conectados (para cualquier k fijo ).
- Geométricamente integral.
Planitud y dimensión
Asumir y son localmente noetherianos, y dejan .
- Sea x un punto de X e y = f ( x ) . Si f es plano, entonces dim x X = dim y Y + dim x f −1 ( y ) . [33] Por el contrario, si esta igualdad se cumple para todo x , X es Cohen-Macaulay e Y es regular , y además f mapea puntos cerrados a puntos cerrados, entonces f es plano. [34]
- Si f es fielmente plano, entonces para cada subconjunto cerrado Z de Y , codim Y ( Z ) = codim X ( f −1 ( Z )) . [35]
- Supongamos que f es plana y F es un módulo de cuasi-coherente sobre Y . Si F tiene dimensión proyectiva como máximo n , entoncestiene dimensión proyectiva como máximo n . [36]
Propiedades de descenso
- Supongamos f es plana en x en X . Si X es reducido o normal en x , entonces Y es reducido o normal, respectivamente, en f ( x ). [37] Por el contrario, si f también es de presentación finita y f −1 ( y ) es reducido o normal, respectivamente, en x , entonces X es reducido o normal, respectivamente, en x . [38]
- En particular, si f es fielmente plano, entonces X reducido o normal implica que Y es reducido o normal, respectivamente. Si f es fielmente plano y de presentación finita, entonces todas las fibras de f reducidas o normales implican que X es reducida o normal, respectivamente.
- Si f es plano en x en X , y si X es integral o integralmente cerrado en x , entonces Y es integral o integralmente cerrado, respectivamente, en f ( x ). [39]
- Si f es fielmente plano, X es localmente integral y el espacio topológico de Y es localmente noetheriano, entonces Y es localmente integral. [40]
- Si f es fielmente plano y cuasi compacto, y si X es localmente noetheriano, entonces Y también es localmente noetheriano. [41]
- Suponga que f es plano y X e Y son localmente noetherianos. Si X es regular en x , entonces Y es regular en f ( x ). Por el contrario, si Y es regular en f ( x ) y f −1 ( f ( x )) es regular en x , entonces X es regular en x . [42]
- Suponga que f es plano y X e Y son localmente noetherianos. Si X es normal en x , entonces Y es normal en f ( x ). Por el contrario, si Y es normal en f ( x ) y f −1 ( f ( x )) es normal en x , entonces X es normal en x . [43]
Sea g : Y ′ → Y fielmente plano. Sea F una gavilla casi coherente en Y , y sea F ′ el retroceso de F a Y ′. Entonces F es plano sobre Y si y solo si F ′ es plano sobre Y ′. [44]
Suponga que f es fielmente plano y casi compacto. Deje que G sea una gavilla cuasi-coherente en Y , y dejar que F denotan su retroceso a X . Entonces F es de tipo finito, presentación finita o localmente libre de rango n si y solo si G tiene la propiedad correspondiente. [45]
Suponga que f : X → Y es un S -morfismo de S -esquemas. Sea g : S ′ → S fielmente plano y cuasi-compacto, y sean X ′, Y ′ y f ′ los cambios de base por g . Entonces, para cada una de las siguientes propiedades P , si f 'tiene P , entonces f tiene P . [46]
- Abierto.
- Cerrado.
- Cuasi-compacto y un homeomorfismo en su imagen.
- Un homeomorfismo.
Adicionalmente, para cada una de las siguientes propiedades P , f tiene P si y sólo si f 'tiene P . [47]
- Universalmente abierto.
- Universalmente cerrado.
- Un homeomorfismo universal.
- Cuasi-compacto.
- Casi compacto y dominante.
- Cuasi-compacto y universalmente bicontinuo.
- Apartado.
- Casi separados.
- Localmente de tipo finito.
- Localmente de presentación finita.
- Tipo finito.
- Presentación finita.
- Adecuado.
- Un isomorfismo.
- Un monomorfismo.
- Una inmersión abierta.
- Una inmersión casi compacta.
- Una inmersión cerrada.
- Afín.
- Cuasi-afín.
- Finito.
- Cuasi-finito.
- Integral.
Es posible que f ′ sea un isomorfismo local sin que f sea ni siquiera una inmersión local. [48]
Si f es cuasi-compacto y L es un fajo invertible en X , entonces L es f -Amplio o f -muy amplio si y sólo si su retroceso L 'es f ' -Amplio o f '-muy amplio, respectivamente. [49] Sin embargo, no es cierto que f sea proyectiva si y solo si f ′ es proyectiva. Ni siquiera es cierto que si f es adecuada y f 'es proyectivo, entonces f es cuasi-proyectiva, ya que es posible tener un f ' -Amplio gavilla en X ', que no descienda a X . [50]
Ver también
- morfismo fpqc
- Divisor de Cartier relativamente efectivo , un ejemplo de morfismo plano
- Degeneración (geometría algebraica)
Notas
- ^ EGA IV 2 , 2.1.1.
- ^ EGA 0 I , 6.7.8.
- ^ Sernesi, E. (2010). Deformaciones de esquemas algebraicos . Springer . pp. 269 -279.
- ^ "Morfismos planos y planicidad" .
- ^ EGA IV 2 , Proposición 2.1.3.
- ↑ EGA IV 2 , Corollaire 2.2.11 (iv).
- ↑ EGA IV 2 , Corollaire 2.2.13 (iii).
- ^ EGA IV 2 , Corollaire 2.1.6.
- ^ EGA IV 2 , Corollaire 2.1.7 y EGA IV 2 , Corollaire 2.2.13 (ii).
- ^ EGA IV 2 , Proposición 2.1.4 y EGA IV 2 , Corollaire 2.2.13 (i).
- ↑ EGA IV 3 , Théorème 11.3.1.
- ^ EGA IV 3 , Proposición 11.3.16.
- ^ EGA IV 2 , Proposición 2.1.11.
- ^ EGA IV 2 , Corollaire 2.2.8.
- ^ EGA IV 2 , Proposición 2.3.7 (i).
- ^ EGA IV 2 , Corollaire 2.2.16.
- ^ EGA IV 2 , Proposición 2.3.2.
- ^ EGA IV 2 , Proposición 2.3.4 (i).
- ^ EGA IV 2 , Proposición 2.3.4 (ii).
- ^ EGA IV 2 , Proposición 2.3.4 (iii).
- ↑ EGA IV 2 , Corollaire 2.3.5 (i).
- ↑ EGA IV 2 , Corollaire 2.3.5 (ii).
- ↑ EGA IV 2 , Corollaire 2.3.5 (iii).
- ^ EGA IV 2 , Proposición 2.3.6 (ii).
- ↑ EGA IV 2 , Théorème 2.3.10.
- ^ EGA IV 2 , Théorème 2.4.6.
- ^ EGA IV 2 , Comentarios 2.4.8 (i).
- ↑ EGA IV 2 , Remarques 2.4.8 (ii).
- ^ EGA IV 2 , Corollaire 2.3.12.
- ^ EGA IV 2 , Corollaire 2.3.14.
- ↑ EGA IV 3 , Théorème 12.1.6.
- ↑ EGA IV 3 , Théorème 12.2.4.
- ^ EGA IV 2 , Corollaire 6.1.2.
- ^ EGA IV 2 , Proposición 6.1.5. Tenga en cuenta que el supuesto de regularidad en Y es importante aquí. La extensiónda un contraejemplo con X regular, Y normal, f finito sobreyectivo pero no plano.
- ^ EGA IV 2 , Corollaire 6.1.4.
- ^ EGA IV 2 , Corollaire 6.2.2.
- ^ EGA IV 2 , Proposición 2.1.13.
- ^ EGA IV 3 , Proposición 11.3.13.
- ^ EGA IV 2 , Proposición 2.1.13.
- ^ EGA IV 2 , Proposición 2.1.14.
- ^ EGA IV 2 , Proposición 2.2.14.
- ^ EGA IV 2 , Corollaire 6.5.2.
- ^ EGA IV 2 , Corollaire 6.5.4.
- ^ EGA IV 2 , Proposición 2.5.1.
- ^ EGA IV 2 , Proposición 2.5.2.
- ^ EGA IV 2 , Proposición 2.6.2.
- ^ EGA IV 2 , Corollaire 2.6.4 y Proposición 2.7.1.
- ^ EGA IV 2 , Comentarios 2.7.3 (iii).
- ^ EGA IV 2 , Corollaire 2.7.2.
- ^ EGA IV 2 , Comentarios 2.7.3 (ii).
Referencias
- Eisenbud, David (1995), álgebra conmutativa , Textos de posgrado en matemáticas, 150 , Berlín, Nueva York: Springer-Verlag , ISBN 978-0-387-94268-1, Señor 1322960 , ISBN 978-0-387-94269-8, sección 6.
- Serre, Jean-Pierre (1956), "Géométrie algébrique et géométrie analytique" , Annales de l'Institut Fourier , 6 : 1–42, doi : 10.5802 / aif.59 , ISSN 0373-0956 , MR 0082175
- Grothendieck, Alexandre ; Dieudonné, Jean (1960). "Éléments de géométrie algébrique: I. Le langage des schémas" . Publicaciones Mathématiques de l'IHÉS . 4 . doi : 10.1007 / bf02684778 . Señor 0217083 .
- Grothendieck, Alexandre ; Dieudonné, Jean (1965). "Éléments de géométrie algébrique: IV. Étude locale des schémas et des morphismes de schémas, Seconde partie" . Publicaciones Mathématiques de l'IHÉS . 24 . doi : 10.1007 / bf02684322 . Señor 0199181 .
- Grothendieck, Alexandre ; Dieudonné, Jean (1966). "Éléments de géométrie algébrique: IV. Étude locale des schémas et des morphismes de schémas, Troisième partie" . Publicaciones Mathématiques de l'IHÉS . 28 . doi : 10.1007 / bf02684343 . Señor 0217086 .
- Hartshorne, Robin (1977), Geometría Algebraica , Textos de Posgrado en Matemáticas , 52 , Nueva York: Springer-Verlag, ISBN 978-0-387-90244-9, MR 0463157