Un teorema o enunciado por espectro‑secuencia que expresa la homología o cohomología de un producto en términos de las homologías o cohomologías de los factores, dando típicamente un isomorfismo de Künneth bajo hipótesis de planitud o coeficientes en cuerpo y términos Tor de corrección en caso contrario.

Principio

El mecanismo organizador es el producto tensorial de complejos de cadenas y la espectro‑secuencia de Künneth que surge de la filtración del producto tensorial; cuando los términos Tor se anulan (p. ej. con coeficientes en un cuerpo o módulos planos) la espectro‑secuencia colapsa a la fórmula por producto tensorial.

Demostración

Caso estándar: para homología singular con coeficientes en un cuerpo k se tiene H_*(X×Y; k) ≅ H_*(X; k) ⊗_k H_*(Y; k); con coeficientes enteros hay que considerar los términos Tor que conducen a sucesiones exactas cortas en lugar de igualdades ingenuas por producto tensorial.

Aplicación incorrecta

Escribir H_*(X×Y; Z) = H_*(X; Z) ⊗ H_*(Y; Z) sin tener en cuenta torsión o contribuciones Tor, o aplicar la fórmula en teorías de (co)homología donde falla la planitud requerida o la propiedad de Künneth.

Consecuencia

Cuando es aplicable, la Fórmula de Künneth reduce los cálculos en productos a los cálculos en los factores, aclara cómo interactúa la torsión en los productos y sostiene las estructuras multiplicativas en (co)homología.

Inversión

La inversión es observar que el fallo de la descomposición tensorial simple (presencia de Tor no trivial o términos de extensión) indica fenómenos de torsión o extensión en los factores que deben resolverse para reconstruir la (co)homología del producto a partir de los datos de los factores.

Límite

Se aplica en teorías clásicas de homología/cohomología bajo hipótesis tales como coeficientes en cuerpo, planitud o projectividad de las cadenas; fuera de estas hipótesis hay que usar la espectro‑secuencia de Künneth completa y esperar términos de corrección Tor y Ext, y algunas cohomologías generalizadas no tienen un teorema de Künneth.

Tensión semántica

La tensión está entre la simple 'fórmula' H(X×Y)=H(X)⊗H(Y) conocida sobre cuerpos y el enunciado más preciso por espectro‑secuencia que incluye correcciones Tor/Ext; los practicantes deben decidir si enfatizan la comodidad computacional o el registro homológico exacto.

Síntesis

La Fórmula de Künneth afirma que la (co)homología de un producto se calcula a partir de las (co)homologías de los factores mediante el producto tensorial de complejos de cadenas, y que la espectro‑secuencia de Künneth mide y resuelve las obstrucciones Tor/Ext a una descomposición tensorial ingenua.