Une filtration canonique d'un espace (ou d'un spectre) par étages dont les groupes d'homotopie s'annulent au-delà d'un certain degré : chaque étage est une fibration principale de fibre une espace d'Eilenberg–MacLane, et les extensions successives sont codées par des k-invariants.

Principe

Décomposer un espace en ses troncatures de Postnikov X⟨n⟩ qui retiennent les groupes d'homotopie jusqu'au degré n et annihilent les groupes supérieurs ; la construction procède par récurrence par fibrations principales de fibre K(π_n,n) dont le collage est gouverné par des classes de cohomologie (k-invariants).

Démonstration

Pour un complexe CW simplement connexe on construit X→...→X⟨n⟩→X⟨n−1⟩→...→X⟨1⟩ où chaque fibre est un espace d'Eilenberg–MacLane ; le calcul des k-invariants dans H^{n+1}(X⟨n−1⟩; π_n) reconstruit les extensions et permet le calcul inductif des espaces de morphismes et des obstructions.

Mauvaise application

Confondre la tour de Postnikov avec la filtration skelette d'un CW ou supposer que les invariants de Postnikov déterminent toute la structure homotopique supérieure sans tenir compte d'opérations secondaires non triviales ou d'actions non nilpotentes conduit à des reconstructions incorrectes.

Conséquence

Permet des calculs inductifs des classes d'homotopie de morphismes, la réduction de problèmes homotopiques globaux à des problèmes d'extension cohomologique, et une théorie systématique des obstructions pour décider de l'existence et de l'unicité de relèvements ou de morphismes.

Inversion

La tour de Whitehead (ou tour de connectivité) est le point de vue dual : au lieu d'annuler les groupes d'homotopie supérieurs, elle annule les groupes d'homotopie inférieurs pour produire des revêtements de plus en plus connexes ; comparer les deux éclaire comment les données de bas et haut degré contrôlent l'espace.

Limite

S'applique aux espaces (ou spectres) munis de groupes d'homotopie bien définis et d'un point-base ; dans des cadres non nilpotents, fortement déconnectés ou en présence d'actions équivariantes sauvages, des complications supplémentaires apparaissent et les décompositions de Postnikov peuvent ne pas capturer les actions ou la cohérence supérieure sans structure complémentaire.

Tension sémantique

Une tension existe avec les filtrations skelette ou cellulaires et avec les approches computationnelles qui privilégient l'homologie plutôt que l'homotopie : les tours de Postnikov se concentrent sur des données de groupes d'homotopie organisées et des k-invariants cohomologiques, ce qui peut être lourd mais est plus directement lié à la structure homotopique supérieure.

Synthèse

Une tour de Postnikov décompose un espace en fibrations principales successives à fibres d'Eilenberg–MacLane, encodant l'assemblage étape par étape des groupes d'homotopie par des k-invariants ; cette structure inductive transforme la classification homotopique en une suite de problèmes d'extension et d'obstruction cohomologiques, valable lorsque les groupes d'homotopie et leurs actions sont maîtrisés.