Une dualité en théorie de l'homotopie stable qui associe à un complexe CW fini (ou compact) un objet dual dans la catégorie homotopique stable de sorte que les morphismes depuis le smash product avec le dual dans le spectre sphère s'identifient aux morphismes sortant du complexe original ; en pratique les complexes finis ont des duaux stables représentés par des compléments convenablement suspendus.

Principe

Stabiliser par suspension et travailler dans la catégorie Spanier–Whitehead : pour les complexes finis X il existe un dual DX tel que le foncteur Y ↦ [X ∧ Y, S] soit représentable par DX, capturant une dualité contravariante gouvernée par la finitude et l'invariance par suspension.

Démonstration

Étant donné un complexe CW fini X plongé dans une sphère S^n, le complément (avec suspension appropriée) représente le dual de Spanier–Whitehead DX ; équivalemment, pour des spectres finis on dispose de duaux canoniques tels que X ∧ DX → S fournit des pairings parfaits dans la catégorie stable et donne des isomorphismes de dualité sur les groupes d'homotopie stables.

Mauvaise application

Tenter d'appliquer la dualité de Spanier–Whitehead à des complexes infinis ou non compacts sans hypothèses de finitude ou ignorer la convergence des suspensions conduit à des affirmations erronées ; les contextes équivariants ou paramétrés demandent des précautions et des hypothèses supplémentaires pour l'existence du dual.

Conséquence

Fournit un outil puissant pour convertir des calculs homologiques en calculs cohomologiques et réciproquement dans la gamme stable, sous-tend de nombreux théorèmes de dualité et calculs de groupes d'homotopie stables, et éclaire comment la finitude commande la dualisabilité dans la catégorie stable.

Inversion

La dualité de Poincaré est une dualité géométrique, spécifique aux variétés, entre homologie et cohomologie avec données d'orientation ; inverser la perspective montre que Spanier–Whitehead est une dualité catégorique stable pour complexes finis, tandis que la dualité de Poincaré requiert structure de variété et orientation locale.

Limite

Exige des hypothèses de finitude ou de compacité (complexes CW finis ou spectres finis dualisables) et le passage à la catégorie homotopique stable ; elle ne tient pas en général pour des complexes CW arbitraires, des complexes infinis ou sans stabilisation et duals catégoriques appropriés.

Tension sémantique

Il existe une tension avec les dualités d'Alexander/Alexander–Spanier et avec les dualités de variétés : la nature catégorique stable de la dualité de Spanier–Whitehead diffère des dualités géométriques classiques, donc il faut distinguer la dualisabilité stable des dualités de type variétés ou liées au plongement.

Synthèse

La dualité de Spanier–Whitehead identifie les complexes CW finis à des objets duaux dans la catégorie homotopique stable : en stabilisant et en utilisant la finitude on obtient des duaux DX avec des pairings parfaits X ∧ DX → S, transformant des problèmes de morphismes en problèmes de morphismes duaux et faisant de la dualisabilité une propriété contrôlée par la finitude en théorie de l'homotopie stable.