• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 1
  • Tagged with
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

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

Figueiredo, Rodrigo 15 December 2017 (has links)
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.

Page generated in 0.0461 seconds