Un teorema de dualidad para espacios algebraicos o analíticos complejos propios y lisos de dimensión n que establece un apareamiento perfecto natural entre la cohomología de un haz coherente y la cohomología de su dual teñida por el haz canónico (dualizante), generalmente expresado como H^i(X,F) ≅ Hom(H^{n-i}(X, ω_X ⊗ F^∨), k)^* o H^i(X,F)^* ≅ H^{n-i}(X, ω_X ⊗ F^∨).

Principio

Existencia de un haz dualizante ω_X y de una aplicación traza (o apareamiento de Serre); la cohomología coherente en grados complementarios se aparea en el grado superior y luego con el cuerpo base mediante la traza, produciendo el isomorfismo de dualidad bajo las hipótesis de propiedad y lisura.

Demostración

Ejemplo: para una curva proyectiva lisa C de género g, la dualidad de Serre da H^0(C,L)^* ≅ H^1(C, ω_C ⊗ L^∨), de modo que las secciones de un fibrado en líneas son duales a la cohomología en grado uno con el giro canónico; esto sustenta cálculos clásicos de Riemann–Roch.

Aplicación incorrecta

Aplicar la dualidad de Serre en espacios no propios o muy singulares sin un complejo dualizante bien comportado, o ignorar las condiciones de coherencia necesarias; tratar el haz dualizante como trivial en contextos donde no está definido globalmente o no es invertible.

Consecuencia

Permite conteos de dimensiones y dualidades en cálculos cohomológicos, fundamenta Riemann–Roch y teoremas de anulación, y proporciona fonctores de Serre en categorías derivadas que identifican adjuntos y autoequivalencias.

Inversión

La dualidad de Verdier generaliza la dualidad de Serre a categorías derivadas y a contextos posiblemente singulares o no compactos al reemplazar la cohomología coherente por las imágenes directas derivadas y usar el complejo dualizante; Serre es la especialización al caso coherente, liso y propio.

Límite

Requiere propiedad y lisura (o al menos un complejo dualizante bien entendido) y haces coherentes; falla en general para espacios no propios, coeficientes no coherentes o cuando las singularidades impiden una descripción simple del haz dualizante.

Tensión semántica

Se compara frecuentemente con la dualidad de Poincaré en topología: ambos emparejan cohomología en grados complementarios, pero la dualidad de Serre usa el haz dualizante algebraico/analítico y la cohomología coherente en lugar de la cohomología singular y clases de orientación.

Síntesis

La dualidad de Serre identifica grupos de cohomología en grados complementarios mediante el haz dualizante y una traza, convirtiendo datos canónicos geométricos en dualidades algebraicas que sostienen fórmulas de dimensión y fonctores de Serre en la categoría derivada.