• Correo ElectrónicoCorreo Electrónico
  • Dirección Nacional de Información AcadémicaDNINFOA - SIA
  • BibliotecaBibliotecas
  • ConvocatoriasConvocatorias
  • Identidad U.N.Identidad U.N.
Escudo de la República de ColombiaEscudo de la República de Colombia
  • English 
    • español
    • English
    • português (Brasil)
  • Aspirantes
  • Estudiantes
  • Egresados
  • Docentes
  • Administrativos
repositorio.unal.edu.co
Bibliotecas
  • Mapa de sedes
  • Amazonía
  • Bogotá
  • Caribe
  • Manizales
  • Medellín
  • Orinoquía
  • Palmira
Biblioteca Digital
  • Repositorio Institucional
  • Entrega de tesis y publicación en línea
  • Digitalización de documentos
  • Normatividad publicación en línea
  • Portal de Revistas UN
  • Suscripción a contenidos UN
  • Contáctenos
Recursos Bibliográficos
  • Recursos electrónicos
  • Catálogo UN
  • Diccionarios y enciclopedias
  • Herramientas bibliográficas
  • Libros electrónicos
  • Descubridor
  • Índices bibliográficos
  • Adquisicion de material bibliografico
Formación
  • Agenda de formación
  • Solicitud de nuevo taller
  • Guía de autoarchivo de documentos
Acerca de
  • Misión y visión
  • Dirección Nacional de Bibliotecas
  • Convenios y redes
  • Video del Sinab
  • Preguntas frecuentes
Sedes
  • Amazonia
  • Bogotá
  • Caribe
  • De La Paz
  • Manizales
  • Medellín
  • Orinoquia
  • Palmira
  • Tumaco
Servicios
Perfiles
Home
    • español
    • English
    • português (Brasil)
  • Login
View Item 
  •   Institutional Repository of Universidad Nacional
  • 1- Tesis y Disertaciones
  • Sede Medellín
  • Facultad de Ciencias
  • Escuela de matemáticas
  • View Item
  •   Institutional Repository of Universidad Nacional
  • 1- Tesis y Disertaciones
  • Sede Medellín
  • Facultad de Ciencias
  • Escuela de matemáticas
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Unrecognizability of Manifolds

Thumbnail
1040730923.2013.pdf (707.0Kb)
Date published
2013
Author
Cadavid Aguilar, Natalia
Metadata
Show full item record

Summary
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.
Subject
Geometry ; Topology ; Algebra ; Computability ; Superperfect Groups ; Homology Spheres ; Manifolds ;
URI
https://repositorio.unal.edu.co/handle/unal/11844
Collections
  • Escuela de matemáticas [165]

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesKnowledge AreasThis CollectionBy Issue DateAuthorsTitlesKnowledge Areas

My Account

LoginRegister

Statistics

View Google Analytics Statistics
Régimen Legal
Talento humano
Contratación
Ofertas de empleo
Rendición de cuentas
Concurso docente
Pago Virtual
Control interno
Calidad
Buzón de notificaciones
Correo institucional
Mapa del sitio
Redes Sociales
FAQ
Quejas y reclamos
Atención en línea
Encuesta
Contáctenos
Estadísticas
Glosario

Contacto página web:
Carrera 45 # 26-85
Edif. Uriel Gutiérrez
Bogotá D.C., ; Colombia
(+57 1) 316 5000

© Copyright 2014
Algunos derechos reservados.
mediosdigitales@unal.edu.co
Acerca de este sitio web

Actualización: 04/10/19

Orgullo UNOrgullo UNAgencia de noticiasAgencia de noticias
Trámites en líneaContaduría General de la República