Real Algebraic and Analytic Geometry
Submission: 2007, November 29.
By recent work on some conjectures of Pillay, each definably compact group in a saturated o-minimal structure is an expansion 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.
Mathematics Subject Classification (2000): 03C64, 22E15, 03H05.
Keywords and Phrases: Cohomology, groups, o-minimality.
Full text: http://arxiv.org/abs/0711.2502