Clasificación de 4-variedades contráctiles

¿Existe una clasificación de homeomorfismo general de 4-variedades topológicas contráctiles (posiblemente con límite o no compactas)?

En el caso compacto, cualquier variedad de este tipo tiene una homología de 3 esferas como límite (según Wikipedia ). Las 3 esferas de homología se pueden clasificar (a través de la geometrización de 3 variedades), por lo que tal vez también haya esperanza para una clasificación de los interiores.

Ni siquiera es realmente posible para 3 variedades, por lo que no hay esperanza en la dimensión 4. En realidad, ¿puedes incluso hacerlo en la caja compacta? Soy bastante escéptico. Nadie sabe aún qué homología de 3 esferas une a las variedades contráctiles (solo algunos casos especiales), y no está claro si alguna vez lo harán (dependiendo tal vez de lo que signifique "cuáles").
@MikeMiller Cuando dice que no es realmente posible para 3 variedades, ¿quiere decir "no tenemos ni idea" o "hay suficiente evidencia para sugerir que no hay una clasificación razonable"?
@Santana El último .

Respuestas (1)

Si trabaja en la categoría topológica y asume que sus variedades son compactas, entonces dos variedades compactas contráctiles de 4 W 1 , W 2 con límites homeomorfos W 1 , W 2 son homeomorfos. Esto se deduce, por ejemplo, del principal resultado de clasificación de Richard Stong:

R. Stong, 4-variedades simplemente conectadas con un límite dado. Aplicación de topología 52 (1993), núm. 2, 161–167.

En términos generales, Stong extendió el teorema de clasificación de Freedman al caso de 4-variedades compactas simplemente conectadas con límite.

(El caso especial de las variedades contráctiles podría haberse conocido antes, no estoy seguro).

Por lo tanto, si cree que las esferas de homología de enteros tridimensionales están "clasificadas", entonces también lo están las 4 variedades compactas topológicas contráctiles. (Personalmente, considero que el problema de clasificación de las esferas de homología de enteros que son 3 variedades hiperbólicas es irremediablemente complicado. Pero módulo este problema, sí, "sabemos" qué son las esferas de homología tridimensional). Por supuesto, una clasificación hasta el difeomorfismo de 4-variedades suaves con el límite dado está más allá del alcance en este punto.

Mis comentarios anteriores son tontos, ya que se refieren a la categoría diferenciable. Por supuesto, Freedman demostró que toda 3-esfera de homología entera limita una 4-variedad topológica contráctil . Gracias por publicar esto.