Una sucesión espectral del primer cuadrante que relaciona la cohomología de una extensión de grupos 1 → N → G → Q → 1 con coeficientes en un G-módulo M: la página E2 es E2^{p,q} = H^p(Q, H^q(N,M)) y converge a H^{p+q}(G,M), expresando así la cohomología de G en términos de la cohomología del subgrupo normal N y del cociente Q.

Principio

La cohomología de grupos es functorial y se calcula mediante funtores derivados; para una extensión la composición derivada produce una sucesión espectral cuyo término E2 es la cohomología del cociente con coeficientes en la cohomología del subgrupo normal, codificando obstrucciones sucesivas y clases de extensión.

Demostración

Dada una extensión 1 → N → G → Q → 1 y un G-módulo M, la sucesión espectral de Hochschild–Serre produce los términos exactos de bajo grado y las páginas superiores que permiten calcular H^*(G,M) a partir de H^*(N,M) considerado como Q-módulo y de H^*(Q,−). Por ejemplo, si N es cíclico de orden primo y Q actúa trivialmente en H^q(N,M), la sucesión suele colapsar y dar cálculos explícitos.

Aplicación incorrecta

Usarla cuando N no es normal, ignorar la acción de Q en H^q(N,M) o asumir un colapso automático sin verificar diferenciales y problemas de extensión; esto conduce a conclusiones erróneas sobre H^*(G,M).

Consecuencia

Proporciona un método sistemático para calcular y limitar la cohomología de grupos, produce sucesiones exactas de bajo grado (inflación–restricción) y revela obstrucciones al escindido o al levantamiento de cociclos mediante diferenciales en las páginas de la sucesión.

Inversión

Si la sucesión tiene diferenciales no triviales o problemas de extensión en el abutment, la cohomología de G no puede recuperarse simplemente combinando las cohomologías de N y Q; esta inversión subraya interacciones ocultas y obstrucciones de orden superior.

Límite

Se aplica a extensiones de grupos con un subgrupo normal N y un G-módulo M; requiere atención a las acciones y, para cohomología continua, a las hipótesis topológicas. No se aplica tal cual cuando N no es normal o cuando la cohomología debe tomarse en otra categoría sin la estructura adecuada de funtor derivado.

Tensión semántica

Está estrechamente relacionada con la sucesión exacta de inflación–restricción: ésta corresponde a las edge sequences de Hochschild–Serre, creando tensión entre usar una herramienta exacta de bajo grado y la maquinaria completa de la sucesión espectral cuando importan obstrucciones de grado superior.

Síntesis

La sucesión espectral de Hochschild–Serre organiza el cálculo de la cohomología de un grupo para una extensión filtrando las contribuciones de un subgrupo normal y del cociente, explicando cómo los trozos locales de cohomología y los diferenciales de orden superior se ensamblan para dar la cohomología completa del grupo.