Un esquema cuyo haz estructural contiene secciones nilpotentes no nulas, equivalente a un esquema con anillos locales que no son reducidos; puntos geométricos pueden portar estructura infinitesimal embebida más allá del espacio topológico subyacente.

Principio

La no reducción captura estructura algebraica infinitesimal o embebida: los elementos nilpotentes en los anillos locales codifican grosor, multiplicidad o direcciones infinitesimales de primer orden invisibles en la variedad reducida subyacente.

Demostración

Spec(k[x]/(x^2)) es un esquema no reducido básico: el espacio topológico subyacente es un único punto, pero el anillo de coordenadas tiene el nilpotente x, de modo que funciones e información tangente reflejan un vecindario infinitesimal de primer orden en lugar de un punto reducido ordinario.

Aplicación incorrecta

Confundir no reducido con reducible es erróneo: un esquema no reducido puede ser topológicamente irreducible y aun así portar estructura nilpotente, mientras que la reducibilidad concierne a la descomposición del espacio topológico y no a la presencia de nilpotentes.

Consecuencia

Los esquemas no reducidos requieren enunciados modificados de muchos teoremas: dimensiones, multiplicidades, espacios tangentes y teorías de deformación deben tener en cuenta los nilpotentes; multiplicidades de intersección y cohomología de haces pueden diferir de sus homólogos reducidos.

Inversión

Un esquema reducido no tiene secciones nilpotentes no nulas en su haz estructural; sus anillos locales son reducidos y los invariantes geométricos y algebraicos coinciden con los calculados en el espacio topológico subyacente.

Límite

La noción pertenece a la teoría de esquemas y geometría algebraica; excluye variedades u otros esquemas usuales asumidos reducidos, y muchos resultados familiares asumen reducción a menos que se permita y trate explícitamente los nilpotentes.

Tensión semántica

Hay tensión entre la intuición topológica de un punto y la realidad algebraica: un punto no reducido parece idéntico topológicamente a un punto reducido pero lleva grosor algebraico adicional; distinguir estructura infinitesimal de multiplicidad geométrica real es esencial.

Síntesis

Un esquema no reducido es un espacio algebraico cuyos anillos locales contienen nilpotentes, codificando datos infinitesimales o de multiplicidad invisibles en la topología subyacente y obligando a refinar las nociones de dimensión, tangente y teoría de intersecciones.