Algunos autores denominan variedad propia sobre un campo k variedad completa . Por ejemplo, toda variedad proyectiva sobre un campo k es propia de k . Un esquema X de tipo finito sobre los números complejos (por ejemplo, una variedad) es propio sobre C si y sólo si el espacio X ( C ) de puntos complejos con la topología clásica (euclidiana) es compacto y de Hausdorff .
Un morfismo f : X → Y de esquemas se llama universalmente cerrado si para cada esquema Z con un morfismo Z → Y , la proyección del producto de fibra
es un mapa cerrado de los espacios topológicos subyacentes . Un morfismo de esquemas se llama propio si es separado , de tipo finito y universalmente cerrado ([EGA] II, 5.4.1 [1]). También se dice que X es propio de Y. En particular, se dice que una variedad X sobre un campo k es propia sobre k si el morfismo X → Spec( k ) es propio.
Ejemplos
Para cualquier número natural n , el espacio proyectivo P n sobre un anillo conmutativo R es propio sobre R. Los morfismos proyectivos son propios, pero no todos los morfismos propios son proyectivos. Por ejemplo, existe una variedad compleja adecuada y suave de dimensión 3 que no es proyectiva sobre C . [1] Las variedades afines de dimensión positiva sobre un campo k nunca son propias sobre k . De manera más general, un morfismo afín de esquemas adecuado debe ser finito. [2] Por ejemplo, no es difícil ver que la línea afín A 1 sobre un campo k no es propia sobre k , porque el morfismo A 1 → Spec( k ) no es universalmente cerrado. De hecho, el morfismo retraído
(dado por ( x , y ) ↦ y ) no está cerrado, porque la imagen del subconjunto cerrado xy = 1 en A 1 × A 1 = A 2 es A 1 − 0, que no está cerrado en A 1 .
Propiedades y caracterizaciones de morfismos propios.
A continuación, sea f : X → Y un morfismo de esquemas.
La composición de dos morfismos propios es propia.
Cualquier cambio de base de un morfismo propio f : X → Y es adecuado. Es decir, si g : Z → Y es cualquier morfismo de esquemas, entonces el morfismo resultante X × Y Z → Z es adecuado.
La propiedad es una propiedad local en la base (en la topología de Zariski). Es decir, si Y está cubierto por algunos subesquemas abiertos Y i y la restricción de f a todos los f −1 (Y i ) es adecuada, entonces f también lo es .
Más claramente, la propiedad es local en la base de la topología fpqc . Por ejemplo, si X es un esquema sobre un campo k y E es una extensión de campo de k , entonces X es propio sobre k si y sólo si el cambio de base X E es propio sobre E. [3]
De manera más general, los morfismos finitos son adecuados. Esta es una consecuencia del teorema de la subida .
Según Deligne , un morfismo de esquemas es finito si y sólo si es propio y cuasi-finito. [4] Grothendieck había demostrado esto si el morfismo f : X → Y es localmente de presentación finita , lo que se sigue de los otros supuestos si Y es noetheriano . [5]
Para X propiamente dicho sobre un esquema S , e Y separado sobre S , la imagen de cualquier morfismo X → Y sobre S es un subconjunto cerrado de Y. [6] Esto es análogo al teorema en topología de que la imagen de un mapa continuo desde un espacio compacto a un espacio de Hausdorff es un subconjunto cerrado.
El teorema de factorización de Stein establece que cualquier morfismo adecuado a un esquema localmente noetheriano puede factorizarse como X → Z → Y , donde X → Z es propio, sobreyectivo y tiene fibras conectadas geométricamente, y Z → Y es finito. [7]
El lema de Chow dice que los morfismos propios están estrechamente relacionados con los morfismos proyectivos . Una versión es: si X es propio sobre un esquema cuasi-compacto Y y X tiene solo un número finito de componentes irreducibles (lo cual es automático para Y noetheriano), entonces existe un morfismo sobreyectivo proyectivo g : W → X tal que W es proyectivo sobre Y. Además , se puede disponer que g sea un isomorfismo sobre un subconjunto abierto denso U de X , y que g −1 ( U ) sea denso en W. También se puede disponer que W es integral si X es integral. [8]
El teorema de compactación de Nagata , generalizado por Deligne, dice que un morfismo separado de tipo finito entre esquemas cuasi compactos y cuasi separados influye como una inmersión abierta seguida de un morfismo adecuado. [9]
Los morfismos propios entre esquemas noetherianos locales preservan haces coherentes, en el sentido de que las imágenes directas superiores R i f ∗ ( F ) (en particular la imagen directa f ∗ ( F )) de un haz coherente F son coherentes (EGA III, 3.2. 1). (De manera análoga, para un mapa adecuado entre espacios analíticos complejos, Grauert y Remmert demostraron que las imágenes directas superiores conservan haces analíticos coherentes). Como caso muy especial: el anillo de funciones regulares en un esquema adecuado X sobre un campo k tiene dimensión finita como un k -espacio vectorial. Por el contrario, el anillo de funciones regulares en la línea afín sobre k es el anillo polinomial k [ x ], que no tiene dimensión finita como k -espacio vectorial.
También hay una declaración un poco más fuerte de esto: (EGA III, 3.2.4) sea un morfismo de tipo finito, S localmente noetheriano y un -módulo. Si el apoyo de F es propio de S , entonces para cada uno la imagen directa superior es coherente.error de harv: sin destino: CITEREFEGA_III ( ayuda )
Para un esquema X de tipo finito sobre números complejos, el conjunto X ( C ) de puntos complejos es un espacio analítico complejo , utilizando la topología clásica (euclidiana). Para X e Y separados y de tipo finito sobre C , un morfismo f : X → Y sobre C es propio si y sólo si el mapa continuo f : X ( C ) → Y ( C ) es propio en el sentido de que la imagen inversa de cada conjunto compacto es compacto. [10]
Si f : X → Y y g : Y → Z son tales que gf es propia y g está separada, entonces f es propia. Esto se puede demostrar fácilmente, por ejemplo, utilizando el siguiente criterio.
Criterio valorativo de idoneidad.
Hay un criterio muy intuitivo de idoneidad que se remonta a Chevalley . Se le llama comúnmente criterio valorativo de idoneidad . Sea f : X → Y un morfismo de esquemas noetherianos de tipo finito . Entonces f es propia si y sólo si para todos los anillos de valoración discretos R con campo fraccionario K y para cualquier punto valorado en K x ∈ X ( K ) que se corresponda con un punto f ( x ) que esté definido sobre R , existe un único elevación de x a . (EGA II, 7.3.8). De manera más general, un morfismo cuasi separado f : X → Y de tipo finito (nota: el tipo finito incluye cuasi-compacto) de 'cualquier' esquemas X , Y es adecuado si y solo si para todos los anillos de valoración R con campo de fracción K y para cualquier punto con valor K x ∈ X ( K ) que se asigne a un punto f ( x ) definido sobre R , existe una elevación única de x a . (Apila las etiquetas del proyecto 01KF y 01KY). Teniendo en cuenta que Spec K es el punto genérico de Spec R y que los anillos de valoración discretos son precisamente los anillos unidimensionales locales regulares , se puede reformular el criterio: dada una curva regular en Y (correspondiente al morfismo s : Spec R → Y ) y dada una elevación del punto genérico de esta curva a X , f es adecuada si y sólo si hay exactamente una forma de completar la curva.
De manera similar, f está separada si y solo si en cada uno de esos diagramas hay como máximo un ascensor .
Por ejemplo, dado el criterio de valoración, resulta fácil comprobar que el espacio proyectivo P n es propio sobre un campo (o incluso sobre Z ). Simplemente se observa que para un anillo de valoración discreto R con campo fraccionario K , cada K -punto [ x 0 ,..., x n ] del espacio proyectivo proviene de un R -punto, escalando las coordenadas para que todas se encuentren en R y al menos uno es una unidad en R .
Interpretación geométrica con discos.
Uno de los ejemplos que motivan el criterio valorativo de propiedad es la interpretación de como disco infinitesimal o, analíticamente compleja, como disco . Esto se debe al hecho de que cada serie de potencias
converge en algún disco de radio alrededor del origen. Luego, usando un cambio de coordenadas, esto se puede expresar como una serie de potencias en el disco unitario. Entonces, si invertimos , este es el anillo que son las series de potencias que pueden tener un polo en el origen. Esto se representa topológicamente como el disco abierto sin el origen. Para un morfismo de esquemas sobre , esto viene dado por el diagrama conmutativo
Entonces, el criterio de valoración de la idoneidad sería rellenar el punto en la imagen de .
Ejemplo
Es instructivo observar un contraejemplo para ver por qué el criterio valorativo de propiedad debería aplicarse a espacios análogos a variedades compactas cerradas. Si tomamos y , entonces un morfismo factoriza a través de un gráfico afín de , reduciendo el diagrama a
¿ Dónde está centrado el gráfico ? Esto da el diagrama conmutativo de álgebras conmutativas.
Entonces, un levantamiento del diagrama de esquemas, implicaría que hay un envío de morfismo desde el diagrama conmutativo de álgebras. Por supuesto, esto no puede suceder. Por lo tanto, no es apropiado terminar .
Interpretación geométrica con curvas.
Hay otro ejemplo similar del criterio valorativo de idoneidad que capta parte de la intuición de por qué debería ser válido este teorema. Considere una curva y el complemento de un punto . Entonces el criterio valorativo de idoneidad se leería como un diagrama
con un levantamiento de . Geométricamente, esto significa que cada curva del esquema se puede completar hasta obtener una curva compacta. Esta pequeña intuición se alinea con la interpretación teórica de esquemas de un morfismo de espacios topológicos con fibras compactas, de que una secuencia en una de las fibras debe converger. Debido a que esta situación geométrica es un problema local, el diagrama se reemplaza mirando el anillo local , que es un DVR, y su campo de fracción . Luego, el problema de elevación da el diagrama conmutativo.
donde el esquema representa un disco local alrededor del cual se ha eliminado el punto cerrado .
Morfismo propio de esquemas formales.
Sea un morfismo entre esquemas formales localmente noetherianos . Decimos que f es propia o es adecuada si (i) f es un morfismo ádico (es decir, asigna el ideal de definición al ideal de definición) y (ii) la aplicación inducida es propia, donde y K es el ideal de definición. de .(EGA III, 3.4.1) La definición es independiente de la elección de K . harv error: no target: CITEREFEGA_III (help)
Por ejemplo, si g : Y → Z es un morfismo propio de esquemas noetherianos locales, Z 0 es un subconjunto cerrado de Z e Y 0 es un subconjunto cerrado de Y tal que g ( Y 0 ) ⊂ Z 0 , entonces el morfismo sobre terminaciones formales es un morfismo propio de los esquemas formales.
Grothendieck demostró el teorema de coherencia en este contexto. Es decir, sea un morfismo propio de esquemas formales localmente noetherianos. Si F es un haz coherente en , entonces las imágenes directas superiores son coherentes. [11]
^ Grothendieck, EGA IV, Parte 4, Corolario 18.12.4; Proyecto de pilas, etiqueta 02LQ.
^ Grothendieck, EGA IV, Parte 3, Théorème 8.11.1.
^ Proyecto de pilas, etiqueta 01W0.
^ Proyecto de pilas, etiqueta 03GX.
^ Grothendieck, EGA II, Corolaire 5.6.2.
^ Conrad (2007), Teorema 4.1.
^ SGA 1, XII Proposición 3.2. harvnb error: no target: CITEREFSGA_1 (help)
^ Grothendieck, EGA III, Parte 1, Théorème 3.4.2.
Conrad, Brian (2007), "Notas de Deligne sobre las compactaciones de Nagata" (PDF) , Revista de la Sociedad Matemática Ramanujan , 22 : 205–257, SEÑOR 2356346
Grothendieck, Alejandro ; Dieudonné, Jean (1961). "Éléments de géométrie algébrique: II. Étude globale élémentaire de quelques classs de morfismos". Publicaciones Mathématiques de l'IHÉS . 8 : 5–222. doi :10.1007/bf02699291. SEÑOR 0217084., sección 5.3. (definición de idoneidad), sección 7.3. (criterio valorativo de idoneidad)
Grothendieck, Alejandro ; 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 : 5–255. doi :10.1007/bf02684343. SEÑOR 0217086., sección 15.7. (generalizaciones de criterios valorativos a esquemas no necesariamente noetherianos)