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: [email protected]

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

In this paper, we give some Łojasiewicz-type inequalities for continuous definable functions in an o-minimal structure. We also give a necessary and sufficient condition for the existence of a global error bound and the relationship between the Palais–Smale condition and this global error bound. Moreover, we give a Łojasiewicz nonsmooth gradient inequality at infinity near the fibre for continuous definable functions in an o-minimal structure.

In this paper we analyze the relationship between o-minimal structures and the notion of ω-saturated one-dimensional t.t.t structures. We prove that if removing any point from such a structure splits it into more than one definably connected component then it must be a one-dimensional simplex of a finite number of o-minimal structures. In addition, we show that even if removing points doesn’t split the structure, additional topological assumptions ensure that the structure is locally o-minimal. As a corollary we obtain the result that if an ω-saturated one-dimensional t.t.t structure admits a topological group structure then it is locally o-minimal. We also prove that the number of connected components in a definable family is uniformly bounded, which implies that an elementary extension of an ω-saturated one-dimensional t.t.t structure is t.t.t as well.

In this paper we present Thom’s transversality theorem in o-minimal structures (a generalization of semialgebraic and subanalytic geometry). There are no restrictions on the differentiability class and the dimensions of manifolds involved in comparison withthe general case.

Let M = 〈M, +, <, 0, {λ}λЄD〉 be an ordered vector space over an ordered division ring D, and G = 〈G, ⊕, eG〉 an n-dimensional group definable in M. We show that if G is definably compact and definably connected with respect to the t-topology, then it is definably isomorphic to a ‘definable quotient group’ U/L, for some convex V-definable subgroup U of 〈Mn, +〉 and a lattice L of rank n. As two consequences, we derive Pillay's conjecture for a saturated M as above and we show that the o-minimal fundamental group of G is isomorphic to L.

Let TP be the theory obtained by adding a generic predicate to an o-minimal theory T. We prove that if T admits elimination of imaginaries, then TP also admits elimination of imaginaries.

We show that the field of real numbers with multisummable real power series is model complete, o-minimal and polynomially bounded. Further expansion by the exponential function yields again a model complete and o-minimal structure which is exponentially bounded, and in which the Gamma function on the positive real line is definable. 2000 Mathematics Subject Classification: primary 03C10, 32B05, 32B20; secondary, 26E05.