Un formalismo en la categoría derivada (y en contextos coherentes/compactos) que describe una dualidad entre los funtores de empuje directo y de ‘pullback’ extraordinario: para un morfismo de tipo finito adecuado f existe una adjunción entre Rf_* y f^! mediada por un complejo dualizante relativo, generalizando las dualidades de Serre y Verdier.

Principio

La existencia de un complejo dualizante ω_f y la adjunción functorial Rf_* RHom(–, f^!O_Y) ≅ RHom(Rf_*(–), O_Y) encapsulan cómo la cohomología con soporte compacto o la cohomología coherente se transforman bajo morfismos propios; las hipótesis de coherencia y finitud aseguran la conservación de la acotación de los funtores derivados.

Demostración

Para un morfismo propio y liso f: X → Y de dimensión relativa d entre variedades proyectivas lisas se tiene f^!O_Y ≅ ω_{X/Y}[d], y la dualidad de Grothendieck recupera la dualidad de Serre en las fibras así como adjunciones globales entre Rf_* y f^! sobre haces coherentes.

Aplicación incorrecta

Tratar la dualidad como una igualdad de empujes ingenuos sin el contexto derivado o los desplazamientos del complejo dualizante, aplicarla sin las hipótesis de finitud/propriedad, o ignorar condiciones de coherencia conduce a enunciados incorrectos.

Consecuencia

Proporciona una herramienta conceptual y computacional para transferir datos cohomológicos a lo largo de morfismos, produce mapas traza y emparejamientos de dualidad, y sustenta resultados de cambio de base y compatibilidad usados en teoría de deformaciones y teoría de intersecciones.

Inversión

La inversión de la perspectiva destaca a f^! como la forma 'correcta' de retraer datos dualizantes: mientras que el pullback ordinario f^* es adjunto por la izquierda a Rf_*, el pullback extraordinario f^! es adjunto por la derecha tras aplicar la dualidad, revelando perspectivas duales sobre empujes y retrocesos.

Límite

Válido bajo hipótesis como properidad, dimensión de Tor finita, o más generalmente para morfismos separados de tipo finito entre esquemas noetherianos con complejos dualizantes coherentes; los enunciados deben ajustarse en contextos no noetherianos, de tipo infinito o en espacios apilados patológicos.

Tensión semántica

Existe tensión entre la dualidad de Grothendieck, la dualidad de Serre (caso particular en variedades proyectivas lisas) y la dualidad de Verdier (para haces constructibles): comparten un patrón común pero difieren en hipótesis, categorías y naturaleza del objeto dualizante.

Síntesis

La dualidad de Grothendieck organiza una adjunción derivada mediada por un complejo dualizante que generaliza las dualidades de Serre y Verdier, proporcionando mapas traza y un marco sistemático para entender la transformación de la cohomología bajo morfismos propios y de tipo finito.