Escudo de la República de Colombia
Sistema Nacional de Biliotecas - Repositorio Institucional Universidad Nacional de Colombia Biblioteca Digital - Repositorio Institucional UN Sistema Nacional de Bibliotecas UN

Unrecognizability of Manifolds

Cadavid Aguilar, Natalia (2013) Unrecognizability of Manifolds. Maestría thesis, Universidad Nacional de Colombia, Medellín.

Texto completo

Vista previa
PDF - Versión Aceptada
Available under License Creative Commons Attribution Non-commercial No Derivatives.



Abstract: One of the fundamental problems of topology is to decide, given two topological spaces, whether or not they are homeomorphic. This problem is known as the Homeomorphism Problem. To effectively answer this question one must first specify how a manifold is described and be sure that such a description is suitable for input into a computing device. The next step will be to come up with a general effective procedure to answer this question when applied to a sufficiently general class of spaces, of a specific dimension n > 3 (PL manifolds, smooth manifolds, etc.) In this generality, it turns out that for compact PL manifolds, the homeomorphism problem is undecidable for spaces of dimension n > 4, as was proved by A.A Markov (Mar58). Furthermore, a dramatic improvement of the previous result was discovered by S. P. Novikov (VKF74, pg.169) in the sense that for n > 5, it is impossible to recognize the n-sphere, and in fact the same holds for any compact n-dimensional smooth manifold. The main purpose of this monograph is to present, for those readers with a basic background in algebra and topology, a detailed and accessible proof of S.P. Novikov's result. We follow the exposition that appears in the appendix of (Nab95). As a guide to the reader we offer an outline of the main points developed in our treatment. First, we prove the algorithmic unrecognizability of the n-sphere for n > 5, according to the following steps: 1. We start from a finite presentation of a group G with unsolvable word problem. 2. Using the presentation for G we build a sequence of finitely presented groups {Gi} such that {Gi} is an Adian-Rabin sequence. 3. Following Novikov, we modify the sequence {Gi} and obtain a new sequence of finitely presented groups {G’i} which have trivial first and second homology, such that {G’i} is an Adian-Rabin sequence, i.e., we obtain a Novikov sequence. 4. Next, we construct a sequence of compact non-singular algebraic hypersurfaces Si C Rn+1, so that Si is a homology sphere and (pi)1(Si) = G’i. Moreover this is done in such a way that Si is diffeomorphic to Sn if and only if G’i is trivial. (From The Generalized Poincaré Conjecture and The Characterization of the smooth n-disc Dn, n>6.) 5. Finally, arguing by contradiction, we assume that the n-sphere is algorithmically recognizable. Thus, if we apply this presumed algorithm to the elements of the sequence {Si} we could determine which of them are diffeomorphic to the n-sphere. This in turn would allow us to single out the trivial elements of the given Novikov sequence, but this is clearly impossible. As a final step, we apply the previous result to stablish the unrecognizability of the compact smooth n-manifolds, n > 5, according to the following steps: 1. Assume for simplicity that M0 is a connected n-dimensional manifold that can be effectively recognized among the class of all compact n-dimensional manifolds. 2. Fix a compact n-dimensional manifoldM effectively generated from a Novikov sequence of groups and define M1 = M0#M. 3. Apply to M1 the procedure to recognize M0. 4. If the answer is No, then M is not a sphere. 5. If the answer is Yes, note that (pi)1(M) = 1 and then conclude that M is the sphere, since the only simply connected n-manifold generated from a Novikov sequence is the n-sphere. 6. From 4 and 5, an effective procedure to recognize M0 will allow us to recognize the n-sphere, which is a contradiction.

Tipo de documento:Tesis/trabajos de grado - Thesis (Maestría)
Colaborador / Asesor:Parra Londoño, Carlos Mario
Información adicional:Magíster en Ciencias Matemáticas
Palabras clave:Geometry, Topology, Algebra, Computability, Superperfect Groups, Homology Spheres, Manifolds
Temática:5 Ciencias naturales y matemáticas / Science > 51 Matemáticas / Mathematics
Unidad administrativa:Sede Medellín > Facultad de Ciencias > Escuela de Matemáticas > Matemáticas
Código ID:9400
Enviado por : Biblioteca Sede Medellín Universidad Nacional de Colombia
Enviado el día :20 May 2013 19:53
Ultima modificación:20 May 2013 19:53
Ultima modificación:20 May 2013 19:53
Exportar:Clic aquí
Estadísticas:Clic aquí

Solamente administradores del repositorio: página de control del ítem

Vicerrectoría de Investigación: Número uno en investigación
Indexado por:
Indexado por Scholar Google WorldCat DRIVER Metabiblioteca OAIster BASE BDCOL Registry of Open Access Repositories SNAAC Red de repositorios latinoamericanos eprints Open archives La referencia Tesis latinoamericanas OpenDOAR CLACSO
Este sitio web se ve mejor en Firefox