En la década de 1970 y en la década de 1980, Michael Freedman mostraron una relación entre la topológico de la cirugía problema en 4 dimensiones, la rebanada problema de los enlaces, y la clasificación de no-simplemente-conectado 4-variedades. Él también mostró el fracaso de 4-dimensional de homología de la cirugía y la homología de la división teorema a través de una construcción realmente no seguir (porque yo no lo he leído y no sé la referencia original, para una cosa). Sé de estos resultados vagamente, pero no entienden ellos (ciertamente no la pruebas). En particular, no conozco la "canónica" de referencias, y MathSciNet no parece estar ayudando a mí. Parecen básicas de resultados en 4-colector de la topología, que seguramente debe ser el estándar. Hay una encuesta en papel en estas cosas, o es en algún libro? ¿Cuál es la mejor referencia?
Yo debería de saber esto (o buscar yo mismo), pero quizás es más útil para publicar aquí, porque tal vez no estoy solo en mi confusión.