¿Todas las curvas homólogas a cero implican que el espacio está simplemente conectado? [duplicar]

El título lo dice todo. ¿Es cierto que si X es un espacio topológico en el que todos los bucles son homólogos a cero, entonces X es simplemente conexo, es decir, todos los bucles son homotópicos a cero?

Sé que el resultado es verdadero si X es un dominio en C , pero me pregunto si también es válido para espacios topológicos arbitrarios.

Además, tenga en cuenta que soy consciente de que, en general, un ciclo puede ser homólogo a cero sin ser homotópico a cero. Aquí estoy preguntando qué sucede en el caso de que todos los bucles sean homólogos a cero.

Respuestas (1)

No cuando el grupo fundamental es un grupo perfecto , porque el primer grupo de homología es igual a cero si y solo si el grupo fundamental es igual a su conmutador.

¿Y supongo que tenemos construcciones para hacer espacios razonables con los grupos fundamentales (razonables) que queramos?
Parece que cada grupo puede, de hecho, ser realizado como el grupo fundamental de un complejo CW de 2 dim. Consulte home.iitk.ac.in/~gabhi/MTH648Presentation.pdf
La esfera de homología de Poincaré es un ejemplo clásico.