Un fenómeno en el que una formación natural (normalización, formación de fibras, imágenes directas superiores, cierre esquemático, etc.) no conmuta con el cambio de base a lo largo de un morfismo de esquemas, produciendo fibras inesperadas o mal comportadas o rompiendo propiedades que se esperan conservar bajo cambio de base.

Principio

La conmutación con el cambio de base está gobernada por hipótesis de finitud, planitud, propriedad y coherencia. Cuando esas hipótesis fallan o surgen problemas sutiles de torsión/primos embebidos, el intercambio ingenuo entre formación y cambio de base puede ser patológico: la construcción fibra a fibra difiere de la construcción global tras el cambio de base.

Demostración

Ejemplo ilustrativo: la normalización no necesariamente conmuta con cualquier cambio de base. Puede existir una familia X→S cuya normalización sobre S, al restringirse a una fibra, no coincide con la normalización de la fibra tras el cambio de base — las ramas pueden no separarse de manera uniforme. Otro caso frecuente son las imágenes directas superiores R^i f_* F cuya formación falla al conmutar con el cambio de base cuando f no es propio o F no es coherente, lo que conduce a saltos en las dimensiones de la cohomología de las fibras.

Aplicación incorrecta

Suponer que todas las construcciones razonables conmutan con el cambio de base sin comprobar hipótesis como la planitud o la propriedad; por ejemplo, aplicar argumentos fibra a fibra para deducir afirmaciones globales sobre normalización o cohomología sin verificar los teoremas de cambio de base puede llevar a conclusiones erróneas.

Consecuencia

El cambio de base patológico produce fibras con geometría distinta a la esperada, invalida argumentos de descenso o deformación, puede causar el fallo de semicontinuidad y rompe la compatibilidad de invariantes (grupos de Picard, cohomología, tipos de singularidad) con la extensión de la base. Obliga a comprobaciones adicionales o al uso de procedimientos corregidos/derivados.

Inversión

Un buen cambio de base se da cuando las hipótesis (coherencia, planitud, propriedad, presentación finita) se cumplen y los teoremas garantizan que la formación conmuta con el cambio de base; en ese caso las construcciones fibra a fibra y globales coinciden y los invariantes se comportan de forma predecible bajo extensión de base.

Límite

Esta preocupación aparece en familias de esquemas y morfismos de esquemas; es más pronunciada fuera de la clase de morfismos planos, propios y de presentación finita con haces coherentes. Los marcos derivados y de stacks pueden a veces controlar las patologías, pero la noción clásica requiere comprobar hipótesis estándar antes de afirmar la conmutación.

Tensión semántica

La tensión está entre la operación formal de tirar atrás y las sutilezas algebraicas/geométricas (torsión, primos embebidos, no planitud) que obstruyen la conmutación. Los practicantes pueden confundir argumentos ingenuos fibra a fibra con propiedades reales de cambio de base que solo están garantizadas bajo hipótesis precisas.

Síntesis

Cambio de Base Patológico designa la ruptura cuando la formación de construcciones geométricas o algebraicas no conmuta con el cambio de base: marca el fallo del razonamiento fibra a fibra y señala la necesidad de verificar finitud/planitud/propriedad o de trabajar en categorías derivadas para restablecer un comportamiento controlado.