Interpreting groups and fields in some nonelementary classes

Abstract

This paper is concerned with extensions of geometric stability theory to some nonelementary classes. We prove the following theorem: Theorem: Let C be a large homogeneous model of a stable diagram D. Let p, q in S_D(A), where p is quasiminimal and q unbounded. Let P=p(C) and Q=q(C). Suppose that there exists an integer n<omega such that dim(a_1...a_n/A cup C)=n, for any independent a_1,..., a_n in P and finite subset C subseteq Q, but dim(a_1...a_n a_{n+1}/A cup C) <= n, for some independent a_1,...,a_n,a_{n+1} in P and some finite subset C subseteq Q. Then C interprets a group G which acts on the geometry P' obtained from P. Furthermore, either C interprets a non-classical group, or n=1,2,3 and * If n=1 then G is abelian and acts regularly on P'. * If n=2 the action of G on P' is isomorphic to the affine action of K times K^* on the algebraically closed field K. * If n = 3 the action of G on P' is isomorphic to the action of PGL_2(K) on the projective line {P}^1(K) of the algebraically closed field K .