Unrecognizability of Manifolds
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 d...
| Autor: | |
|---|---|
| Tipo de recurso: | tesis de maestría |
| Estado: | Versión aceptada para publicación |
| Fecha de publicación: | 2013 |
| País: | Colombia |
| Institución: | Universidad Nacional de Colombia |
| Repositorio: | Repositorio UN |
| Idioma: | español |
| OAI Identifier: | oai:repositorio.unal.edu.co:unal/11844 |
| Acceso en línea: | https://repositorio.unal.edu.co/handle/unal/11844 http://bdigital.unal.edu.co/9400/ |
| Access Level: | acceso abierto |
| Palabra clave: | 51 Matemáticas / Mathematics Geometry Topology Algebra Computability Superperfect Groups Homology Spheres Manifolds |
| id |
CO_c09401c8ef4e0c503a2f5d95bb9ee83f |
|---|---|
| oai_identifier_str |
oai:repositorio.unal.edu.co:unal/11844 |
| network_acronym_str |
CO |
| network_name_str |
Colombia |
| repository_id_str |
|
| dc.title.none.fl_str_mv |
Unrecognizability of Manifolds |
| title |
Unrecognizability of Manifolds |
| spellingShingle |
Unrecognizability of Manifolds Cadavid Aguilar, Natalia 51 Matemáticas / Mathematics Geometry Topology Algebra Computability Superperfect Groups Homology Spheres Manifolds |
| title_short |
Unrecognizability of Manifolds |
| title_full |
Unrecognizability of Manifolds |
| title_fullStr |
Unrecognizability of Manifolds |
| title_full_unstemmed |
Unrecognizability of Manifolds |
| title_sort |
Unrecognizability of Manifolds |
| dc.creator.none.fl_str_mv |
Cadavid Aguilar, Natalia |
| author |
Cadavid Aguilar, Natalia |
| author_facet |
Cadavid Aguilar, Natalia |
| author_role |
author |
| dc.contributor.none.fl_str_mv |
Parra Londoño, Carlos Mario (Thesis advisor) |
| dc.subject.none.fl_str_mv |
51 Matemáticas / Mathematics Geometry Topology Algebra Computability Superperfect Groups Homology Spheres Manifolds |
| topic |
51 Matemáticas / Mathematics Geometry Topology Algebra Computability Superperfect Groups Homology Spheres Manifolds |
| description |
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, n6.) 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. |
| publishDate |
2013 |
| dc.date.none.fl_str_mv |
2013 2019-06-25T00:32:17Z 2019-06-25T00:32:17Z |
| dc.type.none.fl_str_mv |
Trabajo de grado - Maestría info:eu-repo/semantics/masterThesis info:eu-repo/semantics/acceptedVersion http://purl.org/coar/resource_type/c_bdcc http://purl.org/coar/version/c_ab4af688f83e57aa Text http://purl.org/redcol/resource_type/TM |
| format |
masterThesis |
| status_str |
acceptedVersion |
| dc.identifier.none.fl_str_mv |
https://repositorio.unal.edu.co/handle/unal/11844 http://bdigital.unal.edu.co/9400/ |
| url |
https://repositorio.unal.edu.co/handle/unal/11844 http://bdigital.unal.edu.co/9400/ |
| dc.language.none.fl_str_mv |
spa |
| language |
spa |
| dc.relation.none.fl_str_mv |
Universidad Nacional de Colombia Sede Medellín Facultad de Ciencias Escuela de Matemáticas Matemáticas Matemáticas Cadavid Aguilar, Natalia (2013) Unrecognizability of Manifolds. Maestría thesis, Universidad Nacional de Colombia, Medellín. |
| dc.rights.none.fl_str_mv |
Derechos reservados - Universidad Nacional de Colombia Atribución-NoComercial 4.0 Internacional http://creativecommons.org/licenses/by-nc/4.0/ info:eu-repo/semantics/openAccess |
| rights_invalid_str_mv |
Derechos reservados - Universidad Nacional de Colombia Atribución-NoComercial 4.0 Internacional http://creativecommons.org/licenses/by-nc/4.0/ |
| eu_rights_str_mv |
openAccess |
| dc.format.none.fl_str_mv |
application/pdf application/pdf |
| dc.source.none.fl_str_mv |
reponame:Repositorio UN instname:Universidad Nacional de Colombia instacron:Universidad Nacional de Colombia |
| instname_str |
Universidad Nacional de Colombia |
| instacron_str |
Universidad Nacional de Colombia |
| institution |
Universidad Nacional de Colombia |
| reponame_str |
Repositorio UN |
| collection |
Repositorio UN |
| _version_ |
1825052006809600000 |
| spelling |
Unrecognizability of ManifoldsCadavid Aguilar, Natalia51 Matemáticas / MathematicsGeometryTopologyAlgebraComputabilitySuperperfect GroupsHomology SpheresManifoldsAbstract: 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, n6.) 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.MaestríaParra Londoño, Carlos Mario (Thesis advisor)2019-06-25T00:32:17Z2019-06-25T00:32:17Z2013Trabajo de grado - Maestríainfo:eu-repo/semantics/masterThesisinfo:eu-repo/semantics/acceptedVersionhttp://purl.org/coar/resource_type/c_bdcchttp://purl.org/coar/version/c_ab4af688f83e57aaTexthttp://purl.org/redcol/resource_type/TMapplication/pdfapplication/pdfhttps://repositorio.unal.edu.co/handle/unal/11844http://bdigital.unal.edu.co/9400/spaUniversidad Nacional de Colombia Sede Medellín Facultad de Ciencias Escuela de Matemáticas MatemáticasMatemáticasCadavid Aguilar, Natalia (2013) Unrecognizability of Manifolds. Maestría thesis, Universidad Nacional de Colombia, Medellín.Derechos reservados - Universidad Nacional de ColombiaAtribución-NoComercial 4.0 Internacionalhttp://creativecommons.org/licenses/by-nc/4.0/info:eu-repo/semantics/openAccessreponame:Repositorio UNinstname:Universidad Nacional de Colombiainstacron:Universidad Nacional de Colombia2023-04-18T15:21:12Z |
| score |
15.811543 |