Orientador: Thaís Fernanda Mendes Monis / Banca: Thiago de Melo / Banca: Daniel Vendrúscolo / Resumo: Neste trabalho nós estudamos o seguinte resultado: para um espaço métrico compacto X, de dimensão n, o subespaço dos mergulhos de X em R2n é denso no espaço das funções contínuas de X em R2n se, e somente se, dim(X x X)<2n. A demonstração apresentada é aquela dada por J. Krasinkiewicz e por S. Spiez / Abstract: In this work we study the following result: given a compact metric space X of dimension n, the subspace consisting of all embeddings of X into R2n is dense in the space of all continuous maps of X into R2n if and only if dim(X x X)<2n. The presented proof is the one given by J. Krasinkiewicz e por S. Spiez / Mestre

Orientador: Parham Salehyan / Banca: Eduardo Tengan / Banca: Trajano Pires da Nóbrega Neto / Resumo: O objetivo desde trabalho e estimar um cota para o n umero de pontos racionais de uma curva. Observando as várias semelhanças entre o anel dos inteiros e o anel dos polinômios em uma variável, iremos usar ferramentas da teoria dos números para resolver um problema da geometria algébrica. Desta fusão nasce uma das mais nobres areas da matemática: a geometria aritmética. Fazendo uso do célebre teorema de Riemann-Roch e das ferramentas da teoria dos números demonstraremos a hipótese de Riemann para a funço-zeta de uma curva não singular e qual consequência tal hipótese tem para a contagem de pontos racionais de uma curva / Abstract: The aim of this work is to estimate a bound for the number of rational points of a curve. Observing the various similarities between the ring of integers and the ring of polynomials in one variable, we use tools from number theory to solve a problem of algebraic geometry. From this merger is born one of the noblest areas of mathematics: arithmetic geometry. Making use of the famous Riemann-Roch's theorem and tools of number theory we demonstrate the Riemann hypothesis for the zeta-function of a nonsingular curve and which consequence this hypothesis has to count rational points on a curve / Mestre

Orientador: Ermínia de Lourdes Campello Fanti / Banca: Oziride Manzoli Neto / Banca: Maria Gorete Carreira Andrade / Resumo: Para todo grupo G infinito, finitamente gerado, pode-se obter para o invariante algébrico "end", mais precisamente o número de ends e(G), uma fórmula cohomológica 1-dimensional. O principal objetivo deste trabalho é apresentar, sob certas hipóteses, uma fórmula cohomológica 1-dimensional para o invariante algébrico e(G,H), definido por Scott e Houghton, onde H é um subgrupo de G (Teorema de Swarup). Para tanto, o conceito de subconjunto H-quase invariante de G e resultados como a interpretação do grupo de cohomologia H1(G,M) em termos de derivações (à direita), onde M é um ZG-módulo, e o Lema de Shapiro, são resultados imprescindíveis. Algumas relações desses invariantes com ends de espaços são também apresentadas. / Abstract: For all infinite group G, finitely generated, one can obtain for the algebric invariant "end", more precisely the number of ends e(G), a cohomological 1-dimensional formula. The main objective of this work is to present, under certain hypotheses, a cohomological 1-dimensional formula for the algebric invariant e(G,H), defined by Scott and Houghton, where H is a subgroup of G (Swarup's Theorem). In order to do so, the concept of subset H-almost invariant of G and results like the interpretation of the cohomological group H1(G,M) in terms of derivations (to the right), where M is a ZG-module, and the Shapiro's Lemma, are fundamental results. Some relations of these invariants with space ends are also presented. / Mestre

Orientador: Ermínia de Lourdes Campello Fanti / Banca: Luiz Queiroz Pergher / Banca: Maria Gorete Carreira Andrade / Resumo: O objetivo principal deste trabalho é estudar a Teoria de Cohomologia de Grupos visando apresentar de forma detalhada algumas aplicações dessa teoria na Topologia e na Algebra, mais especificamente na Teoria de Grupos, com destaque para o Teorema de Schur-Zassenhaus e o Teorema de Classificação de p-grupos que possuem um subgrupo ciclico de índice p (p primo). / Abstract: The aim of this work is to study the Cohomology Theory of Groups in order to present in detailed form some applications of this theory in Topology and in Algebra, more specifically, in the Theory of Groups, with prominence for the Schur-Zassenhaus Theorem and the Theorem of Classification of p-groups which contain a cyclic subgroup of index p, where p is a prime. / Mestre

Orientador: João Peres Vieira / Banca: Daniel Vendrúscolo / Banca: Thiago de Melo / Resumo: O principal objetivo deste trabalho é demonstrar teoremas relevantes como o Teorema Fundamental da Álgebra e o Teorema do Ponto Fixo de Brouwer no plano, além dos problemas de extensão e levantamento e o Teorema de Mayer-Vietoris. Para isto, primeiramente associamos a cada espaço topológico X uma estrutura de grupo ou de conjunto G(X), e a cada função contínua f : X → Y um homomor smo de estruturas f∗ : G(X) → G(Y ) ou f∗ : G(Y ) → G(X) satisfazendo determinadas propriedades / Abstract: The main objective is to prove relevant theorems as the Fundamental Theorem of Algebra and Brouwer's Fixed Point Theorem in the plane, besides the problems of extension and lifting theorem and the Mayer-Vietoris Theorem. For this, rst we associate to each topological space X a group structure or set G(X), and every continuous function f : X → Y a homomorphism f∗ : G(X) → G(Y ) or f∗ : G(Y ) → G(X) satisfying certain properties / Mestre

Orientador: João Peres Vieira / Banca: Eliris Cristina Rizziolli / Banca: Edivaldo Lopes dos Santos / Resumo: O objetivo deste trabalho é mostrar que πn(X) é sempre abeliano quando n ≥ 2 e que π1(X) é abeliano quando X for um H-espaço e por fim calcular alguns grupos de homotopia utilizando sequência exata de uma fibração / Abstract: The goal of this work is to show that πn(X) is always abelian when n ≥ 2 and that π1(X) is abelian when X is an H-space and finally calculate some homotopy groups using the exact sequence of a fibration / Mestre

Made available in DSpace on 2014-06-11T19:30:22Z (GMT). No. of bitstreams: 0 Previous issue date: 2013-03-15Bitstream added on 2014-06-13T19:19:04Z : No. of bitstreams: 1 garcia_jc_me_rcla.pdf: 805366 bytes, checksum: 9513d83e665d4b7573e40b92a16bfe7c (MD5) / Neste trabalho exploramos as definições mais usuais de cônicas, em duas direções. Uma delas trata da equivalência entre tais definições; a outra trata de estabelecer propriedades das figuras então definidas, em uma sequência natural que valoriza o pensamento geométrico / In this work we explore the most usual definitions of the conics, in two directions. One of them deals with the equivalence of the definitions themselves; the other one looks for properties of the figures just defined, stated in a natural sequence that enrichs the geometric thought

O objetivo deste trabalho é apresentar e descrever a teoria e implementação paralela. em PVM, de dois algoritmos iterativos do tipo quasi-Newton - Newton-GNIRES e Broyden- para a solução de equações não lineares F= O, onde a função F: Rn -t Rn é de classe C1 e seu Jacobiano J( x) é esparso. Uma ilustração e comparação destes métodos com suas versões sequenciais é obtida ao aplicá-los a dois probJemas específicos. / The objective of this work is to introduce anel describe the theory anel implementation on PVM, of two quase-Newton iterative algorithms - NewtonGA1RES e Broyden - for the resolution of nonlinear equations F = O, where a function F : Rn --+ Rn is of class C1 and its Jacobian J(x) is sparse. An ilustration and comparison of these methods with their serial versions is obtained as they apply to two especific problems.

Conselho Nacional de Desenvolvimento CientÃfico e TecnolÃgico / O objetivo deste trabalho à desenvolver a teoria bÃsica de esquemas e mostrar que duas variedades projetivas birracionalmente equivalentes e nÃo-singulares sobre um corpo algebricamente fechado possuem um mesmo gÃnero geomÃtrico. Um resultado relacionado permite determinar se uma hipersuperfÃcie nÃo-singular de grau d em um espaÃo projetivo Pn à uma variedade nÃo-racional. / This work aims to develop basic scheme theory and show that two projective, non-singular and birationally equivalent varieties over an algebraically closed field have same geometric genus. A related result allows to check whether a non-singular hipersurface of degree d in a projective space Pn is a non-rational variety.

CoordenaÃÃo de AperfeÃoamento de Pessoal de NÃvel Superior / Neste trabalho apresento a teoria de Gromov-Witten, cohomologia quÃntica e mapas estÃveis e uso estas ferramentas para obter alguns resultados enumerativos. Em particular, provo a fÃrmula de Kontsevich para curvas racionais projetivas planas de grau d. FaÃo um estudo introdutÃrio dos espaÃos de Mumford-Knudsen e construo os espaÃos de Kontsevich a fim de definir os invariantes de Gromov-Witten. Estes sÃo usados para definir o anel de cohomologia quÃntica. Em seguida, aplico a teoria geral para o caso do plano projetivo e, usando a associatividade do produto quÃntico, obtenho a fÃrmula de Kontsevich. TambÃm estudo a fronteira do espaÃo modulli de mapas estÃveis e descrevo o grupo de Picard destes. Com isso, seguindo as ideias de Pandharipand, especialmente o algoritmo por este desenvolvido, calculo alguns nÃmeros caracterÃsticos de curvas no espaÃo projetivo. / In this work, I present the Gromov-Witten theory, quantum cohomology and stable maps and use these tools to obtain some enumerative results. In particular, I proof the Kontsevich formula to projective rational plane curves of degree d. I do an introductory study of Mumford-Knudsen spaces and construct the Kontsevich spaces in order to define gromov-witten invariants. These are used to define the quantum cohomology ring. Next, I apply the general theory to the case of the projective plane and, using the the associativity of the quantum product, I obtain the Kontsevich formula. I also study the boundary of the modulli space of stable maps and describe its Picard group. Following the ideas of Pandharipand, especially the algorithm he developed, I calculate some characteristic numbers of curves in the projective space.