Una fibra de un morfismo de esquemas (o un miembro de una familia) cuyos anillos locales no son reducidos, es decir, contienen elementos nilpotentes no nulos. El espacio topológico subyacente puede coincidir con la fibra reducida, mientras que esquema‑teóricamente la fibra tiene multiplicidad o estructura nilpotente embebida.

Principio

La no reducción indica grosor infinitesimal oculto: geométricamente registra multiplicidades, direcciones nilpotentes o el fallo de que el esquema sea reducido. Suele aparecer por falta de planitud, al tomar fibras especiales en parámetros singulares, o por torsión en el haz estructural.

Demostración

Ejemplo simple: la familia Spec(k[ε]/(ε^2)) sobre Spec k tiene una fibra no reducida con anillo de coordenadas k[ε]/(ε^2). Instancias más geométricas ocurren cuando una familia plana degenera y la fibra especial adquiere estructura nilpotente embebida (por ejemplo, una estructura doble sobre un divisor).

Aplicación incorrecta

Tratar una fibra no reducida como si fuera una variedad reducida (p. ej. usar solo sus puntos topológicos o despreciar la multiplicidad) conduce a recuentos incorrectos (multiplicidad de intersección) y a conclusiones erróneas en teoría de deformaciones. Ignorar la no reducción al verificar suavidad o al aplicar cambio de base cohomológico es otro uso indebido frecuente.

Consecuencia

Reconocer fibras no reducidas obliga a trabajar esquema‑teóricamente: registrar multiplicidades, usar métodos derivados o infinitesimales, comprobar planitud y la formación de Tor superiores, y posiblemente pasar a los reducidos o a completaciones. Invariantes aritméticos y geométricos (multiplicidades de intersección, ciclos de vanishing) se ven afectados y deben calcularse teniendo en cuenta la estructura no reducida.

Inversión

Fibra reducida: los anillos locales no tienen nilpotentes y el esquema coincide con su subesquema reducido; muchas intuiciones geométricas clásicas (suavidad, cuentas transversales) son válidas. En el caso inverso se pueden aplicar herramientas geométricas y cohomológicas más simples.

Límite

La noción es esquema‑teórica: sobre cuerpos una fibra no reducida se observa en los anillos de coordenadas, pero sobre bases generales debe considerarse la presencia de nilpotentes en el haz estructural, la torsión y las hipótesis de planitud. No reducida no es sinónimo de singular: una fibra puede ser reducida pero singular, y pueden aparecer fibras no reducidas aunque el lugar reducido subyacente sea liso.

Tensión semántica

Existe tensión entre la visión topológica (puntos y soporte reducido) y la visión esquema‑teórica (nilpotentes y estructura infinitesimal). A veces se confunde la no reducción con un comportamiento patológico amplio, cuando en realidad describe grosor infinitesimal más que mera singularidad.

Síntesis

Una Fibra No Reducida es una fibra esquema‑teórica que porta estructura nilpotente; codifica multiplicidades y direcciones infinitesimales que afectan a la teoría de deformaciones, la teoría de intersecciones y el comportamiento cohomológico. Su tratamiento adecuado exige técnicas esquema‑teóricas—comprobar planitud, rastrear torsión, recurrir a reducidos o a herramientas derivadas—en lugar de confiar solo en el conjunto subyacente reducido.