Una filtración canónica de un espacio (o espectro) por etapas cuyas grupos de homotopía se anulan por encima de un grado dado: cada etapa es una fibración principal con fibra un espacio de Eilenberg–MacLane, y las extensiones sucesivas están codificadas por k-invariantes.

Principio

Descomponer un espacio en sus truncamientos de Postnikov X⟨n⟩ que retienen los grupos de homotopía hasta el grado n y anulan los superiores; la construcción procede por inducción mediante fibraciones principales con fibras K(π_n,n) cuyo pegado está gobernado por clases de cohomología (k-invariantes).

Demostración

Para un complejo CW simplemente conexo se construye X→...→X⟨n⟩→X⟨n−1⟩→...→X⟨1⟩ donde cada fibra es un espacio de Eilenberg–MacLane; calcular los k-invariantes en H^{n+1}(X⟨n−1⟩; π_n) reconstruye las extensiones y permite el cálculo por etapas de espacios de mapeos y obstrucciones.

Aplicación incorrecta

Confundir la torre de Postnikov con la filtración esquelética de un CW o asumir que los invariantes de Postnikov determinan toda la estructura homotópica superior sin tener en cuenta operaciones secundarias no triviales o acciones no nilpotentes conduce a reconstrucciones incorrectas.

Consecuencia

Permite cálculos inductivos de clases de homotopía de mapas, reducir problemas homotópicos globales a problemas de extensión cohomológica y proporciona una teoría de obstrucciones sistemática para decidir existencia y unicidad de elevaciones o mapas.

Inversión

La torre de Whitehead (o de conectividad) es la visión dual: en lugar de anular homotopías por encima de grados, anula homotopías por debajo de grados para producir recubrimientos cada vez más conexos; comparar ambas aclara cómo los datos de grados bajos y altos controlan el espacio.

Límite

Se aplica a espacios (o espectros) con grupos de homotopía bien definidos y punto base; en contextos no nilpotentes, muy desconectados o con acciones equivariantes salvajes surgen complicaciones adicionales y las descomposiciones de Postnikov pueden no capturar acciones o coherencia superior sin estructura adicional.

Tensión semántica

Aparece tensión con filtraciones esqueléticas o celulares y con enfoques computacionales que privilegian la homología frente a la homotopía: las torres de Postnikov se centran en datos de grupos de homotopía organizados y k-invariantes cohomológicos, lo que puede ser engorroso pero está más directamente vinculado a la estructura homotópica superior.

Síntesis

Una torre de Postnikov descompone un espacio en fibraciones principales sucesivas con fibras Eilenberg–MacLane, codificando el ensamblado etapa por etapa de los grupos de homotopía mediante k-invariantes; esta estructura inductiva convierte la clasificación homotópica en una sucesión de problemas de extensión y obstrucción cohomológicos, válida cuando los grupos de homotopía y sus acciones están controlados.