Un instrumento algebraico que organiza aproximaciones sucesivas a la homología o cohomología de un complejo filtrado mediante una familia de páginas E_r y diferenciales d_r; cada página es un objeto bigradado cuyas páginas posteriores son la homología de las anteriores y cuya página límite (cuando existe) da las piezas graduadas del objeto asociado objetivo.

Principio

Partir de un complejo filtrado u objeto filtrado; formar el objeto graduado asociado; calcular sucesivas homologías en las páginas E_0, E_1, E_2, ... con diferenciales de grado creciente de modo que E_{r+1} sea la homología de E_r bajo d_r, y si la sucesión converge la página E_∞ proporciona el graduado asociado de la homología buscada.

Demostración

Para una fibración F → E → B con condiciones de conectividad, la sucesión espectral de Serre tiene E_2^{p,q} ≅ H^p(B; H^q(F)) y converge a H^{p+q}(E); se calcula E_2, se siguen las diferenciales d_r y se extrae la filtración sobre H^*(E) desde E_∞.

Aplicación incorrecta

Usar una sucesión espectral sin verificar la convergencia o ignorar problemas de extensiones entre las piezas graduadas — por ejemplo afirmar la estructura del grupo objetivo a partir de E_∞ sin comprobar cómo se ensamblan las piezas filtradas — conduce a conclusiones erróneas sobre torsión o extensiones de grupos.

Consecuencia

Aplicada correctamente, una sucesión espectral reduce un cálculo global difícil a cálculos locales sucesivos y a la comprobación de diferenciales, transformando a menudo un problema de homología intratable en una secuencia finita de pasos computables e identificando obstrucciones mediante diferenciales.

Inversión

En lugar de calcular la homología de un complejo filtrado mediante páginas sucesivas, se puede partir de un objetivo conocido y reconstruir filtraciones compatibles en un complejo modelo; invertir el proceso enfatiza problemas de extensiones y ensamblaje más que el cálculo por páginas.

Límite

Se aplica a complejos de cadenas filtrados, bicomplejos y contextos filtrados similares; no se aplica automáticamente a objetos no filtrados y requiere hipótesis de convergencia y control de problemas de extensiones para reconstruir los objetivos no graduados.

Tensión semántica

El término 'espectral' puede evocar espectros de operadores en análisis, pero una sucesión espectral es un dispositivo algebraico de registro, no una descomposición espectral de un operador; la confusión entre estos sentidos es habitual.

Síntesis

Una sucesión espectral es un mecanismo computacional por etapas: partir de una filtración, calcular páginas de homología enlazadas por diferenciales, verificar convergencia y resolver cuestiones de extensión, para recuperar la información graduada asociada y, cuando sea posible, la homología completa.