Deje X ser un buen espacio (múltiple, CW-complejos, lo que usted prefiera). Me preguntaba si hay una computable relación entre la homología de ΩX, el bucle espacio de X, y la homología de X. Sé que, casi por definición, la homotopy grupos son los mismos (pero desplazado una dimensión). Debido a que la relación entre homotopy y grupos de homología de grupos es muy difícil, espero que la homología de ΩX es muy difícil de calcular en general. Referencias sería genial.
Respuestas
¿Demasiados anuncios?Idea General para el cálculo de H(ΩX) (debido a la Serre, AFAIK), es considerar un (Serre) fibration ΩX→PX≅pt→X y el uso de Leray-Serre espectral de la secuencia (permite, en particular, para calcular fácilmente (al menos, en simplemente conectado caso) H(ΩX;Q); cohomology con coeficientes enteros son, de hecho, más complicada). Es discutido, creo, en ningún libro de texto que cubren LSSS - por ejemplo, en Hatcher.
Adams y Hilton dio un functorial manera de describir la homología anillo de H∗(ΩX) en términos de la homología H∗(X), al menos cuando se X es simplemente conectado a CW complejo con un 0-célula y no 1-de las células. Usted encontrará una más moderna de la discusión de su construcción aquí.