Una dualidad en la teoría de la homotopía estable que asigna a un complejo CW finito (o compacto) un objeto dual en la categoría de homotopía estable de modo que los mapas desde el producto smash con el dual hacia el espectro esfera se identifican con mapas salientes del complejo original; informalmente, los complejos finitos tienen duales estables representados por los complementos apropiadamente suspendidos.

Principio

Estabilizar por suspensión y trabajar en la categoría de Spanier–Whitehead: para complejos finitos X existe un dual DX tal que el funtor Y ↦ [X ∧ Y, S] es representable por DX, capturando una dualidad contravariante gobernada por la finitud y la invariancia por suspensión.

Demostración

Dado un complejo CW finito X embebido en una esfera S^n, el complemento (con la suspensión adecuada) representa el dual de Spanier–Whitehead DX; equivalente, para espectros finitos existen duales canónicos tal que X ∧ DX → S proporciona emparejamientos perfectos en la categoría estable y genera isomorfismos de dualidad en grupos de homotopía estables.

Aplicación incorrecta

Intentar aplicar la dualidad de Spanier–Whitehead a complejos infinitos o no compactos sin hipótesis de finitud o ignorar la convergencia de suspensiones conduce a afirmaciones falsas sobre dualidad; los contextos equivariantes o parametrizados requieren precauciones y condiciones adicionales para la existencia del dual.

Consecuencia

Proporciona una herramienta potente para convertir cálculos homológicos en cohomológicos y viceversa en el rango estable, sustenta muchos teoremas de dualidad y cálculos de grupos de homotopía estables, y clarifica cómo la finitud controla la dualizabilidad en la categoría estable.

Inversión

La dualidad de Poincaré es una dualidad geométrica específica de variedades entre homología y cohomología con datos de orientación; el contraste muestra que Spanier–Whitehead es una dualidad categórica estable para complejos finitos, mientras que la dualidad de Poincaré requiere estructura de variedad y orientación local.

Límite

Requiere hipótesis de finitud o compacidad (complejos CW finitos o espectros finitos dualizables) y el paso a la categoría de homotopía estable; no se cumple en general para complejos CW arbitrarios, complejos infinitos o sin tomar estabilizaciones y duales categóricos apropiados.

Tensión semántica

Existe tensión con las dualidades de Alexander/Alexander–Spanier y con dualidades de variedades: la naturaleza categórica estable de la dualidad de Spanier–Whitehead difiere de las dualidades geométricas clásicas, por lo que debe distinguirse la dualizabilidad estable de dualidades de tipo variedad o ligadas a inmersiones.

Síntesis

La dualidad de Spanier–Whitehead identifica complejos CW finitos con objetos duales en la categoría estable de homotopía: al estabilizar y usar la finitud se obtienen duales DX con emparejamientos perfectos X ∧ DX → S, transformando problemas de mapeos en problemas de mapeos duales y haciendo de la dualizabilidad una propiedad controlada por la finitud en la teoría estable de la homotopía.