Neste trabalho, estudamos a cohomologia de de Rham e métodos para os seus cálculos. Finalizamos com aplicações da cohomologia de de Rham em teoremas da topologia / In this work we study the de Rham cohomology and methods for its calculations. We close it with applications of the Rham cohomology in theorems from topology

Neste trabalho, estudamos a cohomologia de de Rham e métodos para os seus cálculos. Finalizamos com aplicações da cohomologia de de Rham em teoremas da topologia / In this work we study the de Rham cohomology and methods for its calculations. We close it with applications of the Rham cohomology in theorems from topology

The aim of this dissertation lies in establishing an o-minimal de Rham cohomology theory for smooth abstract-definable manifolds in an o-minimal expansion of the real field which admits smooth cell decomposition and defines the exponential function, by following the classical de Rham cohomology. We can specify the o-minimal cohomology groups and attain some properties as the existence of Mayer-Vietoris sequence and the invariance under smooth abstract-definable diffeomorphisms. However, in order to obtain the invariance of our o-minimal cohomology under abstract-definable homotopy we must, working in a tame context that defines sufficiently many primitives, assume the validity of a statement related to Bröcker\'s problem. / O objetivo desta tese reside em estabelecer uma cohomologia de De Rham o-minimal para variedades definíveis abstratas lisas em uma expansão o-minimal do corpo ordenado dos reais, a qual admite decomposição celular lisa e define a função exponencial, seguindo a cohomologia de De Rham clássica. Além de especificarmos os grupos da cohomologia de Rham o-minimal, obtemos algumas propriedades, como a existência da sequência de Mayer-Vietoris e a invariância sob difeomorfismos definíveis abstratos lisos. Todavia, a fim de lograrmos a invariância de nossa cohomologia o-minimal sob homotopia definível abstrata devemos, além de trabalhar num contexto moderado no qual muitas primitivas são definidas, assumir a validade de uma asserção relacionada ao problema de Bröcker.

We will show that the only connected Euclidean spheres admitting a structure of Lie group are S1 and S3, for all n greater than or equal to 1. We will do this through the study of properties of the De Rham cohomology groups of sphere Sn and of compact connected Lie groups. / Fundação de Amparo a Pesquisa do Estado de Alagoas / Mostraremos que as únicas esferas euclidianas conexas que admitem uma estrutura de grupo de Lie são S1 e S3, para todo n maior ou igual a 1. Faremos isso por intermédio do estudo de propriedades dos grupos de cohomologia de De Rham das esfereas Sn e dos grupos de Lie compactos e conexos.