Interpreting groups and fields in some nonelementary classes
Loading...
Date
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
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 .