Começamos definindo a cohomologia clássica de De Rham e provamos alguns resultados que nos permitem calcular tal cohomologia de algumas variedades diferenciáveis. Com o intuito de provar o Teorema de De Rham, escolhemos fazer a demonstração utilizando a noção de feixes, que se mostra como uma generalização da ideia de cohomologia. Como a cohomologia de De Rham não é a única que se pode definir numa variedade, a questão da unicidade dá origem a teoria axiomática de feixes, que nos dará uma cohomologia para cada feixe dado. Mostraremos que a partir da teoria axiomática de feixes obtemos cohomologias, além das cohomologias clássicas de De Rham, a cohomologia clássica singular e a cohomologia clássica de Cech e mostraremos que essas cohomologias obtidas a partir da noção axiomática são isomorfas as definições clássicas. Concluiremos que se nos restringirmos a apenas variedades diferenciáveis, essas cohomologias são unicamente isomorfas e este será o teorema de De Rham. / We begin by defining De Rhams classical cohomology and we prove some results that allow us a calculation of the cohomology of some differentiable manifolds. In order to prove De Rhams Theorem, we chose to make a demonstration using a notion of sheaves, which is a generalization of the idea of cohomology. Since De Rhams cohomology is not a only one that can be made into a variety, the question of unicity gives rise to axiomatic theory of sheaves, which give us a cohomology for each sheaf given. We will show that from the axiomatic theory of sheaves we obtain cohomologies, besides the classical cohomologies of De Rham, a singular classical cohomology and a classical cohomology of Cech and we will show that cohomologies are obtained from the axiomatic notion are classic definitions. We will conclude that if we restrict ourselves to only differentiable manifolds, these cohomologies are uniquely isomorphic and this will be De Rhams theorem.

Este trabalho estuda a demonstração de existência de uma teoria de cohomologia em estruturas o-minimais arbitrárias, conforme o trabalho de Edmundo, Jones e Peatfield. / This work studies the proof of the existence of sheaf cohomology theory in arbitrary o-minimal structures, following the work of Edmundo, Jones and Peatfield.

Orientador: Ermínia de Lourdes Campello Fanti / Coorientador: Flávia Souza Machado da Silva / Banca: Pedro Luiz Queiroz Pergher / Banca: Maria Gorete Carreira Andrade / Resumo: O objetivo principal deste trabalho e estudar a relação entre cohomologia de grupos e o problema de classificar grupos wallpaper, que são grupos de simetrias de certas figuras do plano chamadas padrões wallpaper. Há, a menos de equivalência, exatamente 17 grupos wallpaper, que classificamos usando teoria dos grupos e algebra linear. Dado um grupo wallpaper G, temos associado inicialmente a G um subgrupo abeliano normal T (subgrupo das translações) chamado reticulado, um grupo G0 = G=T chamado grupo ponto, uma ação de G0 sobre T (de modo que T e um ZG0-m odulo) e uma extensão do grupo G0 por T , 0 ! T ! G ! G0 ! 0. Usando o fato de que existe uma correspondência biunívoca entre o segundo grupo de cohomologia, H2(G0; T ), e o conjunto das classes de equivalência de G0 por T que dão origem a ação induzida de G0 sobre T e computando H2(G0; T ), para as várias possibilidades para G0, apresentamos um limitante superior para o número de grupos wallpaper. Para o cálculo de H2(G0; T ), para certos grupos pontos G0, utiliza-se a sequência espectral cohomológica e a sequência exata de cinco termos / Abstract: The main goal of this work is to study the relation between the cohomology of groups and the problem of classifying wallpaper groups, which are symmetry groups of certain gures on the plane called wallpaper patterns. There are, up to isomorphism/equivalence, exactly 17 wallpaper groups, classi ed by using group theory and linear algebra. Given a wallpaper group G, we initially associate to G an abelian normal subgroup T (subgroup of the translations) called lattice, a group G0 = G T called point group, an action of G0 on T (in such a way that T is a ZG0-module) and an extension of the group G0 by T , 0 ����! T ����! G ����! G0 ����! 0. Using the fact that there is an one-to-one correspondence between the second cohomology of group, H2(G0; T ), and the set of equivalence classes of the extensions of G0 by T , that gives rise to the induced action of G0 on T , and computing H2(G0; T ), for the sereval possibilities for G0, we present an upper bound for the number of wallpaper groups. For the calculation of H2(G0; T ), of certain point groups G0, it is used the cohomological spectral sequence and the ve terms exact sequence / Mestre

Este trabalho estuda a demonstração de existência de uma teoria de cohomologia em estruturas o-minimais arbitrárias, conforme o trabalho de Edmundo, Jones e Peatfield. / This work studies the proof of the existence of sheaf cohomology theory in arbitrary o-minimal structures, following the work of Edmundo, Jones and Peatfield.

Tese (Doutoramento)--Universite Louis Pasteur, 16/10/2007.

Made available in DSpace on 2015-09-17T15:24:05Z (GMT). No. of bitstreams: 0 Previous issue date: 2013-02-27. Added 1 bitstream(s) on 2015-09-17T15:48:26Z : No. of bitstreams: 1 000846965.pdf: 797428 bytes, checksum: daaf15e4de7fbef0eebfbdbc0bb8123d (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Em [6], Andrade e Fanti definiram o invariante E(G, W, M), sendo G um grupo, W um G-conjunto e M um Z2G-m'odulo, e apresentaram alguns resultados usando E(G, W, Z2) ( Z2 visto como Z2G-m'odulo trivial) relacionados com decomposi¸c˜ao de grupos e dualidade. E(G, W, M) 'e definido usando (co)homologia de grupos para o par ((G, W), M) seguindo [14]. O objetivo deste trabalho 'e apresentar os resultados dados em [6], por'em acrescentando as provas de alguns resultados que s˜ao mencionados em [6], mas que n˜ao foram provados, como por exemplo, a invariˆancia de E(G, W, M) por pares isomorfos e a independˆencia do conjunto de representantes das G-'orbitas. Procurou-se tamb'em generalizar alguns resultados para um Z2G-m'odulo M qualquer (n˜ao necessariamente Z2), e apresentar algumas outras propriedades de E(G, W, M), em especial para o Z2G-m'odulo FTG, sendo T um subgrupo de G, explorando, sempre que poss'ıvel, sua rela¸c˜ao com decomposi¸c˜ao de grupos. Muitos desses resultados est˜ao fortemente relacionados com alguns apresentados em [7], para o invariante de pares de grupos E(G, S, M), sendo S uma fam'ılia de subgrupos de G. / In [6], Andrade and Fanti defined the invariant E(G,W,M), where G is a group, W is a G-set and M is a Z2G-module, and presented some results using E(G,W, Z2) ( Z2 seen as a trivial Z2G-module) related to splitting of groups and duality. E(G,W,M) is defined using (co)homology of groups for the pair ((G,W),M) following [14]. The purpose of this work is to present the results given in [6] but adding proofs of some results that were referred but not proved there, such as the invariance ofE(G,W,M) for isomorphic pairs and the independence of the set of orbit representatives in W. We also attempt to generalize some results for any Z2G-m'odulo M (not necessarily Z2) and present some other properties of E(G,W,M), specially for the Z2G-module FTG where T is a subgroup of G, exploring, whenever possible, its relationship with splitting of groups. Many of those results are strongly related with some given in [7] for the invariant of pairs of groups E(G, S,M) where S is a family of subgroups of G.

Made available in DSpace on 2015-03-03T11:52:27Z (GMT). No. of bitstreams: 0 Previous issue date: 2014-03-25Bitstream added on 2015-03-03T12:07:37Z : No. of bitstreams: 1 000803609.pdf: 784644 bytes, checksum: 21cd3aa175119679ab082ffb06ba43c1 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / O objetivo principal deste trabalho e estudar a relação entre cohomologia de grupos e o problema de classificar grupos wallpaper, que são grupos de simetrias de certas figuras do plano chamadas padrões wallpaper. Há, a menos de equivalência, exatamente 17 grupos wallpaper, que classificamos usando teoria dos grupos e algebra linear. Dado um grupo wallpaper G, temos associado inicialmente a G um subgrupo abeliano normal T (subgrupo das translações) chamado reticulado, um grupo G0 = G=T chamado grupo ponto, uma ação de G0 sobre T (de modo que T e um ZG0-m odulo) e uma extensão do grupo G0 por T , 0 ! T ! G ! G0 ! 0. Usando o fato de que existe uma correspondência biunívoca entre o segundo grupo de cohomologia, H2(G0; T ), e o conjunto das classes de equivalência de G0 por T que dão origem a ação induzida de G0 sobre T e computando H2(G0; T ), para as várias possibilidades para G0, apresentamos um limitante superior para o número de grupos wallpaper. Para o cálculo de H2(G0; T ), para certos grupos pontos G0, utiliza-se a sequência espectral cohomológica e a sequência exata de cinco termos / The main goal of this work is to study the relation between the cohomology of groups and the problem of classifying wallpaper groups, which are symmetry groups of certain gures on the plane called wallpaper patterns. There are, up to isomorphism/equivalence, exactly 17 wallpaper groups, classi ed by using group theory and linear algebra. Given a wallpaper group G, we initially associate to G an abelian normal subgroup T (subgroup of the translations) called lattice, a group G0 = G T called point group, an action of G0 on T (in such a way that T is a ZG0-module) and an extension of the group G0 by T , 0 ?! T ?! G ?! G0 ?! 0. Using the fact that there is an one-to-one correspondence between the second cohomology of group, H2(G0; T ), and the set of equivalence classes of the extensions of G0 by T , that gives rise to the induced action of G0 on T , and computing H2(G0; T ), for the sereval possibilities for G0, we present an upper bound for the number of wallpaper groups. For the calculation of H2(G0; T ), of certain point groups G0, it is used the cohomological spectral sequence and the ve terms exact sequence

We use the theory of dual of Fréchet-Schwartz (DFS) spaces to establish a sufficient condition for top-degree solvability for the differential complex associated to a hypocomplex locally integrable structure. As an application, we show that the top-degree cohomology of left-invariant hypocomplex structures on a compact Lie group can be computed only by using left-invariant forms, thus reducing the computation to a purely algebraic one. In the case of left-invariant elliptic involutive structures on compact Lie groups, under certain reasonable conditions, we prove that the cohomology associated to the involutive structure can be computed only by using left-invariant forms. / Usamos a teoria da espaços duais de Fréchet-Schwartz (DFS) para estabelecer uma condição suficiente para resolubilidade em grau máximo para o complexo associado a estrutuas localmente integráveis hipocomplexas. Como aplicação, provamos que a cohomologia de estruturas hipocomplexas invariantes à esquerda podem ser calculadas usando apenas formas invariantes à esquerda, assim reduzindo o cálculo a um método puramente algébrico. No caso de estruturas invariantes à esquerda, sob certas condições razoáveis, provamos que a cohomologia associada à estrutura pode ser calculada usando apenas formas invariantes à esquerda.

Submitted by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2017-08-30T15:24:40Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertação - Fernando Junior S. Santos.pdf: 885469 bytes, checksum: 810e1dae7c213671c12b8d4f9c0ff331 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2017-08-30T15:29:43Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertação - Fernando Junior S. Santos.pdf: 885469 bytes, checksum: 810e1dae7c213671c12b8d4f9c0ff331 (MD5) / Made available in DSpace on 2017-08-30T15:29:43Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertação - Fernando Junior S. Santos.pdf: 885469 bytes, checksum: 810e1dae7c213671c12b8d4f9c0ff331 (MD5) Previous issue date: 2017-07-06 / FAPEAM - Fundação de Amparo à Pesquisa do Estado do Amazonas / In this work we study how certain types of loop algebras can be classi ed with the help of Galois cohomology. In the rst part of the paper we expose the theory of nitedimensional Lie algebras and introduce the notion of a loop algebra. Subsequently we explain the relationship of loop algebras with the S=R-forms of g(R), where R is the ring of Laurent polynomials in one variable over an algebraically closed eld and S an extension of the ring. In the second chapter the theory of Galois cohomology will be developped. Finally we will show how isomorphism classes of loop algebras can be represented by elements of sets of Galois cohomology. / Neste trabalho se estuda como certos tipos de álgebras de loop podem ser classi - cados com a ajuda da cohomologia galoisiana. Na primeira parte do trabalho é exposta a teoria de álgebras de Lie de dimensão nita e é introduzida a noção de álgebra de loop. Em seguida, é explicado a relação das álgebras de loop com as S=R formas de g(R), para R o anel de polinômios de Laurent em uma variável sobre um corpo algebricamente fechado e S uma extensão deste anel. No capítulo seguinte será apresentado a teoria da cohomologia galoisiana. No nal será mostrado como classes de isomor smo de álgebras de loop podem ser representados por elementos de conjuntos da cohomologia galoisiana.

Made available in DSpace on 2014-06-11T19:26:55Z (GMT). No. of bitstreams: 0 Previous issue date: 2010-02-26Bitstream added on 2014-06-13T20:16:04Z : No. of bitstreams: 1 cavalcanti_mps_me_sjrp.pdf: 612728 bytes, checksum: 47d18c69b5ae7b113879890007734ec5 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / O obejtivo principal deste trabalho é estudar as obstruções sing que desempenham papel importante nas demonstrações de certos resultados sobre decomposição de grupos que satisfazem certas hipóteses de dualidade apresentados em [16] e [17], em particular, sobre decomposição de um grupo G adapatada a uma família S de subgrupos de G com (G,S) um par de dualidade de Poincaré. Alguns invariantes cohomológicos e certos resultados envolvendo tais invariantes, decomposição de grupos e/ou grupos e pares de dualidade são também apresentados. / The main objective of this work to study the obstructions sing which play an important role in demonstrating certain results on the splittings of groups that satisfy certain hypotheses of duality presented in [16] and [17], in particular, the decomposition of a group G adapted to a family S of subgroups of G with (G,S) a Poincaré duality pair. Some cohomological invariants and certain results involving such invariants, a splittings of groups and/or groups and pairs of duality are also presented.