Haifa

(joint work with Sergei Starchenko)

Let p:C^n ->A be the covering map of a complex abelian variety and let X be an algebraic variety of C^n, or more generally a definable set in an o-minimal expansion of the real field. Ullmo and Yafaev investigated the topological closure of p(X) in A in the above two  settings and conjectured that the frontier of p(X) can be described, when X is algebraic as finitely many cosets of real sub tori of A, They proved the conjecture when dim X=1. They make a similar conjecture for X definable in an o-minimal structure.

In recent work we show that the above conjecture fails as stated, and prove a modified version,  describing the frontier of p(X) as finitely many families of cosets of subtori. We prove a similar result when X is a definable set in an o-minimal structure and p:R^n-> T is the covering map of a real torus.  The proofs use model theory of o-minimal structures as well as algebraically closed valued fields.

(joint work with E. Hrushovski and A. Pillay)

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).

We show, that in every o-minimal expansion of an ordered group:

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.
Here are two:

1. (G,.) is elementarily equivalent to a compact, connected real Lie group of the same dimension.

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).