Made available in DSpace on 2014-06-11T19:30:22Z (GMT). No. of bitstreams: 0 Previous issue date: 2008-03-31Bitstream added on 2014-06-13T19:19:04Z : No. of bitstreams: 1 cellini_cp_me_sjrp.pdf: 781641 bytes, checksum: 70ed1b385d132f8255370c0014be09b4 (MD5) / Neste trabalho são abordados alguns aspectos da teoria de dualidade. Ele pode ser dividido em três partes principais. Na primeira demonstramos o teorema de Dualidade de Poincaré para variedades (sem bordo) orientáveis. Para tanto, fez-se necessário o uso do limite direto e cohomologia com suporte compacto. Na segunda definimos grupos de dualidade, em particular, grupo de dualidade de Poincaré, apresentamos alguns resultados e observações sobre a relação existente entre tais grupos e os grupos fundamentais de variedades asféricas fechadas, que é ainda um problema em aberto. Finalmente, alguns resultados envolvendo invariantes cohomológicos ends e grupos de dualidade são apresentados. / In this work we consider some aspects of duality theory. It can be divided in three principal parts. In the first we prove the Poincaré Duality theorem for orientable manifolds (without boundary). For that, it is necessary the use of the direct limit and cohomology with compact supports. In the second part we de¯ne duality groups, in particular, Poincaré duality groups, we introduce some results and observations about the relationship between such groups and fundamental groups of aspherical closed manifolds, that still is an open problem. Finally, some results envolving the cohomological invariant ends and duality groups are presented.

Dado um grupo G, a definição dos grupos de cohomologia com coeficientes em um ZG-módulo M podem ser dadas usando as técnicas usuais da Álgebra Homológica, que garantem a existência de resoluções projetivas P de Z como um ZG-módulo trivial, a equivalência entre resoluções distintas etc. Podemos também construir o produto cup em cohomologia, cuja definição depende de uma aproximação da diagonal para a resolução projetiva P. Entretanto, o cálculo explicito de tais resoluções e dos grupos de cohomologia pode ser bastante difícil na prática, e ainda mais difícil a obtenção de uma aproximação da diagonal. Nesta tese, obteremos resoluções livres e aproximações da diagonal para os grupos fundamentais das superfícies que são espaços K(G,1) e também para o grupo fundamental de fibrados do toro com base S^1, bem como a estrutura de anel de cohomologia de tais grupos. Ainda, para certos grupos virtualmente cíclicos G, obteremos o anel de cohomologia calculando diretamente uma resolução livre e uma aproximação da diagonal, ou então usando a sequência espectral de Lyndon-Hochschild-Serre. A motivação para o estudo da primeira família de grupos vem do fato de representarem variedades de dimensão 2 e 3, e da segunda família por ser constituída de grupos que atuam em esferas de homotopia. / Given a group G, a definition for its cohomology groups with coefficients in a given ZG-module M can be given using the standard techniques of Homological Algebra, that ensure the existence of projective resolutions P of Z as a trivial ZG-module, the equivalence between two such resolutions etc . We can also construct the cup product, whose definition depends on a diagonal approximation for a given projective resolution P. However, the explicit computation of such resolutions and of the cohomology groups may be very hard in practice, and even worse may be the task of constructing a diagonal approximation. In this thesis, we obtain free resolutions and diagonal approximations for the fundamental groups of surfaces that are K(G,1) spaces and for the fundamental group of the torus bundle with the circle as the base space, as well as the structure of the cohomology ring of these groups. Also, for some virtually cyclic groups, we obtain the cohomology ring by an explicit computation of a free resolution and a diagonal approximation, or by the Lyndon-Hochschild-Serre spectral sequence. The motivation for the study of the first family of groups comes from the fact that such groups represent manifolds of dimension 2 and 3, and the groups of the second family act on homotopy spheres.

Dado um grupo G, a definição dos grupos de cohomologia com coeficientes em um ZG-módulo M podem ser dadas usando as técnicas usuais da Álgebra Homológica, que garantem a existência de resoluções projetivas P de Z como um ZG-módulo trivial, a equivalência entre resoluções distintas etc. Podemos também construir o produto cup em cohomologia, cuja definição depende de uma aproximação da diagonal para a resolução projetiva P. Entretanto, o cálculo explicito de tais resoluções e dos grupos de cohomologia pode ser bastante difícil na prática, e ainda mais difícil a obtenção de uma aproximação da diagonal. Nesta tese, obteremos resoluções livres e aproximações da diagonal para os grupos fundamentais das superfícies que são espaços K(G,1) e também para o grupo fundamental de fibrados do toro com base S^1, bem como a estrutura de anel de cohomologia de tais grupos. Ainda, para certos grupos virtualmente cíclicos G, obteremos o anel de cohomologia calculando diretamente uma resolução livre e uma aproximação da diagonal, ou então usando a sequência espectral de Lyndon-Hochschild-Serre. A motivação para o estudo da primeira família de grupos vem do fato de representarem variedades de dimensão 2 e 3, e da segunda família por ser constituída de grupos que atuam em esferas de homotopia. / Given a group G, a definition for its cohomology groups with coefficients in a given ZG-module M can be given using the standard techniques of Homological Algebra, that ensure the existence of projective resolutions P of Z as a trivial ZG-module, the equivalence between two such resolutions etc . We can also construct the cup product, whose definition depends on a diagonal approximation for a given projective resolution P. However, the explicit computation of such resolutions and of the cohomology groups may be very hard in practice, and even worse may be the task of constructing a diagonal approximation. In this thesis, we obtain free resolutions and diagonal approximations for the fundamental groups of surfaces that are K(G,1) spaces and for the fundamental group of the torus bundle with the circle as the base space, as well as the structure of the cohomology ring of these groups. Also, for some virtually cyclic groups, we obtain the cohomology ring by an explicit computation of a free resolution and a diagonal approximation, or by the Lyndon-Hochschild-Serre spectral sequence. The motivation for the study of the first family of groups comes from the fact that such groups represent manifolds of dimension 2 and 3, and the groups of the second family act on homotopy spheres.