16 October 2008

17:00

Kobi Peterzil

Abstract

<p>
(joint work with E. Hrushovski and A. Pillay)<br />
<br />
If G is a definably compact, connected group definable in an o-minimal structure then, as is known, G/Z(G) is semisimple (no infinite normal abelian subgroup).<br />
<br />
We show, that in every o-minimal expansion of an ordered group:
</p>
<p>
If G is a definably connected central extension of a semisimple group then it is bi-intepretable, over parameters, with the two-sorted structure (G/Z(G), Z(G)). Many corollaries follow for definably connected, definably compact G.<br />
Here are two:
</p>
<p>
1. (G,.) is elementarily equivalent to a compact, connected real Lie group of the same dimension.
</p>
<p>
2. G can be written as an almost direct product of Z(G) and [G,G], and this last group is definable as well (note that in general [G,G] is a countable union of definable sets, thus not necessarily definable).<br />
<br />
</p>