Un espacio localmente anillado que es localmente isomorfo al espectro Spec A de un anillo A; obtenido pegando esquemas afines mediante isomorfismos compatibles y sirviendo como el objeto geométrico fundamental en la geometría algebraica moderna, codificando tanto la topología como la estructura algebraica (puntos con anillos locales).

Principio

Modelar la geometría pegando piezas afines Spec A, de modo que la álgebra local (anillos y sus espectros) rija la geometría y permita cambio de base, fenómenos nilpotentes e información aritmética representable intrínsecamente.

Demostración

Esquemas afines Spec R para un anillo R, el esquema Spec Z que codifica información aritmética, y esquemas proyectivos construidos pegando afines (por ejemplo Proj de un anillo graduado) muestran cómo los esquemas generalizan variedades y permiten trabajar sobre bases arbitrarias.

Aplicación incorrecta

Tratar los esquemas como si fueran siempre variedades reducidas sobre cuerpos algebraicamente cerrados (ignorando nilpotentes, estructuras no reducidas o cambios de base aritméticos) hace perder información esencial y invalida muchos razonamientos.

Consecuencia

Los esquemas permiten el estudio sistemático de objetos geométricos sobre anillos arbitrarios, nociones fonctoriales de puntos, haces coherentes y su cohomología, problemas de representabilidad y la formulación de teorías de módulos y deformaciones.

Inversión

Espacio topológico sin estructura localmente anillada: olvidar el haz estructural reduce un esquema a su espacio topológico subyacente y hace perder los datos de funciones algebraicas locales que definen morfismos y propiedades locales.

Límite

No todo espacio localmente anillado es un esquema; los esquemas excluyen fenómenos de cociente tipo 'stack', esquemas formales y objetos que requieren descenso más allá del pegado ordinario salvo que se amplíe la categoría (espacios algebraicos, stacks).

Tensión semántica

Frente a la variedad: los esquemas admiten nilpotentes, anillos base arbitrarios y comportamientos locales más generales; las variedades suelen considerarse reducidas, separadas y de tipo finito sobre un cuerpo, una noción más restringida.

Síntesis

Un esquema es un espacio construido pegando espectros de anillos con un haz estructural de anillos locales, generalizando las variedades clásicas para incluir nilpotentes y cambio de base aritmético y codificando las funciones algebraicas locales en cada punto.