En geometría algebraica , un esquema suave sobre un cuerpo es un esquema que se aproxima bien mediante un espacio afín cerca de cualquier punto. La suavidad es una forma de hacer precisa la noción de un esquema sin puntos singulares . Un caso especial es la noción de variedad suave sobre un cuerpo. Los esquemas suaves desempeñan el papel de variedades en la geometría algebraica en topología.
Primero, sea X un esquema afín de tipo finito sobre un cuerpo k . Equivalentemente, X tiene una inmersión cerrada en el espacio afín A n sobre k para algún número natural n . Entonces X es el subesquema cerrado definido por algunas ecuaciones g 1 = 0, ..., g r = 0, donde cada g i está en el anillo polinomial k [ x 1 ,..., x n ]. El esquema afín X es suave de dimensión m sobre k si X tiene dimensión al menos m en un entorno de cada punto, y la matriz de derivadas (∂ g i /∂ x j ) tiene rango al menos n − m en todas partes en X . [1] (De ello se deduce que X tiene dimensión igual a m en un entorno de cada punto). La suavidad es independiente de la elección de la inmersión de X en el espacio afín.
La condición sobre la matriz de derivadas se entiende como que el subconjunto cerrado de X donde todos los ( n − m ) × ( n − m ) menores de la matriz de derivadas son cero es el conjunto vacío. De manera equivalente, el ideal en el anillo polinómico generado por todos los g i y todos esos menores es el anillo polinómico completo.
En términos geométricos, la matriz de derivadas (∂ g i /∂ x j ) en un punto p en X da una función lineal F n → F r , donde F es el cuerpo de residuos de p . El núcleo de esta función se llama espacio tangente de Zariski de X en p . La suavidad de X significa que la dimensión del espacio tangente de Zariski es igual a la dimensión de X cerca de cada punto; en un punto singular , el espacio tangente de Zariski sería más grande.
En términos más generales, un esquema X sobre un cuerpo k es suave sobre k si cada punto de X tiene un entorno abierto que es un esquema afín suave de alguna dimensión sobre k . En particular, un esquema suave sobre k es localmente de tipo finito .
Existe una noción más general de morfismo suave de esquemas, que es aproximadamente un morfismo con fibras suaves. En particular, un esquema X es suave sobre un cuerpo k si y solo si el morfismo X → Spec k es suave.
Un esquema suave sobre un cuerpo es regular y, por lo tanto, normal . En particular, un esquema suave sobre un cuerpo es reducido .
Definamos una variedad sobre un cuerpo k como un esquema separado integral de tipo finito sobre k . Entonces, cualquier esquema separado uniforme de tipo finito sobre k es una unión disjunta finita de variedades uniformes sobre k .
Para una variedad suave X sobre los números complejos , el espacio X ( C ) de puntos complejos de X es una variedad compleja , utilizando la topología clásica (euclidiana). Asimismo, para una variedad suave X sobre los números reales, el espacio X ( R ) de puntos reales es una variedad real , posiblemente vacía.
Para cualquier esquema X que sea localmente de tipo finito sobre un cuerpo k , existe un haz coherente Ω 1 de diferenciales sobre X . El esquema X es suave sobre k si y solo si Ω 1 es un fibrado vectorial de rango igual a la dimensión de X cerca de cada punto. [2] En ese caso, Ω 1 se denomina fibrado cotangente de X . El fibrado tangente de un esquema suave sobre k puede definirse como el fibrado dual, TX = (Ω 1 ) * .
La suavidad es una propiedad geométrica , lo que significa que para cualquier extensión de campo E de k , un esquema X es suave sobre k si y solo si el esquema X E := X × Spec k Spec E es suave sobre E. Para un campo perfecto k , un esquema X es suave sobre k si y solo si X es localmente de tipo finito sobre k y X es regular .
Se dice que un esquema X es genéricamente suave de dimensión n sobre k si X contiene un subconjunto denso abierto que es suave de dimensión n sobre k . Toda variedad sobre un cuerpo perfecto (en particular un cuerpo algebraicamente cerrado) es genéricamente suave. [3]