Return to search

O-minimal De Rham cohomology / Cohomologia de De Rham o-minimal

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.

Identiferoai:union.ndltd.org:usp.br/oai:teses.usp.br:tde-28042019-181150
Date15 December 2017
CreatorsFigueiredo, Rodrigo
ContributorsBianconi, Ricardo
PublisherBiblioteca Digitais de Teses e Dissertações da USP
Source SetsUniversidade de São Paulo
LanguageEnglish
Detected LanguagePortuguese
TypeTese de Doutorado
Formatapplication/pdf
RightsLiberar o conteúdo para acesso público.

Page generated in 0.0023 seconds