arXiv subjects
Publications and source records attributed to Alessandro Berarducci.
It is known that a definably compact group G is an extension of a compact Lie group L by a divisible torsion-free normal subgroup. We show that the o-minimal higher homotopy groups of G are isomorphic to the corresponding higher homotopy groups of L. As a consequence, we obtain that all abelian definably compact groups of a given dimension are definably homotopy equivalent, and that their universal cover are contractible.
A metric space X is straight if for each finite cover of X by closed sets, and for each real valued function f on X, if f is uniformly continuous on each set of the cover, then f is uniformly continuous on the whole of X. A locally connected space is straight if it is uniformly locally connected (ULC). It is easily seen that ULC spaces are stable under finite products. On the other hand the product of two straight spaces is not necessarily straight. We prove that the product X x Y of two metric spaces is straight if and only if both X and Y are straight and one of the following conditions holds: (a) both X and Y are precompact; (b) both X and Y are locally connected; (c) one of the spaces is both precompact and locally connected. In particular, when X satisfies (c), the product X x Z is straight for every straight space Z. Finally, we characterize when infinite products of metric spaces are ULC and we completely solve the problem of straightness of infinite products of ULC spaces.
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.
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. We also study the cohomology of the intersection of a definable decreas-ing family of definably compact sets, under the additional assumption that the o-minimal structure expands a field.
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 $\widetilde G$ of $G$. We prove that $G/G^{00}$ is a topological quotient of $\widetilde G$. We thus obtain a natural homomorphism $Ψ^*$ from the cohomology of $G/G^{00}$ to the (Čech-)cohomology of $\widetilde G$. We show that if $G^{00}$ 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.
We give a presentation of various results on zero-groups in o-minimal structures together with some new observations. In particular we prove that if G is a definably connected definably compact group in an o-minimal expansion of a real closed field, then for any maximal definably connected abelian subgroup T of G, G is the union of the conjugates of T. This can be seen as a generalization of the classical theorem that a compact connected Lie group is the union of the conjugates of any of its maximal tori.