Un théorème décrivant comment la suspension stabilise les groupes d'homotopie : pour un espace suffisamment connecté X, l'homomorphisme de suspension π_k(X) → π_{k+1}(ΣX) est un isomorphisme dans une plage déterminée par la connexité de X et est surjectif légèrement au-delà, ce qui conduit à des groupes d'homotopie stables après itération de la suspension.

Principe

La suspension élève le degré et, pour une connexité donnée n, l'application de suspension est fortement connectée jusqu'à environ le double de la connexité, de sorte que la suspension itérée finit par placer les groupes d'homotopie dans un régime stable indépendant des suspensions ultérieures ; la connexité commande la plage d'isomorphisme.

Démonstration

Pour un complexe CW (n−1)-connecté X, l'application de suspension π_q(X) → π_{q+1}(ΣX) est un isomorphisme pour q jusqu'à approximativement 2n−2 et surjective au degré suivant ; ce mécanisme sous-tend les calculs montrant que π_{k+m}(Σ^m X) se stabilise pour m grand.

Mauvaise application

Utiliser Freudenthal sans vérifier la connexité ou l'appliquer à des espaces de mauvaise structure locale peut donner des affirmations incorrectes sur la stabilisation ; de même, traiter la plage numérique précise trop vaguement mène à des erreurs de calcul.

Conséquence

Le théorème fonde la théorie de l'homotopie stable : il garantit qu'après un nombre suffisant de suspensions les groupes d'homotopie se stabilisent, permettant de définir les groupes d'homotopie stables des sphères et justifiant des outils comme le spectre de suspension.

Inversion

L'inversion serait de supposer que la suspension ne stabilise jamais les groupes d'homotopie ou que la stabilisation survient immédiatement en tous degrés ; les deux extrêmes sont faux et Freudenthal quantifie où la stabilisation commence et comment la surjectivité s'étend au‑delà.

Limite

S'applique aux complexes CW suffisamment connectés (ou à des espaces bien comportés similaires) ; les plages d'isomorphisme et de surjectivité dépendent de la connexité de X et ne sont pas universelles, donc Freudenthal n'affirme pas une stabilisation globale pour des espaces ou degrés arbitraires.

Tension sémantique

Une tension existe entre les phénomènes d'homotopie instable (produits de Whitehead, accolades de Toda) visibles avant la stabilisation et l'image stable que Freudenthal permet ; les perspectives concurrentes sont le calcul dans la plage instable versus le passage à la catégorie d'homotopie stable.

Synthèse

Le théorème de suspension de Freudenthal quantifie comment les applications de suspension deviennent des isomorphismes dans une plage dépendante de la connexité et produit ainsi la stabilisation des groupes d'homotopie sous suspension itérée, faisant le pont entre homotopie instable et stable.