Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2014. / Submitted by Larissa Stefane Vieira Rodrigues (larissarodrigues@bce.unb.br) on 2014-10-20T18:16:50Z No. of bitstreams: 0 / Rejected by Tania Milca Carvalho Malheiros(tania@bce.unb.br), reason: Não há arquivo anexado e os metadados não foram preenchidos on 2014-10-20T18:34:46Z (GMT) / Submitted by Larissa Stefane Vieira Rodrigues (larissarodrigues@bce.unb.br) on 2015-02-27T16:19:21Z No. of bitstreams: 1 2014_JhoelEstebanySandovalGutierrez.pdf: 2045435 bytes, checksum: 3fb6b90b820cf939c6631ae5acbed3b0 (MD5) / Approved for entry into archive by Raquel Viana(raquelviana@bce.unb.br) on 2015-03-11T18:43:10Z (GMT) No. of bitstreams: 1 2014_JhoelEstebanySandovalGutierrez.pdf: 2045435 bytes, checksum: 3fb6b90b820cf939c6631ae5acbed3b0 (MD5) / Made available in DSpace on 2015-03-11T18:43:10Z (GMT). No. of bitstreams: 1 2014_JhoelEstebanySandovalGutierrez.pdf: 2045435 bytes, checksum: 3fb6b90b820cf939c6631ae5acbed3b0 (MD5) / Neste trabalho estudamos a classificação das 3-variedades compactas e conexas com bordo incompressível toral cujos grupos fundamentais são residualmente livres não triviais. Particularmente, se uma 3-variedade M é prima, orientável e possui grupo fundamental residualmente livre não trivial, então M é homeomorfa à Σ x S^1, onde Σ ≠D^2 é uma superfície. Exporemos a demonstração feita por Henry Wilton em |35|. / In this work we study the classi cation of compact and connected 3-manifolds with incompressible toral boundary whose fundamental groups are residually free non-trivial. Particularly, if a 3-manifold M is prime and orientable and has fundamental group residually free non-trivial then M is homeomorphic to Σ x S^1, where Σ ≠D^2 is a surface. We exhibit the demonstration obtained by Henry Wilton in |35|.

Submitted by JOÃO DAMASCENO DE OLIVEIRA MARQUES null (damascenomarques@ifma.edu.br) on 2017-01-05T00:21:04Z No. of bitstreams: 1 dissertacao_TFA.pdf: 664238 bytes, checksum: d5c4c0d2b31fcd154bf225146e1c3eeb (MD5) / Approved for entry into archive by Juliano Benedito Ferreira (julianoferreira@reitoria.unesp.br) on 2017-01-06T16:46:10Z (GMT) No. of bitstreams: 1 marques_jo_me_rcla.pdf: 664238 bytes, checksum: d5c4c0d2b31fcd154bf225146e1c3eeb (MD5) / Made available in DSpace on 2017-01-06T16:46:10Z (GMT). No. of bitstreams: 1 marques_jo_me_rcla.pdf: 664238 bytes, checksum: d5c4c0d2b31fcd154bf225146e1c3eeb (MD5) Previous issue date: 2016-12-20 / O objetivo principal deste trabalho é a demonstração do Teorema Fundamental da Álgebra por meio da Teoria de Homotopia. Esta teoria é uma das mais importantes da Topologia Algébrica. Para um melhor entendimento do tema faz-se uma retomada de algumas definições de Topologia Geral, em seguida estuda-se tópicos de homotopia e também o tema a eles relacionado, denominado Grupo Fundamental. De posse destas ideias demonstra-se o Teorema Fundamental da Álgebra. O texto tem como principal referência o livro [5]. / The main objective of this work is the proof of the Fundamental Theorem of Algebra through the Homotopy Theory. This theory is one of the most important in Algebraic Topology. For a better understanding of the subject one recalls some definitions of General Topology, next it is studied homotopy topics and also a related subject, namely Fundamental Group. Making use of these concepts the proof of Fundamental Theorem of Algebra is shown. The main reference for the text is the book [5].

Submitted by Natalia de Souza Gonçalves (natalia.goncalves@ufpe.br) on 2015-05-08T13:12:46Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) dissertation.pdf: 1398032 bytes, checksum: ba6c27cf093110dd1dcf9fea1b529c41 (MD5) / Made available in DSpace on 2015-05-08T13:12:46Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) dissertation.pdf: 1398032 bytes, checksum: ba6c27cf093110dd1dcf9fea1b529c41 (MD5) Previous issue date: 2014-02-27 / CNPq / Em abril de 2013, o Programa de Fundamentos Univalentes do IAS, Princeton, lançou o primeiro livro em teoria homotópica de tipos, apresentando várias provas de resultados da teoria da homotopia em “um novo estilo de ‘teoria de tipos informal’ que pode ser lida e entendida por um ser humano, como um complemento à prova formal que pode ser checada por uma máquina”. O objetivo desta dissertação é dar uma abordagem mais detalhada e acessível a algumas dessas provas. Escolhemos como leitmotiv uma versão tipoteórica (originalmente proposta por Michael Shulman) de uma prova padrão de 1(S1) = Z usando espaços de recobrimento. Um ponto crucial dela é o uso do “lema do achatamento” (flattening lemma), primeiramente formulado em generalidade por Guillaume Brunerie, cujo enunciado é bem complicado e cuja a prova é difícil, muito técnica e extensa. Enunciamos e provamos um caso particular desse lema, restringindo-o à mínima generalidade exigida pela demonstração de 1(S1) = Z. Também simplificamos outros resultados auxiliares, adicionamos detalhes a algumas provas e incluímos algumas provas originais de lemas simples como “composição de mapas preserva homotopia”, “contrabilidade é uma invariante homotópica”, “todo mapa entre tipos contráteis é uma equivalência”, etc.

Submitted by Charles dos Anjos Moreira null (charles.anjos@hotmail.com) on 2017-11-30T00:05:25Z No. of bitstreams: 1 Versão Final - Charles dos Anjos Moreira.pdf: 1350502 bytes, checksum: bbaf5a250d792183c0b0e14bfc5f34dd (MD5) / Approved for entry into archive by Adriana Aparecida Puerta null (dripuerta@rc.unesp.br) on 2017-11-30T12:32:37Z (GMT) No. of bitstreams: 1 moreira_ca_me_rcla.pdf: 1350502 bytes, checksum: bbaf5a250d792183c0b0e14bfc5f34dd (MD5) / Made available in DSpace on 2017-11-30T12:32:37Z (GMT). No. of bitstreams: 1 moreira_ca_me_rcla.pdf: 1350502 bytes, checksum: bbaf5a250d792183c0b0e14bfc5f34dd (MD5) Previous issue date: 2017-11-01 / Esse trabalho trata de elementos da Topologia Algébrica, a qual tem como fundamental aplicação abordar questões acerca de Espaços Topológicos sob o ponto de vista algébrico. Uma das questões é tentar responder se dois espaços topológicos X e Y são homeomorfos. Neste sentido, o grupo fundamental é uma ferramenta algébrica útil por se tratar de um invariante topológico. Além disso, apresentamos o Teorema de van Kampen do ponto de vista da Linguagem de Categorias e Funtores. / This work treats of elements of the Algebraic Topology, which has as fundamental application to approach subjects concerning Topological Spaces under the algebraic point of view. One of the subjects is to try to answer if two topological spaces X and Y are homeomorphics. In this sense, the fundamental group is an useful algebraic tool for treating of an topological invariant. In addition, we presented the van Kampen's Theorem of the point of view of the language of Categories and Functors.

James W. Alexander, no artigo[1],mostra que se tivermos um mergulho PL f : \'S POT. 1\' × \'S POT. 1\' \'S POT. 3\', então o fecho de uma das componentes conexas de \'S POT. 3\' f(\'S POT. 1\' × \'S POT. 1\') é homeomorfo a um toro sólido, isto é, homeomorfo a \'S POT. 1\' × \'D POT. 2\'. Este teorema ficou conhecido por Teorema do toro de Alexander. Nesta dissertação, estamos detalhando a demonstração deste teorema feita em[25] que é diferente da demonstração apresentada em [1]. Mais geralmente, para um mergulho diferenciável f : \'S POT. p\' × \'S POT. q\' \'S POT. p + q+1\' , demonstra-se que o fecho de uma das componentes conexasde \'S POT. p +q + 1\' f(\'S POT. p\' × \'S POT. q\') é difeomorfo a \'S POT. p\' × \'D POT. q + 1\' se p q 1 e p + q \'DIFERENTE DE\' 3 ou se p = 2 e q = 1 um dos fechos será homeomorfo a \'S POT. 2\' × \'D POT. 2\' , nesta dissertação estaremos também detalhando estas demonstrações feita em [20] / James W. Alexander shows in[1] that the closure of one of the two connected components of \'S POT. 3\'f( \'S POT. 1 × \'S POT. 1\') is homeomorphic to a solid torus \'S POT. 1\' × \'D POT. 2\' , where f : \'S POT. 1\' ×\' SPOT. 1\' \'S POT. 3\' is a PL embedding. This result became known as Alexanders torus theorem. In this dissertation we are detailing the proof of this theorem made in[25] which is different from the demonstration presented in[1]. More generally, when considering a smooth embeding f : \'S POT. p\' × \'S POT. q\' \' SPOT. p+q+1\' , it is demonstrated that the closure of one of the two connected components \'S POT. p+q+1\' f (\'S POT. p\' × \'S POT. q\' ) is diffeomorphic to \'S POT. p\' × \'D POT. q+1\' if p q 1 and p+q \'DIFFERENT OF\' 3 or if p = 2 and q = 1 one of the closures will be homeomorphic to \'S POT. 2\' × \'D POT. 2\'. In this work we are also detailing the proves made in[20]

El objetivo de la tesis es el calculo efectivo de la monodromía geométrica y en el grupo fundamental, de familias de superficies de Riemann compactas conexas (curvas algebraicas complejas) de género 4. Este estudio se extiende a otros desarrollados hasta la fecha en los marcos de la Geometría Algebraica, Topología Diferencial y Simpléctica, que estudian esta monodromía geométrica y en el grupo fundamental para familias de superficies de Riemann de hasta género 2, usando la estructura elíptica/hiperelíptica de tales familias. El salto de género 2 a género 4 se realiza para aprovechar la estructura trigonal (de recubrimiento triple de la esfera de Riemann) que tienen las curvas en género 4. Tal curva genérica tiene dos estructuras trigonales, en una familia genérica se puede hacer un cambio de base 2:1 para conseguir pegar las estructuras de recubrimiento trigonal de las fibras y obtener una familia de recubrimientos trigonales de la esfera de Riemann. El recubrimiento trigonal genérico para curvas de género 4 tiene 12 puntos de ramificación simple. Esto significa, en una familia de recubrimientos trigonales hay un divisor de grado relativo 12 en la familia de esferas de Riemann recubiertas, denominado divisor de ramificación, tal que la monodromía de trenzas de este divisor determina la monodromía geométrica y en el grupo fundamental de la familia. El resultado teórico principal de esta memoria es la construcción de una familia universal de curvas trigonales de género 4, bajo el esquema de recubrimientos trigonales de Hurwitz, pero de dimensión más reducida, monodromía geométrica calculable, y que mantiene una propiedad de universalidad topológica: toda familia de recubrimientos trigonales de género 4 se obtiene por pullback de una aplicación de la base a la de esta familia universal, más deformación. Completa el resultado teórico principal el cálculo de la monodromía geométrica y en el grupo fundamental de esta familia. Este cálculo se hace siguiendo la monodromía de trenzas del divisor de ramificación de la familia, y levantando esta monodromía de las esferas de Riemann a sus cubiertas triples. El cálculo de la monodromía en el grupo fundamental de la familia no ha podido ser completado desde el punto de vista lógico, debido a una conjetura sobre el estabilizador de una acción del grupo de trenzas en el esquema de Hurwitz de cubiertas triples. Sin embargo, los cálculos realizados permanecen válidos sea cual sea la respuesta; en caso de ser cierta implica que el cálculo realizado es toda la monodromía de la familia universal y lo contrario significaría que hay que añadir algunos cálculos de monodromía análogos a los aquí realizados. Los resultados teóricos de la tesis se completan con trabajo de computación para realizar cálculos efectivos de monodromía geométrica en el grupo fundamental en las familias de curvas de género 4. Primero, se desarrolla una librería de funciones para el programa Singular que hallan la estructura trigonal de curvas de género 4 a partir de su ecuación canónica y con la ayuda de un cálculo auxiliar en Pari-GP, determinan el divisor de ramificación relativo de una familia de curvas de género 4 canónicas (no hiperelípticas). En la tesis se aplica esta librería al cálculo de estructuras trigonales y divisores de ramificación en familias de curvas de género 4, tanto ejemplos académicos como familias de interés geométrico: - la familia de curvas de género 4 que describe un pincel de Lefschetz en la superficie K3 de género 4 (cuya monodromía geométrica es necesaria para demostrar la versión de Paul Seidel de la conjetura de la 'Mirror Symmetry'), - una familia de curvas de género 4 deformación de la curva de Bring (la única curva de género 4 que tiene grupo de simetrías de orden 5). Segundo, se desarrolla una librería de funciones para el programa MATLAB que calculan la monodromía de trenzas de un divisor en C^2. Este cálculo se inicia en la integración de un sistema de ecuaciones diferenciales ordinarias a valores complejos, que sigue la evolución de las ramas del divisor, para el que se ha desarrollado un integrador numérico de paso variable combinando un método de Runge-Kutta con el uso de la ecuación del divisor como integral primera de las soluciones para el control del paso. Este sistema de ecuaciones se integra sobre un sistema de generadores del grupo fundamental de la base obtenido a partir de una descomposición celular de Voronoi asociada a los valores de ramificación de la familia, y finalmente se identifica la monodromía de trenzas a partir del análisis de la posición de las ramas del divisor a lo largo de los caminos escogidos en la base. Esta librería funciona correctamente para divisores de grados hasta 6-8 en el plano. Se ilustra en la tesis mediante su aplicación a ejemplos académicos, completa con representación e identificación de las monodromías de trenzas en estos ejemplos. / The objetive of the thesis is the actual calculation of the geometric monodromy and the fundamental group of families of related compact Riemann surfaces (complex algebraic curves) of genus 4. This study extends to other developed so far within the framework of algebraic geometry, differential and symplectic topology, studying this geometric monodromy and fundamental group for families of Riemann surfaces of genus 2, using the elliptical structure / hyperelliptic of such families. The jump from genre 2 to genre 4 is performed to take advantage of the trigonal structure (triple coating of the Riemann sphere) with the curves in genus 4. Such a generic curve has two trigonal structures in a generic family can make a base change 2:1 to get hit trigonal structures coating the fibers and obtain a family of trigonal coverings of the Riemann sphere. The coating generic trigonal curves of genus 4 has 12 simple branch points. This means, in a family of trigonal coverings is a divisor of relative degree 12 in the family of Riemann spheres coated, called branching divisor, such that the braid monodromy of this divisor determines the geometric monodromy on the fundamental group of family. The main theoretical result of this report is to construct a universal family of trigonal curves of genus 4, under the scheme trigonal Hurwitz coatings, but smaller scale, geometric monodromy calculable, and maintains a topological property of universality: all family of coatings gender trigonal 4 is obtained by pullback of an application to the base of this universal family, the more distortion. Complete the main theoretical result calculating the geometric monodromy and the fundamental group of this family. This calculation is made following the braid monodromy of the branch divisor of the family, and raising the monodromy of the Riemann spheres of their triple decks. The calculation of the monodromy on the fundamental group of the family has not been completed from the logical point of view, due to a conjecture about the stabilizer of a braid group action in the Hurwitz scheme covers triples. However, the calculations remain valid whatever the answer should be true implies that the calculation is all the monodromy of the universal family and it would mean we must add some monodromy calculations similar to those made here. The theoretical results of the thesis is completed with computer work for geometric monodromy effective calculations in the fundamental group in families of curves of genus 4. First, we developed a library of functions for the program Singular which are the structure of trigonal curves of genus 4 from its canonical equation and with the help of an auxiliary calculation Pari-GP, determine the relative branching divisor of a family of canonical curves of genus 4 (not hyperelliptic). The thesis applies this library to the trigonal structure calculation and branching divisors in families of curves of genus 4, both academic and family examples of geometric interest: - The family of curves of genus 4 which describes a Lefschetz brush on the surface K3 genus 4 (whose geometric monodromy is needed to prove Paul Seidel version of the conjecture of the 'Mirror Symmetry') - A family of curves of genus 4 curve deformation Bring (the only curve of genus 4 having symmetry group of order 5). Second, develop a library of functions for the MATLAB program to compute the braid monodromy of a divisor in C ^ 2. This calculation starts on the integration of a system of ordinary differential equations with complex values, which follows the evolution of the branches of the splitter, for which we have developed a numerical integrator by combining a variable step Runge-Kutta method with the equation using the first integral divisor of solutions for pitch control. This system of equations is integrated on a system of generators of the fundamental group of the base obtained from a Voronoi cell decomposition associated with the values of branching of the family, and finally identifies the braid monodromy from the analysis of the position of the branches of the divider along the paths chosen in the base. This library works well for divisors up to 6-8 degrees in the plane. The thesis is illustrated by application to academic examples, complete with representation and identification of the braid monodromy in these examples

James W. Alexander, no artigo[1],mostra que se tivermos um mergulho PL f : \'S POT. 1\' × \'S POT. 1\' \'S POT. 3\', então o fecho de uma das componentes conexas de \'S POT. 3\' f(\'S POT. 1\' × \'S POT. 1\') é homeomorfo a um toro sólido, isto é, homeomorfo a \'S POT. 1\' × \'D POT. 2\'. Este teorema ficou conhecido por Teorema do toro de Alexander. Nesta dissertação, estamos detalhando a demonstração deste teorema feita em[25] que é diferente da demonstração apresentada em [1]. Mais geralmente, para um mergulho diferenciável f : \'S POT. p\' × \'S POT. q\' \'S POT. p + q+1\' , demonstra-se que o fecho de uma das componentes conexasde \'S POT. p +q + 1\' f(\'S POT. p\' × \'S POT. q\') é difeomorfo a \'S POT. p\' × \'D POT. q + 1\' se p q 1 e p + q \'DIFERENTE DE\' 3 ou se p = 2 e q = 1 um dos fechos será homeomorfo a \'S POT. 2\' × \'D POT. 2\' , nesta dissertação estaremos também detalhando estas demonstrações feita em [20] / James W. Alexander shows in[1] that the closure of one of the two connected components of \'S POT. 3\'f( \'S POT. 1 × \'S POT. 1\') is homeomorphic to a solid torus \'S POT. 1\' × \'D POT. 2\' , where f : \'S POT. 1\' ×\' SPOT. 1\' \'S POT. 3\' is a PL embedding. This result became known as Alexanders torus theorem. In this dissertation we are detailing the proof of this theorem made in[25] which is different from the demonstration presented in[1]. More generally, when considering a smooth embeding f : \'S POT. p\' × \'S POT. q\' \' SPOT. p+q+1\' , it is demonstrated that the closure of one of the two connected components \'S POT. p+q+1\' f (\'S POT. p\' × \'S POT. q\' ) is diffeomorphic to \'S POT. p\' × \'D POT. q+1\' if p q 1 and p+q \'DIFFERENT OF\' 3 or if p = 2 and q = 1 one of the closures will be homeomorphic to \'S POT. 2\' × \'D POT. 2\'. In this work we are also detailing the proves made in[20]