Invariant algébrique défini pour une équivalence d'homotopie entre complexes CW finis, à valeurs dans le groupe de Whitehead Wh(π) (un quotient de K1 de l'anneau de groupe Z[π]), mesurant l'obstruction pour que l'équivalence d'homotopie soit une équivalence de simple homotopie ; central dans la classification des h‑cobordismes et le théorème s‑cobordisme.

Principe

Coder une équivalence cellulaire d'homotopie par une équivalence d'homotopie de complexes de chaînes cellulaires sur l'anneau de groupe du groupe fondamental, calculer sa torsion dans K1 modulo les unités appropriées, et interpréter l'annulation de cette classe comme la possibilité de réaliser l'équivalence par une suite d'extensions et d'effondrements élémentaires (simple homotopy).

Démonstration

Pour une équivalence d'homotopie f : X → Y entre complexes CW finis avec π = π1(Y), représenter f par une application cellulaire induisant une équivalence d'homotopie entre complexes de chaînes universels C_*(X̃) et C_*(Ỹ) sur Z[π], calculer la torsion de Whitehead τ(f) ∈ Wh(π) ; τ(f)=0 exactement lorsque f est homotope à une équivalence de simple homotopie.

Mauvaise application

Confondre une torsion non nulle avec l'assertion que X et Y ne sont pas homotopes (la torsion n'obstrue que la simplicité), calculer la torsion sans tenir compte des points de base ou des conventions d'anneau de groupe correctes, ou appliquer l'invariant hors du cadre des complexes CW finis induit des abus.

Conséquence

L'annulation de la torsion de Whitehead est le critère algébrique utilisé dans le théorème s‑cobordisme pour déduire qu'un h‑cobordisme est trivial (un produit), et une torsion non nulle distingue des équivalences d'homotopie qui ne peuvent être obtenues par des extensions et effondrements élémentaires, raffinant ainsi la classification des variétés et complexes jusqu'à la simple homotopie.

Inversion

Une équivalence de simple homotopie a une torsion de Whitehead triviale ; l'inversion souligne que la trivialité de la torsion équivaut à la réalisabilité par mouvements cellulaires élémentaires, tandis qu'une torsion non triviale enregistre une complexité combinatoire essentielle.

Limite

Défini pour des applications entre complexes CW finis (ou complexes de chaînes finis sur des anneaux de groupe) et utilisant l'anneau de groupe du groupe fondamental ; il ne s'étend pas directement aux complexes infinis sans contrôle supplémentaire et demande prudence lorsque π a de la torsion ou lorsque les anneaux de coefficients diffèrent de Z.

Tension sémantique

Il existe une tension sémantique entre la torsion de Whitehead et d'autres notions de torsion comme la torsion de Reidemeister ou la torsion analytique : elles mesurent des raffinements voisins mais distincts (algébrique versus analytique, simple homotopie versus invariants de variété) et exigent un choix contextuel et de coefficients soigneux.

Synthèse

La Torsion de Whitehead est l'obstruction à valeurs dans K1 qui affine l'équivalence d'homotopie en classification par simple homotopie : en codant les automorphismes de complexes de chaînes sur l'anneau de groupe, elle détecte si une équivalence d'homotopie se réalise par mouvements cellulaires élémentaires et joue ainsi un rôle décisif dans les résultats de classification des variétés de haute dimension.