Recientemente se ha tratando de entender las pruebas de Gompf y Akbulut que cierto 4-colectores se $S^4$ (estos 2 artículos: Gompfs papel en la Topología Vol. 30 Problema. 1, Akbulut). En el que se utiliza un ingenioso 2 y 3 de la manija de la cancelación de par para reducir el Kirby diagramas asociados a estos colectores.
La parte de la prueba de que no acabo de entender es la forma en que el 2 de manejar, se añade.
En una inédita libro sobre Akbulut la página web del Libro.pdf afirma en la página.14/15),
"Aviso de que desde el 3 de asas están conectados de forma exclusiva, la introducción de una cancelación de 2 - y 3 - manija de la pareja es mucho más simple operación. Acabamos de sacar la 2-manejar como 0-enmarcado unknot, que es $S^2 × B^2$, y luego declarar que hay una cancelación de 3-mango en la parte superior de la misma. En un identificador de imagen de 4-colector, ningún otro se encarga debe ir a través de este 0-enmarcado unknot a ser capaz de cancelar con un 3-manejar."
Una definición similar para la cancelación de un 2-3 manejar par se da en la p.146 de 4 Colectores y Kirby Cálculo por Gompf y Stipsicz.
Mi problema es que en ambos los papeles por encima de ellos agregar en un 2-3 manija de la pareja, pero el 2 manija se dibujan de tal manera que se pasa a través de un 1 mango, que parece contradecir la anterior cancelación de criterios. Si alguien pudiera explicar esto para mí sería muy apreciado.
