O-minimal de Rham cohomology
From MaRDI portal
Publication:6317035
arXiv1904.05485MaRDI QIDQ6317035FDOQ6317035
Authors: Ricardo Bianconi, Rodrigo Figueiredo 
Publication date: 10 April 2019
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'e-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 v Cech cohomology, which have been used for instance to prove Pillay's conjecture concerning definably compact groups. In the present paper we elaborate an o-minimal de Rham cohomology theory for abstract-definable 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 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"ocker's question.
Transcendental methods, Hodge theory (algebro-geometric aspects) (14C30) de Rham theory in global analysis (58A12) Model theory of ordered structures; o-minimality (03C64) Real-analytic and semi-analytic sets (14P15) Algebraic topology of manifolds (57N65) Classical real and complex (co)homology in algebraic geometry (14F25)
This page was built for publication: O-minimal de Rham cohomology
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6317035)
