Representación finita de variedades compactas

Abstract

Un logro notable de la topología algorítmica es el resultado de A.A. Márkov sobre la insolubilidad del problema del homeomorfismo para variedades. Posteriormente, Boone, Haken y Poénaru extendieron la idea original de Márkov al caso de variedades suaves cerradas. Una primera dificultad era la introducción de una representación finita de una variedad diferenciable o combinatórica que la describiese de forma natural. En este trabajo extendemos dicha representación a variedades suaves compactas y proponemos una definición de variedad suave representable. Para citar este artículo: C.M Parra, J. Suárez Ramírez, Representación finita de variedades compactas, Rev. Integr. Temas Mat. 33 (2015), No. 2, 97–105.

Keywords

• Computabilidad y teoría de la recursión
• topología algorítmica
• variedades suaves.