Let G be a definably compact group in an o-minimal expansion of a real closed field. We prove that if dim(G\X) < dim G for some definable ${X \subseteq G}$ then X contains a torsion point of G. Along the way we develop a general theory for the so-called G-linear sets, and investigate definable sets which contain abstract subgroups of G.

Let G be a group definable in a monster model $\germ{C}$ of a rosy theory satisfying NIP. Assume that G has hereditarily finitely satisfiable generics and 1 < U þ (G) < ∞. We prove that if G acts definably on a definable set of U þ -rank 1, then, under some general assumption about this action, there is an infinite field interpretable in $\germ{C}$ . We conclude that if G is not solvable-by-finite and it acts faithfully and definably on (...) a definable set of U þ -rank 1, then there is an infinite field interpretable in $\germ{C}$ . As an immediate consequence, we get that if G has a definable subgroup H such that U þ (G) = U þ (H) + 1 and $G/\bigcap _{g\in G}H^{g}$ is not solvable-by-finite, then an infinite field interpretable in $\germ{C}$ also exists. (shrink)

Let $\mathcal{M}$ be an o-minimal expansion of a real closed field $R$. We define the notion of a lattice in a locally definable group and then prove that every connected, definably generated subgroup of $\langle R^{n},+\rangle$ contains a definable generic set and therefore admits a lattice.

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)

Let $\scr{M}=\langle M,+,<,0,S\rangle $ be a linear o-minimal expansion of an ordered group, and $G=\langle G,\oplus ,e_{G}\rangle $ an n-dimensional group definable in $\scr{M}$ . We show that if G is definably connected with respect to the t-topology, then it is definably isomorphic to a definable quotient group U/L, for some convex ${\ssf V}\text{-definable}$ subgroup U of $\langle M^{n},+\rangle $ and a lattice L of rank equal to the dimension of the 'compact part' of G.

We prove the Compact Domination Conjecture for groups definable in linear o-minimal structures. Namely, we show that every definably compact group G definable in a saturated linear o-minimal expansion of an ordered group is compactly dominated by (G/G 00, m, π), where m is the Haar measure on G/G 00 and π : G → G/G 00 is the canonical group homomorphism.

Suppose G is a definably connected, definable group in an o-minimal expansion of an ordered group. We show that the o-minimal universal covering homomorphism equation image: equation image→ G is a locally definable covering homomorphism and π1 is isomorphic to the o-minimal fundamental group π of G defined using locally definable covering homomorphisms.

We show that in an arbitrary o-minimal structure the following are equivalent: conjugates of a definable subgroup of a definably connected, definably compact definable group cover the group if the o-minimal Euler characteristic of the quotient is non zero; every infinite, definably connected, definably compact definable group has a non trivial torsion point.

We show that in an o-minimal expansion of an ordered group finite definable extensions of a definable group which is defined in a reduct are already defined in the reduct. A similar result is proved for finite topological extensions of definable groups defined in o-minimal expansions of the ordered set of real numbers.

Let M be an o-minimal expansion of a real closed field. Let G be a definably compact definably connected abelian n-dimensional group definable in M. We show the following: the o-minimal fundamental group of G is isomorphic to ℤn; for each k>0, the k-torsion subgroup of G is isomorphic to n, and the o-minimal cohomology algebra over ℚ of G is isomorphic to the exterior algebra over ℚ with n generators of degree one.

We show that if G is a definably compact, definably connected definable group defined in an arbitrary o-minimal structure, then G is divisible. Furthermore, if G is defined in an o-minimal expansion of a field, k ∈ ℕ and pk : G → G is the definable map given by pk = xk for all x ∈ G , then we have |–1| ≥ kr for all x ∈ G , where r > 0 is the maximal dimension of abelian (...) definable subgroups of G. (shrink)

We prove the following instance of a conjecture stated in [P. E. Eleftheriou and Y. Peterzil, Definable quotients of locally definable groups, Selecta Math. 18 885–903]. Let [Formula: see text] be an abelian semialgebraic group over a real closed field [Formula: see text] and let [Formula: see text] be a semialgebraic subset of [Formula: see text]. Then the group generated by [Formula: see text] contains a generic set and, if connected, it is divisible. More generally, the same result holds when (...) [Formula: see text] is definable in any o-minimal expansion of [Formula: see text] which is elementarily equivalent to [Formula: see text]. We observe that the above statement is equivalent to saying: there exists an [Formula: see text] such that [Formula: see text] is an approximate subgroup of [Formula: see text]. (shrink)

In [E. Baro, M. Otero, On o-minimal homotopy, Quart. J. Math. 15pp, in press ] o-minimal homotopy was developed for the definable category, proving o-minimal versions of the Hurewicz theorems and the Whitehead theorem. Here, we extend these results to the category of locally definable spaces, for which we introduce homology and homotopy functors. We also study the concept of connectedness in -definable groups — which are examples of locally definable spaces. We show that the various concepts of connectedness associated (...) to these groups, which have appeared in the literature, are non-equivalent. (shrink)

In [E. Baro, M. Otero, On o-minimal homotopy, Quart. J. Math. 15pp, in press ] o-minimal homotopy was developed for the definable category, proving o-minimal versions of the Hurewicz theorems and the Whitehead theorem. Here, we extend these results to the category of locally definable spaces, for which we introduce homology and homotopy functors. We also study the concept of connectedness in -definable groups — which are examples of locally definable spaces. We show that the various concepts of connectedness associated (...) to these groups, which have appeared in the literature, are non-equivalent. (shrink)