O-minimal de Rham Cohomology

Abstract

O-minimal geometry generalizes both semialgebraic and subanalytic geometries, and has been very successful in solving special cases of some problems in arithmetic geometry, such as André–Oort conjecture. Among the many tools developed in an o-minimal setting are cohomology theories for abstract-definable continuous manifolds such as singular cohomology, sheaf cohomology and Čech cohomology, which have been used for instance to prove Pillay’s conjecture concerning definably compact groups. In the present thesis we elaborate an o-minimal de Rham cohomology theory for abstract-definable $C^{\infty }$ manifolds in an o-minimal expansion of the real field which admits smooth cell decomposition and defines the exponential function. We can specify the o-minimal cohomology groups and attain some properties such as the existence of Mayer–Vietoris sequence and the invariance under abstract-definable $C^{\infty }$ diffeomorphisms. However, in order to obtain the invariance of our o-minimal cohomology under abstract-definable homotopy we must work in a tame context that defines sufficiently many primitives and assume the validity of a statement related to Bröcker’s question.

Abstract prepared by Rodrigo Figueiredo.

E-mail: rodrigo@ime.usp.br

URL: https://doi.org/10.11606/T.45.2019.tde-28042019-181150

The Association for Symbolic Logic publishes abstracts of recent PhD theses in logic. The aim of this activity is to publish abstracts for the majority of recent PhD theses in logic world wide and submitted abstracts will therefore only be edited to ensure that they fall within the general area of logic and are appropriate in terms of length and content. This section willprovide a permanent publicly accessible overview of theses in logic and thus make up for the lack of central repository for the theses themselves. The Thesis Abstracts Section is edited by Christian Rosendal. Any abstract should formally be submitted by the thesis advisor though it is expected to usually be prepared by the candidate. For detailed instructions for preparation and submission, including the required TeX template, please consult the link below. https://aslonline.org/journals/the-bulletin-of-symbolic-logic/logic-thesis-abstracts-in-the-bulletin-of-symbolic-logic/.