Dejemos que $X$ sea una cuatromanifolda lisa y compacta con forma de intersección definida no trivial. ¿Puede la cubierta universal de $X$ ¿se puede contraer?
Me parece que la respuesta es negativa cuando $X$ se conecta simplemente utilizando los resultados de Freedman y Donaldson. ¿Se sabe algo cuando $X$ no está simplemente conectado? Donaldson demostró que también en este caso la forma de intersección es diagonalizable sobre $\mathbb Z$ .