O-minimal spectra, infinitesimal subgroups and cohomology

Abstract

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'' $G^{00}$ such that the quotient $G/G^{00}$, equipped with the ``logic topology'', is a compact (real) Lie group. Our first result is that the functor $G\mapsto G/G^{00}$ sends exact sequences of definably compact groups into exacts sequences of Lie groups. We then study the connections between the Lie group $G/G^{00}$ and the o-minimal spectrum $\tilde{G}$ of $G$. We prove that $G/G^{00}$ is a topological quotient of $\tilde{G}$. We thus obtain a natural homomorphism ${\Psi }^{\ast }$ from the cohomology of $G/G^{00}$ to the (Čech-)cohomology of $\tilde{G}$. We show that if $G^{00}$ satisfies a suitable contractibility conjecture then $\widetilde{G^{00}}$ is acyclic in Čech cohomology and ${\Psi }^{\ast }$ is an isomorphism. Finally we prove the conjecture in some special cases.

21 pages