We describe a recent program from the study of definable groups in certain o-minimal structures. A central notion of this program is that of a lattice. We propose a definition of a lattice in an arbitrary first-order structure. We then use it to describe, uniformly, various structure theorems for o-minimal groups, each time recovering a lattice that captures some significant invariant of the group at hand. The analysis first goes through a local level, where a pertinent notion of pregeometry and (...) generic elements is each time introduced. (shrink)

By recent work on some conjectures of Pillay, each definably compact group in a saturated o-minimal structure is an extension of a compact Lie group by a torsion free normal divisible subgroup, called its infinitesimal subgroup. We show that the infinitesimal subgroup is cohomologically acyclic. This implies that the functorial correspondence between definably compact groups and Lie groups preserves the cohomology.

The topology of definable sets in an o-minimal expansion of a group is not fully understood due to the lack of a triangulation theorem. Despite the general validity of the cell decomposition theorem, we do not know whether any definably compact set is a definable CW-complex. Moreover the closure of an o-minimal cell can have arbitrarily high Betti numbers. Nevertheless we prove that the cohomology groups of a definably compact set over an o-minimal expansion of a group are finitely generated (...) and invariant under elementary extensions and expansions of the language. (shrink)

By recent work on some conjectures of Pillay, each definably compact group G in a saturated o-minimal expansion of an ordered field has a normal "infinitesimal subgroup" G00 such that the quotient G/G00, equipped with the "logic topology", is a compact (real) Lie group. Our first result is that the functor G → G/G00 sends exact sequences of definably compact groups into exact sequences of Lie groups. We then study the connections between the Lie group G/G00 and the o-minimal spectrum (...) G̃ of G. We prove that G/G00 is a topological quotient of G̃. We thus obtain a natural homomorphism ψ* from the cohomology of G/G00 to the (Čech-)cohomology of G̃. We show that if G00 satisfies a suitable contractibility conjecture then $\widetilde{G^{00}}$ is acyclic in Čech cohomology and ψ* is an isomorphism. Finally we prove the conjecture in some special cases. (shrink)

In this paper we work in an arbitrary o-minimal structure with definable Skolem functions and prove that definably connected, locally definable manifolds are uniformly definably path connected, have an admissible cover by definably simply connected, open definable subsets and, definable paths and definable homotopies on such locally definable manifolds can be lifted to locally definable covering maps. These properties allow us to obtain the main properties of the general o-minimal fundamental group, including: invariance and comparison results; existence of universal locally (...) definable covering maps; monodromy equivalence for locally constant o-minimal sheaves – from which one obtains, as in algebraic topology, classification results for locally definable covering maps, o-minimal Hurewicz and Seifert–van Kampen theorems. (shrink)