# Teorema de Eilenberg-Zilber

En matemáticas, específicamente en topología algebraica, el teorema de Eilenberg-Zilber es un resultado importante para establecer el vínculo entre los grupos de homología de un espacio de producto $X\times Y$ y los de los espacios $X$ y $Y$. El teorema apareció por primera vez en un artículo de 1953 en el American Journal of Mathematics de Samuel Eilenberg y Joseph A. Zilber. Una posible ruta hacia una demostración es el teorema del modelo acíclico.

## Declaración del teorema

El teorema se puede formular de la siguiente manera. Suponer $X$ y $Y$ son espacios topológicos, entonces tenemos los tres complejos de cadenas $C_{*}(X)$, $C_{*}(Y)$, y $C_{*}(X\times Y)$. (El argumento se aplica igualmente a los complejos de cadena simplicial o singular). También tenemos el complejo producto tensorial $C_{*}(X)\otimes C_{*}(Y)$, cuyo diferencial es, por definición,
    $\partial _{C_{*}(X)\otimes C_{*}(Y)}(\sigma \otimes \tau )=\partial _{X}\sigma \otimes \tau +(-1)^{p}\sigma \otimes \partial _{Y}\tau$
para $\sigma \in C_{p}(X)$ y $\partial _{X}$, $\partial _{Y}$ los diferenciales en $C_{*}(X)$, $C_{*}(Y)$.
Entonces el teorema dice que tenemos aplicaciones en cadena
    $F\colon C_{*}(X\times Y)\rightarrow C_{*}(X)\otimes C_{*}(Y),\quad G\colon C_{*}(X)\otimes C_{*}(Y)\rightarrow C_{*}(X\times Y)$
tal que $FG$ es la identidad y $GF$ es cadena homotópica a la identidad. Además, los mapas son naturales en $X$ y $Y$. En consecuencia, los dos complejos deben tener la misma homología:
    $H_{*}(C_{*}(X\times Y))\cong H_{*}(C_{*}(X)\otimes C_{*}(Y)).$

## Declaración en términos de mapas compuestos

El teorema original se demostró en términos de modelos acíclicos, pero Eilenberg y Mac Lane obtuvieron más provecho en una formulación que utiliza mapas explícitos. El mapa estándar $F$ que producen se conoce tradicionalmente como el mapa de Alexander – Whitney y $G$ el mapa Eilenberg – Zilber. Los mapas son naturales en ambos. $X$ y $Y$ e inversa hasta la homotopía: se tiene
    $FG=\mathrm {id} _{C_{*}(X)\otimes C_{*}(Y)},\qquad GF-\mathrm {id} _{C_{*}(X\times Y)}=\partial _{C_{*}(X)\otimes C_{*}(Y)}H+H\partial _{C_{*}(X)\otimes C_{*}(Y)}$
para una homotopía $H$ natural en ambos $X$ y $Y$ de modo que, además, cada uno de $HH$, $FH$, y $HG$ es cero. Esto es lo que se conocería como dato de contracción o retracción de homotopía.

## El coproducto

El mapa diagonal $\Delta \colon X\to X\times X$ induce un mapa de complejos de cocadenas $C_{*}(X)\to C_{*}(X\times X)$ que, seguido por el Alexander – Whitney $F$ produce un coproducto $C_{*}(X)\to C_{*}(X)\otimes C_{*}(X)$ inducir el coproducto estándar en $H_{*}(X)$ . Con respecto a estos coproductos en $X$ y $Y$, el mapa
    $H_{*}(X)\otimes H_{*}(Y)\to H_{*}{\bigC_{*}(X)\otimes C_{*}(Y){\big )}\ {\overset {\sim }{\to }}\ H_{*}(X\times Y)$,
También llamado mapa de Eilenberg – Zilber, se convierte en un mapa de carbongebras graduadas diferenciales. el compuesto $C_{*}(X)\to C_{*}(X)\otimes C_{*}(X)$ En sí mismo no es un mapa de coalgebras.

## Declaración en cohomología

Los mapas de Alexander – Whitney y Eilenberg – Zilber se dualizan (sobre cualquier elección de anillo de coeficientes conmutativos). $k$ con unidad) a un par de mapas
    $G^{*}\colon C^{*}(X\times Y)\rightarrow {\bigC_{*}(X)\otimes C_{*}(Y){\big )}^{*},\quad F^{*}\colon {\bigC_{*}(X)\otimes C_{*}(Y){\big )}^{*}\rightarrow C^{*}(X\times Y)$
que también son equivalencias de homotopía, como lo atestiguan los duales de las ecuaciones anteriores, utilizando la homotopía dual $H^{*}$ . El coproducto no se dualiza directamente, porque la dualización no se distribuye entre productos tensoriales de módulos generados infinitamente, pero hay una inyección natural de álgebras graduadas diferenciales. $i\colon C^{*}(X)\otimes C^{*}(Y)\to {\bigC_{*}(X)\otimes C_{*}(Y){\big )}^{*}$ dada por $\alpha \otimes \beta \mapsto (\sigma \otimes \tau \mapsto \alpha (\sigma )\beta (\tau ))$, el producto se toma en el anillo de coeficientes $k$ . Este $i$ induce un isomorfismo en cohomología, por lo que uno tiene el zig-zag de los mapas de álgebra graduados diferenciales
    $C^{*}(X)\otimes C^{*}(X)\ {\overset {i}{\to }}\ {\bigC_{*}(X)\otimes C_{*}(X){\big )}^{*}\ {\overset {G^{*}}{\leftarrow }}\ C^{*}(X\times X){\overset {C^{*}(\Delta )}{\to }}C^{*}(X)$
inducir un producto $\smile \colon H^{*}(X)\otimes H^{*}(X)\to H^{*}(X)$ en cohomología, conocido como producto de taza, porque $H^{*}(i)$ y $H^{*}(G)$ son isomorfismos. Reemplazo $G^{*}$ con $F^{*}$ entonces todos los mapas van de la misma manera, se obtiene el producto de taza estándar en cocadenas, dado explícitamente por
    $\alpha \otimes \beta \mapsto {\Big\sigma \mapsto (\alpha \otimes \beta )(F^{*}\Delta ^{*}\sigma )=\sum _{p=0}^{\dim \sigma }\alpha (\sigma |_{\Delta ^{[0,p]}})\cdot \beta (\sigma |_{\Delta ^{[p,\dim \sigma ]}}){\Big )}$,
que, desde la evaluación de cochain $C^{p}(X)\otimes C_{q}(X)\to k$ desaparece a menos que $p=q$, se reduce a la expresión más familiar.
Tenga en cuenta que si este mapa directo $C^{*}(X)\otimes C^{*}(X)\to C^{*}(X)$ de complejos de cocadenas fueran de hecho un mapa de álgebras graduadas diferenciales, entonces el producto de copa haría $C^{*}(X)$ un álgebra conmutativa graduada, que no lo es. Este hecho de que el mapa de Alexander – Whitney no sea un mapa de coalgebra es un ejemplo de la falta de disponibilidad de modelos conmutativos a nivel de cocadena para la cohomología en campos de características distintas de cero y, por lo tanto, es en cierto modo responsable de gran parte de la sutileza y complicación de la teoría de la homotopía estable.

## Generalizaciones

En el artículo siguiente de Andrew Tonks se ofrece una generalización importante para el caso no abeliano que utiliza complejos cruzados. Esto proporciona todos los detalles de un resultado sobre el espacio de clasificación (simplicial) de un complejo cruzado declarado, pero no probado en el artículo de Ronald Brown y Philip J. Higgins sobre la clasificación de espacios.

## Consecuencias

El teorema de Eilenberg-Zilber es un ingrediente clave para establecer el teorema de Künneth, que expresa los grupos de homología $H_{*}(X\times Y)$ en términos de $H_{*}(X)$ y $H_{*}(Y)$. A la luz del teorema de Eilenberg-Zilber, el contenido del teorema de Künneth consiste en analizar cómo se relaciona la homología del complejo tensorial producto con las homologías de los factores.