Afirmación en topología algebraica que para un fibrado vectorial E → B de rango k (adecuadamente orientado) existe una clase de Thom en la cohomología del espacio de Thom Th(E) que induce un isomorfismo H^*(B; R) → H^{*+k}(Th(E); R) (equivalente a H^*(Th(E)) ≅ H^{*-k}(B) tras el corrimiento de grados), permitiendo transferencias y aplicaciones de Gysin.

Principio

La existencia de una clase de cohomología distinguida (la clase de Thom) en la cohomología reducida del espacio de Thom, cuyo producto cap con clases de la base produce el isomorfismo indicado; la clase de Thom codifica la orientación del fibrado y es natural respecto a mapas de fibrados que preservan la orientación.

Demostración

Para un fibrado vectorial real orientado de rango k sobre una base CW B con coeficientes en R, se construye la clase de Thom u ∈ H^k(Th(E); R) eligiendo una orientación local y empalmando mediante particiones de la unidad o argumentos celulares; el producto cap con u da el isomorfismo de Thom H^*(B; R) → H^{*+k}(Th(E); R).

Aplicación incorrecta

Asumir que el isomorfismo vale sin la hipótesis de orientación o con anillos de coeficientes inadecuados (por ejemplo Z en un fibrado no orientable) conduce a afirmaciones falsas; olvidar el corrimiento de grado o confundir el isomorfismo de Thom con la dualidad de Poincaré son errores comunes.

Consecuencia

Permite definir mapas de Gysin/propagación, demostrar teoremas de dualidad dependientes de la orientación, calcular clases características mediante clases de Thom y aplicar técnicas de transferencia en cohomología; es una herramienta clave para relacionar datos de fibrados con la cohomología de la base.

Inversión

La ausencia del isomorfismo de Thom indica la falta de una clase de Thom global y por tanto la no orientabilidad (o la necesidad de sistemas locales de coeficientes); recíprocamente la existencia de una clase de Thom equivale a elegir una orientación del fibrado respecto a los coeficientes elegidos.

Límite

Se aplica a fibrados vectoriales (o fibraciones en esferas) y requiere la elección de un sistema de coeficientes o coeficientes locales para codificar la orientación; no vale tal cual con coeficientes triviales para fibrados no orientables y no sustituye teorías de obstrucción de orientación más finas.

Tensión semántica

Hay tensión entre el isomorfismo de Thom y otras dualidades (como la dualidad de Poincaré) y entre versiones con coeficientes enteros o mod p; decidir usar coeficientes locales o estabilización cambia la formulación precisa y su aplicabilidad.

Síntesis

El Isomorfismo de Thom identifica la cohomología del espacio de Thom de un fibrado con la de la base salvo un corrimiento de grado al codificar la orientación en una clase de Thom; esta clase única fundamenta los mapas de transferencia, la teoría de la orientación y numerosos cálculos que enlazan fibrados con la cohomología de la base.