On groups definable in geometric fields
By Alf Onshuus
Geometric fields are fields where model theoretic algebraic closure is the same as field theoretic algebraic closure, and which eliminate exist infinity. Hrushovski and Pillay proved that any group G definable in such a field is related via a group configuration theorem with an algebraic group H. We will talk about how close this relationship is in various cases. In particular we will use a local version of Hrushovkski’s Stabilizer Theorem to find an isogeny between G and a subgroup of H when G is definably amenable.